Bloch-Gruppe

Im mathematischen Teilgebiet der Algebra ist die Bloch-Gruppe ein Ansatz zur expliziten Beschreibung der 3. algebraischen K-Theorie von Körpern. Sie ist auch von Bedeutung bei der Untersuchung von Dilogarithmen, bei der Formalisierung des 3. Hilbertschen Problems und in der Topologie 3-dimensionaler hyperbolischer Mannigfaltigkeiten.

Definition

Es sei $K$ ein Körper und

\mathbb {Z} \left[K\setminus \left\{0,1\right\}\right]

die von $K\setminus \left\{0,1\right\}$ formal erzeugte freie abelsche Gruppe. Wir bezeichnen mit $\left[x\right]$ das $x\in K\setminus \left\{0,1\right\}$ entsprechende Element von $\mathbb {Z} \left[K\setminus \left\{0,1\right\}\right]$ .

Die Prä-Bloch-Gruppe ${\mathfrak {p}}(K)$ ist als Quotient von $\mathbb {Z} \left[K\setminus \left\{0,1\right\}\right]$ modulo der von allen "5-Term-Relationen"

\left[x\right]-\left[y\right]+\left[{\frac {y}{x}}\right]-\left[{\frac {1-x^{-1}}{1-y^{-1}}}\right]+\left[{\frac {1-x}{1-y}}\right],\quad x,y\in K\setminus \left\{0,1\right\}

erzeugten Untergruppe definiert.

Ein Homomorphismus

\phi \colon \mathbb {Z} \left[K\setminus \left\{0,1\right\}\right]\to K^{*}\otimes _{\mathbb {Z} }K^{*}

wird definiert durch

\phi \left(\sum _{i}\lambda _{i}z_{i}\right)=\sum _{i}\lambda _{i}z_{i}\otimes (1-z_{i})

für $\lambda _{i}\in \mathbb {Z} ,z_{i}\in K\setminus \left\{0,1\right\}$ . Man rechnet nach, dass $\phi$ einen wohldefinierten Homomorphismus

D\colon {\mathfrak {p}}(K)\to (K^{*}\otimes K^{*})/\langle x\otimes y-y\otimes x\colon x,y\in K^{*}\rangle

induziert. Dieser Homomorphismus wird wegen des Zusammenhangs zu Hilberts 3. Problem als Dehn-Invariante bezeichnet.

Die Bloch-Gruppe $\operatorname {B} (K)\subset {\mathfrak {p}}(K)$ ist als Kern von $D$ definiert.

Aus der Definition der Bloch-Gruppe und dem Satz von Matsumoto folgt, dass die Blochgruppe Teil einer exakten Sequenz

0\longrightarrow \operatorname {B} (K)\longrightarrow {\mathfrak {p}}(K){\stackrel {D}{\longrightarrow }}\wedge ^{2}K^{*}\longrightarrow \operatorname {K} _{2}(K)\longrightarrow 0

ist. Diese Sequenz wird als Bloch-Suslin-Komplex bezeichnet und gelegentlich auch als Definition der Bloch-Gruppe verwendet.

Geometrische Interpretation

Es sei $P^{1}K$ die projektive Gerade über dem Körper $K$ und

(C_{*}(P^{1}K),d_{*})

der Kettenkomplex, dessen $i$ -te Gruppe $C_{i}(P^{1}K)$ die von den $(i+1)$ -Tupeln

(x_{0},\ldots ,x_{i})

paarweise verschiedener Punkte $x_{k}\in P^{1}K$ formal erzeugte freie abelsche Gruppe und dessen Differential $d_{i}\colon C_{i}(P^{1}K)\to C_{i-1}(P^{1}K)$ durch die Formel

d_{i}(x_{0},\ldots ,x_{i})=\sum _{k=0}^{i}(-1)^{k}(x_{0},\ldots ,x_{k-1},x_{k+1},\ldots ,x_{i})

gegeben ist. Dann ist[1]

{\mathfrak {p}}(K)=H_{3}(C_{*}(P^{1}K)\otimes _{\mathbb {Z} G}\mathbb {Z} ,d\otimes id)

