Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Stable curve
open-in-new
<h2 id="definition">Definition</h2> <p>Given an arbitrary scheme S {\displaystyle S} and setting g ≥ 2 {\displaystyle g\geq 2} a <i>stable</i> genus g curve over S {\displaystyle S} is defined as a proper flat morphism π : C → S {\displaystyle \pi :C\to S} such that the geometric fibers are reduced, connected 1-dimensional schemes C s {\displaystyle C_{s}} such that </p> <ol><li> C s {\displaystyle C_{s}} has only ordinary double-point singularities</li> <li>Every rational component E {\displaystyle E} meets other components at more than 2 {\displaystyle 2} points</li> <li> dim H 1 ( O C s ) = g {\displaystyle \dim H^{1}({\mathcal {O}}_{C_{s}})=g} </li></ol> <p>These technical conditions are necessary because (1) reduces the technical complexity (also Picard-Lefschetz theory can be used here), (2) rigidifies the curves so that there are no infinitesimal automorphisms of the moduli stack constructed later on, and (3) guarantees that the arithmetic genus of every fiber is the same. Note that for (1) the types of singularities found in <a href="/facts/Elliptic_surfaces/XRDYGhYb">Elliptic surfaces</a> can be completely classified. </p> <h3>Examples</h3> <p>One classical example of a family of stable curves is given by the Weierstrass family of curves </p> Proj ( Q [ t ] [ x , y , z ] ( y 2 z − x ( x − z ) ( x − t z ) ) ↓ Spec ( Q [ t ] ) {\displaystyle {\begin{matrix}\operatorname {Proj} \left({\frac {\mathbb {Q} [t][x,y,z]}{(y^{2}z-x(x-z)(x-tz)}}\right)\\\downarrow \\\operatorname {Spec} (\mathbb {Q} [t])\end{matrix}}} <p>where the fibers over every point ≠ 0 , 1 {\displaystyle \neq 0,1} are smooth and the degenerate points only have one double-point singularity. This example can be generalized to the case of a one-parameter family of smooth hyperelliptic curves degenerating at finitely many points. </p> <h3>Non-examples</h3> <p>In the general case of more than one parameter care has to be taken to remove curves which have worse than double-point singularities. For example, consider the family over A s , t 2 {\displaystyle \mathbb {A} _{s,t}^{2}} constructed from the polynomials </p> y 2 = x ( x − s ) ( x − t ) ( x − 1 ) ( x − 2 ) {\displaystyle y^{2}=x(x-s)(x-t)(x-1)(x-2)} <p>since along the diagonal s = t {\displaystyle s=t} there are non-double-point singularities. Another non-example is the family over A t 1 {\displaystyle \mathbb {A} _{t}^{1}} given by the polynomials </p> x 3 − y 2 + t {\displaystyle x^{3}-y^{2}+t} <p>which are a family of elliptic curves degenerating to a rational curve with a cusp. </p> <h2 id="properties">Properties</h2> <p>One of the most important properties of stable curves is the fact that they are local complete intersections. This implies that standard Serre-duality theory can be used. In particular, it can be shown that for every stable curve ω C / S ⊗ 3 {\displaystyle \omega _{C/S}^{\otimes 3}} is a relatively very-ample sheaf; it can be used to embed the curve into P S 5 g − 6 {\displaystyle \mathbb {P} _{S}^{5g-6}} . Using the standard Hilbert Scheme theory we can construct a moduli scheme of curves of genus g {\displaystyle g} embedded in some projective space. The Hilbert polynomial is given by </p> P g ( n ) = ( 6 n − 1 ) ( g − 1 ) {\displaystyle P_{g}(n)=(6n-1)(g-1)} <p>There is a sublocus of stable curves contained in the Hilbert scheme </p> H g ⊂ Hilb P Z 5 g − 6 P g {\displaystyle H_{g}\subset {\textbf {Hilb}}_{\mathbb {P} _{\mathbb {Z} }^{5g-6}}^{P_{g}}} <p>This represents the functor </p> H g ( S ) ≅ { stable curves π : C → S with an iso P ( π ∗ ( ω C / S ⊗ 3 ) ) ≅ P 5 g − 6 × S } / ∼ ≅ Hom ( S , H g ) {\displaystyle {\mathcal {H}}_{g}(S)\cong \left.\left\{{\begin{matrix}&{\text{stable curves }}\pi :C\to S\\&{\text{ with an iso }}\\&\mathbb {P} (\pi _{*}(\omega _{C/S}^{\otimes 3}))\cong \mathbb {P} ^{5g-6}\times S\end{matrix}}\right\}{\Bigg /}{\sim }\right.\cong \operatorname {Hom} (S,H_{g})} <p>where ∼ {\displaystyle \sim } are isomorphisms of stable curves. In order to make this the moduli space of curves without regard to the embedding (which is encoded by the isomorphism of projective spaces) we have to mod out by P G L ( 5 g − 6 ) {\displaystyle PGL(5g-6)} . This gives us the moduli stack </p> M g := [ H _ g / P G L _ ( 5 g − 6 ) ] {\displaystyle {\mathcal {M}}_{g}:=[{\underline {H}}_{g}/{\underline {PGL}}(5g-6)]} <h2 id="see-also">See also</h2> <ul><li><a href="/facts/Moduli_of_algebraic_curves/u4mAMEfJ">Moduli of algebraic curves</a></li> <li><a href="/facts/Stable_map/A1dY1TDs">Stable map of curves</a></li></ul> <ul><li><a href="/facts/Michael_Artin/Tfk0f6rK">Artin, M.</a>; Winters, G. (1971-11-01). "<a href="https://www.sciencedirect.com/science/article/pii/0040938371900280">Degenerate fibres and stable reduction of curves</a>". <i>Topology</i>. 10 (4): 373–383. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:10.1016/0040-9383(71)90028-0. <a href="/facts/ISSN_(identifier)/DPAflDvU">ISSN</a> 0040-9383.</li> <li><a href="/facts/Pierre_Deligne/wYC8fhfq">Deligne, Pierre</a>; <a href="/facts/David_Mumford/WJoJ8K2u">Mumford, David</a> (1969), <a href="http://www.numdam.org/item?id=PMIHES_1969__36__75_0">"The irreducibility of the space of curves of given genus"</a>, <i><a href="/facts/Publications_Math%C3%A9matiques_de_l%27IH%C3%89S/2ur5ofxL">Publications Mathématiques de l'IHÉS</a></i>, 36 (36): 75–109, <a href="/facts/CiteSeerX_(identifier)/SceDmd3c">CiteSeerX</a> <a href="https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.589.288">10.1.1.589.288</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF02684599">10.1007/BF02684599</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0262240">0262240</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:16482150">16482150</a></li> <li>Gieseker, D. (1982), <a href="http://www.math.tifr.res.in/~publ/ln/tifr69.pdf"><i>Lectures on moduli of curves</i></a> (PDF), Tata Institute of Fundamental Research Lectures on Mathematics and Physics, vol. 69, Published for the Tata Institute of Fundamental Research, Bombay, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-11953-1, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0691308">0691308</a></li> <li><a href="/facts/Joe_Harris_(mathematician)/XPzjGwRf">Harris, Joe</a>; Morrison, Ian (1998), <i>Moduli of curves</i>, Graduate Texts in Mathematics, vol. 187, Berlin, New York: <a href="/facts/Springer-Verlag/nAesf6nT">Springer-Verlag</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-387-98429-2, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1631825">1631825</a></li></ul>