Hurwitz-Zahl

In der Mathematik ist die Hurwitz-Zahl eine spezielle Zahl, welche die Anzahl der verzweigten Überlagerungen über der Riemannschen Zahlenkugel bzw. die Zahl der meromorphen Funktionen aufgrund ihres Verzweigungsprofils über $\mathrm{\infty }$ beschreibt.

Motivation

Benannt sind die Zahlen nach Adolf Hurwitz, der sie 1891 definierte und erste Berechnungen durchführte. Betrachtet werden hier spezielle holomorphe Funktionen $f:X\to \widehat{ℂ}$, wobei $X$ eine kompakte riemannsche Fläche und $\widehat{ℂ}$ die Riemannsche Zahlenkugel ist. Die riemannsche Zahlenkugel besteht aus den komplexe Zahlen $ℂ$ und einem weiteren Punkt $\mathrm{\infty }$, die mit einer speziellen Topologie versehen ist. Damit ist die Funktion $f$ eine meromorphe Funktion. Hurwitz war vor allem daran interessiert, ob man abhängig vom Verhalten an den Polstellen (also den Urbildern von $\mathrm{\infty }$) Aussagen über die Zahl der Funktion treffen kann.

Definitionen

Hurwitz-Überlagerungen

Sei $X$ eine kompakte riemannsche Fläche und $f:X\to \widehat{ℂ}$ eine $d$-blättrige holomorphe Überlagerung und $(p_i{)}_{1\le n}$ die Polstellen von $f$, d. h. es gilt $f(p_i)=\mathrm{\infty }$ für $i=1,\dots ,n$ und es bezeichne ${\mu }_i$ den Verzweigungsindex von $p_i$. $f$ nennen wir eine Hurwitz-Überlagerung vom Typ $(g,\mu )$, falls $g$ das Geschlecht von $X$ und $\mu =({\mu }_1,\dots ,{\mu }_n)$ eine Partition von $g$ ist. Die Menge aller Hurwitz-Überlagerungen bezeichnen wir mit ${\mathrm{H}}_{(g,\mu )}$.

Für gewöhnlich setzt man bei der Definition voraus, dass die riemannsche Fläche zusammenhängend ist.

Hurwitz-Zahl

Eine Hurwitz-Zahl $h_{(g,\mu )}$ vom Typ $(g,\mu )$ definieren wir als

$h_{(g,\mu )}:=\sum _{f\in {\mathrm{H}}_{(g,\mu )}}\frac{1}{\mathrm{\#}\mathrm{A}\mathrm{u}\mathrm{t}(f)}.$,

wobei $\mathrm{A}\mathrm{u}\mathrm{t}(f)$ die Automorphismengruppe von $f$ bezeichnet.

Berechnungsformel

Im Folgenden setzen wir $m:=2g-2+n+d$.

Kombinatorische Formel

Die folgende kombinatorische Formel stammt von Hurwitz selbst:

Betrachte die Tupel $({\tau }_1,\dots ,{\tau }_m)\in (S_d{)}^m$, welche folgende drei Bedingungen erfüllen:

1. ${\tau }_1,\dots ,{\tau }_m$ sind Transpositionen
2. Die ${\tau }_1,\dots ,{\tau }_m$ erzeugte Untergruppe wirkt transitiv auf $\{1,\dots ,d\}$.
3. ${\tau }_1\circ \dots \circ {\tau }_m$ besitzt den Zyklenzeiger $\mu$.

Dann gilt

$h_{(g,\mu )}=\frac{\mathrm{\#}\{(t_1,\dots ,t_w)\in (S_d{)}^w\mid \text{Es gilt (1), (2) und (3).}\}}{d!}.$

Beispiele

Mithilfe der kombinatorischen Formel kann man einige Beispiele ausrechnen:

• Ist $d=2$, $g=0$ und der Partition $(2)⊢2$ ist $m=1$ und die einzige Transposition ist gegeben durch $(1,2)=(2,1)$. Damit folgt

$h_{(}0,(2))=\frac{1}{2!}=\frac{1}{2}.$

Hurwitz-Zahlen müssen nicht zwangsläufig ganzzahlig sein.

• Wir betrachten die Partition $(1,2)⊢3$ mit einem beliebigen $g\ge 0$. Gesucht sind nun Tupel $({\tau }_1,\dots ,{\tau }_m)$ von Transpositionen mit $m=2g+4$, welche alle gesuchten Bedingungen erfüllen. Da der Zyklenzeiger $(1,2)$ betragen soll, heißt das, dass ${\tau }_1\circ \dots \circ {\tau }_m$ eine Transposition ist. Da wir in $S_3$ arbeiten, können die ersten $m-1(=2g+3)$ Transpositionen frei gewählt werden. Das ${\tau }_m$ ist eindeutig bestimmt durch ${\tau }_1,\dots ,{\tau }_{m-1}$, denn in $S_3$ muss man bei einer beliebigen Permutation nur zwei Einträge permutieren, um eine Transposition zu erhalten. Die Transpositionen von $S_3$ sind gegeben durch $(1,2),(2,3),(1,3)$. Man sieht, dass man mindestens zwei Transpositionen braucht, damit die erzeugte Untergruppe transitiv auf $\{1,2,3\}$ wirkt. Zusammen ergibt sich also

$h_{(g,(1,2))}=\frac{3^{2g+3}-3}{6}.$

• Schon bei verhältnismäßig einfachen Partitionen kann die Berechnung sehr schwer sein. Weitere Lösungen sind zum Beispiel

$h_{(g,(1,1,2))}=\frac{(2^{2g+4}-4)(3^{2g+5}-3)}{24},$

$h_{(g,(1,1,1,1,2))}=\frac{15^{2g+10}}{2\cdot 360^2}-\frac{10^{2g+10}}{7200}+\frac{9^{2g+10}}{2\cdot 72^2}-\frac{7^{2g+10}}{2\cdot 24^2}+\frac{6^{2g+10}}{2\cdot 36^2}-\frac{5^{2g+10}}{360}+\frac{4^{2g+10}}{36}-\frac{19}{324}\cdot 3^{2g+10}-\frac{19}{144}\cdot 2^{2g+10}+\frac{727}{1152}.$

ELSV-Formel

Um das Jahr 2000 herum ist eine neue Rechenformel entdeckt worden, die ein Verhältnis zur algebraischen Geometrie herstellt. Benannt nach den Entdeckern Torsten Ekedahl, Sergei Lando, Michael Shapiro, Alek Vainshtein, lautet die ELSV-Formel

$h_{(g,\mu )}=\frac{m!}{\mathrm{\#}\text{Aut}(\mu )}\prod _{i=1}^n\frac{{\mu }_i^{{\mu }_i}}{{\mu }_i!}\underset{{\overline{ℳ}}_{g,n}}{\int }\frac{c(E^{*})}{(1-{\mu }_1{\psi }_1)\cdots (1-{\mu }_n{\psi }_n)}.$

Hier bedeuten die Variablen folgendermaßen:

• ${\overline{ℳ}}_{g,n}$ ist der Modulraum der stabilen Kurven vom Geschlecht $g$ mit $n$ ausgezeichneten Punkten;
• $E$ ist der Hodge-Bündel und $c(E^{*})$ die totale Chernklasse des dualen Vektorbündels;
• ${\psi }_i$ ist die erste Chernklasse des Kotangentialbündels am $i$-ten Punkt.