Approximately finite-dimensional C*-algebra

Last updated

In mathematics, an approximately finite-dimensional (AF) C*-algebra is a C*-algebra that is the inductive limit of a sequence of finite-dimensional C*-algebras. Approximate finite-dimensionality was first defined and described combinatorially by Ola Bratteli. Later, George A. Elliott gave a complete classification of AF algebras using the K0 functor whose range consists of ordered abelian groups with sufficiently nice order structure.

Contents

The classification theorem for AF-algebras serves as a prototype for classification results for larger classes of separable simple amenable stably finite C*-algebras. Its proof divides into two parts. The invariant here is K0 with its natural order structure; this is a functor. First, one proves existence: a homomorphism between invariants must lift to a *-homomorphism of algebras. Second, one shows uniqueness: the lift must be unique up to approximate unitary equivalence. Classification then follows from what is known as the intertwining argument. For unital AF algebras, both existence and uniqueness follow from the fact the Murray-von Neumann semigroup of projections in an AF algebra is cancellative.

The counterpart of simple AF C*-algebras in the von Neumann algebra world are the hyperfinite factors, which were classified by Connes and Haagerup.

In the context of noncommutative geometry and topology, AF C*-algebras are noncommutative generalizations of C0(X), where X is a totally disconnected metrizable space.

Definition and basic properties

Finite-dimensional C*-algebras

An arbitrary finite-dimensional C*-algebra A takes the following form, up to isomorphism:

where Mi denotes the full matrix algebra of i × i matrices.

Up to unitary equivalence, a unital *-homomorphism Φ : MiMj is necessarily of the form

where r·i = j. The number r is said to be the multiplicity of Φ. In general, a unital homomorphism between finite-dimensional C*-algebras

is specified, up to unitary equivalence, by a t × s matrix of partial multiplicities (rl k) satisfying, for all l

In the non-unital case, the equality is replaced by ≤. Graphically, Φ, equivalently (rl k), can be represented by its Bratteli diagram. The Bratteli diagram is a directed graph with nodes corresponding to each nk and ml and the number of arrows from nk to ml is the partial multiplicity rlk.

Consider the category whose objects are isomorphism classes of finite-dimensional C*-algebras and whose morphisms are *-homomorphisms modulo unitary equivalence. By the above discussion, the objects can be viewed as vectors with entries in N and morphisms are the partial multiplicity matrices.

AF algebras

A C*-algebra is AF if it is the direct limit of a sequence of finite-dimensional C*-algebras:

where each Ai is a finite-dimensional C*-algebra and the connecting maps αi are *-homomorphisms. We will assume that each αi is unital. The inductive system specifying an AF algebra is not unique. One can always drop to a subsequence. Suppressing the connecting maps, A can also be written as

The Bratteli diagram of A is formed by the Bratteli diagrams of {αi} in the obvious way. For instance, the Pascal triangle, with the nodes connected by appropriate downward arrows, is the Bratteli diagram of an AF algebra. A Bratteli diagram of the CAR algebra is given on the right. The two arrows between nodes means each connecting map is an embedding of multiplicity 2.

(A Bratteli diagram of the CAR algebra)

If an AF algebra A = (∪nAn), then an ideal J in A takes the form ∪n (JAn). In particular, J is itself an AF algebra. Given a Bratteli diagram of A and some subset S of nodes, the subdiagram generated by S gives inductive system that specifies an ideal of A. In fact, every ideal arises in this way.

Due to the presence of matrix units in the inductive sequence, AF algebras have the following local characterization: a C*-algebra A is AF if and only if A is separable and any finite subset of A is "almost contained" in some finite-dimensional C*-subalgebra.

The projections in ∪nAn in fact form an approximate unit of A.

It is clear that the extension of a finite-dimensional C*-algebra by another finite-dimensional C*-algebra is again finite-dimensional. More generally, the extension of an AF algebra by another AF algebra is again AF. [1]

Classification

K0

The K-theoretic group K0 is an invariant of C*-algebras. It has its origins in topological K-theory and serves as the range of a kind of "dimension function." For an AF algebra A, K0(A) can be defined as follows. Let Mn(A) be the C*-algebra of n × n matrices whose entries are elements of A. Mn(A) can be embedded into Mn + 1(A) canonically, into the "upper left corner". Consider the algebraic direct limit

