Cup-Produkt

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

In der Algebraischen Topologie, einem Teilgebiet der Mathematik, definiert das Cup-Produkt eine multiplikative Struktur auf einer Kohomologie. Dadurch erhält man auf der Kohomologie eine Ringstruktur, die als Kohomologiering bezeichnet wird. Ein analoges Produkt für Homologien gibt es nicht.

Für topologische Räume X und natürliche Zahlen p,q definiert das Cup-Produkt ein Produkt

H^p(X)\times H^q(X)\rightarrow H^{p+q}(X)
(\alpha,\beta)\rightarrow\alpha\cup\beta

mit den Eigenschaften

\alpha\cup\beta=(-1)^{pq}\beta\cup\alpha (graduierte Kommutativität)
f^*(\alpha\cup\beta)=f^*\alpha\cup f^*\beta für alle stetigen Abbildungen f \colon Y\rightarrow X (Natürlichkeit)
\alpha\cup(\beta_1+\beta_2)=\alpha\cup\beta_1+\alpha\cup\beta_2 (Distributivität)
\alpha\cup(\beta\cup\gamma)=(\alpha\cup\beta)\cup\gamma (Assoziativität).

Definition[Bearbeiten]

Im Folgenden werden drei Definitionen für das Cup-Produkt dargestellt. Die Definition des Cup-Produkts für die singuläre Kohomologie ist die allgemeinste der drei und umfasst die Definitionen für die De-Rham- und die simpliziale Kohomologie.

De-Rham-Kohomologie[Bearbeiten]

Diese Definition setzt voraus, dass X eine differenzierbare Mannigfaltigkeit ist.

In der de-Rham-Kohomologie werden Kohomologieklassen durch Differentialformen repräsentiert. Für das äußere Produkt von Differentialformen \omega\in\Omega^p(X),\eta\in\Omega^q(X) gilt die Leibniz-Regel d(\omega\wedge \eta)=d\omega\wedge \eta +(-1)^p\omega\wedge d\eta. Man kann deshalb das Cup-Produkt der von \omega und \eta repräsentierten Kohomologieklassen \alpha=\left[\omega\right],\beta=\left[\eta\right] durch

\left[\omega\right]\cup\left[\eta\right]=\left[\omega\wedge\eta\right]

definieren und erhält wegen der Leibniz-Regel eine wohldefinierte Abbildung der Kohomologiegruppen.

Simpliziale Kohomologie[Bearbeiten]

Diese Definition setzt voraus, dass X ein Simplizialkomplex ist.

In der Simplizialen Kohomologie werden Kohomologieklassen \alpha\in H^n(X;R) durch Homomorphismen f \colon C_n(X)\rightarrow R repräsentiert, wobei C_n(X) die n-te Kettengruppe, also die freie abelsche Gruppe über der Menge der n-Simplizes des Simplizialkomplexes X ist. Für einen (p+q)-Simplex \left[v_0,\ldots,v_{p+q}\right] bezeichnen wir mit \left[v_0,\ldots,v_p\right] bzw. \left[v_p,\ldots,v_{p+q}\right] die von den ersten p bzw. letzten q Ecken aufgespannten Untersimplizes. Fūr zwei Homomorphismen f \colon C_p(X)\rightarrow R, g \colon C_q(X)\rightarrow R definiert man f\cup g:C_{p+q}(X)\rightarrow R durch

(f\cup g)(\left[v_0,\ldots,v_n\right])=f(\left[v_0,\ldots,v_p\right])g(\left[v_p,\ldots,v_{p+q}\right]).

Diese Verknüpfung erfüllt die Leibniz-Regel d(f\cup g)=df\cup g +(-1)^p f\cup dg, man erhält also eine wohldefinierte Abbildung der Kohomologiegruppen, indem man das Cup-Produkt der Kohomologieklassen von f und g als die Kohomologieklasse von f\cup g definiert.

Singuläre Kohomologie[Bearbeiten]

