Semi-factorial nodal curves and Néron models of Jacobians (Q1679193): Difference between revisions

Dieser (frei zugängliche) Artikel befasst sich mit einer Fortsetzung von Geradenbündeln auf Familien von Kurven. Sei \(S\) das Spektrum eines Ringes mit diskreter Bewertung mit Residuenkörper \(K\). Ein Schema \(\mathcal{X}\to S\) ist halb-faktoriell, wenn die Einschränkungsabbildung \(\mathrm{Pic}(\mathcal{X}) \to \mathrm{Pic}(\mathcal{X}_{K})\) surjektiv ist (vgl. [\textit{C. Pépin}, Math. Ann. 355, No. 1, 147--185 (2013; Zbl 1263.14046)]). Der Hauptsatz dieses Artikels (Theorem 0.1) gibt eine Charakterisierung der halb-faktoriellen Familien von Kurven über \(S\) (wenn \(H^{0}(S,\mathcal{O}_{S})\) strikt Henselsch ist). Der Beweis besteht aus drei Teilen. Der erste Teil ist geometrisch: es handelt sich um Erweiterungen von Geradenbündeln auf Aufblasungen von \(\mathcal{X}\) und den push-forward dieser Bündeln unter der Aufblasungsabbildung (vgl. Abschnitte 3 \& 4). Der zweite Teil ist graphentheoretisch und führt den wichtigen Begriff von Zyklen-coprimen Graphen ein (Definitionen 5.13 und 5.19). Ich möchte darauf hinweisen, dass es ein Erratum [\textit{G. Orecchia}, Manuscr. Math. 154, No. 3--4, 343--344 (2017; Zbl 1387.14043)] gibt, das Definition~5.19 verändert und Proposition 5.20 verbessert. In dem dritten Teil bringt der Verfasser beide Teile zusammen, um die Hauptsatz zu beweisen (vgl. Section 6). Es gibt noch Anwendungen auf Néron-Modelle der Jakobischen von nodalen Kurven (vgl. Section 7).