Moduli of spin curves [Elektronische Ressource] / von Katharina Ludwig
139 pages
Deutsch

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Moduli of spin curves [Elektronische Ressource] / von Katharina Ludwig

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus
139 pages
Deutsch
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Description

ModuliofSpin CurvesVon der Fakult at fur Mathematik und Physikder Gottfried Wilhelm Leibniz Universit at Hannoverzur Erlangung des GradesDoktorin der NaturwissenschaftenDr. rer. nat.genehmigte DissertationvonDipl.-Math. Katharina Ludwig,geboren am 11.08.1980 in Hannover(2007)Referent: Prof. Dr. Klaus Hulek, HannoverKoreferentin: Prof. Dr. Lucia Caporaso, RomTag der Promotion: 11. Mai 2007ZusammenfassungDiese Arbeit widmet sich der Bestimmung der Singularit aten des groben Mod-ulraumes S der Spinkurven ub erC. Das genaue Verst andnis der Singularit atengfuhrt zu dem Resultat, dass plurikanonische Formen auf der o enen Teilmenge derglatten Punkte holomorph zu einer Desingularisierung liften. Der von M. Cor-nalba in [Cor89] konstruierte Modulraum S kompakti ziert den groben Mod-gulraum S der glatten Spinkurven, dies sind Paare (C;L) bestehend aus einergglatten Kurve C arithmetischen Geschlechts g 2 und einer Thetacharakter-2istik L, d.h. einem Geradenbundel L auf C mit der Eigenschaft, dass L iso-morph ist zum kanonischen Bundel! . Diese Kompakti zierung vertr agt sich mitCder Deligne-Mumford-Kompakti zierung M mittels stabiler Kurven des grobengModulraumesM der glatten Kurven arithmetischen Geschlechtsg [DM69]. Ins-gbesondere gibt es einen naturlic hen Morphismus : S ! M , der dem Mod-g gulpunkt einer Spinkurve den Modulpunkt der zugrunde liegenden Kurve zuord-2gnet. ist eine endliche Abbildung vom Grad 2 .

Sujets

Informations

Publié par
Publié le 01 janvier 2007
Nombre de lectures 92
Langue Deutsch
Poids de l'ouvrage 1 Mo

Extrait

Moduli
of
Spin Curves
Von der Fakult at fur Mathematik und Physik
der Gottfried Wilhelm Leibniz Universit at Hannover
zur Erlangung des Grades
Doktorin der Naturwissenschaften
Dr. rer. nat.
genehmigte Dissertation
von
Dipl.-Math. Katharina Ludwig,
geboren am 11.08.1980 in Hannover
(2007)Referent: Prof. Dr. Klaus Hulek, Hannover
Koreferentin: Prof. Dr. Lucia Caporaso, Rom
Tag der Promotion: 11. Mai 2007Zusammenfassung
Diese Arbeit widmet sich der Bestimmung der Singularit aten des groben Mod-
ulraumes S der Spinkurven ub erC. Das genaue Verst andnis der Singularit ateng
fuhrt zu dem Resultat, dass plurikanonische Formen auf der o enen Teilmenge der
glatten Punkte holomorph zu einer Desingularisierung liften. Der von M. Cor-
nalba in [Cor89] konstruierte Modulraum S kompakti ziert den groben Mod-g
ulraum S der glatten Spinkurven, dies sind Paare (C;L) bestehend aus einerg
glatten Kurve C arithmetischen Geschlechts g 2 und einer Thetacharakter-

