Embedded Curves and Gromov-Witten Invariants Eaman Eftekhary Harvard University.

Slides:



Advertisements
Similar presentations
The Function Concept DEFINITION: A function consists of two nonempty sets X and Y and a rule f that associates each element x in X with one.
Advertisements

Shortest Vector In A Lattice is NP-Hard to approximate
Introduction The concept of transform appears often in the literature of image processing and data compression. Indeed a suitable discrete representation.
Boyce/DiPrima 9th ed, Ch 2.8: The Existence and Uniqueness Theorem Elementary Differential Equations and Boundary Value Problems, 9th edition, by William.
Singularity of a Holomorphic Map Jing Zhang State University of New York, Albany.
Shuijing Crystal Li Rice University Mathematics Department 1 Rational Points on del Pezzo Surfaces of degree 1 and 2.
Mee Seong Im, UIUC Singularities in Calabi-Yau varieties Mee Seong Im The University of Illinois Urbana-Champaign July 21, 2008.
Geometric Transitions 25 Giugno 2007 Michele Rossi.
Copyright © Cengage Learning. All rights reserved.
Math 3121 Abstract Algebra I
Algebraic Structures DEFINITIONS: PROPERTIES OF BINARY OPERATIONS Let S be a set and let  denote a binary operation on S. (Here  does not necessarily.
Surface Classification Using Conformal Structures Xianfeng Gu 1, Shing-Tung Yau 2 1. Computer and Information Science and Engineering, University of Florida.
INTEGRALS 5. INTEGRALS We saw in Section 5.1 that a limit of the form arises when we compute an area.  We also saw that it arises when we try to find.
Introduction to Gröbner Bases for Geometric Modeling Geometric & Solid Modeling 1989 Christoph M. Hoffmann.
Chapter 5 Integration.
16 MULTIPLE INTEGRALS.
16 MULTIPLE INTEGRALS.
Data Flow Analysis Compiler Design Nov. 8, 2005.
Copyright © Cengage Learning. All rights reserved.
Data Flow Analysis Compiler Design Nov. 8, 2005.
Subdivision Analysis via JSR We already know the z-transform formulation of schemes: To check if the scheme generates a continuous limit curve ( the scheme.
HAWKES LEARNING SYSTEMS math courseware specialists Copyright © 2011 Hawkes Learning Systems. All rights reserved. Hawkes Learning Systems: College Algebra.
ELEMENTARY NUMBER THEORY AND METHODS OF PROOF
Differential Equations
LIAL HORNSBY SCHNEIDER
The Game of Algebra or The Other Side of Arithmetic The Game of Algebra or The Other Side of Arithmetic © 2007 Herbert I. Gross by Herbert I. Gross & Richard.
Preperiodic Points and Unlikely Intersections joint work with Laura DeMarco Matthew Baker Georgia Institute of Technology AMS Southeastern Section Meeting.
Ch 8.1 Numerical Methods: The Euler or Tangent Line Method
Sullivan Algebra and Trigonometry: Section 5.6 Complex Zeros; Fundamental Theorem of Algebra Objectives Utilize the Conjugate Pairs Theorem to Find the.
GROUPS & THEIR REPRESENTATIONS: a card shuffling approach Wayne Lawton Department of Mathematics National University of Singapore S ,
Matrix Representations of Knot and Link Groups Jess May 2006 Knot Theory Knot Theory is the study of mathematical knots. A knot is a simple closed polygonal.
Integrable hierarchies of
Chapter 8. Section 8. 1 Section Summary Introduction Modeling with Recurrence Relations Fibonacci Numbers The Tower of Hanoi Counting Problems Algorithms.
Basic Counting. This Lecture We will study some basic rules for counting. Sum rule, product rule, generalized product rule Permutations, combinations.
MATH 224 – Discrete Mathematics
DECIDABILITY OF PRESBURGER ARITHMETIC USING FINITE AUTOMATA Presented by : Shubha Jain Reference : Paper by Alexandre Boudet and Hubert Comon.
1 2. Independence and Bernoulli Trials Independence: Events A and B are independent if It is easy to show that A, B independent implies are all independent.
Copyright © 2014, 2010 Pearson Education, Inc. Chapter 2 Polynomials and Rational Functions Copyright © 2014, 2010 Pearson Education, Inc.
Pareto Linear Programming The Problem: P-opt Cx s.t Ax ≤ b x ≥ 0 where C is a kxn matrix so that Cx = (c (1) x, c (2) x,..., c (k) x) where c.
INTEGRALS The Fundamental Theorem of Calculus INTEGRALS In this section, we will learn about: The Fundamental Theorem of Calculus and its significance.
第1頁第1頁 Chapter 2 Analytic Function 9. Functions of a complex variable Let S be a set of complex numbers. A function defined on S is a rule that assigns.
Integrals  In Chapter 2, we used the tangent and velocity problems to introduce the derivative—the central idea in differential calculus.  In much the.
Algebroids, heterotic moduli spaces and the Strominger system James Gray, Virginia Tech Based on work with: Alexander Haupt and Andre Lukas ????
Boyce/DiPrima 9 th ed, Ch 10.8: Laplace’s Equation Elementary Differential Equations and Boundary Value Problems, 9 th edition, by William E. Boyce and.
Great Theoretical Ideas in Computer Science.
Matrix Models and Matrix Integrals A.Mironov Lebedev Physical Institute and ITEP.
Probability and Measure September 2, Nonparametric Bayesian Fundamental Problem: Estimating Distribution from a collection of Data E. ( X a distribution-valued.
Copyright © Cengage Learning. All rights reserved. CHAPTER 8 RELATIONS.
Section 2.3 Properties of Solution Sets
Z THEORY Nikita Nekrasov IHES/ITEP Nagoya, 9 December 2004.
Section 4.4 Theorems about Zeros of Polynomial Functions Copyright ©2013, 2009, 2006, 2001 Pearson Education, Inc.
College Algebra Sixth Edition James Stewart Lothar Redlin Saleem Watson.
SECTION 12.5 TRIPLE INTEGRALS.
In Chapters 6 and 8, we will see how to use the integral to solve problems concerning:  Volumes  Lengths of curves  Population predictions  Cardiac.
INTEGRALS We saw in Section 5.1 that a limit of the form arises when we compute an area. We also saw that it arises when we try to find the distance traveled.
5 INTEGRALS.
Heegaard Floer Homology and Existence of Incompressible Tori in Three-manifolds Eaman Eftekhary IPM, Tehran, Iran.
Boyce/DiPrima 9 th ed, Ch 11.3: Non- Homogeneous Boundary Value Problems Elementary Differential Equations and Boundary Value Problems, 9 th edition, by.
Copyright © Cengage Learning. All rights reserved. CHAPTER 8 RELATIONS.
Hodge Theory Calculus on Smooth Manifolds. by William M. Faucette Adapted from lectures by Mark Andrea A. Cataldo.
Introduction to Symmetry Analysis Brian Cantwell Department of Aeronautics and Astronautics Stanford University Chapter 1 - Introduction to Symmetry.
Prepared By Meri Dedania (AITS) Discrete Mathematics by Meri Dedania Assistant Professor MCA department Atmiya Institute of Technology & Science Yogidham.
Equivariant A-twisted GLSM and Gromov-Witten invariants
Trigonometric Identities
Functions of Complex Variable and Integral Transforms
§7-4 Lyapunov Direct Method
Trigonometric Identities
GROUPS & THEIR REPRESENTATIONS: a card shuffling approach
Chapter 2 Analytic Function
Chapter 3: Simplicial Homology Instructor: Yusu Wang
Presentation transcript:

Embedded Curves and Gromov-Witten Invariants Eaman Eftekhary Harvard University

Gromov-Witten theory M: Calabi-Yau manifold: i.e. complex Kahler manifold with a Kahler form  and with trivial canonical class.

Gromov-Witten theory M: Calabi-Yau manifold: i.e. complex Kahler manifold with a Kahler form  and with trivial canonical class. Suppose that  is a second homology class on M and g is a fixed genus

Gromov-Witten theory M: Calabi-Yau manifold: i.e. complex Kahler manifold with a Kahler form  and with trivial canonical class. Suppose that  is a second homology class on M and g is a fixed genus Question 1: Can we count holomorphic curves of genus g which represent the homology class  on M?

Gromov-Witten theory M: Calabi-Yau manifold: i.e. complex Kahler manifold with a Kahler form  and with trivial canonical class. Suppose that  is a second homology class on M and g is a fixed genus Question 1: Can we count holomorphic curves of genus g which represent the homology class  on M? Question 2: If the answer is “Yes”, what is the number N ,g) of such curves?

Example: The Quintic Threefold

This is a hypersurface that has trivial canonical class

Example: The Quintic Threefold This is a hypersurface has trivial canonical class Any homology class  of M determines a homology class on the projective space, we call it  as well

Example: The Quintic Threefold This is a hypersurface has trivial canonical class Any homology class  of M determines a homology class on the projective space, we call it  as well If  denotes the generator of the second homology of the projective space, the only holomorphic curves in the class  are rational curves, i.e. g=0

Example: The Quintic Threefold This is a hypersurface has trivial canonical class Any homology class  of M determines a homology class on the projective space, we call it  as well If  denotes the generator of the second homology of the projective space, the only holomorphic curves in the class  are rational curves, i.e. g=0 N  0)=2875, and N  g)=0, g=1,2,3,…