Denote the projections (self-adjoint idempotents) in this algebra by P(A). Two elements p and q are said to be Murray-von Neumann equivalent , denoted by p ~ q, if p = vv* and q = v*v for some partial isometry v in M(A). It is clear that ~ is an equivalence relation. Define a binary operation + on the set of equivalences P(A)/~ by

where ⊕ yields the orthogonal direct sum of two finite-dimensional matrices corresponding to p and q. While we could choose matrices of arbitrarily large dimension to stand in for p and q, our result will be equivalent regardless. This makes P(A)/~ a semigroup that has the cancellation property. We denote this semigroup by K0(A)+. Performing the Grothendieck group construction gives an abelian group, which is K0(A).

K0(A) carries a natural order structure: we say [p] ≤ [q] if p is Murray-von Neumann equivalent to a subprojection of q. This makes K0(A) an ordered group whose positive cone is K0(A)+.

For example, for a finite-dimensional C*-algebra

one has

Two essential features of the mapping AK0(A) are:

  1. K0 is a (covariant) functor. A *-homomorphism α : AB between AF algebras induces a group homomorphism α* : K0(A) → K0(B). In particular, when A and B are both finite-dimensional, α* can be identified with the partial multiplicities matrix of α.
  2. K0 respects direct limits. If A = ∪nαn(An), then K0(A) is the direct limit ∪nαn*(K0(An)).

The dimension group

Since M(M(A)) is isomorphic to M(A), K0 can only distinguish AF algebras up to stable isomorphism. For example, M2 and M4 are not isomorphic but stably isomorphic; K0(M2) = K0(M4) = Z.

A finer invariant is needed to detect isomorphism classes. For an AF algebra A, we define the scale of K0(A), denoted by Γ(A), to be the subset whose elements are represented by projections in A:

When A is unital with unit 1A, the K0 element [1A] is the maximal element of Γ(A) and in fact,

The triple (K0, K0+, Γ(A)) is called the dimension group of A. If A = Ms, its dimension group is (Z, Z+, {1, 2,..., s}).

A group homomorphism between dimension group is said to be contractive if it is scale-preserving. Two dimension group are said to be isomorphic if there exists a contractive group isomorphism between them.

The dimension group retains the essential properties of K0:

  1. A *-homomorphism α : AB between AF algebras in fact induces a contractive group homomorphism α* on the dimension groups. When A and B are both finite-dimensional, corresponding to each partial multiplicities matrix ψ, there is a unique, up to unitary equivalence, *-homomorphism α : AB such that α* = ψ.
  2. If A = ∪nαn(An), then the dimension group of A is the direct limit of those of An.

Elliott's theorem

Commutative diagrams for Elliott's theorem. Elliott's theorem.png
Commutative diagrams for Elliott's theorem.

Elliott's theorem says that the dimension group is a complete invariant of AF algebras: two AF algebras A and B are isomorphic if and only if their dimension groups are isomorphic.

Two preliminary facts are needed before one can sketch a proof of Elliott's theorem. The first one summarizes the above discussion on finite-dimensional C*-algebras.

Lemma For two finite-dimensional C*-algebras A and B, and a contractive homomorphism ψ: K0(A) → K0(B), there exists a *-homomorphism φ: AB such that φ* = ψ, and φ is unique up to unitary equivalence.

The lemma can be extended to the case where B is AF. A map ψ on the level of K0 can be "moved back", on the level of algebras, to some finite stage in the inductive system.

Lemma Let A be finite-dimensional and B AF, B = (∪nBn). Let βm be the canonical homomorphism of Bm into B. Then for any a contractive homomorphism ψ: K0(A) → K0(B), there exists a *-homomorphism φ: ABm such that βm* φ* = ψ, and φ is unique up to unitary equivalence in B.

The proof of the lemma is based on the simple observation that K0(A) is finitely generated and, since K0 respects direct limits, K0(B) = ∪nβn*K0 (Bn).

Theorem (Elliott) Two AF algebras A and B are isomorphic if and only if their dimension groups (K0(A), K0+(A), Γ(A)) and (K0(B), K0+(B), Γ(B)) are isomorphic.

