Bandgraph

Ein Bandgraph: die Pfeile deuten die zyklische Ordnung der Kanten an.

Für einen Graphen ${\displaystyle (V,E)}$ bezeichne ${\displaystyle V}$ die Menge der Knoten, ${\displaystyle E}$ die Menge der Kanten und ${\displaystyle {\overline {E}}\subset V\times V}$ die Menge der gerichteten Kanten, wobei

${\displaystyle (v,w)\in {\overline {E}}\Leftrightarrow (w,v)\in {\overline {E}}\Leftrightarrow \left\{v,w\right\}\in E}$.

Für jeden Knoten ${\displaystyle v\in V}$ bezeichnen wir mit

${\displaystyle St(v)=\left\{e=(v,w)\in {\overline {E}}\colon w\in V\right\}}$

die Menge der von ${\displaystyle v}$ ausgehenden gerichtete Kanten.

Definition: Ein Bandgraph ist ein Graph ${\displaystyle (V,E)}$ zusammen mit einer zyklischen Anordnung der gerichteten Kanten aus ${\displaystyle St(v)}$ für jedes ${\displaystyle v\in V}$.

Das heißt, für jedes ${\displaystyle v\in V}$ hat man eine Permutation

${\displaystyle \sigma _{v}\colon St(v)\to St(v)}$,

so dass für jedes ${\displaystyle x\in St(v)}$ sein Orbit unter ${\displaystyle \sigma _{v}}$ ganz ${\displaystyle St(v)}$ ist:

${\displaystyle \left\{\sigma _{v}^{n}(x)\colon n\in \mathbb {Z} \right\}=St(v)}$.

Äquivalent kann man fordern, dass es eine Permutation

${\displaystyle \sigma \colon {\overline {E}}\to {\overline {E}}}$

gibt, deren Zykel genau zyklischen Anordnungen auf den Mengen ${\displaystyle St(v)}$ mit ${\displaystyle v\in V}$ entsprechen. Der Zusammenhang zwischen den beiden äquivalenten Definitionen ergibt sich durch die Gleichung

${\displaystyle \sigma (e)=\sigma _{v}(e)\Leftrightarrow e\in St(v)}$.

Einem Bandgraphen kann man eine Fläche mit Rand zuordnen, indem man jeder Kante des Graphen ein Rechteck und jedem Knoten eine Kreisscheibe zuordnet und die Rechtecke entsprechend der gegebenen zyklischen Ordnung an die Kreisscheiben anklebt.

Man kann dem Bandgraphen auch eine geschlossene Fläche zuordnen, indem man die Randkomponenten der oben konstruierten Fläche jeweils mit einer Kreisscheibe verklebt.

Diese Konstruktion ermöglicht einen elementaren Beweis der Klassifikation der Flächen und sie ist von Nutzen bei der Untersuchung der Abbildungsklassengruppen von Flächen.

Bezeichne ${\displaystyle FatGraph_{c}^{3}}$ die Kategorie der zusammenhängenden Bandgraphen, in denen jeder Knoten mit mindestens 3 Kanten adjazent ist, dann ist die geometrische Realisierung ${\displaystyle |FatGraph_{c}^{3}|}$ schwach homotopieäquivalent zur disjunkten Vereinigung der klassifizierenden Räume der Abbildungsklassengruppen für alle Flächen:[1][2][3][4][5]

${\displaystyle |FatGraph_{c}^{3}|\sim \bigcup _{S}BMod(S)}$.

• François Labourie: Lectures on Representations of Surface Groups. Zürich Lecture Notes in Advanced Mathematics (2013). ISBN 978-3-03719-127-9 (print), ISBN 978-3-03719-627-4 (online), doi:10.4171/127 online (PDF)

• Ribbon Graph (nLab)

1. Kevin Costello: A dual point of view on the ribbon graph decomposition of moduli space.
2. Maxim Kontsevich: Intersection theory on the moduli space of curves and the matrix Airy function. Commun. Math. Phys. (1992), no. 147, S. 1–23.
3. Kiyoshi Igusa: Higher Franz Reidemeister torsion. IP Studies in Advanced Mathematics, American Mathematical Society, 2002.
4. K. Strebel: Quadratic Differentials Springer, Berlin 1984, MR86a:30072.
5. R. C. Penner: The decorated Teichmüller space of punctured surfaces. Commun. Math. Phys. 113 (2) (1987) S. 299–339.