Gromov-Witten theory M: Calabi-Yau manifold: i.e. complex Kahler manifold with a Kahler form  and with trivial canonical class. Suppose that  is a second homology class on M and g is a fixed genus Question 1: Can we count holomorphic curves of genus g which represent the homology class  on M? Question 2: If the answer is “Yes”, what is the number N ,g) of such curves?

Answer from Algebraic Geometry We expect to have a finite number of solutions for each fixed  and g

Answer from Algebraic Geometry We expect to have a finite number of solutions for each fixed  and g Our expectations are not generally satisfied

Correct way of thinking about this problem: Instead of thinking about holomorphic curves in M think about maps from Riemann surfaces of genus g to M that represent the homology class  Here the surface comes from the moduli space of Riemann surfaces of genus g 

New Problems: The “moduli space” of solutions to this problem may have a “wrong” dimension which does not agree with our initial expectation (i.e. zero). In fact the dimension may be positive

New Problems: The “moduli space” of solutions to this problem may have a “wrong” dimension which does not agree with our initial expectation (i.e. zero). In fact the dimension may be positive The moduli space can be non-compact. We will need to attach certain boundary components to the moduli space to compactify

Non-compactness What is the limit of a sequence of maps with domain in the moduli space of genus g surfaces, representing a homology class 