The crux of the proof has become known as Elliott's intertwining argument. Given an isomorphism between dimension groups, one constructs a diagram of commuting triangles between the direct systems of A and B by applying the second lemma.

We sketch the proof for the non-trivial part of the theorem, corresponding to the sequence of commutative diagrams on the right.

Let Φ: (K0(A), K0+(A), Γ(A)) → (K0(B), K0+(B), Γ(B)) be a dimension group isomorphism.

  1. Consider the composition of maps Φ α1* : K0(A1) → K0(B). By the previous lemma, there exists B1 and a *-homomorphism φ1: A1B1 such that the first diagram on the right commutes.
  2. Same argument applied to β1* Φ−1 shows that the second diagram commutes for some A2.
  3. Comparing diagrams 1 and 2 gives diagram 3.
  4. Using the property of the direct limit and moving A2 further down if necessary, we obtain diagram 4, a commutative triangle on the level of K0.
  5. For finite-dimensional algebras, two *-homomorphisms induces the same map on K0 if and only if they are unitary equivalent. So, by composing ψ1 with a unitary conjugation if needed, we have a commutative triangle on the level of algebras.
  6. By induction, we have a diagram of commuting triangles as indicated in the last diagram. The map φ: AB is the direct limit of the sequence {φn}. Let ψ: BA is the direct limit of the sequence {ψn}. It is clear that φ and ψ are mutual inverses. Therefore, A and B are isomorphic.
Elliott's theorem 2.png

Furthermore, on the level of K0, the adjacent diagram commutates for each k. By uniqueness of direct limit of maps, φ* = Φ.

The Effros-Handelman-Shen theorem

The dimension group of an AF algebra is a Riesz group. The Effros-Handelman-Shen theorem says the converse is true. Every Riesz group, with a given scale, arises as the dimension group of some AF algebra. This specifies the range of the classifying functor K0 for AF-algebras and completes the classification.

Riesz groups

A group G with a partial order is called an ordered group. The set G+ of elements ≥ 0 is called the positive cone of G. One says that G is unperforated if k·gG+ implies gG+.

The following property is called the Riesz decomposition property: if x, yi ≥ 0 and x ≤ Σ yi, then there exists xi ≥ 0 such that x = Σ xi, and xiyi for each i.

A Riesz group (G, G+) is an ordered group that is unperforated and has the Riesz decomposition property.

It is clear that if A is finite-dimensional, (K0, K0+) is a Riesz group, where Zk is given entrywise order. The two properties of Riesz groups are preserved by direct limits, assuming the order structure on the direct limit comes from those in the inductive system. So (K0, K0+) is a Riesz group for an AF algebra A.

A key step towards the Effros-Handelman-Shen theorem is the fact that every Riesz group is the direct limit of Zk 's, each with the canonical order structure. This hinges on the following technical lemma, sometimes referred to as the Shen criterion in the literature.

The Shen criterion. Shen.png
The Shen criterion.

Lemma Let (G, G+) be a Riesz group, ϕ: (Zk, Zk+) → (G, G+) be a positive homomorphism. Then there exists maps σ and ψ, as indicated in the adjacent diagram, such that ker(σ) = ker(ϕ).

Corollary Every Riesz group (G, G+) can be expressed as a direct limit

where all the connecting homomorphisms in the directed system on the right hand side are positive.

The theorem

Theorem If (G, G+) is a countable Riesz group with scale Γ(G), then there exists an AF algebra A such that (K0, K0+, Γ(A)) = (G, G+, Γ(G)). In particular, if Γ(G) = [0, uG] with maximal element uG, then A is unital with [1A] = [uG].

Consider first the special case where Γ(G) = [0, uG] with maximal element uG. Suppose

Dropping to a subsequence if necessary, let

where φ1(u1) = uG for some element u1. Now consider the order ideal G1 generated by u1. Because each H1 has the canonical order structure, G1 is a direct sum of Z 's (with the number of copies possible less than that in H1). So this gives a finite-dimensional algebra A1 whose dimension group is (G1G1+, [0, u1]). Next move u1 forward by defining u2 = φ12(u1). Again u2 determines a finite-dimensional algebra A2. There is a corresponding homomorphism α12 such that α12* = φ12. Induction gives a directed system

