Connectedness of the moduli space of all reduced curves

Sebastian Bozlee
2024-07-10
Abstract:We prove that the moduli space of all reduced n-pointed algebraic curves of fixed arithmetic genus is connected as an application of moduli of equinormalized curves and Ishii's theory of territories.
Algebraic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that the moduli space of all reduced algebraic curves is connected under the condition of fixed arithmetic genus. Specifically, the author Sebastian Bozlee studied the moduli space \(U_{g,n}\) of reduced, connected and proper algebraic curves with arbitrary singularities and marked points, and proved its connectivity. ### Main Problems and Conclusions 1. **Problem Description**: - The research objects are all connected and proper algebraic curves that are reduced but may have arbitrary singularities, with \(n\) marked points, and the arithmetic genus of these curves is \(g\). - The goal is to prove that this moduli space \(U_{g,n}\) is connected. 2. **Main Conclusions**: - Theorem 1.1 shows that for all \(g, n\geq0\), \(U_{g,n}\) is connected, and the fibers of \(U_{g,n}\to\text{Spec }\mathbb{Z}\) are also geometrically connected. ### Methods and Techniques To prove the above conclusions, the author adopted the following methods and techniques: 1. **Path Construction**: - The author proves connectivity by constructing paths from any curve to curves with only smoothable singularities. This depends on Ishii's territories theory and its further development. 2. **Ishii's Territories Theory**: - Ishii's territories theory provides a method of parameterizing sub - rings. In particular, the connectivity results about sub - rings of local rings play a crucial role. Specifically, Ishii's theorem states that the territories of certain local rings are connected. 3. **Moduli Space of Equinormalized Curves**: - The author also utilizes the research results of the moduli space of equinormalized curves, where the conductor ideals of these curves vanish in a given closed subscheme. ### Formulas and Symbol Explanations - \(U_{g,n}\) represents the moduli space of algebraic curves that are reduced, connected and proper with arithmetic genus \(g\) and \(n\) marked points. - \(\text{Spec }\mathbb{Z}\) represents the spectrum of the ring of integers. - \(\text{Cond}_{A/B}\) represents the conductor ideal of \(A\) over \(B\). - \(T^{\text{er}}_{\delta}\) represents the territory moduli space, which is used to parameterize sub - algebras of a specific corank. Through these methods, the author successfully proved the connectivity of the moduli space of all reduced algebraic curves, which is an important result in the field of algebraic geometry.