Non-compactness Example :

Example for convergence! xy=  xy= 0

Adding curves with nodes In order to be fair to the two components of the limiting image, we define the limit of the sequence to be a map with domain C( 0 ) (the map will then be the identity map)!

Adding curves with nodes In general, we need to add all the holomorphic maps from a “nodal” curve of genus g to M which represent the homology class 

Adding curves with nodes In general, we need to add all the holomorphic maps from a “nodal” curve of genus g to M which represent the homology class  The set of nodal curves compactifies the moduli space of Riemann surfaces of genus g

A nodal curve of genus 10! Each node will locally look like xy= 

A nodal curve of genus 10! Each node will locally look like xy=  Each sphere component has at least 3 marked points

Moduli space of genus g curves in M Let M be a Calabi-Yau manifold as before and fix g and  Define the moduli space of curves of genus g representing  as follows. Note that the maps considered here are all holomorphic

Definition of Gromov-Witten Invariants This moduli space will have several components, some of them in the boundary. It is connected and its “expected dimension” is zero. It has the structure of an algebraic stack if M is a smooth projective variety.

Definition of Gromov-Witten Invariants This moduli space will have several components, some of them in the boundary. It is connected and its “expected dimension” is zero. It has the structure of an algebraic stack if M is a smooth projective variety. One may construct a “virtual fundamental class” for this moduli space which is a zero- cycle. The virtual fundamental class lives in the Chaw group with rational coefficients.