whose K0 is

with scale

This proves the special case.

A similar argument applies in general. Observe that the scale is by definition a directed set. If Γ(G) = {vk}, one can choose uk ∈ Γ(G) such that ukv1 ... vk. The same argument as above proves the theorem.

Examples

By definition, uniformly hyperfinite algebras are AF and unital. Their dimension groups are the subgroups of Q. For example, for the 2 × 2 matrices M2, K0(M2) is the group of rational numbers of the form a/2 for a in Z. The scale is Γ(M2) = {0, 1/2, 1}. For the CAR algebra A, K0(A) is the group of dyadic rationals with scale K0(A) ∩ [0, 1], with 1 = [1A]. All such groups are simple, in a sense appropriate for ordered groups. Thus UHF algebras are simple C*-algebras. In general, the groups which are not dense in Q are the dimension groups of Mk for some k.

Commutative C*-algebras, which were characterized by Gelfand, are AF precisely when the spectrum is totally disconnected. [2] The continuous functions C(X) on the Cantor set X is one such example.

Elliott's classification program

It was proposed by Elliott that other classes of C*-algebras may be classifiable by K-theoretic invariants. For a C*-algebra A, the Elliott invariant is defined to be

where T+(A) is the tracial positive linear functionals in the weak-* topology, and ρA is the natural pairing between T+(A) and K0(A).

The original conjecture by Elliott stated that the Elliott invariant classifies simple unital separable amenable C*-algebras.

In the literature, one can find several conjectures of this kind with corresponding modified/refined Elliott invariants.

Von Neumann algebras

In a related context, an approximately finite-dimensional , or hyperfinite, von Neumann algebra is one with a separable predual and contains a weakly dense AF C*-algebra. Murray and von Neumann showed that, up to isomorphism, there exists a unique hyperfinite type II1 factor. Connes obtained the analogous result for the II factor. Powers exhibited a family of non-isomorphic type III hyperfinite factors with cardinality of the continuum. Today we have a complete classification of hyperfinite factors.

Notes

  1. Lawrence G. Brown. Extensions of AF Algebras: The Projection Lifting Problem. Operator Algebras and Applications, Proceedings of symposia in pure mathematics, vol. 38, Part 1, pp. 175-176, American Mathematical Soc., 1982
  2. Davidson 1996, p. 77.

Related Research Articles

In abstract algebra, the fundamental theorem on homomorphisms, also known as the fundamental homomorphism theorem, or the first isomorphism theorem, relates the structure of two objects between which a homomorphism is given, and of the kernel and image of the homomorphism.

<span class="mw-page-title-main">Isomorphism</span> In mathematics, invertible homomorphism

In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word isomorphism is derived from the Ancient Greek: ἴσοςisos "equal", and μορφήmorphe "form" or "shape".

<span class="mw-page-title-main">Lie group</span> Group that is also a differentiable manifold with group operations that are smooth

In mathematics, a Lie group is a group that is also a differentiable manifold.

In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure of the categories involved. Hence, a natural transformation can be considered to be a "morphism of functors". Informally, the notion of a natural transformation states that a particular map between functors can be done consistently over an entire category.

In mathematics, specifically abstract algebra, the isomorphism theorems are theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist for groups, rings, vector spaces, modules, Lie algebras, and various other algebraic structures. In universal algebra, the isomorphism theorems can be generalized to the context of algebras and congruences.

<span class="mw-page-title-main">Semidirect product</span> Operation in group theory

In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product. There are two closely related concepts of semidirect product:

<span class="mw-page-title-main">Free group</span> Mathematics concept

In mathematics, the free groupFS over a given set S consists of all words that can be built from members of S, considering two words to be different unless their equality follows from the group axioms. The members of S are called generators of FS, and the number of generators is the rank of the free group. An arbitrary group G is called free if it is isomorphic to FS for some subset S of G, that is, if there is a subset S of G such that every element of G can be written in exactly one way as a product of finitely many elements of S and their inverses.

In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space under the operation of composition.

<span class="mw-page-title-main">Unitary group</span> Group of unitary matrices