2istik L, d.h. einem Geradenbundel L auf C mit der Eigenschaft, dass L iso-
morph ist zum kanonischen Bundel! . Diese Kompakti zierung vertr agt sich mitC
der Deligne-Mumford-Kompakti zierung M mittels stabiler Kurven des grobeng
ModulraumesM der glatten Kurven arithmetischen Geschlechtsg [DM69]. Ins-g
besondere gibt es einen naturlic hen Morphismus : S ! M , der dem Mod-g g
ulpunkt einer Spinkurve den Modulpunkt der zugrunde liegenden Kurve zuord-
2gnet. ist eine endliche Abbildung vom Grad 2 .
Im Vordergrund steht die lokale (analytische) Struktur des Modulraumes S .g
Ahnlich wie M verh alt sich S am Modulpunkt einer Spinkurve lokal isomorphg g
zu einem QuotientenV=G eines 3g 3-dimensionalen VektorraumesV nach einer
endlichen Gruppe G. Diese entspricht im Wesentlichen der Automorphismen-
gruppe der betrachteten Spinkurve. Eine genaue Analyse der auftretenden Quo-
tienten erm oglicht mit Hilfe des Reid-Tai-Kriteriums eine Beschreibung derjeni-
gen Punkte in S , an denen kanonische bzw. nicht-kanonische Singularit ateng
auftreten. Letztere bilden eine Teilmenge der Kodimension 2 in S . Au erdemg
reg
wird der Ort S S der glatten Punkte in S bestimmt. Der Morphismusg gg
: S ! M spielt hierbei eine entscheidende Rolle, da er Zusammenh angeg g
zwischen den gut verstandenen Singularit aten des Modulraumes M [HM82] undg
denen von S herstellt. Dabei ergibt sich auch eine Beschreibung des Verzwei-g
gungsverhaltens der endlichen Abbildung .
Diese lokalen Resultate erlauben es zu beweisen, dass sich alle plurikanonischen
reg reg
Formen aufS - d.h. Schnitte in ( S ;O (kK )) - holomorph zu einer Desin-g g S Sg g
egularisierung S von S fortsetzen lassen. Auch hier wird entscheidend auf dasg g
entsprechende Resultat von J. Harris und D. Mumford fur M zuruc kgegri en.g
Schlagworte: Modulraum, Spinkurve, Singularit aten, plurikanonische Formen
iiiAbstract
This thesis determines the singularities of the coarse moduli space S overC ofg
spin curves. The precise description of the singularities yields the result that
pluricanonical forms on the smooth locus ofS lift holomorphically to a desingu-g
larisation. The moduli spaceS constructed by M. Cornalba in [Cor89] compact-g
i es the coarse moduli space S of smooth spin curves. These are pairs (C;L) of ag
smooth curve of (arithmetic) genusg 2 and a theta characteristicL onC, i.e. a

2line bundleL onC such thatL is isomorphic to the canonical bundle! . ThisC
compacti cation is compatible with the Deligne-Mumford compacti cation M ofg
the coarse moduli spaceM of smooth curves of genusg via stable curves [DM69].g
In particular there exists a natural morphism :S !M which sends the mod-g g
uli point of a spin curve to the moduli point of the underlying curve. is a nite
2gmap of degree 2 .
This thesis focuses on the local (analytic) structure of the moduli space S . Asg
in the case ofM an analytic neighbourhood of the moduli point of a spin curveg
in S is isomorphic to the quotient V=G of a 3g 3-dimensional vector spaceg
V with respect to a nite group G. This group is essentially the automorphism
group of the spin curve under consideration. A careful analysis of the occurring
quotients gives a description of the locus of canonical singularities ofS with theg
help of the Reid-Tai criterion. This locus has codimension 2 in S . Moreover,g
reg
the smooth locus S S is determined. The morphism plays an importantgg
role in these calculations, since it establishes a connection between the well un-
derstood singularities ofM [HM82] and those ofS . In order to understand thisg g
connection the rami cation of the nite map is described.
reg
These local results are used to prove that all pluricanonical forms onS , i.e. sec-g
reg
etions in ( S ;O (kK )), extend holomorphically to a desingularisation S ofgg S Sg g
S . An important ingredient is the analogous result for M by J. Harris andg g
D. Mumford.
Keywords: moduli space, spin curve, singularities, pluricanonical forms
ivContents
1 Introduction 1
2 Spin curves 4
2.1 Stable curves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2 Spin curves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3 Moduli spaces 28
3.1 Moduli spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.1.1 Stable curves . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.1.2 Spin curves . . . . . . . . . . . . . . . . . . . . . . . . . . 32
0
3.1.3 The moduli spaces S and S . . . . . . . . . . . . . . . . 34C C
3.2 Deformation theory . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2.1 Stable curves . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2.2 Spin curves . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4 Singularities 54
4.1 Canonical singularities . . . . . . . . . . . . . . . . . . . . . . . . 54
4.2 Singularities of M . . . . . . . . . . . . . . . . . . . . . . . . . . 57g
4.3 of S . . . . . . . . . . . . . . . . . . . . . . . . . . . 64g
4.3.1 Quasi re ections in M(Aut(X;L;b)) . . . . . . . . . . . . 64
4.3.2 Singularities of S . . . . . . . . . . . . . . . . . . . . . . . 70g
5 Global results 109
5.1 The Picard group . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
5.1.1 Stable curves . . . . . . . . . . . . . . . . . . . . . . . . . 109
5.1.2 Spin curves . . . . . . . . . . . . . . . . . . . . . . . . . . 110
5.2 Pluricanonical forms . . . . . . . . . . . . . . . . . . . . . . . . . 112
5.2.1 Stable curves . . . . . . . . . . . . . . . . . . . . . . . . . 112
5.2.2 Spin curves . . . . . . . . . . . . . . . . . . . . . . . . . . 118
Bibliography 123
Notation 125
Index 127
vCONTENTS CONTENTS
viChapter 1
Introduction
This thesis investigates the geometry of the coarse moduli space S of pairs of ag
smooth curve C of genus g 2 (overC) together with a theta characteristic L,

