imported>Descriptio Hydrographica: /* growthexperiments-addlink-summary-summary:1|0|0 */

2025-06-12T19:03:49Z

growthexperiments-addlink-summary-summary:1|0|0

Neue Seite

Eine '''simpliziale Menge''' ist eine Konstruktion in der [[Kategorientheorie|kategoriellen]] [[Homotopie]]theorie. Sie ist ein rein [[algebra]]isches Modell für „schöne“ [[Topologischer Raum|topologische Räume]]. Dieses Modell entstammt der [[Algebraische Topologie|kombinatorischen Topologie]], insbesondere der Idee der [[Simplizialkomplex]]e.

== Motivation ==

Eine simpliziale Menge ist ein kategorielles (d. h. rein algebraisches) Modell, das diejenigen topologischen Räume beschreibt, die aus Verklebungen von [[Simplex (Mathematik)|Simplizes]] entstehen oder [[Homotopieäquivalenz|homotopieäquivalent]] zu einem solchen Raum sind. Ähnlichkeiten existieren zur Beschreibung bestimmter topologischer Räume mittels [[CW-Komplex]]en 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 (Mathematik)|Funktor]] ''geometrische Realisierung'', der in die Kategorie der [[Kelley-Raum|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'' <math>X</math> ein [[kontravarianter Funktor]]

:<math>X\colon\Delta\to Set,</math>

wobei <math>\Delta</math> die ''simpliziale Kategorie'' sei; eine [[Kategorientheorie#Beispiele|kleine]] Kategorie, deren Objekte gegeben sind durch

:<math>Ob(\Delta)=\{\mathbf{n}=\{0,1,...,n\}\mid n\in\mathbb N\}</math>

und deren [[Morphismus|Morphismen]] die ordnungserhaltenden [[Funktion (Mathematik)|Abbildungen]] zwischen diesen Mengen sind. Das heißt

:<math>Hom_\Delta(\mathbf m,\mathbf n)=\{\alpha:\mathbf m\rightarrow\mathbf n\mid i\leq j\Rightarrow\alpha(i)\leq\alpha(j)\}</math>.

Hierbei ist <math>Set</math> die Kategorie der Mengen.

Es ist üblich, simpliziale Mengen als kovariante Funktoren von der oppositionellen Kategorie
: <math>X\colon\Delta^{op}\to Set</math>
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 <math>Set</math> vorstellen, jedoch ist dies lediglich eine andere Sprache für dieselbe obige Definition. Wenn wir einen ''kovarianten'' Funktor <math>X\colon\Delta\to Set</math> anstatt eines kontravarianten verwenden, erhalten wir die Definition einer kosimplizialen Menge.

Simpliziale Mengen bilden eine Kategorie, die üblicherweise mit <math>sSet</math> oder einfach <math>S</math> bezeichnet wird. Ihre Objekte sind simpliziale Mengen und ihre Morphismen sind [[natürliche Transformation]]en. Die entsprechende Kategorie für kosimpliziale Mengen nennt man meist <math>cSet</math>.

Diese Definitionen rühren von der Beziehung der Bedingungen der ''Randabbildungen'' und den ''Entartungsabbildungen'' (auch Degenerationsabbildungen) zu der Kategorie <math>\Delta</math> her.

== Rand- und Entartungsabbildungen ==

In <math>\Delta</math> gibt es zwei wichtige Klassen von Abbildungen, die wir ''Randabbildungen'' und ''Entartungsabbildungen'' nennen. Sie beschreiben die kombinatorische Struktur der zugrundeliegenden simplizialen Mengen.

Die Entartungsabbildung <math>s_i\colon {\mathbf n} \to \mathbf{n - 1}</math> für <math>i=0,\ldots,n-1</math> ist gegeben als der eindeutige surjektive Morphismus in <math>Hom_\Delta(\mathbf n,\mathbf{n-1})</math>, der die Zahl <math>i\in\mathbf{n-1}</math> zweimal trifft.

Die Randabbildung <math>d_i\colon {\mathbf n}\to \mathbf{n + 1}</math> für <math>i=0,\ldots,n+1</math> ist gegeben als der eindeutige injektive Morphismus in <math>Hom_\Delta(\mathbf n,\mathbf{n+1})</math>, der die Zahl <math>i\in\mathbf{n+1}</math> nicht trifft.

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

# <math>d_jd_i=d_id_{j-1}</math> falls <math>i < j</math>
# <math>s_jd_i=d_is_{j-1}</math> falls <math>i < j</math>
# <math>s_j d_j=id=s_jd_{j+1}</math>
# <math>s_j d_i=d_{i-1}s_j</math> falls <math>i > j+1</math>
# <math>s_js_i=s_is_{j+1}</math> falls <math>i\le j</math>

Die simpliziale Kategorie <math>\Delta</math> 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-<math>n</math>-Simplex'' (bezeichnet mit <math>\Delta^n</math>) der Funktor <math>hom(-, {\mathbf n})</math>, wobei <math>{\mathbf n}</math> die Kette <math>0 \to 1 \to \ldots \to n</math> der ersten <math>(n + 1)</math> nichtnegativen natürlichen Zahlen sei. Die geometrische Realisierung <math>\mid\Delta^n\mid</math> ist gerade das topologische Standard-<math>n</math>-Simplex in allgemeiner Lage gegeben durch

:<math>|\Delta^n| = \{(x_0, \dots, x_n) \in \mathbb{R}^{n+1}\mid 0\leq x_i \leq 1, \sum x_i = 1 \}.</math>

Via [[Yoneda-Lemma]] sind die <math>n</math>-Simplizes einer simplizialen Menge <math>X</math> klassifiziert durch natürliche Transformationen in <math>hom(\Delta^n, X)</math>. Die Menge der <math>n</math>-Simplizes von <math>X</math> wird dann mit <math>X_n</math> bezeichnet. Ferner gibt es eine Simplexkategorie bezeichnet mit <math>\Delta\downarrow{X}</math> , deren Objekte Abbildungen <math>\Delta^n\to X</math> und deren Morphismen natürliche Transformationen <math>\Delta^m\to\Delta^n</math> über <math>X</math> induziert durch Abbildungen <math>{\mathbf n}\to{\mathbf m}</math> in <math>\Delta</math> sind. Die folgenden Isomorphismen zeigen, dass eine simpliziale Menge <math>X</math> ein Kolimes ihrer Simplizes ist:

:<math>X \simeq \lim_{\Delta^N\to X}\Delta^n</math>

Wobei der [[Kolimes]] über die Simplexkategorie von <math>X</math> genommen wird.

== Geometrische Realisierung ==
Es gibt einen Funktor |•|<math>\colon S\to CGHaus</math> , genannt die ''geometrische Realisierung'', die eine simpliziale Menge <math>X</math> 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 (Kategorientheorie)|Produkt]] simplizialer Mengen

:<math>X \times Y</math>

als Produkt

:<math>|X| \times_{Ke} |Y|</math>

der entsprechenden topologischen Räume realisiert wird, wobei <math>\times_{Ke}</math> das [[Kelley-Raumprodukt]] sei. Um den Realisierungsfunktor zu definieren, definieren wir ihn zuerst auf n-Simplizes <math>\Delta^n</math> als das entsprechende topologische n-Simplex <math>|\Delta^n|</math>. Diese Definition setzt sich auf natürliche Weise auf jede beliebige simpliziale Menge <math>X</math> fort, indem man

:<math>|X| = \lim_{\Delta^n\to X} |\Delta^n|</math>

setzt, wobei der Kolimes über die <math>n</math>-Simplex-Kategorie von <math>X</math> genommen wird. Die geometrische Realisierung ist funktoriell auf <math>S</math>.

Konkret realisieren kann man die geometrische Realisierung <math>|X|</math> wie folgt:
Man nimmt eine Kopie des Standard-<math>n</math>-Simplex für jedes Element aus <math>X_n</math> (für jedes n) und identifiziert („verklebt“) zu jedem <math>x\in X_n</math> anschließend jeweils <math>d_ix</math> mit der <math>i</math>-ten Seitenfläche von <math>x</math> (mittels des kanonischen Homöomorphismus zwischen dem Standard-<math>(n-1)</math>-Simplex und der Seitenfläche des Standard-<math>n</math>-Simplex) sowie jeweils <math>s_ix</math> mit <math>x</math> (mittels der kanonischen Projektion des Standard-<math>(n+1)</math>-Simplex auf den Standard-<math>n</math>-Simplex, die die <math>i</math>-te und <math>(i+1)</math>-te Ecke des <math>(n+1)</math>-Simplex beide auf die <math>i</math>-te Ecke des <math>n</math>-Simplex abbildet) für alle <math>i</math>.

== Singuläre Mengen für einen Raum ==
Die ''singuläre Menge'' eines topologischen Raumes <math>Y</math> ist die simpliziale Menge definiert durch <math>S(Y)\colon{\mathbf n}\to hom(|\Delta^n|, Y)</math> für jedes Objekt <math>{\mathbf n}\in\Delta</math>, mit der offensichtlichen Funktorialität auf den Morphismen. Diese Definition ist analog zu der Standardidee in [[Singuläre Homologie|singulärer Homologie]], einen topologischen Raum (mit Standard-<math>n</math>-Simplizes) als „Ziel auszutesten“. Außerdem ist der ''singuläre Funktor'' <math>S</math> rechtsadjungiert zu obiger geometrischen Realisierung, d. h.:

:<math>hom_{Top}(|X|, Y) \simeq hom_S(X, SY)</math>

für jede simpliziale Menge <math>X</math> und jeden topologischen Raum <math>Y</math>.

== Homotopietheorie simplizialer Mengen ==

In der Kategorie der simplizialen Mengen seien [[Faserung]]en 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

:|•|<math>\colon Ho(S)\leftrightarrow Ho(Top) \colon S</math>

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

== Simpliziale Objekte ==

Ein ''simpliziales Objekt'' <math>X</math> in einer Kategorie <math>C</math> ist ein kontravarianter Funktor

:<math>X\colon \Delta\to C</math>

oder ein kovarianter Funktor
:<math>X\colon\Delta^{op}\to C</math>.

Ist <math>C</math> die Kategorie der Mengen, sprechen wir von simplizialen Mengen. Ist <math>C</math> die Kategorie der Gruppen oder der abelschen Gruppen, so erhalten wir die Kategorien <math>sGrp</math> (simpliziale Gruppen) bzw. <math>sAb</math> (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 [[Albrecht Dold|Dold]]-[[Daniel Marinus Kan|Kan]]-Korrespondenz, die eine Äquivalenz von Kategorien zwischen simplizialen abelschen Gruppen und beschränkten Kettenkomplexen via die Funktoren

:<math>N\colon sAb \to Ch_+</math>

und

:<math>\Gamma\to Ch_+\to sAb</math>

liefert.

== Siehe auch ==

* [[Duale simpliziale Menge]]
* [[Bisimpliziale Menge]]

== Literatur ==

* Paul G. Goerss, John F. Jardine: ''Simplicial Homotopy Theory.'' Birkhäuser, Basel u. a. 1999, ISBN 3-7643-6064-X (''Progress in Mathematics'' 174).
* Peter May: [https://books.google.co.kr/books?hl=de&lr=&id=QGjwV0gyQnIC&oi=fnd&pg=PA1&dq=may+simplicial+objects+algebraic+topology&ots=c5uvQZ6Qla&sig=mB0z_127-ar6HX6OKYaCj9qIqIU#v=onepage&q=may%20simplicial%20objects%20algebraic%20topology&f=false Simplicial Objects in Algebraic Topology] (eine konkrete und elementare Einführung)
* Greg Friedman: [https://faculty.tcu.edu/gfriedman/papers/simp.pdf An elementary illustrated introduction to simplicial sets] (PDF-Datei; 3,1 MB), Rocky Mountain Journal of Mathematics 42 (2012), 353–424.

[[Kategorie:Homotopietheorie]]
[[Kategorie:Kategorientheorie]]

Simpliziale Menge - Versionsgeschichte

imported>Descriptio Hydrographica: /* growthexperiments-addlink-summary-summary:1|0|0 */