# Topologische Kombinatorik

Die Topologische Kombinatorik ist ein jüngeres Fachgebiet der Mathematik, welches im letzten Viertel des 20. Jahrhunderts entstanden ist und sich mit folgenden Typen von Problemen beschäftigt:
* Anwendungen von Methoden aus der Topologie auf Probleme der diskreten Mathematik,
* topologische Verallgemeinerungen von Problemen der diskreten Geometrie,
* die Diskretisierung topologischer Konzepte.
Die topologische Kombinatorik ist damit gewissermaßen eine Umkehrung der kombinatorischen Topologie, eines Fachgebiets, das sich mit der Anwendung kombinatorischer Methoden in der Topologie beschäftigte und Anfang des 20. Jahrhunderts in der algebraischen Topologie aufgegangen ist.
Eine wichtige Rolle in der topologischen Kombinatorik spielen – unter anderem – Themen wie die Topologie von Halbordnungen und Simplizialkomplexen, Kollabierbarkeit und Schälbarkeit, Theoreme vom Borsuk-Ulam-Typ und ihre kombinatorischen Analoga, äquivariante Topologie und Hindernistheorie.
Konkrete Beispiele für die oben genannten Problemtypen werden im Folgenden aufgeführt.

## Anwendungen von Methoden aus der Topologie auf Probleme der diskreten Mathematik

Der Beweis der Kneservermutung durch László Lovász 1978 mit Hilfe topologischer Methoden wird gemeinhin als der Beginn der topologischen Kombinatorik angesehen. Martin Kneser veröffentlichte diese Vermutung 1955 im Jahresbericht der DMV in Form einer Aufgabe.
Kneservermutung: In jeder Partition der $n$-Teilmengen einer $(2n+k)$-Menge in $k+1$ Klassen existiert eine Klasse, die ein disjunktes Paar von $n$-Mengen enthält.
Diese Aussage lässt sich leicht in ein Problem über die chromatische Zahl einer gewissen Familie von Graphen – den Knesergraphen – umformulieren. Lovász' bahnbrechende Idee war nun, jedem Graphen $G$ einen Simplizialkomplex $N(G)$, den sogenannten Nachbarschaftskomplex, zuzuordnen und das folgende Theorem zu etablieren.
Theorem (Lovász 1978): Sei $G$ ein Graph mit Nachbarschaftskomplex $N(G)$. Ist die geometrische Realisierung von $N(G)$ topologisch $(k-1)$-zusammenhängend, dann ist der Graph $G$ nicht $(k+1)$-färbbar.
Der Kern des Beweises dieses Theorems ist der Satz von Borsuk-Ulam aus der algebraischen Topologie. Der Beweis, dass die Nachbarschaftskomplexe der Knesergraphen tatsächlich den richtigen topologischen Zusammenhang aufweisen, ist leicht durch ein Schälbarkeitsargument – angewandt auf die auftauchenden Halbordnungen – erbracht (siehe beispielsweise).
Die Etablierung unterer Schranken für die chromatische Zahl eines Graphen hat einen großen Stellenwert in der Forschungsliteratur in diesem Teil der topologischen Kombinatorik. Weitere Forschungsaktivitäten handeln von anderweitigen Problemen der Graphentheorie, von Partitionsresultaten von Punktmengen im euklidischen Raum und von Komplexitätsresultaten, beispielsweise für evasive Grapheneigenschaften und Entscheidungsbaumalgorithmen.
Ähnlich wie der Fixpunktsatz von Brouwer sein Analogon in der diskreten Geometrie im Lemma von Sperner hat (die Ableitung des Brouwerschen Fixpunktsatzes aus dem Lemma von Sperner wurde in Das Buch der Beweise, Kapitel 25, aufgenommen), hat der Satz von Borsuk-Ulam ein Analogon im Lemma von Tucker (das heißt der eine Satz folgt aus dem anderen und umgekehrt).

## Topologische Verallgemeinerungen von Problemen der diskreten Geometrie

