[Paper Review] Virtual moduli cycles and Gromov-Witten invariants of general symplectic manifolds

Jun Li, Gang Tian|ArXiv.org|Aug 26, 1996

Geometric and Algebraic TopologyMathematics10 references320 citations

TL;DR

This paper establishes a rigorous analytic framework for constructing virtual fundamental cycles and Gromov-Witten invariants in general symplectic manifolds using Fredholm theory and generalized Euler classes. By defining generalized Fredholm bundles and proving invariance of Euler classes under homotopy, the authors construct symplectic invariants over the rationals, extending previous algebraic and semi-positive constructions to arbitrary symplectic manifolds via analytic methods.

ABSTRACT

We construct Gromov-Witten invariants of general symplectic manifolds.

Motivation & Objective

• To develop an intersection theory for moduli problems in differential geometry using analytic tools, particularly Fredholm theory.
• To define and construct Euler classes for generalized Fredholm bundles with non-smooth or non-compact zero loci.
• To extend the construction of Gromov-Witten invariants to arbitrary symplectic manifolds, not just semi-positive or algebraic ones.
• To provide a symplectically invariant, rational-valued Gromov-Witten theory using virtual fundamental cycles.

Proposed method

• Introduces generalized Fredholm bundles over topological spaces with compact zero loci and weakly smooth structures.
• Defines generalized Euler classes for such bundles using smooth approximations and homotopy invariance.
• Applies the theory to the moduli space of stable maps into a symplectic manifold, proving the relevant bundle is Fredholm of index r.
• Uses the determinant line bundle and orientability to define an Euler class in homology, representing the virtual fundamental class.
• Applies the construction to the space of stable maps, showing the zero locus of the $(0,1)$-form bundle is compact and the section is Fredholm.
• Establishes invariance of the Euler class under homotopy, ensuring the Gromov-Witten invariants are well-defined and symplectically invariant.

Experimental results

Research questions

• RQ1 Can Gromov-Witten invariants be constructed for general symplectic manifolds using analytic methods rather than algebraic geometry?
• RQ2 How can one define a virtual fundamental class when the moduli space of stable maps is not smooth or compact?
• RQ3 What conditions ensure the invariance of the Euler class of a Fredholm section under homotopy in the differential category?
• RQ4 Can the construction of Gromov-Witten invariants be extended beyond semi-positive symplectic manifolds to all symplectic manifolds?
• RQ5 How does the analytic approach compare to algebraic or gauge-theoretic constructions of invariants such as Donaldson or Seiberg-Witten invariants?

Key findings

• The authors construct a well-defined Euler class for generalized Fredholm bundles with compact zero loci and weakly smooth structures, which is invariant under homotopy.
• The Gromov-Witten invariants for general symplectic manifolds are constructed over the rationals using this Euler class, extending prior constructions over integers or in algebraic geometry.
• The moduli space of stable maps into a symplectic manifold admits a Fredholm structure on the bundle of $(0,1)$-forms, enabling the definition of a virtual fundamental class.
• The Seiberg-Witten invariants are shown to be well-defined when $b_2^+ > 1$, by reducing to a smooth quotient space away from the fixed point set of the $S^1$-action.
• The construction is robust under homotopy and yields a well-defined cobordism class when the Fredholm index of the fixed point restriction is negative.
• The method provides a foundation for constructing gauge-theoretic invariants such as Donaldson invariants via similar analytic virtual cycle techniques.