Bandgraph
# Bandgraph

Im mathematischen Gebiet der Graphentheorie bezeichnet man Graphen, bei denen jeder Knoten mit einer zyklischen Anordnung der ausgehenden Kanten versehen ist, als Bandgraphen.

In der Topologie sind Bandgraphen bei der Untersuchung der Topologie von Flächen von Nutzen.

## Definition

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

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

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

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

die Menge der von $v$ ausgehenden gerichtete Kanten.

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

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

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

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

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

Äquivalent kann man fordern, dass es eine Permutation

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

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

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

## Zugeordnete Flächen

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 $FatGraph_{c}^{3}$ die Kategorie der zusammenhängenden Bandgraphen, in denen jeder Knoten mit mindestens 3 Kanten adjazent ist, dann ist die geometrische Realisierung $|FatGraph_{c}^{3}|$ schwach homotopieäquivalent zur disjunkten Vereinigung der klassifizierenden Räume der Abbildungsklassengruppen für alle Flächen:

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