Eine topologische Verallgemeinerung des nach Helge Tverberg benannten Satzes von Tverberg über Zerlegungen von Punktmengen im euklidischen Raum und deren konvexe Hüllen ist das folgende.
Theorem (Murad Özaydin 1987, Karanbir Sarkaria 2000, Alexei Volovikov 1996). Seien $d\geq 1$, $q=p^{k}$ eine Primpotenz und $N=(q-1)(d+1)$. Für jede stetige Abbildung $f\colon \Delta ^{N}\rightarrow \mathbb {R} ^{d}$ des Standard-$N$-Simplexes in den $\mathbb {R} ^{d}$ existieren $q$ paarweise disjunkte Seiten $\sigma _{1},\ldots ,\sigma _{q}\subset \Delta ^{N}$, so dass der Durchschnitt $f(\sigma _{1})\cap \cdots \cap f(\sigma _{q})$ nicht leer ist.
Die offene Frage, ob dieses Theorem auch für den Fall gilt, dass $q$ keine Primpotenz ist, ist bekannt als das kontinuierliche Tverberg-Problem. Der Primzahlfall, also der Fall $k=1$, wurde von Imre Bárány, S. B. Shlosman und A. Szücs 1981 gezeigt. Das topologische Werkzeug, welches in deren Beweis die entscheidende Rolle gespielt hat, geht im Wesentlichen auf einen Satz von Dold zurück, der eine Verallgemeinerung des Satzes von Borsuk-Ulam ist. Dolds Theorem wurde zu einem äußerst wichtigen und erfolgreichen Werkzeug in der topologischen Kombinatorik.
Theorem (Albrecht Dold 1983). Sei $G$ eine nicht-triviale endliche Gruppe, $X$ und $Y$ topologische Räume mit freier $G$-Wirkung. Ferner sei $X$ $(n-1)$-zusammenhängend und die Dimension von $Y$ gleich $m$. Falls eine $G$-äquivariante Abbildung von $X$ nach $Y$ existiert, so gilt $m\geq n$.
Weitere Beschäftigungsfelder in diesem Teilgebiet sind unter anderem Probleme des fairen Teilens und Massenpartitionsprobleme (hierunter auch das Splitting Necklace Theorem von Noga Alon). Diese Probleme berühren auch algorithmische Fragestellungen und beinhalten diskrete Versionen von Sätzen vom Borsuk-Ulam-Typ.

## Diskretisierung topologischer Konzepte

Diskrete Morsetheorie ist eine diskrete Version der Morsetheorie aus dem Gebiet der differenzierbaren Mannigfaltigkeiten. Ähnlich zur Morsetheorie werden in der diskreten Morsetheorie Funktionen betrachtet, die Simplizes reelle Werte unter gewissen Nebenbedingungen zuordnen. Eine Anwendung der diskreten Morsetheorie ist die folgende.
Sei $V$ eine feste $n$-Menge. Identifiziere einen Graphen $G=(V,E)$ auf der Knotenmenge $V$ mit der Kantenmenge $E$. Mit Hilfe dieser Identifikation bilden alle Graphen mit Knotenmenge $V$, die nicht $2$-zusammenhängend sind, einen Simplizialkomplex, den wir mit $\Delta _{n}^{2}$ bezeichnen wollen. Beispielsweise in Vassilievs Theorie der Knoteninvarianten ist es von Bedeutung, die Topologie von Simplizialkomplexen, die mit gewissen Grapheneigenschaften assoziiert sind – wie zum Beispiel $\Delta _{n}^{2}$ – zu untersuchen.
Theorem (Eric Babson et al. 1999, Victor Turchin 1997). Für $n\geq 3$ hat die geometrische Realisierung von $\Delta _{n}^{2}$ den Homotopietyp eines Wedges von $(n-2)!$ Sphären der Dimension $2n-5$.
Im Verlauf des Beweises konstruieren Babson et al. eine diskrete Morsefunktion mit genau einer kritischen $0$-Zelle, um zu zeigen, dass die geometrische Realisierung eines gewissen Simplizialkomplexes zusammenziehbar ist.
Die Analogien zwischen der kontinuierlichen und der diskreten Morsetheorie sind weitreichend. Ein wichtiges Beispiel hierfür ist die folgende Aussage.
Theorem (Robin Forman 1995). Angenommen $\Delta$ ist ein Simplizialkomplex mit einer diskreten Morsefunktion, dann ist die geometrische Realisierung von $\Delta$ homotopieäquivalent zu einem CW-Komplex mit genau einer Zelle der Dimension $p$ für jeden kritischen Simplex der Dimension $p$.
Ein weiteres wichtiges Forschungsgebiet umfasst Diskretisierungen des Krümmungsbegriffes.