In der Mathematik ist simpliziales Volumen eine Homotopieinvariante geschlossener Mannigfaltigkeiten, die von Gromow in seinem Beweis der Mostow-Starrheit eingeführt wurde. Intuitiv misst das simpliziale Volumen, wie schwierig es ist, die Mannigfaltigkeit durch Simplizes (mit reellen Koeffizienten) darzustellen.
Sei eine orientierte, zusammenhängende, geschlossene, -dimensionale Mannigfaltigkeit.
Sei die -Norm auf dem singuläre Kettenkomplex mit reellen Koeffizienten gegeben durch
für mit und singulären Simplizes .
Weiter bezeichne die -Halbnorm für die singuläre Homologie mit reellen Koeffizienten, die durch induziert wird. Das heißt, für ist
(Diese Halbnorm auf der Homologie wird als Gromov-Norm bezeichnet.)
Dann wird das simpliziale Volumen von definiert als
Dabei ist die Fundamentalklasse von mit reellen Koeffizienten.
Für eine nicht-orientierbare, zusammenhängende, geschlossene, -dimensionale Mannigfaltigkeit definiert man , wobei die orientierbare 2-fache Überlagerung bezeichnet.
Für eine unzusammenhängende, geschlossene, -dimensionale Mannigfaltigkeit definiert man , wobei die Zusammenhangskomponenten von sind.
Die -Seminorm ist im folgenden Sinne funktoriell:
Wenn eine stetige Abbildung von topologischen Räumen und ist, dann gilt
wie aus der Definition von und von hervorgeht.
Daraus ergeben sich als Folgerungen:
Daher haben alle orientierten geschlossenen Mannigfaltigkeiten, die eine Selbstabbildung von nichttrivialem Abbildungsgrad zulassen (d. h. nicht gleich −1, 0 oder 1), ein verschwindendes simpliziales Volumen; zum Beispiel das simpliziale Volumen von allen
ist Null.
In den meisten Fällen erweist sich der Versuch, das simpliziale Volumen durch direkte Anwendung der Definition zu berechnen, als zwecklos. Die beiden Hauptquellen für nichttriviale Abschätzungen und Vererbungseigenschaften des simplizialen Volumens sind:
Das simpliziale Volumen ist eine Homotopieinvariante, die nichttriviale Informationen über das Riemannsche Volumen codiert. Das grundlegendste Ergebnis dieses Typs ist Gromovs Ungleichung und die daraus resultierende untere Abschätzung des minimalen Volumens durch das simpliziale Volumen (verbessert von Besson-Courtois-Gallot):
Für alle geschlossenen Riemannschen -Mannigfaltigkeiten , deren Ricci-Krümmung von unten durch beschränkt ist, gilt
Für alle geschlossenen glatten -Mannigfaltigkeiten gilt
Dabei ist das minimale Volumen einer glatten Mannigfaltigkeit definiert als
Hierbei bezeichnet die Schnittkrümmung der vollständigen Riemannschen Mannigfaltigkeit .
Umgekehrt wird bei negativer Krümmung das simpliziale Volumen von unten durch das Riemannsche Volumen abgeschätzt:
Der Beweis der unteren Schranke erfolgt durch „Straffziehen“ von Fundamentalzykeln zu Zykeln, welche nur aus solchen singulären Simplizes bestehen, deren Hebungen zur Riemannschen universellen Überlagerung geodätisch sind.
Wegen bekommt man für eine orientierte geschlossene zusammenhängende Fläche vom Geschlecht
Verallgemeinerungen dieses Satzes sind:
Ein algebraischerer Ansatz für das simpliziale Volumen basiert auf der folgenden Beobachtung:
Sei ein topologischer Raum, sei und sei . Dann gilt
Für eine orientierte geschlossene -Mannigfaltigkeit gilt dann:
wobei die Kohomologieklasse bezeichnet, die zur Fundamentalklasse von dual ist.
Im Kontext des simplizialen Volumens trug die beschränkte Kohomologie dazu bei, Verschwindendungssätze bei mittelbaren Fundamentalgruppen, Nichtverschwindendungssätze bei negativer Krümmung und Vererbungseigenschaften in Bezug auf Produkte, zusammenhängende Summen und gemeinsame riemannsche Überlagerungen zu beweisen.
Das simpliziale Volumen ist multiplikativ in Bezug auf endliche Überlagerungen:
Sei eine Überlagerungsabbildung geschlossener Mannigfaltigkeiten, und sei die endliche Anzahl von Blättern von . Dann gilt
Das simpliziale Volumen ist in Bezug auf direkte Produkte von Mannigfaltigkeiten nahezu multiplikativ:
Seien und geschlossene Mannigfaltigkeiten. Dann gilt
Ein Beweis für die obere Abschätzung kann gegeben werden, indem die konkrete Beschreibung von mittels des Kreuzprodukts singulärer Ketten. Die untere Abschätzung kann unter Verwendung des Dualitätsprinzips und der Tatsache bewiesen werden, dass die Norm submultiplikativ für das Kreuzprodukt beschränkter singulärer Koketten ist.
Das simpliziale Volumen ist im Allgemeinen nicht multiplikativ: Bucher-Karlsson hat bewiesen, dass gilt für alle geschlossenen Flächen , des Geschlechts mindestens 2.
Das simpliziale Volumen ist für zusammenhängende Summen im folgenden Sinne additiv:
und seien geschlossene Mannigfaltigkeiten derselben Dimension mindestens 3. Dann gilt
Der Beweis beruht auf dem Abbildungssatz in der beschränkten Kohomologie und einer sorgfältigen Analyse sogenannter baumartiger Komplexe. Wenn man diese Argumente verallgemeinert, kann man sehen, dass auch die Additivität für das simpliziale Volumen in Bezug auf bestimmte "mittelbare" Verklebungen gilt.
Das simpliziale Volumen ist im Allgemeinen für zusammenhängende Summen in Dimension 2 nicht additiv: das simpliziale Volumen des Torus ist Null, aber das simpliziale Volumen einer orientierten geschlossenen Fläche vom Geschlecht 2 ist ungleich Null.
Weiterhin hat jede geschlossene Mannigfaltigkeit, die eine nichttriviale -Wirkung zulässt, ein verschwindendes simpliziales Volumen.
Bei hyperbolischen Mannigfaltigkeiten ist das simpliziale Volumen proportional zum Riemannschen Volumen. Gromov und Thurston fanden ein allgemeineres Proportionalitätsprinzip, das für alle Riemannschen Mannigfaltigkeiten gilt:
und seien geschlossene Riemannsche Mannigfaltigkeiten mit isometrischen Riemannschen universellen Überlagerungen. Dann
Sowohl Gromovs als auch Thurstons Beweis für dieses Ergebnis verwenden einen Mittelungsprozess.
In Anbetracht des Dualitätsprinzips kann das simpliziale Volumen in beschränkter Kohomologie interpretiert werden. Der Schlüssel zur Ableitung interessanter Konsequenzen ist die durch den folgenden Abbildungssatz gegebene Beziehung der beschränkten Kohomologie zur Fundamentalgruppe und das Verhältnis der beschränkten Kohomologie zur geometrischen Gruppentheorie.
Eines der grundlegendsten Merkmale der beschränkten Kohomologie ist, dass sie in den Homotopiegruppen eines Raums mittelbare Untergruppen nicht erkennen kann:
Sei eine (basispunkterhaltende) stetige Abbildung zwischen zusammenhängenden abzählbaren CW-Komplexen, so dass surjektiv ist und mittelbaren Kern hat.
Zu beachten ist, dass das simpliziale Volumen nicht nur von der Fundamentalgruppe abhängt, sondern auch von der klassifizierenden Abbildung . Zum Beispiel erfüllt jede geschlossene hyperbolische Mannigfaltigkeit
Wenn eine orientierte geschlossene -Mannigfaltigkeit ist, deren Fundamentalgruppe (rationale) kohomologische Dimension kleiner hat, dann ist .
Direkte Konsequenzen des Abbildungssatzes der beschränkten Kohomologie sind:
Allgemeiner: Ein stärkerer Verschwindungssatz für die Vergleichsabbildung für Räume mit mittelbaren Überdeckungen geringer Vielfachheit führt zu folgender Aussage: Wenn eine geschlossene -Mannigfaltigkeit ist, die eine Überdeckung der Vielfachheit höchstens durch mittelbare offene Teilmengen zulässt, dann .
Das Nicht-Verschwinden des simplizialen Volumens von Riemannschen Mannigfaltigkeiten negativer Schnittkrümmung zusammen mit dem Dualitätsprinzip impliziert, dass die kohomologische Fundamentalklasse einer solchen Mannigfaltigkeit im Bild der Vergleichsabbildung liegt. Allgemeiner zeigte Mineyev, dass es (im Fall von rational wesentlichen Mannigfaltigkeiten) genügt, Hyperbolizität der Fundamentalgruppe anzunehmen:
Sei eine endlich präsentierte Gruppe. Dann sind äquivalent:
Sei eine geschlossene Mannigfaltigkeit der Dimension mindestens 2, die rational wesentlich ist (z. B. asphärisch). Wenn die Fundamentalgruppe von wort-hyperbolisch ist, dann folgt .
Für orientierte zusammenhängende kompakte -Mannigfaltigkeit mit Rand wird das relative simpliziale Volumen als -Seminorm der relativen Fundamentalklasse in der relativen singulären Homologie definiert. Die Ausweitung des simplizialen Volumens auf Mannigfaltigkeiten mit Rand spielt eine wichtige Rolle in der Theorie der 3-Mannigfaltigkeiten.
Nicht-kompakte, orientierte, zusammenhängende Mannigfaltigkeiten haben eine Fundamentalklasse in der lokal endlichen Homologie. Man verwendet dann die (möglicherweise unendliche) -Seminorm für lokal endliche Homologie mit reellen Koeffizienten. Es gibt zwei Hauptvarianten des simplizialen Volumens nicht-kompakter Mannigfaltigkeiten – eine topologische und eine geometrische, wo den Fundamentalzyklen eine Lipschitz-Bedingung auferlegt wird:
Typischerweise wird das simpliziale Volumen als Werkzeug verwendet, um topologische Starrheitseigenschaften des Riemannschen Volumens oder das Nicht-Verschwinden des minimalen Volumens bestimmter Mannigfaltigkeiten festzustellen. Zwei herausragende Beispiele sind Gromovs Beweis der Mostow-Starrheit und Sätze über den Abbildungsgrad.
Hyperbolische Mannigfaltigkeiten werden vollständig durch ihren Homotopietyp bestimmt, d. h. hyperbolische Mannigfaltigkeiten sind im folgenden Sinne "starr":
Seien und geschlossene hyperbolische Mannigfaltigkeiten der gleichen Dimension . Wenn eine Homotopieäquivalenz ist, gibt es eine Isometrie homotop zu . Insbesondere kann eine geschlossene Mannigfaltigkeit der Dimension mindestens 3 höchstens eine hyperbolische Struktur besitzen.
Ein entscheidender Schritt in Gromovs Beweis der Mostow-Starrheit besteht darin, zu zeigen, dass zwei homotopie-äquivalente geschlossene hyperbolische Mannigfaltigkeiten das gleiche Volumen haben. Gromov führte in diesem Zusammenhang das simpliziale Volumen ein, da es eine elegante Möglichkeit bietet, diese Tatsache (unter Verwendung der Beziehung des simplizialen Volumens zum hyperbolischen Volumen und der Homotopie-Invarianz des simplizialen Volumens) zu beweisen.
Ein Gradsatz ist ein Satz der folgenden Form:
und seien bestimmte geeignete Klassen von Riemannschen Mannigfaltigkeiten derselben Dimension – die Domänenmannigfaltigkeiten und die Zielmannigfaltigkeiten. Dann gibt es eine Konstante mit der folgenden Eigenschaft: Für alle , alle und alle stetigen Abbildungen haben wir
Die Kunst besteht darin, geeignete Klassen von Domänen- und Zielverteilern zu finden. Die Funktorialität des simplizialen Volumens und die Beziehung zwischen dem Riemannschen Volumen geschlossener hyperbolischer Mannigfaltigkeiten und dem simplizialen Volumen ergeben zusammen einen Gradsatz für hyperbolische Mannigfaltigkeiten:
und seien orientierte geschlossene zusammenhängende hyperbolische Mannigfaltigkeiten derselben Dimension. Dann gilt
für jede stetige Abbildung .
In ähnlicher Weise führen Nichtverschwindungssätze für das simpliziale Volumen zusammen mit Gromovs Abschätzung des minimalen Volumens durch das simpliziale Volumen zu allgemeineren Gradsätzen. Entsprechende Ergebnisse für das Lipschitz-simpliziale Volumen nichtkompakter Riemannscher Mannigfaltigkeiten führen zu Gradsätzen für eigentliche Lipschitz-stetige Abbildungen zwischen bestimmten nichtkompakten Mannigfaltigkeiten.
Unter Verwendung der Beziehung zwischen dem simplizialen Volumen hyperbolischer Mannigfaltigkeiten und dem hyperbolischen Volumen (eine verallgemeinerte Version, die auch nichtkompakte Mannigfaltigkeiten und Mannigfaltigkeiten mit Rand abdeckt) bewies Thurston, dass hyperbolische Dehn-Füllungen vollständiger hyperbolischer 3-Mannigfaltigkeiten endlichen Volumens das hyperbolische Volumen verringern.
Das simpliziale Volumen erkennt Graphmannigfaltigkeiten:
H. Murakami und J. Murakami vermuteten, ähnlich wie die Volumenvermutung für Knoten, dass das simpliziale Volumen eines Knotenkomplements mit der asymptotischen Wachstumsrate des gefärbten Jones-Polynoms des fraglichen Knotens in Beziehung stehen sollte. Wenn diese Vermutung zutrifft, können Invarianten endlichen Typs (Vassiliev-Invarianten) die Trivialität eines Knotens erkennen.