AF-C * algebra
AF-C * -algebras , or AF-algebras for short , form a class of C * -algebras considered in the mathematical sub-area of functional analysis , which can be built up from finite-dimensional C * -algebras, AF stands for approximately finite (almost finite). These C * -algebras can be related to certain groups using K-theory and thus fully described.
definition
An AF-algebra is a C * -algebra for which there is a sequence of finite-dimensional C * -algebras such that
- ,
- lies close in .
Examples
- Finite-dimensional C * -algebras are AF-algebras.
- The C * -algebra of compact operators on the Hilbert space is an AF-algebra. If the canonical basis of is , then be the subalgebra of the linear operators that map the linear envelope of and vanish on the orthogonal complement of it. They are obviously isomorphic to matrix algebra and meet the above definition.
- Be the Cantor set . Then the commutative C * -algebra of continuous functions is an AF-algebra. Let be the subalgebra of the constant functions. Then they form a sequence of -dimensional C * -algebras and meet the above definition.
- The C * -algebra of the continuous functions on is not an AF-algebra, because the zero-algebra and the algebra of the constant functions are the only finite-dimensional subalgebras.
- UHF algebras are AF algebras.
properties
- AF algebras are separable .
- AF algebras are nuclear .
- A separable C * -algebra is an AF-algebra if and only if there is a finite-dimensional sub-C * -algebra for a finite number of elements and each , so that for all .
- The AF algebras are precisely the countable inductive limits of finite dimensional C * algebras in the category of C * algebras.
- Completed , two-sided ideals and quotients of AF algebras are again AF algebras. Sub-C * algebras of AF algebras are generally not AF algebras, for example the irrational rotation algebras are contained in AF algebras.
- Countable inductive limits of AF algebras are again AF algebras.
- Tensor products of AF algebras are again AF algebras.
- Is an AF algebra and goes by adjunction of the element made out, it is also an AF-algebra.
- A commutative C * -algebra , X compact Hausdorff space , is an AF-algebra if and only if it is totally disconnected (see example above = Cantor set).
- Every separable, commutative C * -algebra is isomorphic to the center of an AF-algebra. This theorem provides slightly more examples of sub-algebras that are not AF algebras. A separable, commutative C * -algebra with not totally disjointed is not an AF-algebra, but occurs as the center of one.
K 0 group of an AF algebra
Dimension group
The -function assigns a scaled, ordered, Abelian group to every C * -algebra (more generally to every ring ) . The set of isomorphism classes of the finitely generated projective modules is more precise . The direct sum makes this set a commutative semigroup. is defined as the Grothendieck group of and is the image of in . Finally, one can show that each projection via a projective defined module; is the image of the set of projections from in and is called the scale. Instead of group, one also says dimension group .
Simple examples are or .
It can also be shown that a * homomorphism between C * algebras induces a homomorphism between the associated dimension groups, this is positive, i.e. maps the positive semigroups into one another, and scales, i.e. it maps the scales into one another. That is clear, because it induces a semigroup homomorphism , and for the scalability note that of course projections from are mapped onto those from . Overall, defines a functor from the category of C * -algebras to the category of scaled, ordered, Abelian groups.
Elliott's theorem
- Elliott's theorem : Two AF algebras are isomorphic if and only if the corresponding dimension groups are isomorphic as scaled, ordered, Abelian groups. Every group isomorphism between two dimensional groups is induced by an * isomorphism of the associated AF algebras.
You can also put it succinctly like this:
- For AF algebras, the assigned dimension group is a complete isomorphism invariant.
Isomorphic invariant means that the dimensional groups of isomorphic AF algebras are isomorphic. This is clear because of the functional properties described above and even applies to all C * algebras. Completeness of the isomorphic invariant means that non-isomorphic AF algebras can be distinguished by their dimension groups, that is, that the associated dimension groups are not isomorphic either. That's the difficult part of Elliot's theorem.
Effros-Handelman-Shen's theorem
Since an AF algebra is determined by its dimension group, except for isomorphism, the question naturally arises as to which groups can appear as dimension groups of AF algebras. This question is fully answered by the
- Effros-Handelman-Shen's theorem : The countable, imperforate, scaled, ordered, Abelian groups with Riesz's interpolation property are precisely the dimensional groups of AF algebras.
For the terms of order theory appearing here, consult the article on ordered Abelian groups .
meaning
With the above theorems of Elliot and Effros-Handelman-Shen, the study of AF algebras can be reduced to the study of countable, imperforate, scaled, ordered, Abelian groups with Riesz's interpolation property.
So one can show that the closed, two-sided ideals of an AF algebra correspond in a one-to-one way to the order ideals of the dimension group, i.e. those subgroups with , where , and the property that follows from .
So one can construct simple AF algebras, i.e. those without real two-sided ideals different from one another, by finding countable, imperforate, scaled, ordered groups with Riesz's interpolation property that have no real order ideals. The dense subgroups of , which include with as a scale, are examples (UHF algebras), but also groups such as with and the scale defined by the unit of order .
Bratteli diagrams
Another important tool for studying AF algebras are Bratteli diagrams , certain infinite, directed graphs that represent the structure of the algebra.
Individual evidence
- ^ KR Davidson: C * -Algebras by Example , American Mathematical Society (1996), ISBN 0-8218-0599-1 , Example III.2.5
- ↑ Ola Bratteli : The Center of Approximately Finite-Dimensional C * -Algebras , Journal of Functional Analysis 21 (1976), pages 195-202
- ^ B. Blackadar: K-Theory for Operator-Algebras , Springer Verlag (1986), ISBN 3-540-96391-X , chapters 5, 6
- ^ KR Davidson: C * -Algebras by Example , American Mathematical Society (1996), ISBN 0-8218-0599-1 , Theorem IV.4.3
- ^ KR Davidson: C * -Algebras by Example , American Mathematical Society (1996), ISBN 0-8218-0599-1 , IV.7.3
- ^ KR Davidson: C * -Algebras by Example , American Mathematical Society (1996), ISBN 0-8218-0599-1 , IV.5.1
- ^ B. Blackadar: K-Theory for Operator-Algebras , Springer Verlag (1986), ISBN 3-540-96391-X , 7.5, 7.6
swell
- B. Blackadar: K-Theory for Operator-Algebras , Springer Verlag (1986), ISBN 3-540-96391-X
- KR Davidson: C * -Algebras by Example , American Mathematical Society (1996), ISBN 0-8218-0599-1
- EG Effros, DE Handelman, CL Shen: Dimension groups and their affine transformations , Amer. J. Math. (1980) Vol. 102, pp. 385-402.
- KR Goodearl: Notes on real and complex C * -algebras , Shiva Publishing Limited (1982), ISBN 0-906812-16-X