Moduli of stable parabolic connections, Riemann-Hilbert correspondences and Geometry of Painlevé equations
|
|
- Silvester York
- 5 years ago
- Views:
Transcription
1 RHPIA-2005 Moduli of stable parabolic connections, Riemann-Hilbert correspondences and Geometry of Painlevé equations Masa-Hiko SAITO (Kobe University) Based on Joint Works with Michi-aki Inaba and Katsunori Iwasaki (Kyushu Univ.) SISSA, Trieste, 20-September :00 10:45 Conference on Riemann-Hilbert Problems, Integrability and Asymptotics 1
2 The purposes To understand the Painlevé property of equations of Painlevé type (Painlevé equations or Garnier equations, etc) from the viewpoint of the isomonodromic or isostokes deformations of linear diff. equations. To understand many nice properties of equations of Painlevé type like 1. Spaces of initial conditions due to Okamoto (Sakai s work or Saito Takebe Terajima s work on Okamoto Painlevé pair(s, Y)). 2. Symmetries of equations = Bäklund transformations 3. Non-autonomous Hamiltonian structures 4. Special solutions Riccati type solutions, Rational solutions, etc 5. τ-functions
3 To understand the WKB analysis through the compactification of the moduli space of the stable parbolic connections. (Full story will be in future).
4 Today s talk Restricted to the case of regular singularities Papers M. Inaba, K. Iwasaki and M.-H. Saito, Bäcklund transformations of the sixth Painlevé equation in terms of Riemann-Hilbert Correspondence, Internat. Math. Res. Notices 2004:1 (2004), M. Inaba, K. Iwasaki and M.-H. Saito, Moduli of stable parabolic connections, Riemann-Hilbert correspondence and geometry of Painlevé equationoftypevi.parti, math.ag/ (2003); Part II, inpreparation. M. Inaba, K. Iwasaki and M.-H. Saito, Dynamics of the Sixth Painlevé Equation, to appear in Angers proceedings, math.ag/
5 Translations of the terminology Analysis Geometry C: a compact R. surface of genus g C: a nonsing. proj. curve of genus g t =(t 1,,t n ); n-distinct pts on C t =(t 1,,t n ); n-distinct pts on C dx dz = P n A i (z) i=1 z t i x : E E Ω 1 C (D(t)) Linear D.E. on C with A connection on vect. bdl E of rank r at most regular sing. at t. on C with at most 1 st order poles at t. λ (i) j :Eigenvalues of A i(t i ) λ (i) j : Eigenvalues of res t i ( ) End(E ti ) Time varaiables T = M g,n = {(C, t)} (s 1,...,s 3g 3,t 1,...,t n ) Moduli of n-pointed curves of genus g Space of initial conditions Moduli space of stable parabolic S (C,t,λ) connections M α (C, t) λ Phase space Family of moduli spaces S T Λ r n M T Λ r n Riemann-Hilbert correspondence RH λ : M α λ R a Isomonodromic deformations of L.D.E. Pullback of local constant section Schlessinger equation Zero curvature equations on M
6 Translations of Properties Analysis Geometry Painlevé property Properness + Surjectivity of RH λ : M α λ R a Symmetry ( Bäklund transformation) Elementary transformations of s.p. conn. Special Birational map (Flop) Simple reflections in Bäcklund transf. s : M M appeared in the resol. of simult. sing. of R a Hamitonian Structures Symplectic str. on M α (C, t) λ on Ra smooth and RH λ is a symmplectic map Special solutions like Riccati solution Singylarities of R a Poincaré returnmapor Natural actions of π 1 (M g,n, ) non-linear monodromy on isomonodromic flows, R (C0,t 0 ),a and of equations of Painlevé type on M α ((C 0, t 0 )) λ τ-functions Sections of the determinant line bundle on M which are flat on isomonod. flows
7 Stable Parabolic connections Setting Fix the following data (1) (C, t, (L, L ), (λ (i) j )) which consists of C : a complex smooth projective curve of genus g, t =(t 1,,t n ):asetofn-ditinct points on C. (PutD(t) =t t n ). (L, L ): a line bundle on C with a logarithmic connection L : L L Ω 1 C (D t). λ =(λ (i) j ) 1 i n,0 j r 1 C nr such that P r 1 j=0 λ(i) j = res ti ( L ).
8 Moduli space of stable parabolic connections We can consider the moduli space of stable parabolic connections on C with logarithmic singularities at D(t): (2) M α (C, t,l) λ = {(E, E, {l (i) j } 1 i n,0 j r 1, Ψ)}/ ' E : a vector bundle of rank r on C : E E Ω C (D(t)) :a logarithmic connection Ψ : r E ' L : a horizontal isomorphism (Fixing the determinant) E ti = l (i) 0 l (i) 1 l (i) r 1 l r =0:afiltration of the fiber at ³ t i such that dim l (i) j /l(i) j+1 =1and ³ res ti ( ) λ (i) Id j (l (i) j ) l(i) j+1
9 Moduli space of SL r -rep. of the fundamental group Take the categorical quotient of affine variety (3) Rep(C, t,r)={ρ : π 1 (C \ D(t)) SL r (C)}//Ad(SL r (C)) (ρ 1, ρ 2 Hom(π 1 (C \ D t ),SL r (C)) are Jordan equivalent iff sem(ρ 1 ) ' sem(ρ 2 )). Fix: ³ a = a (i) j A r,n = C n(r 1) 1 i n,1 j r 1 Then we define another moduli space of SL r -representations with fixed characteristic polynomial of monodromies around t i : n o Rep(C, t,r) a = [ρ] Rep(C, t,r), det(si r ρ(γ i )) = χ a (i)(s) where χ a (i)(s) =s r + a (i) r 1 sr a (i) 1 s +( 1)r.
10 Riemann-Hilbert correspondence Assume that r 2, n 1 and nr 2r 2 > 0 when g =0, n 2. (Moreover the weight α is generic). Then the Riemann-Hilbert correspondence (4) RH (C,t,λ) : M α (C, t,l) λ Rep(C, t,r) a can be defined by (E, E, {l (i) j }, Ψ) 7 ker( an ) C\D t where χ a (i)(s) = r 1 Y j=0 (s exp( 2π 1λ (i) j )) Note that dim M α (C, t,l) λ =(r 1)(2(r +1)(g 1) + rn)
11 Fundamental Results Theorem 1. (Inaba-Iwasaki-Saito (r = 2,g = 0,n 4), Inaba (general case)) Under the notation as above, we have the following. 1. The moduli space M α (C, t,l) λ is a nonsingular algebraic manifold with a natural symplectic structure. 2. The modulis space M α (C, t,l) λ has a natural compactification M α (C, t,l) λ which is the moduli space of the φ-stable parabolic connections.
12 Theorem 2. (Inaba-Iwasaki-Saito (r = 2,g = 0,n 4), Inaba (general case)): Under the conditions above, the Riemann-Hilbert correspondense (5) RH C,t,λ : M α (C, t,l) λ Rep(C, t,r) a is a proper surjective bimeromorphic map. Hence the Riemann-Hilbert correspondence gives an (analytic) resolution of singularities. Moreover RH C,t,λ preserves the symplectic structures on Rep(C, t,r) a M α (C, t,l) λ. Remark 1. Rep(C, t,r) a is an affine scheme which may have singularities for special a. Inthecaseofg = 0, we can show that dω =0. Moreover, we expect that dω =0ingeneral.
13 Varying time (C, t) and parameter λ, a Consider the open set of the moduli space of n-pointed curves of genus g M o g,n = {(C, t) =(C, t 1,,t n ),t i 6= t j,i6= j} and the universal curve π : C M o g,n. Fixing a relative line bundle L for π with logarithmic connection L wecanobtainthefamilyof moduli spaces over M o g,n Λ(L) (6) such that M α g,n (L) π n M o g,n Λ(L) π 1 n ((C, t,l,λ)) = M α (C, t,l) λ
14 We can also construct the fiber space Rep r,n g (7) such that φ r,n g M o g,n A r,n (φ r,n g ) 1 ((C, t, a)) = Rep(C, t,sl r ) a.
15 Riemann-Hilbert corr. in family We can obtain the following commutative diagram: RH n Rep r,n (8) M α (L) π y n g y φ r,n g Mg,n o (1 µ r,n ) Λ(L) Mg,n o A r,n where µ r,n canbegivenbytherelations χ a (s) = r 1 Y j=0 (s exp( 2π 1λ (i) j )) that is, a (i) k are (±1) kth fundamental symmetric functions of exp( 2π 1λ (i) j ).
16 Geometric Isomonodromic Deform. of L.D.E. The case of generic exponents λ Fix a generic λ Λ(L) and set a = µ r,n (λ) so that RH C,t,λ : M α ' (C, t,l) λ Rep(C, t,r)a is an analytic isomorphism for any (C, t) Mg,n. o Algebraic structure of Rep(C, t,r) a does not change under variation of (C, t), thatis, Rep(C, t,r) a ' Rep(C 0, t 0,r) a. Algebraic structure of Mα (C, t,l) λ change under variation of (C, t).
17 Taking the universal covering map ]M g,n o Mo g,n, and pulling back we obtain the diagram: ^ M α g,n(l) λ ( π n ) λ y RH n,λ ' µ ^ Rep r,n g y φr,n g,a ' Rep(C 0, t 0,r) a ]M g,n o a ]M g,n o {λ} (1 µ r,n) ]M g,n o a. r,n Since φ g,a is isomorphic to product family, it has a unique constant section s x passing through a point x Rep(C 0, t 0,r) a {t 0 }. Pulling back the section {s x } x Rep(C0,t 0,r) a {t 0 } via RH λ,weobtain the set of analytic sections of ( π n ) λ : { s x } x Rep(C0,t 0,r) a {t 0 }. ^ M α g,n(l) λ ]M o g,n {λ}
18 The family of sections { s x } x gives the splitting homomorphism ṽ λ :( π n ) λ (T ]M g,n o T {λ}) M^ α g,n(l) λ for the natural homomorphism T M ^ ( π α n ) λ g,n(l) (T λ ]M g,n o Then the subbundle (9) IF g,n,λ =ṽ λ (( π n ) λ (T ]M g,n o {λ})) T. M^ α g,n (L) λ {λ}). Take any local generators of the tangent sheaf of T M ] g,n o h,..., i. q 1 q N where N =3g 3+n =dim]m g,n. o Thensettingv i (λ) :=v λ ( we obtain the integrable differential system on M^ α g,n(l) λ IF g,n,λ 'hv 1 (λ),...,v N (λ)i. (locally). q i ),
19 Case of special exponents λ When the set of exponents λ is special, the R.H. corr. µ RH n,λ : M^ α g,n(l) λ Rep ^ r,n g a µ contracts some subvatieties to the singular locus on Rep ^ r,n g However, by Hartogs theorem, we can extend the isomonodromic foliation IF g,n,λ to the total space M^ α g,n(l) λ. a
20 Painlevé Property of Isomonodromic Flows Theorem 3. The isomonodromic flows IF λ satisfies the Painlevé property for all exponents λ. Hamiltonian strucure of Isomonodromic Flows Theorem 4. The isomonodromic flows IF λ canbewrittenina Hamiltonian system locally.
21 In the case of generic λ, the differential system on IF g,n,r := hv 1 (λ),...,v N (λ)i. ^ M α g,n(l) λ has cleary solution manifolds or integrable manifolds = the images of ]M o g,n by { s x } x.byconstruction, These integrable submanifolds are isomonodromic flow of connections. Even in the case of special λ, the properness of RH λ,n implies the theorem. IF (0,4,2) is equivalent to a Painlevé VIequation. IF (0,n,2) with n 5 are Garnier systems.
22 Painlevé VI case We will see what is happening in the case of Painlevé VI equations.
23 Isomonodromic flows = Painlevé or Garnier flows RH λ ' R(P n,t ) a R(P n,t0 ) a M α n (t 0, λ,l) M α n (t, λ,l) t 0 T n {λ} t = t 0 Tn {a} t Figure 1. Riemann-Hilbert correspondence and isomonodromic flows for generic λ
24 Riccati flows are tangent to family of ( 2)-curves M α 4 (t 0, λ,l) RH λ contraction M α 4 (t, λ,l) R(P 4,t ) a R(P 4,t0 ) a t 0 T 4 {λ} t = t 0 T4 {a} t ( 2)-rational curve Case of Painlevé VI Figure 2. Riemann-Hilbert correspondence and isomonodromic flows for special λ
25 Hamiltonian systems of Painlevé P VI P VI is equivalent to a Hamiltonian system H VI. dx (H VI ): dt = H VI y, dy dt = H VI x, Hamiltionian in suitable coordinates can be given H VI = H VI (x, y, t, λ 1, λ 2, λ 3, λ 4 ) C(t)[x, y, λ i ] 1 H VI (x, y, t) = x(x 1)(x t)y 2 {2λ 1 (x 1)(x t) t(t 1) +2λ 2 x(x t)+(2λ 3 1)x(x 1)} y + λ(x t)] λ := (λ1 + λ 2 + λ 3 1/2) 2 λ 2 ª 4.
26 Bäcklund transformations for Painlevé VI. P VI (λ) have non-trivial birational automorphisms which are called Bäcklund transformations. ThegroupofallBäcklund transformations form the affine Weyl group W of type D (1) 4. Proposition 1. The group of Bäcklund transformations which can be obtained from elementary transformations of stable parabolic connections is a proper subgroup of W (D (1) 4 ) whose index is finite. The invloution s 0 of W (D (1) 4 ) is not in the group.
27 Theorem For a suitable choice of a weight α 0, the morphism π 4 : M4 α0( 1) T 4 Λ 4 is projective and smooth. Moreover for any (t, λ) T 4 Λ 4 the fiber π 1 4 α0 (t, λ) :=M4 (t, λ, 1) is irreducible, hence a smooth projective surface. 4 ( 1) \ M 4 α ( 1) be the complement of M4 α ( 1) in M4 α0( 1). 2. Let D = M α0 (Note that α = α 0 /2). Then D is a flat reduced divisor over T 4 Λ For each (t, λ), set S t,λ := π 1 4 α0 (t, λ) :=M4 (t, λ, 1). Then S t,λ is a smooth projective surface which can be obtained by blowingups at 8 points of the Hirzeburch surface F 2 =Proj(O P 1( 2) O P 1) of degree 2. The surface has a unique effective anti-canonical divisor K St,λ = Y t,λ whose support is D t,λ.thenthepair (10) (S t,λ, Y t,λ ) is an Okamoto-Painlevé pair of type D (1) 4. That is, the anti-canonical divisor Y t,λ consists of 5-nodal rational curves whose configuration is same as Kodaira Néron degenerate elliptic curves of type D (1) 4 (=Kodaira type I0). Moreover we have (M4 α( 1)) t,λ =(M4 α0( 1)) t,λ \Y t,λ.
28 Okamoto Painlevé pairoftypep VI Y 1 Y 2 Y 3 Y 4 -section Y 0 F 2 π P 1 t 1 =0 t 2 =1 t 3 = t t 4 = Figure 3. Okamoto-Painlevé pairoftyped (1) 4
29 Proposition 2. The invariant ring (R 3 ) Ad(SL 2(C)) is generated by seven elements x 1,x 2,x 3,a 1,a 2,a 3,a 4 and there exist a relation (11) f(x, a) =x 1 x 2 x 3 + x x x 2 3 θ 1 (a)x 1 θ 2 (a)x 2 θ 3 (a)x 3 + θ 4 (a), where we set θ i (a) =a i a 4 + a j a k, (i, j, k) =a cyclic permutation of (1, 2, 3), θ 4 (a) =a 1 a 2 a 3 a 4 + a a a a Therefore we have an isomorphism (R 3 ) Ad(SL 2(C)) ' C[x1,x 2,x 3,a 1,a 2,a 3,a 4 ]/(f(z, a)). Hence Rep(P 1, (t 1,t 2,t 3,t 4 ), 2) a =Spec(R 3 ) Ad(SL 2(C)) is isomorphic to an affine cubic. (12) a i =2cos2πλ i for 1 i 4.
30 A 1 -singularity R(P 4,t ) a i =2 =0 A 4 ' C 4 a 1 =2 The family of affine cubic surfaces
31 (13) Mn α (L) π y n RH n R n y φ n T 0 n Λ n (1 µ n ) T 0 n A n. Here, we have 1 µ n (1 µ n )(t, λ) =(t, a) (14) a i =2cos2πλ i for 1 i n.
Cohomology jump loci of quasi-projective varieties
Cohomology jump loci of quasi-projective varieties Botong Wang joint work with Nero Budur University of Notre Dame June 27 2013 Motivation What topological spaces are homeomorphic (or homotopy equivalent)
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 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 informationDel Pezzo surfaces and non-commutative geometry
Del Pezzo surfaces and non-commutative geometry D. Kaledin (Steklov Math. Inst./Univ. of Tokyo) Joint work with V. Ginzburg (Univ. of Chicago). No definitive results yet, just some observations and questions.
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 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 24-28, 2015 Abramovich (Brown) Logarithmic geometry
More informationSymplectic varieties and Poisson deformations
Symplectic varieties and Poisson deformations Yoshinori Namikawa A symplectic variety X is a normal algebraic variety (defined over C) which admits an everywhere non-degenerate d-closed 2-form ω on the
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationLinear and nonlinear ODEs and middle convolution
Linear and nonlinear ODEs and middle convolution Galina Filipuk Institute of Mathematics University of Warsaw G.Filipuk@mimuw.edu.pl Collaborator: Y. Haraoka (Kumamoto University) 1 Plan of the Talk: Linear
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 informationGeneralized Tian-Todorov theorems
Generalized Tian-Todorov theorems M.Kontsevich 1 The classical Tian-Todorov theorem Recall the classical Tian-Todorov theorem (see [4],[5]) about the smoothness of the moduli spaces of Calabi-Yau manifolds:
More informationQualifying Examination HARVARD UNIVERSITY Department of Mathematics Tuesday, January 19, 2016 (Day 1)
Qualifying Examination HARVARD UNIVERSITY Department of Mathematics Tuesday, January 19, 2016 (Day 1) PROBLEM 1 (DG) Let S denote the surface in R 3 where the coordinates (x, y, z) obey x 2 + y 2 = 1 +
More informationRiemann Surfaces and Algebraic Curves
Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 1
More informationON THE MAPPING CLASS GROUP ACTION ON THE COHOMOLOGY OF THE REPRESENTATION SPACE OF A SURFACE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 6, June 1996 ON THE MAPPING CLASS GROUP ACTION ON THE COHOMOLOGY OF THE REPRESENTATION SPACE OF A SURFACE INDRANIL BISWAS (Communicated
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationarxiv:math/ v1 [math.ag] 18 Oct 2003
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 113, No. 2, May 2003, pp. 139 152. Printed in India The Jacobian of a nonorientable Klein surface arxiv:math/0310288v1 [math.ag] 18 Oct 2003 PABLO ARÉS-GASTESI
More informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
More informationComplex Algebraic Geometry: Smooth Curves Aaron Bertram, First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool
Complex Algebraic Geometry: Smooth Curves Aaron Bertram, 2010 12. First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool for classifying smooth projective curves, i.e. giving
More informationTHE QUANTUM CONNECTION
THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 Gromov-Witten 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 information1 Moduli spaces of polarized Hodge structures.
1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an
More informationINTERSECTION THEORY CLASS 12
INTERSECTION THEORY CLASS 12 RAVI VAKIL CONTENTS 1. Rational equivalence on bundles 1 1.1. Intersecting with the zero-section of a vector bundle 2 2. Cones and Segre classes of subvarieties 3 2.1. Introduction
More informationA modular group action on cubic surfaces and the monodromy of the Painlevé VI equation
No. 7] Proc. Japan Acad., 78, Ser. A (00) 131 A modular group action on cubic surfaces and the monodromy of the Painlevé VI equation By Katsunori Iwasaki Faculty of Mathematics, Kyushu University, 6-10-1,
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 informationMinimal model program and moduli spaces
Minimal model program and moduli spaces Caucher Birkar Algebraic and arithmetic structures of moduli spaces, Hokkaido University, Japan 3-7 Sep 2007 Minimal model program In this talk, all the varieties
More informationCohomology jump loci of local systems
Cohomology jump loci of local systems Botong Wang Joint work with Nero Budur University of Notre Dame June 28 2013 Introduction Given a topological space X, we can associate some homotopy invariants to
More informationLogarithmic geometry and moduli
Logarithmic geometry and moduli Lectures at the Sophus Lie Center Dan Abramovich Brown University June 16-17, 2014 Abramovich (Brown) Logarithmic geometry and moduli June 16-17, 2014 1 / 1 Heros: Olsson
More informationDeformations of logarithmic connections and apparent singularities
Deformations of logarithmic connections and apparent singularities Rényi Institute of Mathematics Budapest University of Technology Kyoto July 14th, 2009 Outline 1 Motivation Outline 1 Motivation 2 Infinitesimal
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 informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationSpace of surjective morphisms between projective varieties
Space of surjective morphisms between projective varieties -Talk at AMC2005, Singapore- Jun-Muk Hwang Korea Institute for Advanced Study 207-43 Cheongryangri-dong Seoul, 130-722, Korea jmhwang@kias.re.kr
More informationBirational geometry for d-critical loci and wall-crossing in Calabi-Yau 3-folds
Birational geometry for d-critical loci and wall-crossing in Calabi-Yau 3-folds Yukinobu Toda Kavli IPMU, University of Tokyo Yukinobu Toda (Kavli IPMU) Birational geometry 1 / 38 1. Motivation Yukinobu
More informationMini-Course on Moduli Spaces
Mini-Course on Moduli Spaces Emily Clader June 2011 1 What is a Moduli Space? 1.1 What should a moduli space do? Suppose that we want to classify some kind of object, for example: Curves of genus g, One-dimensional
More informationNodal symplectic spheres in CP 2 with positive self intersection
Nodal symplectic spheres in CP 2 with positive self intersection Jean-François BARRAUD barraud@picard.ups-tlse.fr Abstract 1 : Let ω be the canonical Kähler structure on CP 2 We prove that any ω-symplectic
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 informationGeometry of moduli spaces
Geometry of moduli spaces 20. November 2009 1 / 45 (1) Examples: C: compact Riemann surface C = P 1 (C) = C { } (Riemann sphere) E = C / Z + Zτ (torus, elliptic curve) 2 / 45 (2) Theorem (Riemann existence
More informationHypertoric varieties and hyperplane arrangements
Hypertoric varieties and hyperplane arrangements Kyoto Univ. June 16, 2018 Motivation - Study of the geometry of symplectic variety Symplectic variety (Y 0, ω) Very special but interesting even dim algebraic
More informationCorollary. Let X Y be a dominant map of varieties, with general fiber F. If Y and F are rationally connected, then X is.
1 Theorem. Let π : X B be a proper morphism of varieties, with B a smooth curve. If the general fiber F of f is rationally connected, then f has a section. Corollary. Let X Y be a dominant map of varieties,
More informationON A THEOREM OF CAMPANA AND PĂUN
ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified
More informationOn the topology of H(2)
On the topology of H(2) Duc-Manh Nguyen Max-Planck-Institut für Mathematik Bonn, Germany July 19, 2010 Translation surface Definition Translation surface is a flat surface with conical singularities such
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 informationThe Canonical Sheaf. Stefano Filipazzi. September 14, 2015
The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over
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 informationMAPPING CLASS ACTIONS ON MODULI SPACES. Int. J. Pure Appl. Math 9 (2003),
MAPPING CLASS ACTIONS ON MODULI SPACES RICHARD J. BROWN Abstract. It is known that the mapping class group of a compact surface S, MCG(S), acts ergodically with respect to symplectic measure on each symplectic
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 information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationLECTURES ON SYMPLECTIC REFLECTION ALGEBRAS
LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 16. Symplectic resolutions of µ 1 (0)//G and their deformations 16.1. GIT quotients. We will need to produce a resolution of singularities for C 2n
More informationLefschetz pencils and the symplectic topology of complex surfaces
Lefschetz pencils and the symplectic topology of complex surfaces Denis AUROUX Massachusetts Institute of Technology Symplectic 4-manifolds A (compact) symplectic 4-manifold (M 4, ω) is a smooth 4-manifold
More informationRecall for an n n matrix A = (a ij ), its trace is defined by. a jj. It has properties: In particular, if B is non-singular n n matrix,
Chern characters Recall for an n n matrix A = (a ij ), its trace is defined by tr(a) = n a jj. j=1 It has properties: tr(a + B) = tr(a) + tr(b), tr(ab) = tr(ba). In particular, if B is non-singular n n
More informationWild ramification and the characteristic cycle of an l-adic sheaf
Wild ramification and the characteristic cycle of an l-adic sheaf Takeshi Saito March 14 (Chicago), 23 (Toronto), 2007 Abstract The graded quotients of the logarithmic higher ramification groups of a local
More informationOn Rational Elliptic Surfaces with Multiple Fibers
Publ. RIMS, Kyoto Univ. 26 (10), 1-13 On Rational Elliptic Surfaces with Multiple Fibers By Yoshio FUJIMOTO* 0. Introduction It is well-known that a rational elliptic surface with global sections is a
More informationNon-uniruledness results for spaces of rational curves in hypersurfaces
Non-uniruledness results for spaces of rational curves in hypersurfaces Roya Beheshti Abstract We prove that the sweeping components of the space of smooth rational curves in a smooth hypersurface of degree
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More informationOral exam practice problems: Algebraic Geometry
Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n
More informationDONAGI-MARKMAN CUBIC FOR HITCHIN SYSTEMS arxiv:math/ v2 [math.ag] 24 Oct 2006
DONAGI-MARKMAN CUBIC FOR HITCHIN SYSTEMS arxiv:math/0607060v2 [math.ag] 24 Oct 2006 DAVID BALDUZZI Abstract. The Donagi-Markman cubic is the differential of the period map for algebraic completely integrable
More informationNef line bundles on M 0,n from GIT
Nef line bundles on M 0,n from GIT David Swinarski Department of Mathematics University of Georgia November 13, 2009 Many of the results here are joint work with Valery Alexeev. We have a preprint: arxiv:0812.0778
More information1 Flat, Smooth, Unramified, and Étale Morphisms
1 Flat, Smooth, Unramified, and Étale Morphisms 1.1 Flat morphisms Definition 1.1. An A-module M is flat if the (right-exact) functor A M is exact. It is faithfully flat if a complex of A-modules P N Q
More informationTitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)
TitleOn manifolds with trivial logarithm Author(s) Winkelmann, Jorg Citation Osaka Journal of Mathematics. 41(2) Issue 2004-06 Date Text Version publisher URL http://hdl.handle.net/11094/7844 DOI Rights
More informationarxiv: v1 [math.ag] 1 Mar 2017
BIRATIONAL GEOMETRY OF THE MODULI SPACE OF PURE SHEAVES ON QUADRIC SURFACE KIRYONG CHUNG AND HAN-BOM MOON arxiv:1703.00230v1 [math.ag] 1 Mar 2017 ABSTRACT. We study birational geometry of the moduli space
More informationTHE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3
THE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3 KAZUNORI NAKAMOTO AND TAKESHI TORII Abstract. There exist 26 equivalence classes of k-subalgebras of M 3 (k) for any algebraically closed field
More informationBirational geometry and deformations of nilpotent orbits
arxiv:math/0611129v1 [math.ag] 6 Nov 2006 Birational geometry and deformations of nilpotent orbits Yoshinori Namikawa In order to explain what we want to do in this paper, let us begin with an explicit
More informationMoment map flows and the Hecke correspondence for quivers
and the Hecke correspondence for quivers International Workshop on Geometry and Representation Theory Hong Kong University, 6 November 2013 The Grassmannian and flag varieties Correspondences in Morse
More informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More informationAN INTRODUCTION TO THE MASLOV INDEX IN SYMPLECTIC TOPOLOGY
1 AN INTRODUCTION TO THE MASLOV INDEX IN SYMPLECTIC TOPOLOGY Andrew Ranicki and Daniele Sepe (Edinburgh) http://www.maths.ed.ac.uk/ aar Maslov index seminar, 9 November 2009 The 1-dimensional Lagrangians
More informationStable bundles on CP 3 and special holonomies
Stable bundles on CP 3 and special holonomies Misha Verbitsky Géométrie des variétés complexes IV CIRM, Luminy, Oct 26, 2010 1 Hyperkähler manifolds DEFINITION: A hyperkähler structure on a manifold M
More informationDefinition 9.1. The scheme µ 1 (O)/G is called the Hamiltonian reduction of M with respect to G along O. We will denote by R(M, G, O).
9. Calogero-Moser spaces 9.1. Hamiltonian reduction along an orbit. Let M be an affine algebraic variety and G a reductive algebraic group. Suppose M is Poisson and the action of G preserves the Poisson
More informationHOW TO CLASSIFY FANO VARIETIES?
HOW TO CLASSIFY FANO VARIETIES? OLIVIER DEBARRE Abstract. We review some of the methods used in the classification of Fano varieties and the description of their birational geometry. Mori theory brought
More informationTHE VIRTUAL SINGULARITY THEOREM AND THE LOGARITHMIC BIGENUS THEOREM. (Received October 28, 1978, revised October 6, 1979)
Tohoku Math. Journ. 32 (1980), 337-351. THE VIRTUAL SINGULARITY THEOREM AND THE LOGARITHMIC BIGENUS THEOREM SHIGERU IITAKA (Received October 28, 1978, revised October 6, 1979) Introduction. When we study
More informationThe Hitchin map, local to global
The Hitchin map, local to global Andrei Negut Let X be a smooth projective curve of genus g > 1, a semisimple group and Bun = Bun (X) the moduli stack of principal bundles on X. In this talk, we will present
More informationAlgebraic geometry over quaternions
Algebraic geometry over quaternions Misha Verbitsky November 26, 2007 Durham University 1 History of algebraic geometry. 1. XIX centrury: Riemann, Klein, Poincaré. Study of elliptic integrals and elliptic
More informationExercises for algebraic curves
Exercises for algebraic curves Christophe Ritzenthaler February 18, 2019 1 Exercise Lecture 1 1.1 Exercise Show that V = {(x, y) C 2 s.t. y = sin x} is not an algebraic set. Solutions. Let us assume that
More informationThe Atiyah bundle and connections on a principal bundle
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 120, No. 3, June 2010, pp. 299 316. Indian Academy of Sciences The Atiyah bundle and connections on a principal bundle INDRANIL BISWAS School of Mathematics, Tata
More informationAlgebraic varieties and schemes over any scheme. Non singular varieties
Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two
More informationThe derived category of a GIT quotient
September 28, 2012 Table of contents 1 Geometric invariant theory 2 3 What is geometric invariant theory (GIT)? Let a reductive group G act on a smooth quasiprojective (preferably projective-over-affine)
More informationThe tangent space to an enumerative problem
The tangent space to an enumerative problem Prakash Belkale Department of Mathematics University of North Carolina at Chapel Hill North Carolina, USA belkale@email.unc.edu ICM, Hyderabad 2010. Enumerative
More informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN
VARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN Abstract. For any field k and integer g 3, we exhibit a curve X over k of genus g such that X has no non-trivial automorphisms over k. 1. Statement
More informationHYPER-KÄHLER FOURFOLDS FIBERED BY ELLIPTIC PRODUCTS
HYPER-KÄHLER FOURFOLDS FIBERED BY ELLIPTIC PRODUCTS LJUDMILA KAMENOVA Abstract. Every fibration of a projective hyper-kähler fourfold has fibers which are Abelian surfaces. In case the Abelian surface
More informationEXERCISES IN POISSON GEOMETRY
EXERCISES IN POISSON GEOMETRY The suggested problems for the exercise sessions #1 and #2 are marked with an asterisk. The material from the last section will be discussed in lecture IV, but it s possible
More informationReal Analysis Prelim Questions Day 1 August 27, 2013
Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable
More informationPorteous s Formula for Maps between Coherent Sheaves
Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for
More informationSystems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,
Systems of linear equations We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, f 11 t 1 +... + f 1n t n = 0, f 21 t 1 +... + f 2n t n = 0,.
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 informationSPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e in a general complete intersection of multidegree
More informationCONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP
CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP TOSHIHIRO SHODA Abstract. In this paper, we study a compact minimal surface in a 4-dimensional flat
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 informationOn the centralizer of a regular, semi-simple, stable conjugacy class. Benedict H. Gross
On the centralizer of a regular, semi-simple, stable conjugacy class Benedict H. Gross Let k be a field, and let G be a semi-simple, simply-connected algebraic group, which is quasi-split over k. The theory
More informationHYPERKÄHLER MANIFOLDS
HYPERKÄHLER MANIFOLDS PAVEL SAFRONOV, TALK AT 2011 TALBOT WORKSHOP 1.1. Basic definitions. 1. Hyperkähler manifolds Definition. A hyperkähler manifold is a C Riemannian manifold together with three covariantly
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 Donaldson-Thomas theory: counting invariants
More informationSymplectic 4-manifolds, singular plane curves, and isotopy problems
Symplectic 4-manifolds, singular plane curves, and isotopy problems Denis AUROUX Massachusetts Inst. of Technology and Ecole Polytechnique Symplectic manifolds A symplectic structure on a smooth manifold
More informationINTERSECTION THEORY CLASS 19
INTERSECTION THEORY CLASS 19 RAVI VAKIL CONTENTS 1. Recap of Last day 1 1.1. New facts 2 2. Statement of the theorem 3 2.1. GRR for a special case of closed immersions f : X Y = P(N 1) 4 2.2. GRR for closed
More informationThe Grothendieck-Katz Conjecture for certain locally symmetric varieties
The Grothendieck-Katz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semi-simple Lie groups, we prove the Grothendieck-
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 quasi-projective variety
More informationTopics in Algebraic Geometry
Topics in Algebraic Geometry Nikitas Nikandros, 3928675, Utrecht University n.nikandros@students.uu.nl March 2, 2016 1 Introduction and motivation In this talk i will give an incomplete and at sometimes
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 informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48 RAVI VAKIL CONTENTS 1. A little more about cubic plane curves 1 2. Line bundles of degree 4, and Poncelet s Porism 1 3. Fun counterexamples using elliptic curves
More informationA smoothing criterion for families of curves
A smoothing criterion for families of curves E. Sernesi Abstract We study some of the general principles underlying the geometry of families of nodal curves. In particular: i) we prove a smoothing criterion
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 informationEach is equal to CP 1 minus one point, which is the origin of the other: (C =) U 1 = CP 1 the line λ (1, 0) U 0
Algebraic Curves/Fall 2015 Aaron Bertram 1. Introduction. What is a complex curve? (Geometry) It s a Riemann surface, that is, a compact oriented twodimensional real manifold Σ with a complex structure.
More informationPatrick Iglesias-Zemmour
Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries
More informationCusp forms and the Eichler-Shimura relation
Cusp forms and the Eichler-Shimura relation September 9, 2013 In the last lecture we observed that the family of modular curves X 0 (N) has a model over the rationals. In this lecture we use this fact
More information