Simpliziale Menge

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Geometrische Realisierung)

Eine simpliziale Menge ist eine Konstruktion in der kategoriellen Homotopietheorie. Sie ist ein rein algebraisches Modell für „schöne“ topologische Räume. Dieses Modell entstammt der kombinatorischen Topologie, insbesondere der Idee der Simplizialkomplexe.

Motivation

Eine simpliziale Menge ist ein kategorielles (d. h. rein algebraisches) Modell, das diejenigen topologischen Räume beschreibt, die aus Verklebungen von Simplizes entstehen oder homotopieäquivalent zu einem solchen Raum sind. Ähnlichkeiten existieren zur Beschreibung bestimmter topologischer Räume mittels CW-Komplexen mit dem Hauptunterschied, dass simpliziale Mengen als rein algebraisches Konstrukt mit keiner Topologie ausgestattet sind (siehe hierzu auch die untenstehende formale Definition).

Um aus simplizialen Mengen tatsächlich topologische Räume zu erhalten, gibt es einen Funktor geometrische Realisierung, der in die Kategorie der kompakt erzeugten Hausdorff-Räume abbildet. Viele klassische homotopietheoretische Resultate für CW-Komplexe besitzen Entsprechungen in der Kategorie der simplizialen Mengen.

Formale Definition

In der Sprache der Kategorientheorie ist eine simpliziale Menge ein kontravarianter Funktor

wobei die simpliziale Kategorie sei; eine kleine Kategorie, deren Objekte gegeben sind durch

und deren Morphismen die ordnungserhaltenden Abbildungen zwischen diesen Mengen sind. Das heißt

.

Hierbei ist Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle Set} die Kategorie der Mengen.

Es ist üblich, simpliziale Mengen als kovariante Funktoren von der oppositionellen Kategorie

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle X\colon \Delta ^{op}\to Set}

zu definieren. Diese Definition ist äquivalent zu obiger.

Alternativ kann man sich simpliziale Mengen auch als simpliziale Objekte (siehe unten) in der Kategorie der Mengen Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle Set} vorstellen, jedoch ist dies lediglich eine andere Sprache für dieselbe obige Definition. Wenn wir einen kovarianten Funktor anstatt eines kontravarianten verwenden, erhalten wir die Definition einer kosimplizialen Menge.

Simpliziale Mengen bilden eine Kategorie, die üblicherweise mit Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle sSet} oder einfach bezeichnet wird. Ihre Objekte sind simpliziale Mengen und ihre Morphismen sind natürliche Transformationen. Die entsprechende Kategorie für kosimpliziale Mengen nennt man meist Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle cSet} .

Diese Definitionen rühren von der Beziehung der Bedingungen der Randabbildungen und den Entartungsabbildungen (auch Degenerationsabbildungen) zu der Kategorie her.

Rand- und Entartungsabbildungen

In gibt es zwei wichtige Klassen von Abbildungen, die wir Randabbildungen und Entartungsabbildungen nennen. Sie beschreiben die kombinatorische Struktur der zugrundeliegenden simplizialen Mengen.

Die Entartungsabbildung für ist gegeben als der eindeutige surjektive Morphismus in , der die Zahl zweimal trifft.

Die Randabbildung für ist gegeben als der eindeutige injektive Morphismus in , der die Zahl Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle i\in \mathbf {n+1} } nicht trifft.

Per definitionem erfüllen diese Abbildungen die folgenden simplizialen Identitäten:

  1. falls Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle i<j}
  2. Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle s_{j}d_{i}=d_{i}s_{j-1}} falls
  3. Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle s_{j}d_{j}=id=s_{j}d_{j+1}}
  4. falls
  5. falls

Die simpliziale Kategorie besitzt als Morphismen monotone nichtfallende Funktionen. Da die Morphismen von denen erzeugt werden, die ein einzelnes Element 'weglassen' oder 'hinzufügen', liegen die obigen expliziten Relationen den topologischen Anwendungen zugrunde. Man kann zeigen, dass diese Relationen hinreichend sind.

Das Standard-n-Simplex und die Simplexkategorie

Kategoriell ist das Standard--Simplex (bezeichnet mit Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \Delta ^{n}} ) der Funktor , wobei Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle {\mathbf {n} }} die Kette der ersten nichtnegativen natürlichen Zahlen sei. Die geometrische Realisierung ist gerade das topologische Standard--Simplex in allgemeiner Lage gegeben durch

Via Yoneda-Lemma sind die -Simplizes einer simplizialen Menge klassifiziert durch natürliche Transformationen in Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle hom(\Delta ^{n},X)} . Die Menge der -Simplizes von wird dann mit bezeichnet. Ferner gibt es eine Simplexkategorie bezeichnet mit , deren Objekte Abbildungen und deren Morphismen natürliche Transformationen Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \Delta ^{m}\to \Delta ^{n}} über induziert durch Abbildungen in sind. Die folgenden Isomorphismen zeigen, dass eine simpliziale Menge ein Kolimes ihrer Simplizes ist:

