AF-C*-Algebra

AF-C*-Algebra

AF-C*-Algebren, oder kürzer AF-Algebren, bilden eine im mathematischen Teilgebiet der Funktionalanalysis betrachtete Klasse von C*-Algebren, die sich aus endlichdimensionalen C*-Algebren aufbauen lassen, AF steht für approximately finite (fast endlich). Diese C*-Algebren lassen sich mittels K-Theorie zu bestimmten Gruppen in Beziehung setzen und auf diese Weise vollständig beschreiben.

Inhaltsverzeichnis

Definition

Eine AF-Algebra ist eine C*-Algebra A, zu der es eine Folge (A_n)_{n\in \N} endlichdimensionaler C*-Algebren gibt, so dass

  • A_1 \subset A_2 \subset A_3 \subset \ldots \subset A,
  • \bigcup_{n\in \N}A_n liegt dicht in A.

Beispiele

  • Endlichdimensionale C*-Algebren sind AF-Algebren.
  • Die C*-Algebra K(\ell^2) der kompakten Operatoren auf dem Hilbertraum \ell^2 ist eine AF-Algebra. Ist (en)n die kanonische Basis von \ell^2, so sei An die Unteralgebra der linearen Operatoren, die die lineare Hülle von \{e_1,\ldots, e_n\} in sich abbilden und auf dem orthogonalen Komplement davon verschwinden. Die An sind offenbar zur Matrix-Algebra Mn isomorph und erfüllen obige Definition.
  • Sei X die Cantor-Menge. Dann ist die kommutative C*-Algebra A = C(X) der stetigen Funktionen X\rightarrow \C eine AF-Algebra. Sei An die Unteralgebra der auf (\frac{m}{3^n},\frac{m+1}{3^n})\cap X konstanten Funktionen. Dann sind die An 2n-dimensional und erfüllen obige Definition.
  • Die C*-Algebra C([0,1]) der stetigen Funktionen auf [0,1] ist keine AF-Algebra, denn die Null-Algebra und die Algebra der konstanten Funktionen sind die einzigen endlichdimensionalen Unteralgebren.
  • UHF-Algebren sind AF-Algebren.

Eigenschaften

  • AF-Algebren sind separabel.
  • Eine separable C*-Algebra A ist genau dann eine AF-Algebra wenn es zu je endlich vielen Elementen a_1,\ldots, a_n und jedem \varepsilon > 0 eine endlichdimensionale Unter-C*-Algebra B gibt, so dass dist(aj,B) < ε für alle j=1,\ldots, n.
  • Die AF-Algebren sind genau die abzählbaren induktiven Limiten endlichdimensionaler C*-Algebren in der Kategorie der C*-Algebren.
  • Abgeschlossene, zweiseitige Ideale und Quotienten von AF-Algebren sind wieder AF-Algebren. Unter-C*-Algebren von AF-Algebren sind im Allgemeinen keine AF-Algebren, so sind etwa die irrationalen Rotationsalgebren in AF-Algebren enthalten.
  • Abzählbare induktive Limiten von AF-Algebren sind wieder AF-Algebren.
  • Tensorprodukte von AF-Algebren sind wieder AF-Algebren.
  • Ist A eine AF-Algebra und geht A1 durch Adjunktion eines Einselementes aus A hervor, so ist auch A1 eine AF-Algebra.
  • Eine kommutative C*-Algebra C(X), X kompakter Hausdorffraum, ist genau dann eine AF-Algebra, wenn X total unzusammenhängend ist (siehe obiges Beispiel X=Cantor-Menge).[1]
  • AF-Algebren sind nuklear.

K0-Gruppe einer AF-Algebra

Dimensionsgruppe

Der K0-Funktor ordnet jeder C*-Algebra A (allgemeiner jedem Ring) eine skalierte, geordnete, abelsche Gruppe (K0(A),K0(A) + ,Σ(A)) zu.[2] Genauer sei V(A) die Menge der Isomorphie-Klassen der endlich erzeugten projektiven Moduln über A. Die direkte Summe macht diese Menge zu einer kommutativen Halbgruppe. K0(A) ist definiert als die Grothendieck-Gruppe von (V(A),\oplus) und K0(A) + ist das Bild von V(A) in K0(A). Schließlich kann man zeigen, dass jede Projektion p\in A via Ap einen projektiven A-Modul definiert; Σ(A) ist das Bild der Menge der Projektionen aus A in K0(A). Statt K0Gruppe sagt man auch Dimensionsgruppe.