Definition of GW-Invariants One may integrate the function 1 against this virtual fundamental class to obtain the GW- invariants: N(M,  )( ) is the total Gromov-Witten invariant for the homology class 

Example: The Quintic Threefold If  denotes the generator of the second homology of the projective space, the only holomorphic curves in class  are rational curves, i.e. g=0

Example: The Quintic Threefold If  denotes the generator of the second homology of the projective space, the only holomorphic curves in class  are rational curves, i.e. g=0 Previously we computed N(b,0)=2875, and N(b,g)=0, g=1,2,3,…

Example: The Quintic Threefold If  denotes the generator of the second homology of the projective space, the only holomorphic curves in class  are rational curves, i.e. g=0 Previously we computed N(b,0)=2875, and N(b,g)=0, g=1,2,3,… With the new definition:

Example: The Quintic; An Explanation All the holomorphic curves of genus g bigger than 0 representing  have a domain in the boundary of the moduli space of curves of genus g.

Example: The Quintic; An Explanation All the holomorphic curves of genus g bigger than 0 representing  have a domain in the boundary of the moduli space of curves of genus g. If f is a rational holomorphic curve with domain C and if  is a curve of genus g obtained from C by attaching extra components (which are disjoint), extend f to  by a constant function on these extra components.

Elements of for a line class  On the yellow component, f is defined and on the blue ones it is constant

Structure of the moduli space of solutions Such a solution is obtained as follows:

Structure of the moduli space of solutions Such a solution is obtained as follows: Fix a rational curve (C,f) and k points on C

Structure of the moduli space of solutions Such a solution is obtained as follows: Fix a rational curve (C,f) and k points on C Fix k values for the genus h(i), i=1,…,k

Structure of the moduli space of solutions Such a solution is obtained as follows: Fix a rational curve (C,f) and k points on C Fix k values for the genus h(i), i=1,…,k Choose elements of the moduli space of Riemann surfaces of genus h(i) with one marked point (you may choose from the boundary of this moduli space)

Structure of the moduli space of solutions Fix k values for the genus h(i), i=1,…,k Choose elements of the moduli space of Riemann surfaces of genus h(i) with one marked point (you may choose from the boundary of this moduli space) Glue the curve of genus h(i) to the i-th marked point on C to obtain a surface of genus g=h(1)+h(2)+…+h(k)

Elements of for a line class  In this example k=3 and h(1)=h(2)=1 while h(3)=2.

Structure of the moduli space of solutions Glue the curve of genus h(i) to the i-th marked point on C to obtain a surface of genus g=h(1)+h(2)+…+h(k) We get a component of associate with (C,f):

Structure of the moduli space of solutions We need to integrate an Euler class over these components, which will produce rational numbers

Structure of the moduli space of solutions We need to integrate an Euler class over these components, which will produce rational numbers Adding these rational numbers we obtain a generating function in variable

Structure of the moduli space of solutions We need to integrate an Euler class over these components, which will produce rational numbers Adding these rational numbers we obtain a generating function in variable The computation of this generating function is possible: We obtain:

Gopakumar-Vafa Conjecture Suppose that M is a Calabi-Yau manifold as before and for any homology class  on M define the generating function N(M,  )( ) as discussed.

Gopakumar-Vafa Conjecture Suppose that M is a Calabi-Yau manifold as before and for any homology class  on M define the generating function N(M,  )( ) as discussed. Let the total Gromov-Witten generating function N(M)(q, ) be defined via

Gopakumar-Vafa Conjecture Associated with any genus h and any non-zero homology class  on M is an integral invariant n(h,  ), called the Gopakumar-Vafa invariant, such that

Comments on Gopakumar-Vafa Conjecture The GV-invariants are defined in the physics sense! There is no mathematical definition available for now!

Comments on Gopakumar-Vafa Conjecture The GV-invariants are defined in the physics sense! There is no mathematical definition available for now! The previous relation may be taken as a definition for n(h,  ) (Bryan- Pandharipande). It is then necessary to show that they are integer-values.

Efforts for proving the conjecture (Bryan-Pandharipande) Introduced a local version of the conjecture, and showed that a Mubious inversion formula gives GV- invariants in terms of GW-invariants.