In mathematics, the unitary group of degree n, denoted U(n), is the group of n × n unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL(n, C). Hyperorthogonal group is an archaic name for the unitary group, especially over finite fields. For the group of unitary matrices with determinant 1, see Special unitary group.

In mathematics, a direct limit is a way to construct a object from many objects that are put together in a specific way. These objects may be groups, rings, vector spaces or in general objects from any category. The way they are put together is specified by a system of homomorphisms between those smaller objects. The direct limit of the objects , where ranges over some directed set , is denoted by .

In mathematics, an algebraic torus, where a one dimensional torus is typically denoted by , , or , is a type of commutative affine algebraic group commonly found in projective algebraic geometry and toric geometry. Higher dimensional algebraic tori can be modelled as a product of algebraic groups . These groups were named by analogy with the theory of tori in Lie group theory. For example, over the complex numbers the algebraic torus is isomorphic to the group scheme , which is the scheme theoretic analogue of the Lie group . In fact, any -action on a complex vector space can be pulled back to a -action from the inclusion as real manifolds.

<span class="mw-page-title-main">Reductive group</span>

In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group G over a perfect field is reductive if it has a representation that has a finite kernel and is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group GL(n) of invertible matrices, the special orthogonal group SO(n), and the symplectic group Sp(2n). Simple algebraic groups and (more generally) semisimple algebraic groups are reductive.

In additive combinatorics a discipline within mathematics, Freiman's theorem is a central result which indicates the approximate structure of sets whose sumset is small. It roughly states that if is small, then can be contained in a small generalized arithmetic progression.

In mathematics, the congruence lattice problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of some other lattice. The problem was posed by Robert P. Dilworth, and for many years it was one of the most famous and long-standing open problems in lattice theory; it had a deep impact on the development of lattice theory itself. The conjecture that every distributive lattice is a congruence lattice is true for all distributive lattices with at most 1 compact elements, but F. Wehrung provided a counterexample for distributive lattices with ℵ2 compact elements using a construction based on Kuratowski's free set theorem.

In mathematics, operator K-theory is a noncommutative analogue of topological K-theory for Banach algebras with most applications used for C*-algebras.

In mathematics, the Butcher group, named after the New Zealand mathematician John C. Butcher by Hairer & Wanner (1974), is an infinite-dimensional Lie group first introduced in numerical analysis to study solutions of non-linear ordinary differential equations by the Runge–Kutta method. It arose from an algebraic formalism involving rooted trees that provides formal power series solutions of the differential equation modeling the flow of a vector field. It was Cayley (1857), prompted by the work of Sylvester on change of variables in differential calculus, who first noted that the derivatives of a composition of functions can be conveniently expressed in terms of rooted trees and their combinatorics.

In mathematics, a Bratteli diagram is a combinatorial structure: a graph composed of vertices labelled by positive integers ("level") and unoriented edges between vertices having levels differing by one. The notion was introduced by Ola Bratteli in 1972 in the theory of operator algebras to describe directed sequences of finite-dimensional algebras: it played an important role in Elliott's classification of AF-algebras and the theory of subfactors. Subsequently Anatoly Vershik associated dynamical systems with infinite paths in such graphs.

In mathematics, Lie group–Lie algebra correspondence allows one to correspond a Lie group to a Lie algebra or vice versa, and study the conditions for such a relationship. Lie groups that are isomorphic to each other have Lie algebras that are isomorphic to each other, but the converse is not necessarily true. One obvious counterexample is and which are non-isomorphic to each other as Lie groups but their Lie algebras are isomorphic to each other. However, for simply connected Lie groups, the Lie group-Lie algebra correspondence is one-to-one.

In the mathematical subject of group theory, a co-Hopfian group is a group that is not isomorphic to any of its proper subgroups. The notion is dual to that of a Hopfian group, named after Heinz Hopf.

<span class="mw-page-title-main">Glossary of Lie groups and Lie algebras</span>

This is a glossary for the terminology applied in the mathematical theories of Lie groups and Lie algebras. For the topics in the representation theory of Lie groups and Lie algebras, see Glossary of representation theory. Because of the lack of other options, the glossary also includes some generalizations such as quantum group.

References