Einfache Beispiele sind K_0(M_n)\cong(\Z,\N_0,[0,n]) oder K_0(K(\ell^2))\cong(\Z,\N_0,\N_0).

Weiter kann man zeigen, dass ein *-Homomorphismus \varphi:A\rightarrow B zwischen C*-Algebren einen Homomorphismus zwischen den zugehörigen Dimensionsgruppen induziert, dieser ist positiv, das heißt bildet die positiven Halbgruppen ineinander ab, und skaliert, das heißt er bildet die Skalen ineinander ab. Das ist klar, denn φ induziert einen Halbgruppenhomomorphismus V(A)\rightarrow V(B), und für die Skaliertheit beachte man, dass φ natürlich Projektionen aus A auf solche aus B abbildet. Insgesamt definiert K0 einen Funktor von der Kategorie der C*-Algebren in die Kategorie der skalierten, geordneten, abelschen Gruppen.

Satz von Elliot

  • Satz von Elliot: Zwei AF-Algebren sind genau dann isomorph, wenn die zugehörigen Dimensionsgruppen als skalierte, geordnete, abelsche Gruppen isomorph sind. Jeder Gruppenisomorphismus zwischen zwei Dimensionsgruppen wird von einem *-Isomorphismus der zugehörigen AF-Algebren induziert.[3]

Das kann man kurz und bündig auch so formulieren:

  • Für AF-Algebren ist die zugeordnete Dimensionsgruppe also eine vollständige Isomorphieinvariante.

Isomorphieinvariante bedeutet, dass die Dimensionsgruppen isomorpher AF-Algebren isomorph sind. Das ist klar wegen der oben beschriebenen funktoriellen Eigenschaften und gilt sogar für alle C*-Algebren. Vollständigkeit der Isomorphieinvariante bedeutet nun, dass nicht-isomorphe AF-Algebren durch ihre Dimensionsgruppen unterschieden werden können, das heißt, dass auch die zugehörigen Dimensionsgruppen nicht isomorph sind. Das ist der schwierige Teil des Satzes von Elliot.

Satz von Effros-Handelman-Shen

Da eine AF-Algebra bis auf Isomorphie durch ihre Dimensionsgruppe bestimmt ist, stellt sich in natürlicher Weise die Frage, welche Gruppen als Dimensionsgruppen von AF-Algebren auftreten können. Diese Frage wird vollständig beantwortet durch den

  • Satz von Effros-Handelman-Shen[4]: Die abzählbaren, unperforierten, skalierten, geordneten, abelschen Gruppen mit der Rieszschen Interpolationseigenschaft sind genau die Dimensionsgruppen von AF-Algebren.

Für die hier auftretenden ordnungstheoretischen Begriffe konsultiere man den Artikel über geordnete abelsche Gruppen.

Bedeutung

Mit obigen Sätzen von Elliot und Effros-Handelman-Shen kann das Studium der AF-Algebren auf das Studium der abzählbaren, unperforierten, skalierten, geordneten, abelschen Gruppen mit der Rieszschen Interpolationseigenschaft zurückgeführt werden.

So kann man zeigen, dass die abgeschlossenen, zweiseitigen Ideale einer AF-Algebra A in eineindeutiger Weise den Ordnungsidealen der Dimensionsgruppe entsprechen, das heißt denjenigen Untergruppen H\subset K_0(A) mit H = H +H + , wobei H^+:= H\cap K_0(A)^+, und der Eigenschaft, dass x\in H aus 0\le x \le h\in H folgt.[5]

Man kann also einfache AF-Algebren konstruieren, das heißt solche ohne echte von {0} verschiedene zweiseitige Ideale, indem man abzählbare, unperforierte, skalierte, geordnete Gruppen mit der Rieszschen Interpolationseigenschaft findet, die keine echten Ordnungsideale haben. Die dichten Untergruppen von \Q, die \Z umfassen mit [0,1] als Skala, sind Beispiele (UHF-Algebren), aber auch Gruppen wie G=\Q^n mit G^+=\{0\}\cup\Q_{>0}^n und der durch die Ordnungseinheit (1,\ldots,1) definierten Skala.[6]

Bratteli-Diagramme

Ein weiteres wichtiges Werkzeug zur Untersuchung von AF-Algebren sind Bratteli-Diagramme, bestimme unendliche, gerichtete Graphen, die die Struktur der Algebra wiedergeben.

