Gruppe mit Poincaré-Dualität

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Gruppen mit Poincaré-Dualität (engl.: Poincaré duality groups) sind ein Begriff aus dem mathematischen Gebiet der Gruppentheorie, der in zahlreichen Fragen der algebraischen und geometrischen Topologie von Bedeutung ist.

Eine offene Vermutung von Wall besagt, dass eine endlich präsentierte Gruppe genau dann eine n {\displaystyle n} {\displaystyle n}-dimensionale Poincaré-Dualität erfüllt, wenn sie die Fundamentalgruppe einer asphärischen geschlossenen Mannigfaltigkeit ist.

Eine Gruppe G {\displaystyle G} {\displaystyle G} ist eine Gruppe mit n {\displaystyle n} {\displaystyle n}-dimensionaler Poincaré-Dualität, wenn es einen als Z {\displaystyle \mathbb {Z} } {\displaystyle \mathbb {Z} }-Modul zu Z {\displaystyle \mathbb {Z} } {\displaystyle \mathbb {Z} } isomorphen Z G {\displaystyle \mathbb {Z} G} {\displaystyle \mathbb {Z} G}-Modul D {\displaystyle D} {\displaystyle D} gibt, so dass man für jeden Modul A {\displaystyle A} {\displaystyle A} über dem Gruppenring Z G {\displaystyle \mathbb {Z} G} {\displaystyle \mathbb {Z} G} und alle 0 i n {\displaystyle 0\leq i\leq n} {\displaystyle 0\leq i\leq n} einen Isomorphismus

H i ( G , A ) H n i ( G , D A ) {\displaystyle H^{i}(G,A)\simeq H_{n-i}(G,D\otimes A)} {\displaystyle H^{i}(G,A)\simeq H_{n-i}(G,D\otimes A)}

der i {\displaystyle i} {\displaystyle i}-ten Gruppenkohomologie mit Koeffizienten in A {\displaystyle A} {\displaystyle A} mit der ( n i ) {\displaystyle (n-i)} {\displaystyle (n-i)}-ten Gruppenhomologie mit Koeffizienten in D A {\displaystyle D\otimes A} {\displaystyle D\otimes A} hat.

Für endlich präsentierte Gruppen ist diese Definition äquivalent zu der Bedingung, dass

  • H i ( G , Z G ) = 0 {\displaystyle H^{i}(G,\mathbb {Z} G)=0} {\displaystyle H^{i}(G,\mathbb {Z} G)=0} für alle i n {\displaystyle i\not =n} {\displaystyle i\not =n} und
  • H n ( G , Z G ) = Z {\displaystyle H^{n}(G,\mathbb {Z} G)=\mathbb {Z} } {\displaystyle H^{n}(G,\mathbb {Z} G)=\mathbb {Z} } gilt.

Ebenfalls für endlich präsentierte Gruppen besagt eine äquivalente Definition, dass eine Gruppe n {\displaystyle n} {\displaystyle n}-dimensionaler Poincaré-Dualität erfüllt, wenn sie frei und eigentlich diskontinuierlich auf einem zusammenziehbaren Zellkomplex X {\displaystyle X} {\displaystyle X} mit H c ( X , Z ) = H c ( R n , Z ) {\displaystyle H_{c}^{*}(X,\mathbb {Z} )=H_{c}^{*}(\mathbb {R} ^{n},\mathbb {Z} )} {\displaystyle H_{c}^{*}(X,\mathbb {Z} )=H_{c}^{*}(\mathbb {R} ^{n},\mathbb {Z} )} (für die Kohomologie mit kompaktem Träger) wirkt.

Die Fundamentalgruppe G = π 1 M {\displaystyle G=\pi _{1}M} {\displaystyle G=\pi _{1}M} einer asphärischen geschlossenen n {\displaystyle n} {\displaystyle n}-dimensionalen Mannigfaltigkeit M {\displaystyle M} {\displaystyle M} erfüllt n {\displaystyle n} {\displaystyle n}-dimensionale Poincaré-Dualität. Tatsächlich sind in diesem Fall die Homologe und Kohomologie der Gruppe G {\displaystyle G} {\displaystyle G} isomorph zur Homologie und Kohomologie der Mannigfaltigkeit M {\displaystyle M} {\displaystyle M} und für letztere gilt Poincaré-Dualität. Der Z G {\displaystyle \mathbb {Z} G} {\displaystyle \mathbb {Z} G}-Modul D {\displaystyle D} {\displaystyle D} ist in diesem Fall der Orientierungsmodul D = H n ( G , Z G ) {\displaystyle D=H^{n}(G,\mathbb {Z} G)} {\displaystyle D=H^{n}(G,\mathbb {Z} G)}, welcher im Fall orientierbarer Mannigfaltigkeiten D = Z {\displaystyle D=\mathbb {Z} } {\displaystyle D=\mathbb {Z} } mit der trivialen G {\displaystyle G} {\displaystyle G}-Wirkung ist.

Die Fundamentalgruppen geschlossener Mannigfaltigkeit sind stets endlich präsentiert. Es gibt aber auch Gruppen mit Poincaré-Dualität, die nicht endlich präsentiert sind.[1]

Sei G {\displaystyle G} {\displaystyle G} eine Gruppe mit n {\displaystyle n} {\displaystyle n}-dimensionaler Poincaré-Dualität. Dann gilt

  • G {\displaystyle G} {\displaystyle G} ist endlich erzeugt
  • die kohomologische Dimension von G {\displaystyle G} {\displaystyle G} ist n {\displaystyle n} {\displaystyle n}
  • G {\displaystyle G} {\displaystyle G} ist torsionsfrei
  • eine Untergruppe H G {\displaystyle H\subset G} {\displaystyle H\subset G} ist genau dann eine Gruppe mit n {\displaystyle n} {\displaystyle n}-dimensionaler Poincaré-Dualität, wenn sie endlichen Index in G {\displaystyle G} {\displaystyle G} hat
  • eine Untergruppe H G {\displaystyle H\subset G} {\displaystyle H\subset G} ist genau dann eine Gruppe mit n {\displaystyle n} {\displaystyle n}-dimensionaler Poincaré-Dualität, wenn ihre kohomologische Dimension n {\displaystyle n} {\displaystyle n} ist
  • Untergruppen von unendlichem Index haben eine kohomologische Dimension kleiner als n {\displaystyle n} {\displaystyle n}.
  • K. S. Brown, Cohomology of Groups, Springer-Verlag, New York (1982).

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten ]
  1. M. Bestvina, N. Brady, Morse theory and finiteness properties of groups, Invent. Math. 129 (1997), 445–470.
Abgerufen von „https://de.wikipedia.org/w/index.php?title=Gruppe_mit_Poincaré-Dualität&oldid=200202154"