Geometry of moduli spaces


 Alban Crawford
 2 years ago
 Views:
Transcription
1 Geometry of moduli spaces 20. November / 45
2 (1) Examples: C: compact Riemann surface C = P 1 (C) = C { } (Riemann sphere) E = C / Z + Zτ (torus, elliptic curve) 2 / 45
3 (2) Theorem (Riemann existence theorem, Chow s theorem): Every compact Riemann surface C is an algebraic curve, i.e. admits a holomorphic embedding i : C P n = P n (C) and i(c) is the set of solutions of finitely many homogeneous polynomial equations. Conclusion: It makes no difference wether one considers the classification problem for compact Riemann surfaces or for smooth projective algebraic curves (over C). 3 / 45
4 (3) Question: How can one classify algebraic curves? The topological classification of orientable compact connected 2dimensional real surfaces is given by their genus (= # of holes) g = 0 g = 1 genus g 4 / 45
5 (4) Question: How many algebraic (= holomorphic = conformal) structures exist on a topological surface of genus g? g = 0: The algebraic structure is unique, i.e. every algebraic curve of genus 0 is isomorphic to P 1. g = 1: Every curve of genus 1 arises as E τ = C / Z + τz, Im τ > 0. τ 1 + τ τ H 1 = {z C; Im z > 0}. 1 Question: When is E τ = Eτ? 5 / 45
6 (5) The group SL(2, Z) acts on H 1 by ( ) a b : τ aτ + b c d cτ + d. One shows that E τ = Eτ τ τ modulo SL(2, Z). I.e. we consider the quotient of H 1 by SL(2, Z) and obtain M 1 = SL(2, Z) H 1 = {elliptic curves}/ = Using the jfunction j : H 1 C one shows that j : M 1 = SL(2, Z) H 1 = C. 6 / 45
7 (6) Curves of genus g 2 Riemann (1857): Curves of genus g 2 depend on 3g 3 moduli. Then the following holds: M g = {algebraic curves of genus g}/ = M g carries the structure of a quasiprojective variety dim M g = 3g 3 M g is irreducible M g has at most finite quotient singularities. 7 / 45
8 (7) An important property of M g is the following: Let f : X U be a family of smooth projective curves, i.e. Cu = f 1 (u) u for every u U the fibre C u = f 1 (u) is a smooth projective curve of genus g. Then the map U φ U : U M g u [C u ] is a morphism (and M g is minimal with this property). Formally one describes this in the language of representations of functors and (Deligne Mumford) stacks. 8 / 45
9 (8) Compactifications of M g M g is a quasiprojective variety. Question: Is there a geometrically meaningful compactification of M g? M g := moduli space of stable curves of genus g Definition: A projective algebraic curve is stable if it has at most nodes as singularities (but it need not be irreducible) and Aut(C) < g = 2 g = / 45
10 The geometry of M g (1) Fact: M g carries the structure of a projective variety containing M g as a (Zariski)open set. g = 0 g = 1 g 2 M 0 = {pt} M 1 = M 1 {pt} = C {pt} = P 1 Question: What can we say about the geometry of the variety M g? 10 / 45
11 (1) X = projective manifold, dim C X = n. T X = tangent bundle of X Ω 1 X = TX = cotangent bundle of X. The sections of Ω 1 X are 1forms, i.e. locally of the form n Ω = f i (z 1,..., z n ) dz i. i=1 11 / 45
12 (2) ω X := Λ n Ω 1 X = det Ω 1 X = canonical bundle The sections of ω X are nforms, i.e. locally of the form ω = f (z 1,..., z n ) dz 1... dz n. = ω X... ω X (kth power of the canonical bundle, k 1) ω k X The sections are kfold pluricanonical forms and locally of the form ω = f (z 1,..., z n ) (dz 1... dz n ) k. 12 / 45
13 (3) X = projective manifold, dim C X = n. Definition: The kth plurigenus of X is defined by P k (X ) := dim C H 0 (X, ω k X ) i.e. the number of independent global kfold pluricanonical forms. 13 / 45
14 (4) Definition: of X is defined as if P k (X ) = 0 for all k 1 0 if P κ(x ) = k (X ) = 0 or 1 for all k 1 and there is at least one k 0 1 with P k0 (X ) = 1 κ if P k (X ) c k κ + l.o.t. (c > 0). Remark: κ(x ) {, 0, 1,..., dim X }. Definition: X is of general type if κ(x ) = dim X. 14 / 45
15 (5) In the case of curves the situation is as follows: κ(c) = g(c) = 0 C = P 1 κ(c) = 0 g(c) = 1 C = elliptic curve κ(c) = 1 g(c) 2 is a rough birational invariant for algebraic. 15 / 45
16 Geometry of M g (2) Question: What is the Kodaira dimension of (a smooth model of) M g? Theorem (Harris Mumford, Eisenbud Harris): M g is of general type for g 24. Theorem (Farkas): M 22 is of general type. Theorem: κ(m g ) = for g 16. This result is due to Severi, Sernesi, Chang, Ran, Bruno, Verra,... Question: κ(m g ) =? for 17 g 21, 23? Proposition (Farkas): κ(m 23 ) / 45
17 (1) Abelian are higherdimensional generalisations of elliptic curves E = C / Zτ + Z = C / Λ τ A gdimensional torus is given by (Λ τ = Zτ + Z). A = C g / Λ (Λ = lattice of rank 2g in C g ). Clearly A is a compact complex abelian Lie group (and every such Lie group is of this form). Definition: A torus A is called an abelian variety if A is projective, i.e. an embedding A P N exists (for some N). Remark: This is automatic for g = 1, but does not hold in general. 17 / 45
18 (2) Many aspects of the theory of elliptic curves carry over to abelian. The Siegel upper half plane of genus g is defined as H g = {τ Mat(g g, C); τ = t τ, Im τ > 0}. The integral symplectic group is defined by where Remark: For g = 1 Sp(g, Z) = {M GL(2g, Z); t MJM = J} J = ( 0 1g 1 g 0 ). Sp(1, Z) = SL(2, Z). 18 / 45
19 (3) The group Sp(g, Z) acts on H g by ( ) A B : τ (Aτ + B)(Cτ + D) 1. C D The quotient A g = Sp(g, Z) H g = moduli space of principally polarized abelian of dimension g. A polarized abelian variety is a pair (A, L ) where A is an abelian variety und L is an ample line bundle on A. A polarization is called principal if L g = g!. 19 / 45
20 (4) A g has the following properties: A g is quasiprojective, irreducible dim A g = 1 2g(g + 1) A g has only finite quotient singularities. 20 / 45
21 (5) Question: What is the Kodaira dimension of (a smooth projective model of) A g? Theorem: κ(a g ) = for g 5. g 3 : g = 4 : g = 5 : classical Clemens Donagi; Mori, Mukai; Verra Theorem: A g is of general type for g 7. g 9 : g = 8 : g = 7 : Tai Freitag Mumford Problem: κ(a 6 ) =? 21 / 45
22 (6) The Siegel domain H g is the hermitian symmetric space H g = Sp(g, R)/U(g) where U(g) is the (up to conjugation) unique maximal compact subgroup. It can also be realised as a bounded complex domain via the Cayley transformation H g D g = {Z Mat(g g, C); Z = t Z, t ZZ < 1 g } τ (τ i 1 g )(τ + i 1 g ) 1. Example: H 1 = D 1 = {z C; z < 1}. 22 / 45
23 (7) Modular forms Definition: A modular form of weight k with respect to Sp(g, Z) is a holomorphic function such that F : H g C F (M(τ)) = (det(cτ + D)) k F (τ) ( ) A B for all M = Sp(g, Z). C D Remark: For g = 1 one needs to add a condition of holomorphicity at infinity (the cusp). 23 / 45
24 (8) Definition: A modular form is a cusp form if it vanishes at. S k (Sp(g, Z)) = {F ; F is a cusp form of weight k}. dim C S k (Sp(g, Z)) <. 24 / 45
25 (9) Modular forms and differential forms Let F be a modular form of weight k(g + 1) with respect to Sp(g, Z). Define ω F = F (dτ 11 dτ dτ gg ) k. Fact: ω F is invariant w.r.t. Sp(g, Z). Hence we can view ω F as a kfold pluricanonical form on (an open part of) A g. More precisely A g = A g {fixed points of Sp(g, Z)} Then ω F H 0 (A g, ω k A g ). 25 / 45
26 S: smooth projective surface, minimal The Kodaira classification classifies surfaces according to Kodaira dimension. κ(s) = κ(s) = 0 S is rational or a geometrically ruled surface S is one of the following: abelian surface K3 surface Enriques surface bielliptic surface κ(s) = 1 κ(s) = 2 S is elliptic fibration S is of general type. 26 / 45
27 (1) Definition: A K3 surface is a compact complex surface with the following properties ω S = O S π 1 (S) = {0}. Examples: (1) Quartic surfaces in P 3 : S = {(x 0 : x 1 : x 2 : x 3 ) P 3 ; f 4 (x 0,..., x 3 ) = 0} where f 4 is homogeneous of degree 4, general. E.g. S = {x0 4 + x1 4 + x2 4 + x3 4 = 0}. (2) Complete intersections of degree (2, 3) in P 4 : S = {f 2 = f 3 = 0} P 4. Remark: There exist nonalgebraic K 3 surfaces. 27 / 45
28 (2) The second cohomology group H 2 (S, Z) of a K3 surface has the structure of a lattice, i.e. it carries a nondegenerate symmetric bilinear form (given by the intersection form). More precisely where and U = H 2 (S, Z) = 3U 2E 8 ( 1) ( ) (hyperbolic plane) E 8 ( 1) = nondegenerate, even, unimodular lattice of rank 8. The second cohomology group with complex coefficients has a Hodge decomposition H 2 (S, C) = H 20 H 11 H 02 (H 20 = H 02 ). (2,0)forms (1,1)forms (0,2)forms 28 / 45
29 (3) Since ω S = O S it follows that dim C H 20 = dim C H 0 (S, ω S ) = dim C H 0 (S, O S ) = 1. I.e. we have a 1dimensional subspace C = H 20 H 2 (S, C) = C 22. This inclusion carries all information on S (Torelli theorem). L K3 = 3U + 2E 8 ( 1) (sign(l K3 ) = (3, 19)). A marking of a K3 surface is an isomorphism φ: H 2 (S, Z) = L K3. This defines a 1dimensional subspace φ(c ω S ) = φ(h 20 ) L K3 C. 29 / 45
30 (4) With respect to the intersection form on H 2 (S, C) one has (ω S, ω S ) = 0, (ω S, ω S ) > 0. This leads one to define Ω K3 = {[x] P(L K3 C); (x, x) = 0, (x, x) > 0}. dim C Ω K3 = 20 Given a marking φ: H 2 (S, Z) = L K3 of a K3 surface one defines the period point φ(ω S ) = [C ω S ] Ω K3. 30 / 45
31 (5) O(L K3 ) = {g; g is an orthogonal transformation of L K3 }. This group acts on Ω K3. Theorem (Torelli): The K 3 surface S can be reconstructed from its period point. I.e. the quotient M K3 = O(L K3 ) Ω K3 is the moduli space of. Remark: The group action is badly behaved, e.g. the quotient M K3 is not hausdorff. 31 / 45
32 (6) The situation improves when one restricts to the algebraic case, i.e. to polarized K 3 surfaces. A polarized K3 surface is a pair (S, L ) where L is an ample line bundle. Instead of L it suffices to consider The degree of L (resp. h) is h = c 1 (L ) H 2 (S, Z). deg L = c 1 (L ) 2 = h 2 = 2d > 0. Question: How can we describe moduli of polarized K 3 surfaces (of given degree 2d)? 32 / 45
33 (7) If h L K3 is a primitive element with h 2 = 2d, then hl K3 = 2U 2E8 ( 1) 2d =: L 2d. As before we consider Ω L2d = {[x] P(L 2d C); (x, x) = 0, (x, x) > 0}. Then dim Ω L2d = 19 Ω L2d = D L2d D L 2d where D L2d is a homogeneous symmetric domain of type IV. 33 / 45
34 (8) Let and set Õ(L 2d ) = {g O(L K3 ); g(h) = h} F 2d = Õ(L 2d) Ω L2d. Theorem (Torelli): The quotient F 2d is the moduli space of pseudopolarized K 3 surfaces of degree 2d. 34 / 45
35 (9) The action of Õ(L 2d) on Ω L2d is properly discontinuous. The following holds: dim F 2d = 19 F 2d has only finite quotient singularities F 2d is quasiprojective (Baily Borel). There exist different compactifications of F 2d : F2d BB : Baily Borel compactification : toroidal compactifications F tor 2d 35 / 45
36 (10) Question: What is the Kodaira dimension of F 2d? Theorem (Mukai): F 2d is unirational (and hence κ(f 2d ) = ) if 1 d 10, d = 12, 16, 17 and 19. Theorem (Gritsenko, H., Sankaran, 2007): F 2d is of general type for d > 61 and d = 46, 50, 54, 57, 58, 60. Remark (A. Peterson): F 2d is also of general type for d = / 45
37 (1) Recall that Ω L2d = {[x] P(L 2d C); (x, x) = 0, (x, x) > 0} = D L2d D L 2d. Let and (L 2d C) {0} D L 2d = affine cone over D L2d P(L 2d C) O + (L 2d ) = {g O(L 2d ); g(d L2d ) = D L2d }. 37 / 45
38 (2) Definition: Let Γ O + (L 2d ) be a group of finite index. A modular form (automorphic form) of weight k with respect to Γ and with a character χ is a holomorphic function such that F : DL 2d C (1) F (tz) = t k F (Z) (t C ) (2) F (γz) = χ(γ)f (Z) (γ Γ). 38 / 45
39 (3) Fact: S 19k (Õ+ (L 2d ), det k ) F F (dz) k H 0 (F2d, ω k F ) 2d suitable volume form where F 2d = F 2d {fixed points of Õ+ (L 2d )}. Question: When can one extend these forms to pluricanonical forms on a smooth projective model F 2d of F 2d? Obstructions: (1) elliptic obstructions (from singularities of F 2d ) (2) reflective obstructions (from quasireflections in Õ+ (L 2d )) (3) parabolic obstructions (dz picks up poles along the boundary). We will concentrate on (3) in the sequel. 39 / 45
40 (4) Low weight cusp form trick Assume we have a cusp form F a of low weight a (i.e. a < 19 = dim Ω L2d ), i.e. Let k be even and consider F a S a (Õ+ (L 2d ), det ε ); ε = 0 or 1. F Fa k S k(19 a }{{} )(Õ+ (L 2d )) S 19k (Õ+ (L 2d )) = S 19k (Õ+ (L 2d ), det k ). >0 Then has no poles along the boundary. ω F = F (dz) k Question: Construction of low weight cusp forms? 40 / 45
41 (1) Let L 2,26 = 2U 3E 8 ( 1) = 2U Λ Then Borcherds has constructed a modular form of weight 12. Φ 12 : DL 2,26 C Idea: Restrict this form to D L 2d. (Λ = Leech lattice). Choose l E 8 ( 1), l 2 = 2d < 0. This defines embeddings L 2d = 2U E 8 ( 1) 2d L 2,26 resp. Ω L2d Ω L2, / 45
42 (2) Let R l := {r E 8 ( 1); r 2 = 2, (r, l) = 0} N l := R l. We define the quasipullback of Φ 12 to D L 2d F l := Proposition: If N l > 0 then Φ 12(z) (r, z) D ±r R l L2d. by 0 = F l S N (Õ+ 12+ l (L 2d ), det). 2 This gives us low weight cusp forms provided 2 N l / 45
43 (3) Question: When can we find l E 8 ( 1) with l 2 = 2d which is orthogonal to at least 2 and at most 12 roots? Proposition: Such l exists if 4N E7 (2d) > 28N E6 (2d) + 63N D6 (2d) where N L (2d) is the number of representations of the integer 2d in the lattice L. One can show that ( ) holds for d > 143. ( ) The remaining small d in the theorem can be done by a computer search. 43 / 45
44 (1) This technique can also be applied to other moduli problems. Definition: An irreducible symplectic manifold is a compact complex manifold X with the following properties: (1) X is Kähler (2) There exists a (up to scalar) unique nondegenerate 2form ω X H 0 (X, Ω 2 X ) ( ω X = O X ) (3) X is simply connected. Examples (1) dim X = 2: X = S = K3 surface (2) X is a deformation of Hilb n S (3) X is a deformation of a generalized Kummer variety (4) O Grady s sporadic examples in dimension 6 and / 45
45 (2) In this case Torelli does not hold (in the strict form). However one still has a finite dominant map M Γ D L component of a moduli space of polarized irreducible symplectic manifolds where L is a lattice of signature (2, n) and Γ is a suitable group. General type results have been obtained in the case X def Hilb 2 S, split polarization (Gritsenko, H., Sankaran). Work in progress X def Hilb n S, general polarization O Grady s 10dimensional sporadic case. 45 / 45
Siegel Moduli Space of Principally Polarized Abelian Manifolds
Siegel Moduli Space of Principally Polarized Abelian Manifolds Andrea Anselli 8 february 2017 1 Recall Definition 11 A complex torus T of dimension d is given by V/Λ, where V is a Cvector space of dimension
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan AttwellDuval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationK3 Surfaces and Lattice Theory
K3 Surfaces and Lattice Theory Ichiro Shimada Hiroshima University 2014 Aug Singapore 1 / 26 Example Consider two surfaces S + and S in C 3 defined by w 2 (G(x, y) ± 5 H(x, y)) = 1, where G(x, y) := 9
More informationHodge Structures. October 8, A few examples of symmetric spaces
Hodge Structures October 8, 2013 1 A few examples of symmetric spaces The upper halfplane H is the quotient of SL 2 (R) by its maximal compact subgroup SO(2). More generally, Siegel upperhalf space H
More informationA NEW FAMILY OF SYMPLECTIC FOURFOLDS
A NEW FAMILY OF SYMPLECTIC FOURFOLDS OLIVIER DEBARRE This is joint work with Claire Voisin. 1. Irreducible symplectic varieties It follows from work of Beauville and Bogomolov that any smooth complex compact
More informationCompactifications of Siegel Modular Varieties
Compactifications of Siegel Modular Varieties David Holmes 08/02/2012 We will restrict to the case of principal polarisations and level 1, because it will ease notation and the ideas are generally all
More informationWhen 2 and 3 are invertible in A, L A is the scheme
8 RICHARD HAIN AND MAKOTO MATSUMOTO 4. Moduli Spaces of Elliptic Curves Suppose that r and n are nonnegative integers satisfying r + n > 0. Denote the moduli stack over Spec Z of smooth elliptic curves
More informationAN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS
AN INTRODUCTION TO MODULI SPACES OF CURVES MAARTEN HOEVE ABSTRACT. Notes for a talk in the seminar on modular forms and moduli spaces in Leiden on October 24, 2007. CONTENTS 1. Introduction 1 1.1. References
More informationFANO VARIETIES AND EPW SEXTICS
FNO VRIETIES ND EPW SEXTICS OLIVIER DEBRRE bstract. We explore a connection between smooth projective varieties X of dimension n with an ample divisor H such that H n = 10 and K X = (n 2)H and a class
More informationVanishing theorems and holomorphic forms
Vanishing theorems and holomorphic forms Mihnea Popa Northwestern AMS Meeting, Lansing March 14, 2015 Holomorphic oneforms and geometry X compact complex manifold, dim C X = n. Holomorphic oneforms and
More informationKähler manifolds and variations of Hodge structures
Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic
More informationModuli of Pointed Curves. G. Casnati, C. Fontanari
Moduli of Pointed Curves G. Casnati, C. Fontanari 1 1. Notation C is the field of complex numbers, GL k the general linear group of k k matrices with entries in C, P GL k the projective linear group, i.e.
More informationA SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCHZAGIER DIVISORS
A SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCHZAGIER DIVISORS STEPHAN EHLEN 1. Modular curves and Heegner Points The modular curve Y (1) = Γ\H with Γ = Γ(1) = SL (Z) classifies the equivalence
More informationa double cover branched along the smooth quadratic line complex
QUADRATIC LINE COMPLEXES OLIVIER DEBARRE Abstract. In this talk, a quadratic line complex is the intersection, in its Plücker embedding, of the Grassmannian of lines in an 4dimensional projective space
More informationHodge Theory of Maps
Hodge Theory of Maps Migliorini and de Cataldo June 24, 2010 1 Migliorini 1  Hodge Theory of Maps The existence of a Kähler form give strong topological constraints via Hodge theory. Can we get similar
More informationAn Introduction to Kuga Fiber Varieties
An Introduction to Kuga Fiber Varieties Dylan AttwellDuval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 28, 2012 Notation G a Qsimple
More informationContributors. Preface
Contents Contributors Preface v xv 1 Kähler Manifolds by E. Cattani 1 1.1 Complex Manifolds........................... 2 1.1.1 Definition and Examples.................... 2 1.1.2 Holomorphic Vector Bundles..................
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationA TRANSCENDENTAL METHOD IN ALGEBRAIC GEOMETRY
Actes, Congrès intern, math., 1970. Tome 1, p. 113 à 119. A TRANSCENDENTAL METHOD IN ALGEBRAIC GEOMETRY by PHILLIP A. GRIFFITHS 1. Introduction and an example from curves. It is well known that the basic
More informationCombinatorics and geometry of E 7
Combinatorics and geometry of E 7 Steven Sam University of California, Berkeley September 19, 2012 1/24 Outline Macdonald representations Vinberg representations Root system Weyl group 7 points in P 2
More information7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical
7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical divisor. Definition 7.1. We say that a smooth projective surface is minimal if K S is nef. Warning:
More informationSpecial cubic fourfolds
Special cubic fourfolds 1 Hodge diamonds Let X be a cubic fourfold, h H 2 (X, Z) be the (Poincaré dual to the) hyperplane class. We have h 4 = deg(x) = 3. By the Lefschetz hyperplane theorem, one knows
More informationClassifying complex surfaces and symplectic 4manifolds
Classifying complex surfaces and symplectic 4manifolds UT Austin, September 18, 2012 First Cut Seminar Basics Symplectic 4manifolds Definition A symplectic 4manifold (X, ω) is an oriented, smooth, 4dimensional
More informationPeriod Domains. Carlson. June 24, 2010
Period Domains Carlson June 4, 00 Carlson  Period Domains Period domains are parameter spaces for marked Hodge structures. We call Γ\D the period space, which is a parameter space of isomorphism classes
More informationModuli of Enriques surfaces
Moduli of Enriques surfaces Klaus Hulek March 4, 015 This is joint work with V. Gritsenko. We work mostly over C but there will be a few exceptions at the end. 1 Introduction Let S be an Enriques surface
More informationAbelian Varieties and Complex Tori: A Tale of Correspondence
Abelian Varieties and Complex Tori: A Tale of Correspondence Nate Bushek March 12, 2012 Introduction: This is an expository presentation on an area of personal interest, not expertise. I will use results
More informationA TASTE OF TWODIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY. We also have an isomorphism of holomorphic vector bundles
A TASTE OF TWODIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY LIVIU I. NICOLAESCU ABSTRACT. These are notes for a talk at a topology seminar at ND.. GENERAL FACTS In the sequel, for simplicity we denote the complex
More informationGENERIC ABELIAN VARIETIES WITH REAL MULTIPLICATION ARE NOT JACOBIANS
GENERIC ABELIAN VARIETIES WITH REAL MULTIPLICATION ARE NOT JACOBIANS JOHAN DE JONG AND SHOUWU ZHANG Contents Section 1. Introduction 1 Section 2. Mapping class groups and hyperelliptic locus 3 Subsection
More informationThe Strominger Yau Zaslow conjecture
The Strominger Yau Zaslow conjecture Paul Hacking 10/16/09 1 Background 1.1 Kähler metrics Let X be a complex manifold of dimension n, and M the underlying smooth manifold with (integrable) almost complex
More informationk=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the RiemannRochHirzebruchAtiyahSinger index formula
20 VASILY PESTUN 3. Lecture: GrothendieckRiemannRochHirzebruchAtiyahSinger Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim
More informationAlgebraic Curves and Riemann Surfaces
Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex
More information1. Quadratic lattices A quadratic lattice is a free abelian group M of finite rank equipped with a symmetric bilinear form.
Borcherds products learning seminar Quadratic lattices, Hermitian symmetric domains, and vectorvalued modular forms Lecture 2 Igor Dolgachev February 12, 2016 1. Quadratic lattices A quadratic lattice
More informationModuli of K3 surfaces and irreducible symplectic manifolds
Moduli of K3 surfaces and irreducible symplectic manifolds V. Gritsenko, K. Hulek, and G.K. Sankaran Abstract. The name K3 surfaces was coined by A. Weil in 1957 when he formulated a research programme
More information1 Hermitian symmetric spaces: examples and basic properties
Contents 1 Hermitian symmetric spaces: examples and basic properties 1 1.1 Almost complex manifolds............................................ 1 1.2 Hermitian manifolds................................................
More informationmult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending
2. The canonical divisor In this section we will introduce one of the most important invariants in the birational classification of varieties. Definition 2.1. Let X be a normal quasiprojective variety
More informationThe GrothendieckKatz Conjecture for certain locally symmetric varieties
The GrothendieckKatz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semisimple Lie groups, we prove the Grothendieck
More informationTHE CREMONA GROUP: LECTURE 1
THE CREMONA GROUP: LECTURE 1 Birational maps of P n. A birational map from P n to P n is specified by an (n + 1)tuple (f 0,..., f n ) of homogeneous polynomials of the same degree, which can be assumed
More informationFAKE PROJECTIVE SPACES AND FAKE TORI
FAKE PROJECTIVE SPACES AND FAKE TORI OLIVIER DEBARRE Abstract. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact Kähler manifold X which is homeomorphic to P n is isomorphic to P n.
More informationHyperkähler geometry lecture 3
Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843
More informationRiemann surfaces. Paul Hacking and Giancarlo Urzua 1/28/10
Riemann surfaces Paul Hacking and Giancarlo Urzua 1/28/10 A Riemann surface (or smooth complex curve) is a complex manifold of dimension one. We will restrict to compact Riemann surfaces. It is a theorem
More informationIN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort
FINE STRUCTURES OF MODULI SPACES IN POSITIVE CHARACTERISTICS: HECKE SYMMETRIES AND OORT FOLIATION 1. Elliptic curves and their moduli 2. Moduli of abelian varieties 3. Modular varieties with Hecke symmetries
More informationThe structure of algebraic varieties
The structure of algebraic varieties János Kollár Princeton University ICM, August, 2014, Seoul with the assistance of Jennifer M. Johnson and Sándor J. Kovács (Written comments added for clarity that
More informationAbelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005)
Abelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005) U. Bunke April 27, 2005 Contents 1 Abelian varieties 2 1.1 Basic definitions................................. 2 1.2 Examples
More informationIntroduction Curves Surfaces Curves on surfaces. Curves and surfaces. Ragni Piene Centre of Mathematics for Applications, University of Oslo, Norway
Curves and surfaces Ragni Piene Centre of Mathematics for Applications, University of Oslo, Norway What is algebraic geometry? IMA, April 13, 2007 Outline Introduction Curves Surfaces Curves on surfaces
More informationStable bundles with small c 2 over 2dimensional complex tori
Stable bundles with small c 2 over 2dimensional complex tori Matei Toma Universität Osnabrück, Fachbereich Mathematik/Informatik, 49069 Osnabrück, Germany and Institute of Mathematics of the Romanian
More informationarxiv: v2 [math.dg] 6 Nov 2014
A SHARP CUSP COUNT FOR COMPLEX HYPERBOLIC SURFACES AND RELATED RESULTS GABRIELE DI CERBO AND LUCA F. DI CERBO arxiv:1312.5368v2 [math.dg] 6 Nov 2014 Abstract. We derive a sharp cusp count for finite volume
More informationIntroduction To K3 Surfaces (Part 2)
Introduction To K3 Surfaces (Part 2) James Smith Calf 26th May 2005 Abstract In this second introductory talk, we shall take a look at moduli spaces for certain families of K3 surfaces. We introduce the
More informationModular forms on the moduli space of polarised K3 surfaces. Arie Peterson *
Modular forms on the moduli space of polarised K3 surfaces Arie Peterson * arxiv:1511.06887v1 [math.ag] 21 Nov 2015 Abstract We study the moduli space F 2d of polarised K3 surfaces of degree 2d. We compute
More informationCANONICAL BUNDLE FORMULA AND VANISHING THEOREM
CANONICAL BUNDLE FORMULA AND VANISHING THEOREM OSAMU FUJINO Abstract. In this paper, we treat two different topics. We give sample computations of our canonical bundle formula. They help us understand
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationToroidal Embeddings and Desingularization
California State University, San Bernardino CSUSB ScholarWorks Electronic Theses, Projects, and Dissertations Office of Graduate Studies 62018 Toroidal Embeddings and Desingularization LEON NGUYEN 003663425@coyote.csusb.edu
More informationMinimal model program and moduli spaces
Minimal model program and moduli spaces Caucher Birkar Algebraic and arithmetic structures of moduli spaces, Hokkaido University, Japan 37 Sep 2007 Minimal model program In this talk, all the varieties
More informationHodge structures from differential equations
Hodge structures from differential equations Andrew Harder January 4, 2017 These are notes on a talk on the paper Hodge structures from differential equations. The goal is to discuss the method of computation
More informationRigidity, locally symmetric varieties and the GrothendieckKatz Conjecture
Rigidity, locally symmetric varieties and the GrothendieckKatz Conjecture Benson Farb and Mark Kisin May 8, 2009 Abstract Using Margulis s results on lattices in semisimple Lie groups, we prove the Grothendieck
More informationCLASSIFICATION OF COMPLEX ALGEBRAIC SURFACES. from the point of view of MORI THEORY
CLASSIFICATION OF COMPLEX ALGEBRAIC SURFACES from the point of view of MORI THEORY By Chris Peters Mathematisch Instituut der Rijksuniversiteit Leiden and Institut Fourier Grenoble i Preface These notes
More informationIntroduction to algebraic surfaces Lecture Notes for the course at the University of Mainz
Introduction to algebraic surfaces Lecture Notes for the course at the University of Mainz Wintersemester 2009/2010 Arvid Perego (preliminary draft) October 30, 2009 2 Contents Introduction 5 1 Background
More informationVGIT PRESENTATION OF THE SECOND FLIP OF M 2,1. 1. Introduction
VGIT PRESENTATION OF THE SECOND FLIP OF M 2,1 MAKSYM FEDORCHUK AND MATTHEW GRIMES Abstract. We perform a variation of geometric invariant theory stability analysis for 2nd Hilbert points of bilogcanonically
More informationEric Hofmann. AKLS Seminar Aachen, March 3, TU Darmstadt. Borcherds Products on Unitary Groups. Eric Hofmann. Setup.
TU Darmstadt AKLS Seminar Aachen, March 3, 2010 Outline 1 Hermitian lattices and unitary on U(L) 2 Sketch of proof: Pullback from O(V ) 3 Let F be an imaginary quadratic number field, F = Q( d), d < 0,
More informationUNEXPECTED ISOMORPHISMS BETWEEN HYPERKÄHLER FOURFOLDS
UNEXPECTED ISOMORPHISMS BETWEEN HYPERKÄHLER FOURFOLDS OLIVIER DEBARRE Abstract. Using Verbitsky s Torelli theorem, we show the existence of various isomorphisms between certain hyperkähler fourfolds. This
More informationTHE HITCHIN FIBRATION
THE HITCHIN FIBRATION Seminar talk based on part of Ngô Bao Châu s preprint: Le lemme fondamental pour les algèbres de Lie [2]. Here X is a smooth connected projective curve over a field k whose genus
More informationLinear connections on Lie groups
Linear connections on Lie groups The affine space of linear connections on a compact Lie group G contains a distinguished line segment with endpoints the connections L and R which make left (resp. right)
More informationSPECIAL PRIME FANO FOURFOLDS OF DEGREE 10 AND INDEX Introduction
SPECIAL PRIME FANO FOURFOLDS OF DEGREE 10 AND INDEX 2 OLIVIER DEBARRE, ATANAS ILIEV, AND LAURENT MANIVEL Abstract. We analyze (complex) prime Fano fourfolds of degree 10 and index 2. Mukai gave a complete
More informationDiangle groups. by Gunther Cornelissen
Kinosaki talk, X 2000 Diangle groups by Gunther Cornelissen This is a report on joint work with Fumiharu Kato and Aristides Kontogeorgis which is to appear in Math. Ann., DOI 10.1007/s002080000183. Diangle
More informationThe topology of symplectic fourmanifolds
The topology of symplectic fourmanifolds Michael Usher January 12, 2007 Definition A symplectic manifold is a pair (M, ω) where 1 M is a smooth manifold of some even dimension 2n. 2 ω Ω 2 (M) is a twoform
More informationGeometry of the CalabiYau Moduli
Geometry of the CalabiYau Moduli Zhiqin Lu 2012 AMS Hawaii Meeting Department of Mathematics, UC Irvine, Irvine CA 92697 March 4, 2012 Zhiqin Lu, Dept. Math, UCI Geometry of the CalabiYau Moduli 1/51
More informationNOTES ON HOLOMORPHIC PRINCIPAL BUNDLES OVER A COMPACT KÄHLER MANIFOLD
NOTES ON HOLOMORPHIC PRINCIPAL BUNDLES OVER A COMPACT KÄHLER MANIFOLD INDRANIL BISWAS Abstract. Our aim is to review some recent results on holomorphic principal bundles over a compact Kähler manifold.
More informationKODAIRA DIMENSION OF LEFSCHETZ FIBRATIONS OVER TORI
KODAIRA DIMENSION OF LEFSCHETZ FIBRATIONS OVER TORI JOSEF G. DORFMEISTER Abstract. The Kodaira dimension for Lefschetz fibrations was defined in [1]. In this note we show that there exists no Lefschetz
More informationBjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higherdimensional Varieties. January 17, 2006
University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higherdimensional (organized by JeanLouis ColliotThélène, Roger HeathBrown, János Kollár,, Alice Silverberg,
More informationRiemann surfaces with extra automorphisms and endomorphism rings of their Jacobians
Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians T. Shaska Oakland University Rochester, MI, 48309 April 14, 2018 Problem Let X be an algebraic curve defined over a field
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of nonconstant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationM g = {isom. classes of smooth projective curves of genus g} and
24 JENIA TEVELEV 2. Elliptic curves: jinvariant (Jan 31, Feb 4,7,9,11,14) After the projective line P 1, the easiest algebraic curve to understand is an elliptic curve (Riemann surface of genus 1). Let
More informationTHE QUANTUM CONNECTION
THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 GromovWitten invariants Let X be a smooth projective variety over C, and H 2 (X, Z) an effective curve class Let M 0,n (X,
More informationCohomological Formulation (Lecture 3)
Cohomological Formulation (Lecture 3) February 5, 204 Let F q be a finite field with q elements, let X be an algebraic curve over F q, and let be a smooth affine group scheme over X with connected fibers.
More informationTautological Algebras of Moduli Spaces  survey and prospect 
Tautological Algebras of Moduli Spaces  survey and prospect  Shigeyuki MORITA based on jw/w Takuya SAKASAI and Masaaki SUZUKI May 25, 2015 Contents Contents 1 Tautological algebras of moduli spaces G
More informationGeneralized TianTodorov theorems
Generalized TianTodorov theorems M.Kontsevich 1 The classical TianTodorov theorem Recall the classical TianTodorov theorem (see [4],[5]) about the smoothness of the moduli spaces of CalabiYau manifolds:
More informationThe hyperbolic AxLindemannWeierstraß conjecture
The hyperbolic AxLindemannWeierstraß conjecture B. Klingler (joint work with E.Ullmo and A.Yafaev) Université Paris 7 ICM Satellite Conference, Daejeon Plan of the talk: (1) Motivation: Hodge locus and
More informationComplex Algebraic Geometry: Smooth Curves Aaron Bertram, First Steps Towards Classifying Curves. The RiemannRoch Theorem is a powerful tool
Complex Algebraic Geometry: Smooth Curves Aaron Bertram, 2010 12. First Steps Towards Classifying Curves. The RiemannRoch Theorem is a powerful tool for classifying smooth projective curves, i.e. giving
More informationPROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013
PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013 1. Problems on moduli spaces The main text for this material is Harris & Morrison Moduli of curves. (There are djvu files
More informationIntermediate Jacobians and AbelJacobi Maps
Intermediate Jacobians and AbelJacobi Maps Patrick Walls April 28, 2012 Introduction Let X be a smooth projective complex variety. Introduction Let X be a smooth projective complex variety. Intermediate
More informationPICARD GROUPS OF MODULI PROBLEMS II
PICARD GROUPS OF MODULI PROBLEMS II DANIEL LI 1. Recap Let s briefly recall what we did last time. I discussed the stack BG m, as classifying line bundles by analyzing the sense in which line bundles may
More informationINTRODUCTION to MODULI of CURVES. Lucia Caporaso. Notes for Pragmatic Università di Catania  Italy
INTRODUCTION to MODULI of CURVES Lucia Caporaso Notes for ragmatic 2004  Università di Catania  Italy Sketchy, unfinished course notes full of gaps and inaccuracies. lease do not distribute. Corrections
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationGeometry of Conformal Field Theory
Geometry of Conformal Field Theory Yoshitake HASHIMOTO (Tokyo City University) 2010/07/10 (Sat.) AKB Differential Geometry Seminar Based on a joint work with A. Tsuchiya (IPMU) Contents 0. Introduction
More informationRational Curves On K3 Surfaces
Rational Curves On K3 Surfaces Jun Li Department of Mathematics Stanford University Conference in honor of Peter Li Overview of the talk The problem: existence of rational curves on a K3 surface The conjecture:
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasiprojective varieties over a field k Affine Varieties 1.
More informationKstability and Kähler metrics, I
Kstability and Kähler metrics, I Gang Tian Beijing University and Princeton University Let M be a Kähler manifold. This means that M be a complex manifold together with a Kähler metric ω. In local coordinates
More informationNOTES ON THE CONSTRUCTION OF THE MODULI SPACE OF CURVES
NOTES ON THE CONSTRUCTION OF THE MODULI SPACE OF CURVES DAN EDIDIN The purpose of these notes is to discuss the problem of moduli for curves of genus g 3 1 and outline the construction of the (coarse)
More informationDeligne s functorial RiemannRoch theorem
Deligne s functorial RiemannRoch theorem PIMS, Sept. 13th 2007 D. Rössler (joint with V. Maillot) () Deligne s functorial RiemannRoch theorem PIMS, Sept. 13th 2007 1 / 14 The AdamsRiemannRoch theorem
More informationWe then have an analogous theorem. Theorem 1.2.
1. KTheory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.
More informationLocally Symmetric Varieties
Locally Symmetric Varieties So far, we have only looked at Hermitian symmetric domains. These have no algebraic structure (e.g., think about the case of the unit disk D 1 ). This part of the course will
More informationThreedimensional imprimitive representations of PSL 2 (Z) and their associated vectorvalued modular forms
Threedimensional imprimitive representations of PSL 2 (Z) and their associated vectorvalued modular forms UM Automorphic forms workshop, March 2015 1 Definition 2 3 Let Γ = PSL 2 (Z) Write ( 0 1 S =
More informationLECTURE 6: JHOLOMORPHIC CURVES AND APPLICATIONS
LECTURE 6: JHOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of Jholomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be
More informationMODULI SPACES OF CURVES
MODULI SPACES OF CURVES SCOTT NOLLET Abstract. My goal is to introduce vocabulary and present examples that will help graduate students to better follow lectures at TAGS 2018. Assuming some background
More informationOn the Virtual Fundamental Class
On the Virtual Fundamental Class Kai Behrend The University of British Columbia Seoul, August 14, 2014 http://www.math.ubc.ca/~behrend/talks/seoul14.pdf Overview DonaldsonThomas theory: counting invariants
More informationOutline. 1 Geometry and Commutative Algebra. 2 Singularities and Resolutions. 3 Noncommutative Algebra and Deformations. 4 Representation Theory
Outline Geometry, noncommutative algebra and representations Iain Gordon http://www.maths.ed.ac.uk/ igordon/ University of Edinburgh 16th December 2006 1 2 3 4 1 Iain Gordon Geometry, noncommutative algebra
More informationCHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents
CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally
More informationHyperkähler manifolds
Hyperkähler manifolds Kieran G. O Grady May 20 2 Contents I K3 surfaces 5 1 Examples 7 1.1 The definition..................................... 7 1.2 A list of examples...................................
More informationLogarithmic geometry and rational curves
Logarithmic geometry and rational curves Summer School 2015 of the IRTG Moduli and Automorphic Forms Siena, Italy Dan Abramovich Brown University August 2428, 2015 Abramovich (Brown) Logarithmic geometry
More informationAlgebraic geometry versus Kähler geometry
Algebraic geometry versus Kähler geometry Claire Voisin CNRS, Institut de mathématiques de Jussieu Contents 0 Introduction 1 1 Hodge theory 2 1.1 The Hodge decomposition............................. 2
More information