Einzelnachweise

  1. K. R. Davidson: C*-Algebras by Example, American Mathematical Society (1996), ISBN 0-821-80599-1, Example III.2.5
  2. B. Blackadar: K-Theory for Operator-Algebras, Springer Verlag (1986), ISBN 3-540-96391-X, chapters 5, 6
  3. K. R. Davidson: C*-Algebras by Example, American Mathematical Society (1996), ISBN 0-821-80599-1, Theorem IV.4.3
  4. K. R. Davidson: C*-Algebras by Example, American Mathematical Society (1996), ISBN 0-821-80599-1, IV.7.3
  5. K. R. Davidson: C*-Algebras by Example, American Mathematical Society (1996), ISBN 0-821-80599-1, IV.5.1
  6. B. Blackadar: K-Theory for Operator-Algebras, Springer Verlag (1986), ISBN 3-540-96391-X, 7.5, 7.6

Quellen

  • B. Blackadar: K-Theory for Operator-Algebras, Springer Verlag (1986), ISBN 3-540-96391-X
  • K. R. Davidson: C*-Algebras by Example, American Mathematical Society (1996), ISBN 0-821-80599-1
  • E.G. Effros, D.E. Handelman, C.L. Shen: Dimension groups and their affine transformations, Amer. J. Math. (1980), Band 102, Seiten 385-402.
  • K. R. Goodearl: Notes on real and complex C*-algebras, Shiva Publishing Limited (1982), ISBN 0-906-81216-X

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Algebra tiles — Algebra tiles are known as mathematical manipulatives that allow students to better understand ways of algebraic thinking and the concepts of algebra. These tiles have proven to provide concrete models for elementary school, middle school, high …   Wikipedia

  • Algebra (Struktur) — Algebra über einem Körper berührt die Spezialgebiete Mathematik Abstrakte Algebra Lineare Algebra Kommutative Algebra ist Spezialfall von Algebraische Struktur Vektorraum …   Deutsch Wikipedia

  • Álgebra de Boole — (también llamada Retículas booleanas) en informática y matemática, es una estructura algebraica que esquematiza las operaciones lógicas Y, O , NO y Si (AND,OR,NOT,IF), así como el conjunto de operaciones unión, intersección y complemento. Se… …   Wikipedia Español

  • Algebra (disambiguation) — Algebra is a branch of mathematics.Algebra may also mean: * elementary algebra * abstract algebra * linear algebra * universal algebra * computer algebraIn addition, many mathematical objects are known as algebras. * In logic: ** Boolean algebra… …   Wikipedia

  • Algebra (Begriffsklärung) — Algebra bezeichnet in der Mathematik: Algebra, ein Teilgebiet der Mathematik mit den weiteren Teilgebieten Elementare Algebra Abstrakte Algebra Lineare Algebra Kommutative Algebra Universelle Algebra Computeralgebra Außerdem bezeichnet man mit… …   Deutsch Wikipedia

  • Algebra Blessett — Algebra (chanteuse) Algebra Nom Algebra Felicia Blessett Naissance 1976 à Atlanta, Géorgie (États Unis) Pays d’origine …   Wikipédia en Français

  • Álgebra de Baldor — Álgebra Portada del libro Álgebra, de Aurelio Baldor Autor Aurelio Baldor …   Wikipedia Español

  • algebră — ALGÉBRĂ s.f. 1. Teorie a operaţiilor privind numerele reale (pozitive ori negative) sau complexe şi rezolvarea ecuaţiilor prin substituirea prin litere a valorilor numerice şi a formulei generale de calcul numeric particular. ♦ Manual şcolar care …   Dicționar Român

  • Algebra (chanteuse) — Algebra Nom Algebra Felicia Blessett Naissance 1976 à Atlanta, Géorgie (États Unis) Pays d’origine Etats Unis Activ …   Wikipédia en Français

  • Algebra — (fra Arabisk al djebr ) er en gren af matematikken der kan beskrives som en genralisering og udvidelse af aritmetikken. Man kan lave en grov inddeling af algebra i disse felter: 10 Elementær algebra hvor man ser på egenskaberne ved de reelle tal …   Danske encyklopædi

  • Algebra — Sf Lehre von den mathematischen Gleichungen (usw.) erw. fach. (15. Jh.) Entlehnung. Entlehnt aus ml. algebra, das seinerseits auf arab. al ǧabr zurückgeht. Dieses ist Teil des Titels eines Lehrbuchs des arabischen Mathematikers Al Ḫwārizmī (9. Jh …   Etymologisches Wörterbuch der deutschen sprache

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”