|
|
Line 1: |
Line 1: |
| In [[algebraic geometry]], a '''moduli space of (algebraic) curves''' is a geometric space (typically a [[scheme (mathematics)|scheme]] or an [[algebraic stack]]) whose points represent isomorphism classes of [[algebraic curve]]s. It is thus a special case of a [[moduli space]]. Depending on the restrictions applied to the classes of algebraic curves considered, the corresponding '''moduli problem''' and the moduli space is different. One also distinguishes between [[Moduli space#Fine Moduli Spaces|fine]] and [[Moduli space#Coarse Moduli Spaces|coarse moduli spaces]] for the same moduli problem.
| | I would like to introduce myself to you, I am Andrew and my spouse doesn't like it at all. Office supervising is my occupation. For years he's been residing in Mississippi and he doesn't strategy on altering it. To play lacross is the factor I adore most of all.<br><br>my web page clairvoyants - [http://cartoonkorea.com/ce002/1093612 http://cartoonkorea.com/ce002/1093612], |
| | |
| The most basic problem is that of moduli of [[smooth morphism|smooth]] [[complete variety|complete]] curves of a fixed [[Genus (mathematics)|genus]]. Over the [[field (mathematics)|field]] of [[complex numbers]] these correspond precisely to [[compact space|
| |
| compact]] [[Riemann surface]]s of the given genus, for which [[Bernhard Riemann]] proved the first results about moduli spaces, in particular their dimensions ("number of parameters on which the complex structure depends").
| |
| | |
| ==Moduli stacks of stable curves==
| |
| The moduli stack <math>\mathcal{M}_{g}</math> classifies families of smooth projective curves, together with their isomorphisms. When g > 1, this stack may be compactified by adding new "boundary" points which correspond to stable nodal curves (together with their isomorphisms). A curve is [[stable curve|stable]] if it is complete, connected, has no singularities other than double points, and has only a finite group of automorphisms. The resulting stack is denoted <math>\overline{\mathcal{M}}_{g}</math>. Both moduli stacks carry universal families of curves.
| |
| | |
| Both stacks above have dimension <math>3g-3</math>; hence a stable nodal curve can be completely specified by choosing the values of 3g-3 parameters, when g > 1. In lower genus, one must account for the presence of smooth families of automorphisms, by subtracting their number. There is exactly one complex curve of genus zero, the Riemann sphere, and its group of isomorphisms is PGL(2). Hence the dimension of <math>\mathcal{M}_0</math> is
| |
| | |
| :dim(space of genus zero curves) - dim(group of automorphisms) = 0 - dim(PGL(2)) = -3.
| |
| | |
| Likewise, in genus 1, there is a one-dimensional space of curves, but every such curve has a one-dimensional group of automorphisms. Hence the stack <math>\mathcal{M}_1</math> has dimension 0.
| |
| | |
| ==Coarse moduli spaces==
| |
| One can also consider the coarse moduli spaces representing isomorphism classes of smooth or stable curves. These coarse moduli spaces were actually studied before the notion of moduli stack was invented. In fact, the idea of a moduli stack was invented by [[Deligne]] and [[David Mumford|Mumford]] in an attempt to prove the projectivity of the coarse moduli spaces. In recent years, it has become apparent that the stack of curves is actually the more fundamental object.
| |
| | |
| The coarse moduli spaces have the same dimension as the stacks when g > 1; however, in genus zero the coarse moduli space has dimension zero, and in genus one, it has dimension one.
| |
| | |
| ==Moduli of marked curves==
| |
| One can also enrich the problem by considering the moduli stack of genus g nodal curves with n marked points, pairwise distinct and distinct from the nodes. Such marked curves are said to be stable if the subgroup of curve automorphisms which fix the marked points is finite. The resulting moduli stacks of smooth (or stable) genus g curves with n marked points are denoted <math>\mathcal{M}_{g,n}</math> (or <math>\overline{\mathcal{M}}_{g,n}</math>), and have dimension 3g-3 + n.
| |
| | |
| A case of particular interest is the moduli stack <math>\overline{\mathcal{M}}_{1,1}</math> of genus 1 curves with one marked point. This is the stack of [[elliptic curve]]s. Level 1 [[modular form]]s are sections of line bundles on this stack, and level ''N'' modular forms are sections of line bundles on the stack of elliptic curves with level ''N'' structure (roughly a marking of the points of order ''N'').
| |
| | |
| ==Boundary geometry==
| |
| An important property of the compactified moduli spaces <math>\overline{\mathcal{M}}_{g,n}</math> is that their boundary can be described in terms of moduli spaces <math>\overline{\mathcal{M}}_{g,n}</math> for smaller g: Given a marked, stable, nodal curve one can associate its ''dual graph'', a [[graph]] with vertices labelled by nonnegative integers and allowed to have loops, multiple edges and even numbered half-edges. Here the vertices of the graph correspond to [[irreducible component]]s of the nodal curve, the labelling of a vertex is the [[arithmetic genus]] of the corresponding component, edges correspond to nodes of the curve and the half-edges correspond to the markings. The closure of the locus of curves with a given dual graph in <math>\overline{\mathcal{M}}_{g,n}</math> is isomorphic to the [[stack quotient]] of a product <math>\prod_v \overline{\mathcal{M}}_{g_v,n_v}</math> of compactified moduli spaces of curves by a finite group. In the product the factor corresponding to a vertex v has genus g<sub>v</sub> taken from the labelling and number of markings n<sub>v</sub> equal to the number of outgoing edges and half-edges at v.
| |
| | |
| ==See also==
| |
| | |
| *[[Witten conjecture]]
| |
| | |
| ==References==
| |
| {{reflist}}
| |
| | |
| *{{Cite journal
| |
| | last = Grothendieck
| |
| | first = Alexander
| |
| | author-link = Alexander Grothendieck
| |
| | last2 =
| |
| | first2 =
| |
| | author2-link =
| |
| | title = Techniques de construction en géométrie analytique. I. Description axiomatique de l'espace de Teichmüller et de ses variantes
| |
| | place = Paris
| |
| | publisher = Secrétariat Mathématique
| |
| | year = 1960/1961
| |
| | journal = Séminaire Henri Cartan 13 no. 1, Exposés No. 7 and 8
| |
| | volume =
| |
| | url = http://archive.numdam.org/article/SHC_1960-1961__13_1_A4_0.pdf
| |
| | doi =
| |
| | id =
| |
| | isbn = }}
| |
| | |
| * Mumford, D.; Fogarty, J.; Kirwan, F. ''Geometric invariant theory''. Third edition. [[Ergebnisse der Mathematik und ihrer Grenzgebiete]] (2) (Results in Mathematics and Related Areas (2)), 34. Springer-Verlag, Berlin, 1994. xiv+292 pp. {{MathSciNet|id=1304906}} ISBN 3-540-56963-4
| |
| | |
| *{{cite journal
| |
| | last = Deligne
| |
| | first = Pierre
| |
| | authorlink = Pierre Deligne
| |
| | coauthors = [[David Mumford|Mumford, David]]
| |
| | title = The irreducibility of the space of curves of given genus
| |
| | journal = Publications Mathématiques de l'IHÉS
| |
| | volume = 36
| |
| | issue =
| |
| | pages = 75–109
| |
| | publisher =
| |
| | location = Paris
| |
| | date = 1969
| |
| | url = http://archive.numdam.org/article/PMIHES_1969__36__75_0.pdf
| |
| | doi =
| |
| | id =
| |
| | accessdate = }}
| |
| | |
| *{{cite book
| |
| | last = Harris
| |
| | first = Joe
| |
| | authorlink = Joe Harris
| |
| | coauthors = Morrison, Ian
| |
| | title = Moduli of Curves
| |
| | publisher = [[Springer Verlag]]
| |
| | date = 1998
| |
| | location =
| |
| | pages =
| |
| | url =
| |
| | doi =
| |
| | id =
| |
| | isbn =0-387-98429-1 }}
| |
| | |
| *{{cite book
| |
| | last = Katz
| |
| | first = Nicholas M
| |
| | authorlink = Nick Katz
| |
| | coauthors = [[Barry Mazur|Mazur, Barry]]
| |
| | title = Arithmetic Moduli of Elliptic Curves
| |
| | publisher = [[Princeton University Press]]
| |
| | date = 1985
| |
| | location =
| |
| | pages =
| |
| | url =
| |
| | doi =
| |
| | id =
| |
| | isbn =0-691-08352-5 }}
| |
| * Geometry of Algebraic Curves, Volume II, Arbarello Enrico, Cornalba Maurizio, Griffiths Phillip with a contribution by Joseph Daniel Harris. Series: Grundlehren der mathematischen Wissenschaften, Vol. 268, 2011, XXX, 963p. 112 illus., 30 illus. in color.
| |
| | |
| ==External links==
| |
| | |
| *''[http://aimath.org/WWN/modspacecurves/ The Moduli Space of Curves Resource Page]''
| |
| | |
| {{Algebraic curves navbox}}
| |
| | |
| [[Category:Moduli theory]]
| |
I would like to introduce myself to you, I am Andrew and my spouse doesn't like it at all. Office supervising is my occupation. For years he's been residing in Mississippi and he doesn't strategy on altering it. To play lacross is the factor I adore most of all.
my web page clairvoyants - http://cartoonkorea.com/ce002/1093612,