2i.e. a line bundle such thatL is isomorphic to the canonical bundle! . ThetaC
characteristics are a classical subject, for example in the guise of bitangents of a
smooth plane quartic. There is a natural forgetful morphism from S to M ,g g
the moduli space of smooth curves, by sending the moduli point [(C;L)]2S ofg
a pair (C;L) to the moduli point [C]2M of the curve. Since a smooth curve ofg
2ggenusg has exactly 2 non-isomorphic theta characteristics, is nite of degree
2g2 , see for example the articles of D. Mumford [Mum71] and M. Atiyah [Ati71].
g 1 gMoreover, every smooth curve C has 2 (2 + 1) even theta characteristics, i.e.
0 g 1 gdimH (C;L) is even, and 2 (2 1) odd theta characteristics. In the articles
mentioned the authors prove that even and odd theta characteristics do not mix.
This means, that in a family of curves with theta c over a connected
base scheme the dimension of the space of sections of the theta characteristic is
+constant modulo 2, showing thatS is the disjoint union of the moduli spacesSg g
andS of curves with even resp. odd theta characteristics, which can be proveng
to be the irreducible components of S .g
As in the case of M it is natural to ask for a geometrically meaningful compac-g
ti cation S of S . In the case of curves such a compacti cation was given byg g
P. Deligne and D. Mumford in [DM69] in terms of stable curves; where curves
having only nodes as singularities and nite automorphism groups are included
into the moduli problem to give the projective moduli space M which containsg
M as a dense open subset. In his article [Cor89] M. Cornalba gave a compacti-g
cation S of S which is compatible with the forgetful morphism : S ! Mg g g g
and the Deligne-Mumford compacti cation M , i.e. S ts into the commutativeg g
diagram
........... ... .................Sg Sg
. .. .... .. .... ..... ..... .
..... ...................Mg Mg
1CHAPTER 1. INTRODUCTION
and the map S ! M is again a forgetful morphism which is nite of degreeg g
2g2 . Points in S correspond to spin curves, i.e. triples (X;L;b) of a so calledg

2quasi-stable curve X, a line bundle L on X and a homomorphism b from L
to a \modi cation" of the canonical bundle ! which is nearly an isomorphism.X
The homomorphism is needed to get a separated moduli space. In the smooth
=
2case it just amounts to choosing a speci c isomorphism L ! ! . T. JarvisC
gave other geometrically meaningful compacti cations of S compatible withM ,g g
where boundar

  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents