“Stable curve”的意思、由来-开放百科全书

词条

Stable curve

释义

Definition
Examples Non-Examples
Properties
See also
References

In algebraic geometry, a stable curve is an algebraic curve that is asymptotically stable in the sense of geometric invariant theory.

This is equivalent to the condition that it is a complete connected curve whose only singularities are ordinary double points and whose automorphism group is finite.

The condition that the automorphism group is finite can be replaced by the condition that it is not of arithmetic genus one and every non-singular rational component meets the other components in at least 3 points {{harv|Deligne|Mumford|1969}}.

A semi-stable curve is one satisfying similar conditions, except that the automorphism group is allowed to be reductive rather than finite (or equivalently its connected component may be a torus). Alternatively the condition that non-singular rational components meet the other components in at least 3 points is replaced by the condition that they meet in at least 2 points.

Similarly a curve with a finite number of marked points is called stable if it is complete, connected, has only ordinary double points as singularities, and has finite automorphism group. For example an elliptic curve (a non-singular genus 1 curve with 1 marked point) is stable.

Over the complex numbers, a connected curve is stable if and only if, after removing all singular and marked points, the universal covers of all its components are isomorphic to the unit disk.

Definition

Given an arbitrary scheme and setting a stable genus g curve over is defined as a proper flat morphism such that the geometric fibers are reduced, connected 1-dimensional schemes such that

has only ordinary double-point singularities
Every rational component meets other components at more than points

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 Elliptic surfaces can be completely classified.

Examples

One classical example of a family of stable curves is given by the Weierstrass family of curves

where the fibers over every point 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.

Non-Examples

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 constructed from the polynomials

since along the diagonal there are non-double-point singularities. Another non-example is the family over given by the polynomials

which are a family of elliptic curves degenerating to a rational curve with a cusp.

Properties

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 is a relatively very-ample sheaf; it can be used to embed the curve into . Using the standard Hilbert Scheme theory we can construct a moduli scheme of curves of genus embedded in some projective space. The Hilbert polynomial is given by

There is a sublocus of stable curves contained in the Hilbert scheme

This represents the functor

where 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 . This gives us the moduli stack

References

{{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | last2=Mumford | first2=David | author2-link=David Mumford | title=The irreducibility of the space of curves of given genus | url=http://www.numdam.org/item?id=PMIHES_1969__36__75_0 |mr=0262240 | year=1969 | journal=Publications Mathématiques de l'IHÉS | issue=36 | pages=75–109 | doi=10.1007/BF02684599 | volume=36| citeseerx=10.1.1.589.288 }}
{{Citation | last1=Gieseker | first1=D. | title=Lectures on moduli of curves | publisher=Published for the Tata Institute of Fundamental Research, Bombay | series=Tata Institute of Fundamental Research Lectures on Mathematics and Physics | isbn=978-3-540-11953-1 |mr=691308 | year=1982 | volume=69}}
{{Citation | last1=Harris | first1=Joe | author1-link=Joe Harris (mathematician) | last2=Morrison | first2=Ian | title=Moduli of curves | publisher=Springer-Verlag | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-98429-2 |mr=1631825 | year=1998 | volume=187}}

2 : Algebraic curves|Moduli theory

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

Definition

Examples

Non-Examples

Properties

See also

References