Wobei der Kolimes über die Simplexkategorie von genommen wird.

Geometrische Realisierung

Es gibt einen Funktor |•|Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \colon S\to CGHaus} , genannt die geometrische Realisierung, die eine simpliziale Menge in ihre entsprechende Realisierung in die Kategorie der kompakt erzeugten Hausdorff-Räume überführt.

Diese größere Kategorie wird als Funktorziel verwendet, weil insbesondere ein Produkt simplizialer Mengen

als Produkt

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle |X|\times _{Ke}|Y|}

der entsprechenden topologischen Räume realisiert wird, wobei das Kelley-Raumprodukt sei. Um den Realisierungsfunktor zu definieren, definieren wir ihn zuerst auf n-Simplizes als das entsprechende topologische n-Simplex Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle |\Delta ^{n}|} . Diese Definition setzt sich auf natürliche Weise auf jede beliebige simpliziale Menge fort, indem man

setzt, wobei der Kolimes über die -Simplex-Kategorie von genommen wird. Die geometrische Realisierung ist funktoriell auf .

Konkret realisieren kann man die geometrische Realisierung wie folgt: Man nimmt eine Kopie des Standard--Simplex für jedes Element aus (für jedes n) und identifiziert ("verklebt") zu jedem anschließend jeweils Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle d_{i}x} mit der -ten Seitenfläche von (mittels des kanonischen Homöomorphismus zwischen dem Standard--Simplex und der Seitenfläche des Standard--Simplex) sowie jeweils mit (mittels der kanonischen Projektion des Standard--Simplex auf den Standard--Simplex, die die -te und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (i+1)} -te Ecke des Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (n+1)} -Simplex beide auf die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle i} -te Ecke des Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -Simplex abbildet) für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle i} .

Singuläre Mengen für einen Raum

Die singuläre Menge eines topologischen Raumes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y} ist die simpliziale Menge definiert durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S(Y)\colon{\mathbf n}\to hom(|\Delta^n|, Y)} für jedes Objekt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\mathbf n}\in\Delta} , mit der offensichtlichen Funktorialität auf den Morphismen. Diese Definition ist analog zu der Standardidee in singulärer Homologie, einen topologischen Raum (mit Standard--Simplizes) als "Ziel auszutesten". Außerdem ist der singuläre Funktor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S} rechtsadjungiert zu obiger geometrischen Realisierung, d. h.:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle hom_{Top}(|X|, Y) \simeq hom_S(X, SY)}

für jede simpliziale Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} und jeden topologischen Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y} .

Homotopietheorie simplizialer Mengen

In der Kategorie der simplizialen Mengen seien Faserungen Kan-Faserungen. Eine Abbildung zwischen simplizialen Mengen sei definiert als eine schwache Äquivalenz, falls die geometrische Realisierung eine schwache Äquivalenz von Räumen ist. Eine Abbildung sei eine Kofaserung, falls sie ein Monomorphismus simplizialer Mengen ist. Es ist ein kniffliger Satz von Quillen, dass die Kategorie der simplizialen Mengen zusammen mit diesen Morphismenklassen die Axiome einer echten (proper) geschlossenen Modellkategorie erfüllt.

Der Knackpunkt dieser Theorie ist, dass die Realisierung einer Kan-Faserung eine Serre-Faserung von Räumen ist. Mit obiger Modellstruktur kann eine Homotopietheorie simplizialer Mengen entwickelt werden. Weiterhin induzieren die Funktoren "geometrische Realisierung" und "singuläre Mengen" eine Äquivalenz von Homotopiekategorien

|•|Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \colon Ho(S)\leftrightarrow Ho(Top) \colon S}

zwischen der Homotopiekategorie simplizialer Mengen und der gewöhnlichen Homotopiekategorie der CW-Komplexe (mit zugehörigen Homotopieklassen der Abbildungen).

Simpliziale Objekte

Ein simpliziales Objekt in einer Kategorie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C} ist ein kontravarianter Funktor

oder ein kovarianter Funktor

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X\colon\Delta^{op}\to C} .

Ist die Kategorie der Mengen, sprechen wir von simplizialen Mengen. Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C} die Kategorie der Gruppen oder der abelschen Gruppen, so erhalten wir die Kategorien Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle sGrp} (simpliziale Gruppen) bzw. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle sAb} (simpliziale abelsche Gruppen).

Simpliziale Gruppen und simpliziale abelsche Gruppen haben weiterhin die Struktur einer geschlossenen Modellkategorie induziert durch die zugrundeliegenden simplizialen Mengen.

Die Homotopiegruppen fasernder simplizialer abelscher Gruppen erhält man durch Anwenden der Dold-Kan-Korrespondenz, die eine Äquivalenz von Kategorien zwischen simplizialen abelschen Gruppen und beschränkten Kettenkomplexen via die Funktoren

und

liefert.

Literatur