Namespaces
Variants
Actions

Difference between revisions of "AF-algebra"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (MR/ZBL numbers added)
Line 33: Line 33:
  
 
==Traces and ideals.==
 
==Traces and ideals.==
The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420103.png" />-theory of an AF-algebra not only serves as a classifying invariant, it also explicitly reveals some of the structure of the algebra, for example its traces and its ideal structure. Recall that a (positive) trace on a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420105.png" />-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420106.png" /> is a (positive) linear mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420107.png" /> satisfying the trace property: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420108.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420109.png" />. An "ideal" means a closed two-sided [[Ideal|ideal]].
+
The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420103.png" />-theory of an AF-algebra not only serves as a classifying invariant, it also explicitly reveals some of the structure of the algebra, for example its traces and its ideal structure. Recall that a (positive) trace on a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420105.png" />-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420106.png" /> is a (positive) linear mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420107.png" /> satisfying the trace property: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420108.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420109.png" />. An "ideal" means a closed two-sided [[Ideal|ideal]].
  
 
A state <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420110.png" /> on an ordered Abelian group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420111.png" /> is a group [[Homomorphism|homomorphism]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420112.png" /> satisfying <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420113.png" />. An order ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420114.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420115.png" /> is a [[Subgroup|subgroup]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420116.png" /> with the property that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420117.png" /> generates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420118.png" />, and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420119.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420120.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420121.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420122.png" />. A trace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420123.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420124.png" /> induces a state on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420125.png" /> by
 
A state <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420110.png" /> on an ordered Abelian group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420111.png" /> is a group [[Homomorphism|homomorphism]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420112.png" /> satisfying <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420113.png" />. An order ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420114.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420115.png" /> is a [[Subgroup|subgroup]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420116.png" /> with the property that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420117.png" /> generates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420118.png" />, and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420119.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420120.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420121.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420122.png" />. A trace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420123.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420124.png" /> induces a state on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420125.png" /> by
Line 46: Line 46:
 
One particularly interesting, and still not fully investigated, application of AF-algebras is to find for a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420145.png" />-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420146.png" /> an AF-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420147.png" /> and an embedding <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420148.png" /> which induces an interesting (say injective) mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420149.png" />. Since <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420150.png" /> is positive, the positive cone <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420151.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420152.png" /> must be contained in the pre-image of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420153.png" />. For example, the order structure of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420154.png" />-group of the irrational rotation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420156.png" />-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420157.png" /> was determined by embedding <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420158.png" /> into an AF-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420159.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420160.png" /> (as an ordered group). As a corollary to this, it was proved that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420161.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420162.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420163.png" />. (See [[#References|[a4]]].)
 
One particularly interesting, and still not fully investigated, application of AF-algebras is to find for a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420145.png" />-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420146.png" /> an AF-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420147.png" /> and an embedding <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420148.png" /> which induces an interesting (say injective) mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420149.png" />. Since <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420150.png" /> is positive, the positive cone <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420151.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420152.png" /> must be contained in the pre-image of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420153.png" />. For example, the order structure of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420154.png" />-group of the irrational rotation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420156.png" />-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420157.png" /> was determined by embedding <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420158.png" /> into an AF-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420159.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420160.png" /> (as an ordered group). As a corollary to this, it was proved that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420161.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420162.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420163.png" />. (See [[#References|[a4]]].)
  
Along another interesting avenue there have been produced embeddings of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420164.png" /> into appropriate AF-algebras inducing injective <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420165.png" />-theory mappings. This suggests that the "cohomological dimension" of these AF-algebras should be at least <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420166.png" />.
+
Along another interesting avenue there have been produced embeddings of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420164.png" /> into appropriate AF-algebras inducing injective <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420165.png" />-theory mappings. This suggests that the "cohomological dimension" of these AF-algebras should be at least <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420166.png" />.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J. Glimm,   "On a certain class of operator algebras" ''Trans. Amer. Math. Soc.'' , '''95''' (1960) pp. 318–340</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> O. Bratteli,   "Inductive limits of finite-dimensional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420167.png" />-algebras" ''Trans. Amer. Math. Soc.'' , '''171''' (1972) pp. 195–234</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> G.A. Elliott,   "On the classification of inductive limits of sequences of semisimple finite-dimensional algebras" ''J. Algebra'' , '''38''' (1976) pp. 29–44</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> M. Pimsner,   D. Voiculescu,   "Imbedding the irrational rotation algebras into AF-algebras" ''J. Operator Th.'' , '''4''' (1980) pp. 201–210</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> E. Effros,   D. Handelman,   C.-L. Shen,   "Dimension groups and their affine representations" ''Amer. J. Math.'' , '''102''' (1980) pp. 385–407</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> E. Effros,   "Dimensions and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420168.png" />-algebras" , ''CBMS Regional Conf. Ser. Math.'' , '''46''' , Amer. Math. Soc. (1981)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> O. Bratteli,   D.W. Robinson,   "Operator algebras and quantum statistical mechanics" , '''II''' , Springer (1981)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> B. Blackadar,   "<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420169.png" />-theory for operator algebras" , ''MSRI publication'' , '''5''' , Springer (1986)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> G.A. Elliott,   "The classification problem for amenable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420170.png" />-algebras" , ''Proc. Internat. Congress Mathem. (Zürich, 1994)'' , Birkhäuser (1995) pp. 922–932</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J. Glimm, "On a certain class of operator algebras" ''Trans. Amer. Math. Soc.'' , '''95''' (1960) pp. 318–340 {{MR|0112057}} {{ZBL|0094.09701}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> O. Bratteli, "Inductive limits of finite-dimensional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420167.png" />-algebras" ''Trans. Amer. Math. Soc.'' , '''171''' (1972) pp. 195–234 {{MR|312282}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> G.A. Elliott, "On the classification of inductive limits of sequences of semisimple finite-dimensional algebras" ''J. Algebra'' , '''38''' (1976) pp. 29–44 {{MR|0397420}} {{ZBL|0323.46063}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> M. Pimsner, D. Voiculescu, "Imbedding the irrational rotation algebras into AF-algebras" ''J. Operator Th.'' , '''4''' (1980) pp. 201–210 {{MR|595412}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> E. Effros, D. Handelman, C.-L. Shen, "Dimension groups and their affine representations" ''Amer. J. Math.'' , '''102''' (1980) pp. 385–407 {{MR|0564479}} {{ZBL|0457.46047}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> E. Effros, "Dimensions and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420168.png" />-algebras" , ''CBMS Regional Conf. Ser. Math.'' , '''46''' , Amer. Math. Soc. (1981) {{MR|0623762}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> O. Bratteli, D.W. Robinson, "Operator algebras and quantum statistical mechanics" , '''II''' , Springer (1981) {{MR|0611508}} {{ZBL|0463.46052}} </TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> B. Blackadar, "<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420169.png" />-theory for operator algebras" , ''MSRI publication'' , '''5''' , Springer (1986) {{MR|0859867}} {{ZBL|0597.46072}} </TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> G.A. Elliott, "The classification problem for amenable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110420/a110420170.png" />-algebras" , ''Proc. Internat. Congress Mathem. (Zürich, 1994)'' , Birkhäuser (1995) pp. 922–932</TD></TR></table>

Revision as of 17:31, 31 March 2012

approximately finite-dimensional algebra

AF-algebras form a class of -algebras that, on the one hand, admits an elementary construction, yet, on the other hand, exhibits a rich structure and provide examples of exotic phenomena. A (separable) -algebra is said to be an AF-algebra if one of the following two (not obviously) equivalent conditions is satisfied (see [a1], [a2] or [a6]):

i) for every finite subset of and for every there exists a finite-dimensional sub--algebra of and a subset of with for all ;

ii) there exists an increasing sequence of finite-dimensional sub--algebras of such that the union is norm-dense in .

Bratteli diagrams.

It follows from (an analogue of) Wedderburn's theorem (cf. Wedderburn–Artin theorem), that every finite-dimensional -algebra is isomorphic to the direct sum of full matrix algebras over the field of complex numbers. Property ii) says that each AF-algebra is the inductive limit of a sequence of finite-dimensional -algebras, where the connecting mappings are -preserving homomorphisms. If two such sequences and define isomorphic AF-algebras, then already the algebraic inductive limits of the two sequences are isomorphic (as algebras over ).

All essential information of a sequence of finite-dimensional -algebras with connecting mappings can be expressed in a so-called Bratteli diagram. The Bratteli diagram is a graph, divided into rows, whose vertices in the th row correspond to the direct summands of isomorphic to a full matrix algebra, and where the edges between the th and the st row describe the connecting mapping . By the facts mentioned above, the construction and also the classification of AF-algebras can be reduced to a purely combinatorial problem phrased in terms of Bratteli diagrams. (See [a2].)

UHF-algebras.

AF-algebras that are inductive limits of single full matrix algebras with unit-preserving connecting mappings are called UHF-algebras (uniformly hyper-finite algebras) or Glimm algebras. A UHF-algebra is therefore an inductive limit of a sequence , where, necessarily, each divides . Setting and for , this UHF-algebra can alternatively be described as the infinite tensor product . (See [a1].)

The UHF-algebra with is called the CAR-algebra; it is generated by a family of operators , where is some separable infinite-dimensional Hilbert space and is linear and satisfies the canonical anti-commutation relations (cf. also Commutation and anti-commutation relationships, representation of):

(See [a7].)

-theory and classification.

By the -theory for -algebras, one can associate a triple to each -algebra . is the countable Abelian group of formal differences of equivalence classes of projections in matrix algebras over , and and are the subsets of those elements in that are represented by projections in some matrix algebra over , respectively, by projections in itself. The -group of an AF-algebra is always zero.

The classification theorem for AF-algebras says that two AF-algebras and are -isomorphic if and only if the triples and are isomorphic, i.e., if and only if there exists a group isomorphism such that and . If this is the case, then there exists an isomorphism such that . Moreover, any homomorphism such that is induced by a -homomorphism , and if are two -homomorphisms, then if and only if and are homotopic (through a continuous path of -homomorphisms from to ).

An ordered Abelian group is said to have the Riesz interpolation property if whenever with , there exists a such that . is called unperforated if , for some integer and some , implies that . The Effros–Handelman–Shen theorem says that a countable ordered Abelian group is the -theory of some AF-algebra if and only if it has the Riesz interpolation property and is unperforated. (See [a3], [a5], [a8], and [a6].)

A conjecture belonging to the Elliott classification program asserts that a -algebra is an AF-algebra if it looks like an AF-algebra! More precisely, suppose that is a separable, nuclear -algebra which has stable rank one and real rank zero, and suppose that and that is unperforated ( must necessarily have the Riesz interpolation property when is assumed to be of real rank zero). Does it follow that is an AF-algebra? This conjecture has been confirmed in some specific non-trivial cases. (See [a9].)

Traces and ideals.

The -theory of an AF-algebra not only serves as a classifying invariant, it also explicitly reveals some of the structure of the algebra, for example its traces and its ideal structure. Recall that a (positive) trace on a -algebra is a (positive) linear mapping satisfying the trace property: for all . An "ideal" means a closed two-sided ideal.

A state on an ordered Abelian group is a group homomorphism satisfying . An order ideal of is a subgroup of with the property that generates , and if , , and , then . A trace on induces a state on by

where , are projections in (or in a matrix algebra over ); and given an ideal in , the image of the induced mapping (which happens to be injective, when is an AF-algebra) is an order ideal of . For AF-algebras, the mappings and are bijections. In particular, if is simple as an ordered group, then must be simple.

If a -algebra has a unit, then the set of tracial states (i.e., positive traces that take the value on the unit) is a Choquet simplex. Using the characterizations above, one can, for each metrizable Choquet simplex, find a simple unital AF-algebra whose trace simplex is affinely homeomorphic to the given Choquet simplex. Hence, for example, simple unital -algebras can have more than one trace. (See [a3] and [a5].)

Embeddings into AF-algebras.

One particularly interesting, and still not fully investigated, application of AF-algebras is to find for a -algebra an AF-algebra and an embedding which induces an interesting (say injective) mapping . Since is positive, the positive cone of must be contained in the pre-image of . For example, the order structure of the -group of the irrational rotation -algebra was determined by embedding into an AF-algebra with (as an ordered group). As a corollary to this, it was proved that if and only if or . (See [a4].)

Along another interesting avenue there have been produced embeddings of into appropriate AF-algebras inducing injective -theory mappings. This suggests that the "cohomological dimension" of these AF-algebras should be at least .

References

[a1] J. Glimm, "On a certain class of operator algebras" Trans. Amer. Math. Soc. , 95 (1960) pp. 318–340 MR0112057 Zbl 0094.09701
[a2] O. Bratteli, "Inductive limits of finite-dimensional -algebras" Trans. Amer. Math. Soc. , 171 (1972) pp. 195–234 MR312282
[a3] G.A. Elliott, "On the classification of inductive limits of sequences of semisimple finite-dimensional algebras" J. Algebra , 38 (1976) pp. 29–44 MR0397420 Zbl 0323.46063
[a4] M. Pimsner, D. Voiculescu, "Imbedding the irrational rotation algebras into AF-algebras" J. Operator Th. , 4 (1980) pp. 201–210 MR595412
[a5] E. Effros, D. Handelman, C.-L. Shen, "Dimension groups and their affine representations" Amer. J. Math. , 102 (1980) pp. 385–407 MR0564479 Zbl 0457.46047
[a6] E. Effros, "Dimensions and -algebras" , CBMS Regional Conf. Ser. Math. , 46 , Amer. Math. Soc. (1981) MR0623762
[a7] O. Bratteli, D.W. Robinson, "Operator algebras and quantum statistical mechanics" , II , Springer (1981) MR0611508 Zbl 0463.46052
[a8] B. Blackadar, "-theory for operator algebras" , MSRI publication , 5 , Springer (1986) MR0859867 Zbl 0597.46072
[a9] G.A. Elliott, "The classification problem for amenable -algebras" , Proc. Internat. Congress Mathem. (Zürich, 1994) , Birkhäuser (1995) pp. 922–932
How to Cite This Entry:
AF-algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=AF-algebra&oldid=24035
This article was adapted from an original article by M. Rørdam (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article