scientific article; zbMATH DE number 108288
Eine Kurve heiße total degeneriert, wenn die Normalisierung jeder Komponente isomorph zu \(\mathbb{P}^ 1\) und jeder singuläre Punkt ein gewöhnlicher Doppelpunkt ist. Im glatten Fall definiert man Hyperelliptizität häufig mit Hilfe des kanonischen Morphismus. Der kanonische Morphismus ist auf einer total degenerierten Kurve jedoch nicht überall definiert und auf Komponenten von lokalem Geschlecht 1 konstant. Außerhalb dieser Ausnahmemenge ist der kanonische Morphismus eine 2-1-Abbildung. Im total degenerierten Fall ist nun die Idee, daß man für eine irreduzible Kurve die Existenz einer Involution als Hyperelliptizitätskriterium nimmt; dies liefert auf natürliche Weise zunächst den Begriff der eigentlich hyperelliptischen Kurve. Im zweiten Abschnitt geht es zunächst um den Begriff der eigentlich hyperelliptischen Kurve vom Geschlecht \(g\). Eine solche Kurve ist dadurch gegeben, daß sie eine Aufschneidung besitzt, die als \(2g\)-markierte stabile Kurve vom Geschlecht 0 im Modulraum \(B_{2g}\) im Abschluß \({\mathcal H}_{2g}\) des Ortes der hyperelliptischen \(2g\)-markierten projektiven Geraden liegt. Man zeigt: Durch eine Sequenz von Aufblasungen und Verklebungen kann man jede hyperelliptische Kurve in eigentlich hyperelliptische Kurven zerlegen. Schließlich wird gezeigt, daß der gewonnene Hyperelliptizitätsbegriff mit dem von \textit{J. Harris} und \textit{D. Mumford} in Invent. Math. 67, 23-86 (1982; Zbl 0506.14016) gegebenen im total degenerierten Fall übereinstimmt. Im dritten Abschnitt wird zunächst \({\mathcal H}_{2g}\) als abgeschlossene Untervarietät von \(B_{2g}\) durch Gleichungen explizit beschrieben. Man kann \({\mathcal H}_{2g}\) durch offene affine Teilmengen von \(A^{g-1}\) überdecken. Somit ist \({\mathcal H}_{2g}\) insbesondere nichtsingulär. \({\mathcal H}_{2g}\) ist feiner Modulraum für eigentlich hyperelliptische \(2g\)-markierte Bäume projektiver Geraden. -- \({\mathcal H}_{2g}\) ist Aufblasung von \({\mathcal H}_{2g-2}\times\mathbb{P}^ 1\). Man kann explizit 2- kodimensionale Untervarietäten angeben, isomorph zu ausgezeichneten Divisoren von \({\mathcal H}_{2g-2}\), entlang denen in \(2g-4\) Schritten aufgeblasen wird. Die explizite Darstellung der Aufblasung sowie der obenerwähnte Produktsatz ermöglichen die induktive Berechnung von Chow-Gruppen und Bettizahlen. Diese werden für \(g=2,3,4\) konkret angegeben. Der letzte Abschnitt beinhaltet zwei Hauptergebnisse: Zuerst wird gezeigt, daß der kanonische Morphismus \(f\) auf einem offenen Teil \(C^ \circ\) einer hyperelliptischen Kurve \(C\) wie folgt beschrieben werden kann: \(f\) faktorisiert über \(C^ \circ/\varphi\), und auf jeder Komponente \(Z\) von \(C^ \circ/\varphi\) faktorisiert \(f\) weiter über eine \(\bigl(g(Z)-1\bigr)\)-uple Einbettung. -- Dann wird beschrieben, wie sich auf offenen Teilen der universellen Familie \(\tilde H\to{\mathcal H}_{2g}\) eigentlich hyperelliptischer Kurven der kanonische Morphismus auf die Aufblasung des Basisortes fortsetzt. Diese Aufblasung bewirkt auf den Fasern das ``Einschieben einer exzeptionellen Geraden in jede Undefiniertheitsstelle des kanonischen Morphismus.
- Modultheorie hyperelliptischer Mumfordkurven
- Hyperelliptic Gorenstein curves
- Stable totally degenerate hyperelliptic curves
- Degenerations of elliptic curves and equations for cusp singularities
- The moduli spaces of hyperelliptic curves and binary forms
- On the stable reduction of hyperelliptic curves
- scientific article; zbMATH DE number 3991671 (Why is no real title available?)
- Canonical systems and their limits on stable curves
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4023745)