für die Wirkung von $G:=PGL(2,K)$ auf $P^{1}K$ .

Insbesondere hat man einen kanonischen Homomorphismus

H_{3}(PGL(2,K)\to {\mathfrak {p}}(K)

,

der von der durch

g\to g.\infty

gegebenen Abbildung

PGL(2,K)\to P^{1}(K)

induziert wird. (Die Wahl von $\infty \in P^{1}K$ als Basispunkt ist willkürlich, Wahl eines anderen Basispunktes würde ebenfalls einen Homomorphismus induzieren.) Das Bild dieses Homomorphismus liegt sogar in $B(K)$ .

Unter dem Isomorphismus $H_{3}(C_{*}(P^{1}K)\otimes _{\mathbb {Z} G}\mathbb {Z} ,d\otimes id)\to {\mathfrak {p}}(K)$ entspricht ein 4-Tupel von Elementen aus $P^{1}K$ seinem Doppelverhältnis. Entsprechend bildet also der Homomorphismus

H_{3}(PGL(2,K)\to {\mathfrak {p}}(K)

ein 4-Tupel $(g_{0},g_{1},g_{2},g_{3})$ auf das Doppelverhältnis der 4 Punkte $g_{0}\infty ,g_{1}\infty ,g_{2}\infty ,g_{3}\infty$ ab.

Bloch-Wigner-Folge

Für algebraisch abgeschlossene Körper $K$ gibt es eine exakte Sequenz

0\longrightarrow \mu _{K}\longrightarrow H_{3}(SL(2,K))\longrightarrow {\mathfrak {p}}(K)\longrightarrow \wedge ^{2}(K^{*}/\mu _{K})\longrightarrow H_{2}(SL(2,K))\longrightarrow 0

,

wobei $\mu _{K}$ die Einheitswurzeln in $K$ bezeichnet.[2]

Eine unmittelbare Konsequenz ist die exakte Sequenz

0\longrightarrow \mu _{K}\longrightarrow H_{3}(SL(2,K))\longrightarrow B(K)\longrightarrow 0

.

Für $K=\mathbb {C}$ erhält man die exakte Sequenz

0\longrightarrow \mathbb {Q} /\mathbb {Z} \longrightarrow H_{3}(SL(2,\mathbb {C} ))\longrightarrow B(\mathbb {C} )\longrightarrow 0

.

Um den $\mathbb {Q} /\mathbb {Z}$ -Summanden zu integrieren, definierte W. Neumann für $K=\mathbb {C}$ die erweiterte Bloch-Gruppe ${\widehat {B}}(\mathbb {C} )$ . Diese ist isomorph zu $H_{3}(SL(2,\mathbb {C} ))$ .

Bloch-Gruppe und Bloch-Wigner-Dilogarithmus

Der für $z\in \mathbb {C} \setminus \left\{0,1\right\}$ definierte Bloch-Wigner-Dilogarithmus

\operatorname {D} _{2}(z)=\operatorname {Im} (\operatorname {Li} _{2}(z))+\arg(1-z)\log |z|

erfüllt die Funktionalgleichung

\operatorname {D} _{2}(x)+\operatorname {D} _{2}(y)+\operatorname {D} _{2}\left({\frac {1-x}{1-xy}}\right)+\operatorname {D} _{2}(1-xy)+\operatorname {D} _{2}\left({\frac {1-y}{1-xy}}\right)=0

und definiert deshalb eine wohldefinierte Abbildung

\operatorname {D} _{2}(z)\colon {\mathcal {B}}(\mathbb {C} )\to \mathbb {C}

.

Der Bloch-Wigner-Dilogarithmus ist die einzige messbare Abbildung $F\colon \mathbb {C} \setminus \left\{0,1\right\}\to \mathbb {R}$ , die die Funktionalgleichung

F(x)-F(y)+F\left({\frac {y}{x}}\right)-F\left({\frac {1-x^{-1}}{1-y^{-1}}}\right)+F\left({\frac {1-x}{1-y}}\right)

für alle $x,y\in \mathbb {C} \setminus \left\{0,1\right\}$ erfüllt. Man kann die Definition der Bloch-Gruppe also auch interpretieren als die minimale Gruppe, auf der der Bloch-Wigner-Dilogarithmus wohldefiniert ist. Verallgemeinerungen dieses Ansatzes für höhere Polylogarithmen führen zu Definitionen höherer Bloch-Gruppen.

Algebraische Eigenschaften

Wenn $K$ unendlich ist, dann hängt das Element

[z]+[1-z]\in \operatorname {B} (K)

nicht von $z\in K\setminus \left\{0,1\right\}$ ab. Es wird mit $c_{K}$ bezeichnet und erfüllt die Relation $6c_{K}=0\in \operatorname {B} (K)$ .[3]

Wenn $K$ algebraisch abgeschlossen ist, dann ist $\operatorname {B} (K)$ eine teilbare Gruppe. Weiterhin gelten dann für $z\in K\setminus \left\{0,1\right\}$ die Relationen

\left[z\right]+\left[1-z\right]=0

\left[z\right]+\left[{\frac {1}{z}}\right]=0

und man kann Symbole $\left[0\right]=\left[1\right]=\left[\infty \right]=0$ einführen, mit denen alle 5-Term-Relationen Gültigkeit behalten.

Insbesondere gilt $c_{K}=0$ für algebraisch abgeschlossene, unendliche Körper. Aus den obigen Relationen folgt dann $\left[z\right]=\left[1-{\frac {1}{z}}\right]=\left[{\frac {1}{1-z}}\right]$ für alle z.

Anwendungen

Bloch-Gruppe und Homologie der linearen Gruppe

Anwendung des durch die Wirkung von $GL(2,K)$ auf der projektiven Geraden $P^{1}K$ definierten kanonischen Homomorphismus $C_{*}(GL(2,K))\to C_{*}(P^{1}K)$ (siehe die geometrische Interpretation oben) liefert einen Isomorphismus[4]

H_{3}(GL(2,K))/H_{3}(GM(2,K))\cong B(K)

,

wobei $GM(2,K)\subset GL(2,K)$ die die Gruppe der monomialen Matrizen bezeichnet.

Für größere $n$ erhält man einen Isomorphismus[5]

H_{3}(GL(n,K))/H_{3}(GM(n,K))\cong B(K)/2c_{K}

für das oben definierte Element $c_{K}:=\left[x\right]+\left[1-x\right]\in B(K)$ der Ordnung maximal 6.

Eine explizite Realisierung von $H_{3}(SL(2,\mathbb {C} ))$ liefert die von Neumann definierte erweiterte Bloch-Gruppe ${\widehat {\operatorname {B} }}(\mathbb {C} )$ .

Bloch-Gruppe und K-Theorie

Dieselbe Abbildung induziert einen Isomorphismus

\operatorname {coker} (\pi _{3}(\operatorname {BGM} (K)^{+})\rightarrow \operatorname {K} _{3}(K))\cong \operatorname {B} (K)/2c_{K}

wobei $BGM(K)^{+}$ die Anwendung der Plus-Konstruktion auf den klassifizierenden Raum $BGM(K)$ bezeichnet.

Bezeichne $K_{3}^{M}$ die Milnorsche K-Theorie, dann hat man nach Suslin eine exakte Sequenz

0\rightarrow \operatorname {Tor} (K^{*},K^{*})^{\sim }\rightarrow \operatorname {K} _{3}(K)_{ind}\rightarrow \operatorname {B} (K)\rightarrow 0

mit K₃(K)_ind = coker(K₃^M(K) → K₃(K)) und Tor(K^*, K^*)^~ die eindeutige nichttriviale Erweiterung von Tor(K^*, K^*) mit Z/2, oder äquivalent

0\rightarrow {\widetilde {\mu _{K}}}\rightarrow \operatorname {K} _{3}(K)_{ind}\rightarrow \operatorname {B} (K)\rightarrow 0

,

wobei $\mu _{K}$ die Gruppe der Einheitswurzeln von K und ${\widetilde {\mu _{K}}}$ die nichttriviale Erweiterung von $\mu _{K}$ mit $\mathbb {Z} /2\mathbb {Z}$ (bzw. in Charakteristik 2: ${\widetilde {\mu _{K}}}=\mu _{K}$ ) bezeichnet.

Bloch-Gruppe und hyperbolische Geometrie

Für $K=\mathbb {C}$ ist $C_{3}(P^{1}\mathbb {C} )$ die von den nicht-ausgearteten idealen hyperbolischen Simplizes frei erzeugte abelsche Gruppe. Das einem Simplex unter dem Isomorphismus

H_{3}(C_{*}(P^{1}\mathbb {C} )\otimes _{\mathbb {Z} G}\mathbb {Z} )\cong {\mathfrak {p}}(\mathbb {C} )

entsprechende Element $z$ ist das Doppelverhältnis der 4 Ecken, der Bloch-Wigner-Dilogarithmus $D_{2}(z)$ gibt das Volumen des idealen Simplexes.

Man kann dies verwenden zur Definition einer Invariante hyperbolischer 3-Mannigfaltigkeiten. Sei $M$ eine hyperbolische 3-Mannigfaltigkeit mit einer idealen Triangulierung und seien $z_{1},\ldots ,z_{r}$ die Doppelverhältnisse der Simplizes, dann ist

\left[z_{1}\right]+\ldots +\left[z_{r}\right]

ein Element von $B(\mathbb {C} )$ (die Dehn-Invariante ist Null) und definiert eine Invariante der Mannigfaltigkeit, aus der man unter anderem durch Anwendung des Bloch-Wigner-Dilogarithmus das hyperbolische Volumen der Mannigfaltigkeit berechnen kann.

Bloch-Gruppe und sekundäre charakteristische Klassen

Mittels der Bloch-Gruppe und des Rogers-Dilogarithmus kann man explizite Formeln für die sekundären charakteristische Klassen ${\hat {p}}_{1}$ und ${\hat {c}}_{2}$ angeben, wobei man für den Realteil von ${\hat {c}}_{2}$ den erweiterten Rogers-Dilogarithmus und die erweiterte Bloch-Gruppe benötigt.

Literatur

Spencer Bloch: Higher regulators, algebraic K-theory, and zeta functions of elliptic curves. CRM Monograph Series, 11. American Mathematical Society, Providence, RI, 2000. ISBN 0-8218-2114-8
Johan Dupont, Chi Han Sah: Scissors congruences. II. J. Pure Appl. Algebra 25 (1982), no. 2, 159–195.
Andrei Suslin: K₃ of a field, and the Bloch group. (Russisch, ins Englische übersetzt in: Proc. Steklov Inst. Math. 1991, no. 4, 217–239.) Galois theory, rings, algebraic groups and their applications (russisch). Trudy Mat. Inst. Steklov. 183 (1990), 180–199, 229.
Johan Dupont: Scissors congruences, group homology and characteristic classes. Nankai Tracts in Mathematics, 1. World Scientific Publishing Co., Inc., River Edge, NJ, 2001. ISBN 981-02-4507-6; 981-02-4508-4

Einzelnachweise

Suslin, op.cit., Lemma 2.2
Die Folge ist eine Umformulierung eines unveröffentlichten Resultats von Bloch und Wigner, ein Beweis findet sich in Dupont-Sah, op.cit., siehe auch Dupont, op.cit., Theorem 8.19
Suslin, op.cit., Lemma 1.3
Suslin, op.cit., Theorem 2.1
Suslin, op.cit., Theorem 4.1

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Suslin, op.cit., Lemma 2.2

[2] Die Folge ist eine Umformulierung eines unveröffentlichten Resultats von Bloch und Wigner, ein Beweis findet sich in Dupont-Sah, op.cit., siehe auch Dupont, op.cit., Theorem 8.19

[3] Suslin, op.cit., Lemma 1.3

[4] Suslin, op.cit., Theorem 2.1

[5] Suslin, op.cit., Theorem 4.1