Efforts for proving the conjecture (Bryan-Pandharipande) Introduced a local version of the conjecture, and showed that a Mubious inversion formula gives GV- invariants in terms of GW-invariants. (Hsono-Saito-Takahashi) Formalized the approach of Gopakumar and Vafa in the language of intersection cohomology, but did not succeed in defining invariants of a Calabi- Yau manifold. They also failed to show a correspondence between GV and GW.

Efforts for proving the conjecture (Maulik-Nekrasov-Okounkov-Pandharipande) Suggested a similar correspondence between GW-invariants an some other integral invariants of CY-manifolds: the Donaldson- Thomas invariants.

Efforts for proving the conjecture (Maulik-Nekrasov-Okounkov-Pandharipande) Suggested a similar correspondence between GW-invariants an some other integral invariants of CY-manifolds: the Donaldson- Thomas invariants. (Peng) Proved the integrality of the expressions suggested by Bryan- Pandharipande for local toric Calabi-Yau three-folds using localization.

Answer via Symplectic Geometry Again we fix a genus g and a homology class  on the Calabi-Yau three-fold M

Answer via Symplectic Geometry Again we fix a genus g and a homology class  on the Calabi-Yau three-fold M We look at the space of maps f from a surface C of genus g to M which represent the homology class 

Answer via Symplectic Geometry Again we fix a genus g and a homology class  on the Calabi-Yau three-fold M We look at the space of maps f from a surface C of genus g to M which represent the homology class  Instead of holomorphicity, we assume

Answer via Symplectic Geometry Here v is a perturbation term, which is basically a homomorphism of type (0,1) from the tangent space of a huge projective space P to the tangent space of M.

Answer via Symplectic Geometry Here v is a perturbation term, which is basically a homomorphism of type (0,1) from the tangent space of a huge projective space P to the tangent space of M. P is chosen so that a certain good cover of the universal curve of the moduli space of genus g curves is contained in P.

Answer via Symplectic Geometry In the case of a Calabi-Yau three-fold, this new equation will have a finite number of solutions, if v is a generic perturbation term.

Answer via Symplectic Geometry In the case of a Calabi-Yau three-fold, this new equation will have a finite number of solutions, if v is a generic perturbation term. There is a natural sign associated with any solution of this perturbed equation. The number of solutions, counted with sign, is independent of the particular v.

Answer via Symplectic Geometry However, it is not independent of the good branched cover of the universal curve. There are several such good covers and the number of solutions depends on the degree of this covering