Diese Definition funktioniert für beliebige topologische Räume, im Falle von differenzierbaren Mannigfaltigkeiten bzw. Simplizialkomplexen ist die so definierte Ringstruktur auf der singulären Kohomologie isomorph zu den oben definierten Ringstrukturen auf de-Rham- bzw. simplizialer Kohomologie.

Sei R ein Ring und H^\bullet(X;R) die singuläre Kohomologie mit Koeffizienten in R. Kohomologieklassen \alpha\in H^n(X;R) werden durch Homomorphismen f \colon C_n(X)\rightarrow R repräsentiert, wobei C_n(X) die n-te singuläre Kettengruppe, also die freie abelsche Gruppe über der Menge aller stetigen Abbildungen des Standard-n-Simplexes \Delta^n nach X ist. Man bezeichnet mit \iota_{0\ldots p} \colon \Delta^p\rightarrow\Delta^{p+q} beziehungsweise \iota_{p\ldots p+q} \colon \Delta^q\rightarrow\Delta^{p+q} die Inklusionen des Standard-p- beziehungsweise q-Simplexes als "vordere p-dimensionale Seite" beziehungsweise "hintere q-dimensionale Seite" in den Standard-(p+q)-Simplex. Für einen singulären (p+q)-Simplex \sigma : \Delta^{p+q}\rightarrow X und Koketten f \colon C_p(X)\rightarrow R, g \colon C_q(X)\rightarrow R definiert man

(f\cup g)(\sigma)=f(\sigma\circ \iota_{0\ldots p})g(\sigma\circ\iota_{p\ldots p+q}).

Diese Verknüpfung erfüllt die Leibniz-Regel d(f\cup g)=df\cup g +(-1)^p f\cup dg, man erhält also eine wohldefinierte Abbildung der Kohomologiegruppen, indem man das Cup-Produkt der Kohomologieklassen von f und g als die Kohomologieklasse von f\cup g definiert.

Das Cup-Produkt definiert eine zusätzliche, multiplikative Struktur auf den Kohomologiegruppen. Man kann mit Hilfe dieser multiplikativen Struktur manchmal Räume unterscheiden, deren Kohomologiegruppen als (additive) abelsche Gruppen isomorph sind.

Schnittform und Signatur[Bearbeiten]

Für eine geschlossene, orientierbare 4n-dimensionale Mannigfaltigkeit M existiert ein Isomorphismus H^{4n}(M;\mathbb Z) \cong \mathbb Z. Das Cup-Produkt definiert somit eine symmetrische Bilinearform

H^{2n}(M;\mathbb Z)\times H^{2n}(M;\mathbb Z)\rightarrow\mathbb Z,

die sogenannte Schnittform.

Die Signatur von M ist per Definition die Signatur dieser symmetrischen Bilinearform. Der Hirzebruchsche Signatursatz besagt, dass man die Signatur als Polynom in den Pontrjagin-Klassen darstellen kann.[1]

Einfach zusammenhängende differenzierbare 4-Mannigfaltigkeiten werden bis auf Homöomorphie (aber nicht Diffeomorphie) durch ihre Schnittform klassifiziert. Für die Klassifikation einfach zusammenhängender topologischer 4-Mannigfaltigkeiten benötigt man neben der Schnittform noch die Kirby-Siebenmann-Invariante.[2]

Literatur[Bearbeiten]

Hatcher: "Algebraic Topology", Chapter 3.2 (PDF; 539 kB)

Belege[Bearbeiten]

  1. Friedrich Hirzebruch: Neue topologische Methoden in der algebraischen Geometrie. Ergebnisse der Mathematik und ihrer Grenzgebiete (N.F.), Heft 9. Springer-Verlag, Berlin-Göttingen-Heidelberg, 1956. (Kapitel 2)
  2. Michael Freedman: The topology of four-dimensional manifolds. J. Differential Geom. 17 (1982), no. 3, 357–453.