Simplizialer Komplex/Achsenraumkonfiguration/Einführung/Textabschnitt
Die wohl einfachste Art einer Singularität liegt vor, wenn sich verschiedene Standardunterräume (auch unterschiedlicher Dimension), die jeweils von einer Auswahl an Standardvektoren erzeugt werden, im Nullpunkt treffen. Dazu gehören das Achsenkreuz in der Ebene, das Achsenkreuz im Raum, die Vereinigung der drei Achsenebenen im Raum, die Vereinigung einer Ebene mit einer dazu senkrechten Geraden. Diese geometrischen Objekte sind dadurch gegeben, dass sie aus gewissen Teilachsenräumen in einem gegebenen affinen Raum bestehen. Solche Konfigurationen erfassen wir hier mit einem einheitlichen Konzept, das auch in der algebraischen Topologie, der Kombinatorik und der kombinatorischen kommutativen Algebra wichtig ist.
Unter einem simplizialen Komplex auf einer endlichen Menge versteht man eine Ansammlung von Teilmengen von , die die Eigenschaft erfüllen, dass für und auch gilt.
Die zugrunde liegende Menge nennt man auch die Menge der Ecken (vertices) und die Mengen aus nennt man die Seiten des simplizialen Komplexes. Entsprechend nennt man die Teilmengen, die nicht zu gehören, die Nichtseiten des simplizialen Komplexes. Gelegentlich fordert man, dass nicht leer ist oder dass die einzelnen Ecken, also die einelementigen Mengen , stets Seiten sind. Oft setzt man die Menge als
an.
Für einen simplizialen Komplex gibt es verschiedene geometrische Interpretationen. Wir konzentrieren uns auf die durch einen simplizialen Komplex definierte Achsenraumkonfiguration. Zu einem Körper bezeichnet die Menge der durch indizierten Tupel mit Werten in . Bei
ist das einfach die Menge aller -Tupel in , also der -Vektorraum . Zu einem Tupel , , bezeichnet man
den Träger des Tupels.
Zu einem simplizialen Komplex auf der Menge und einem Körper nennt man
die zu gehörende Achsenraumkonfiguration über .
Eine Seite eines simplizialen Komplexes heißt Facette, wenn sie maximal (bezüglicher der Inklusion) unter den Seiten von ist.
Jede Seite eines simplizialen Komplexes ist in einer Facette enthalten. Wenn man die Facetten eines simplizialen Komplexes kennt, so kennt man bereits den gesamten simplizialen Komplex, da er aus sämtlichen Teilmengen der Facetten besteht. So wie die Facetten, die maximalen Seiten, bestimmen auch die minimalen Nichtseiten einen simplizialen Komplex vollständig.
Es sei ein simplizialer Komplex auf der Menge und ein Körper gegeben.
Dann besitzt die zu gehörende Achsenraumkonfiguration über die Beschreibungen
wobei in natürlicher Weise aufgefasst wird, indem man ein -Tupel als ein -Tupel auffasst, das an den Stellen den Wert besitzt.
Beweis
Zu einem simplizialen Komplex auf einer Menge , der nur aus einzelnen Punkten (und der leeren Menge) besteht, besteht die zugehörige Achsenraumkonfiguration einfach aus den Achsen zu . Das ist eine Teilmenge des vollen Achsenkreuzes.
Ein ungerichteter Graph auf einer Menge (die die Eckpunktmenge des Graphen heißt) besteht aus einer gewissen Auswahl an zweielementigen Teilmengen (die die Kantenmenge des Graphen heißt) von .
Einen ungerichteten Graphen kann man direkt als einen simplizialen Komplex auf auffassen, bei dem alle Eckpunkte dazugehören und der ansonsten nur zweielementige Seiten besitzt, nämlich genau die Kanten des Graphen.
Zu einem Graphen auf einer Menge bzw. dem zugehörigen simplizialen Komplex besteht die zugehörige Achsenraumkonfiguration aus allen Achsen und genau aus denjenigen Achsenebenen , für die eine Kante des Graphen ist. Bei ergibt der leere Graph (bei dem die Kantenmenge leer ist) das Achsenkreuz im Raum, der Graph mit einer Kante ergibt eine Ebene mit einer dazu senkrechten Geraden, der Graph mit zwei Kanten ergibt zwei Ebenen, die sich in einer Geraden senkrecht schneiden, und der Graph mit drei Kanten ergibt die drei Achsenebenen im Raum.
Der simpliziale Komplex auf einer Menge , der aus allen Teilmengen von besteht, heißt Simplex.
Die Achsenraumkonfiguration zum Simplex ist der Gesamtraum .
Es sei eine endliche Menge, ein Körper und der zugehörige Tupelraum und
Dann entsprechen sich die folgenden Objekte (für (3) sei die Charakteristik des Körpers gleich ).
- Simpliziale Komplexe auf .
- Achsenraumkonfigurationen in , also Vereinigungen der Form über gewisse Teilmengen von .
- Teilmengen von , die mit einem Punkt auch jeden Punkt enthalten, dessen Träger im Träger von liegt.
Die Zuordnungen von (1) nach (2) ist dabei durch die Definition gegeben. Aus einer Achsenraumkonfiguration erhält man einen simplizialen Komplex durch
Diese beiden Zuordnungen sind offenbar invers zueinander. Aus (2) erhält man (3), indem man die Achsenraumkonfiguration mit schneidet. Aus einer Menge wie in (3) beschrieben erhält man eine Achsenraumkonfiguration, indem man die Vereinigung der zu denjenigen nimmt, die einen Punkt in mit Träger besitzen. Auch diese Zuordnungen sind invers zueinander, da es zu einem Achsenraum , der zu einer Achsenraumkonfiguration gehört, den Punkt auf gibt, aus dem zurückkonstruiert wird.
Zu einem simplizialen Komplex auf nennt man
die geometrische Realisierung des simplizialen Komplexes.
Die geometrische Realisierung ergibt sich also aus der reellen Achsenraumkonfiguration, wenn man diese mit dem Standardsimplex
schneidet.