Bestvina-Mess-Formel

Im mathematischen Gebiet der geometrischen Gruppentheorie berechnet die Bestvina-Mess-Formel (auch Satz von Bestvina und Mess) die Dimension des Randes einer hyperbolischen Gruppe aus ihrer Gruppenkohomologie. Sie wurde von Mladen Bestvina und Geoffrey Mess bewiesen.

Satz von Bestvina und Mess

Sei <math>\Gamma</math> eine hyperbolische Gruppe, dann gilt für die Dimension ihres Randes <math>\partial_\infty\Gamma</math>:

<math>\dim(\partial_\infty\Gamma)=\max\left\{n\colon H^n(\Gamma,\Z\Gamma)\not=0\right\}.</math>

Insbesondere gilt für torsionsfreie hyperbolische Gruppen

<math>\dim(\partial_\infty\Gamma)=cd(\Gamma),</math>

wobei <math>cd(\Gamma)</math> die kohomologische Dimension der Gruppe <math>\Gamma</math> bezeichnet.

Z-Mengen

Die Bestvina-Mess-Formel folgt aus dem von Bestvina und Mess bewiesenen Isomorphismus von <math>R\Gamma</math>-Moduln (für einen beliebigen Ring <math>R</math>):

<math>H^i(\Gamma,R\Gamma)\cong \check{H}(\partial\Gamma,R),</math>

wobei die rechte Seite die Čech-Kohomologie des Randes <math>\partial\Gamma</math> mit Koeffizienten im Ring <math>R</math> bezeichnet.

Dieser wiederum folgt aus dem folgenden 1991 von Bestvina und Mess bewiesenen Satz.

Sei <math>P(\Gamma)</math> der Rips-Komplex der hyperbolischen Gruppe <math>\Gamma</math>. Dann ist <math>\overline{P(\Gamma)}:=P(\Gamma)\cup\partial_\infty\Gamma</math> ein absoluter Retrakt und <math>\partial_\infty\Gamma</math> eine <math>\mathcal{Z}</math>-Menge in <math>\overline{P(\Gamma)}</math>.

Letzteres bedeutet, dass es für jede abgeschlossene Teilmenge <math>A\subset\partial_\infty\Gamma</math> eine Homotopie <math>H\colon \overline{P(\Gamma)}\times\left[0,1\right]\to \overline{P(\Gamma)}</math> mit <math>H_0=id</math> und <math>H_t\vert_A=id</math> gibt, so dass

<math>H_t(\overline{P(\Gamma)}\setminus A)\subset \overline{P(\Gamma)}\setminus \partial_\infty\Gamma</math>

für alle <math>t>0</math> gilt.

Anwendungen

Bestvina und Mess benutzen ihre Formel, um den folgenden Satz über die lokale Topologie des Randes zu beweisen:

Sei <math>\Gamma</math> eine hyperbolische Gruppe. Es gebe einen Ring <math>R</math> und ein <math>i>0</math> für das <math>H^i(\Gamma,R\Gamma)</math> endlich erzeugt und nicht Null ist. Wenn <math>\partial_\infty\Gamma</math> zusammenhängend ist, dann ist es lokal zusammenhängend.

Für die Fundamentalgruppen <math>\Gamma=\pi_1M</math> geschlossener, irreduzibler 3-Mannigfaltigkeiten <math>M</math> beweisen sie, dass <math>\partial_\infty\Gamma</math> homöomorph zur 2-Sphäre und die universelle Überlagerung <math>\widetilde{M}</math> homöomorph zum <math>\R^3</math>, sowie <math>\widetilde{M}\cup\partial_\infty\Gamma</math> homöomorph zur abgeschlossenen 3-Kugel <math>B^3</math> ist.

In höheren Dimensionen <math>n\ge 6</math> gilt der analoge Satz, dass für eine torsionsfreie, hyperbolische Gruppe <math>\Gamma</math>, die die Fundamentalgruppe einer geschlossenen, asphärischen <math>n</math>-Mannigfaltigkeit <math>M</math> mit <math>\widetilde{M}\cong\R^n</math> und <math>\widetilde{M}\cup\partial_\infty\Gamma\cong B^n</math> ist, der Rand homöomorph zu <math>S^{n-1}</math> sein muss.<ref>A. Bartels, W. Lück, S. Weinberger: On hyperbolic groups with spheres as boundary. J. Diff. Geom. 86, 1-16 (2010).</ref>

Literatur

• M. Bestvina, G. Mess: The boundary of negatively curved groups. J. Amer. Math. Soc. 4, 469–481 (1991).

Einzelnachweise

<references />