Answer via Symplectic Geometry However, it is not independent of the good branched cover of the universal curve. There are several such good covers and the number of solutions depends on the degree of this covering The good news is: If we divide by this degree we obtain an invariant of M and the pair (g, 

Some History: This construction is made by several people: Ruan-Tian, Fukaya-Ono, Siebert, etc..

Some History This construction is made by several people: Ruan-Tian, Fukaya-Ono, Siebert, etc.. Historically this predates the approach via algebraic geometry.

Some History This construction is made by several people: Ruan-Tian, Fukaya-Ono, Siebert, etc.. Historically this predates the approach via algebraic geometry. Later Li-Tian, etc., used similar ideas to construct the virtual fundamental class in the context of algebraic geometry

Some History Siebert showed that the number of solutions obtained this way, after dividing by the degree of the good cover, gives the GW-invariants obtained in algebraic geometry using the virtual fundamental class.

Some History Siebert showed that the number of solutions obtained this way, after dividing by the degree of the good cover, gives the GW-invariants obtained in algebraic geometry using the virtual fundamental class. These invariants were first called Gromov-Witten invariants coupled with gravity (Ruan-Tian).

GV-Conjecture from a symplectic view-point! The construction of GW-invariants is designed for a general complex Kahler manifold of arbitrary dimension n. Generally the moduli space of solutions is not even expected to have dimension zero. The expected (or virtual) dimension is computed via

GV-Conjecture from a symplectic view-point! After a perturbation a moduli space of solutions of this exact dimension is constructed, which may be compactified by adding strata of codimension>1

GV-Conjecture from a symplectic view-point! After a perturbation a moduli space of solution of this exact dimension is constructed, which may be compactified by adding strata of codimension>1 In this general context, GW-theory is a way of computing certain interesting integrals over the moduli space of solutions.

GV-Conjecture from a symplectic view-point! When M is Calabi-Yau and n=3 the virtual dimension is zero and many of the details of the construction become easier.

GV-Conjecture from a symplectic view-point! When M is Calabi-Yau and n=3 the virtual dimension is zero and many of the details of the construction become easier. Ionel-Parker announced several times (starting 4 years ago) that one may carry out the construction with a perturbation term v that does not depend on its P coordinate, if instead of all maps f, we only count the embeddings.

GV-Conjecture from a symplectic view-point! If this is true, one will obtain an honest integral count of solutions which would behave very similar to the GV-invariants n(h,  ) (but are different from them in general).

GV-Conjecture from a symplectic view-point! If this is true, one will obtain an honest integral count of solutions which would behave very similar to the GV-invariants n(h,  ) (but are different from them in general). Unfortunately, there seems to be serious technical problems coming from convergence of embeddings to multiple covering maps that may not be ruled out by these types of perturbations. They have too much symmetry!

Analytic Construction; Revisited! Instead of holomorphicity, we assume Integral values is obtained if instead of a good cover of the universal curve, we embed the universal curve itself in P. Thus, we do not need to assume total independence from the P-factor for v

Technical Difficulties If C is a curve of genus g with non- trivial automorphism group G, then in the universal cover, C/G will appear instead of C. If  denotes the map from C to C/G, then the equation for f will look like

Technical Difficulties A sequence of embeddings f(i), i=1,2,… from curves C(i) of genus g to M may potentially converge to a map f from a surface C as above to M, such that f factors through the quotient map 

Technical Difficulties Using the decomposition of tangent spaces according to the characters of G, and Kuranishi-method for describing a neighborhood of a map f of this later type in the moduli space of solutions, one may rule out a convergence of f(i):C(i)  M to f:C  C/G  M, if G is an Abelian group

Technical Difficulties The Kuranishi method fails if G is non- Abelian. In fact transversality fails in a bad way! When  is a primitive homology class or when  p  where  is primitive and p is a prime number, then G is forced to be trivial or Z/pZ, which is Abelian.

Dealing with the difficulties! Let M,g,  be as before.

Dealing with the difficulties! Let M,g,  be as before. Consider the moduli space of all pairs (C,p) where C is a curve of genus g and p is a point on C. Denote this moduli space by M (g,1). Let C (g,1) be the universal curve and embed it in some P

Dealing with the difficulties! Let M,g,  be as before. Consider the moduli space of all pairs (C,p) where C is a curve of genus g and p is a point on C. Denote this moduli space by M (g,1). Let C (g,1) be the universal curve and embed it in some P Let B be a sub-manifold of M representing the Poincare dual of  where  d  and  is primitive (Assume for now that such a B exists)

Dealing with the difficulties! Consider all the maps f:(C,p)  (M,B) where (C,p) is in M (g,1) and for a fixed section v.

Dealing with the difficulties! Consider all the maps f:(C,p)  (M,B) where (C,p) is in M (g,1) and for a fixed section v. The expected dimension of the moduli space of solutions is again 0.

Dealing with the difficulties! Consider all the maps f:(C,p)  (M,B) where (C,p) is in M (g,1) and for a fixed section v. The expected dimension of the moduli space of solutions is again 0. The automorphism groups in this case are all cyclic!

Final Result M,g,  as before

Final Result M,g,  as before M (g,1), C (g,1) as above. C (g,1) is embedded in a projective space P

Final Result M,g,  as before M (g,1), C (g,1) as above. C (g,1) is embedded in a projective space P v: perturbation term on P M

Final Result Theorem(E.) The number m(g,  ) of embeddings f:(C,p)  (M,B) with (C,p) in M (g,1) and is finite for generic v. This number is independent of the particular choice of v and B.

Final Result Theorem(E.) When  is a primitive homology class, we have the following relation: