Properties of Gromov-Witten invariants defined via global Kuranishi charts

This paper defines gravitational descendants and equivariant Gromov-Witten invariants for general symplectic manifolds using global Kuranishi charts, proves they satisfy the Kontsevich-Manin axioms, establishes a virtual localization formula to derive explicit invariants for Hamiltonian manifolds, and compares these results with existing semipositive cases.

The Gist

Imagine you are an architect trying to count the number of unique, stable bridges that can be built across a river, but the river is made of "quantum foam" and the bridges are made of light. This is essentially what mathematicians do when they study Gromov–Witten invariants. They are trying to count the number of special curves (bridges) that can exist inside a complex geometric shape (the river).

For a long time, this counting was only possible if the river was "nice and calm" (a condition called semipositive). If the river was turbulent or had weird eddies (singularities), the math broke down, and the counts were impossible to calculate.

This paper by Amanda Hirschi is like a new, revolutionary toolkit that allows architects to count these bridges even in the most turbulent, chaotic rivers. Here is a breakdown of the paper's main ideas using everyday analogies:

1. The Problem: The "Fuzzy" Counting Machine

In the past, to count these curves, mathematicians needed a "Virtual Fundamental Class." Think of this as a perfectly calibrated scale.

• The Issue: In the real world, the "curves" (solutions to complex equations) often clump together, break, or behave erratically. The scale gets fuzzy. You can't get a precise number because the objects you are weighing are shifting and overlapping in messy ways.
• The Old Solution: Mathematicians had to pretend the river was calm (semipositive) to use their scale. If the river was wild, they couldn't count.

2. The Solution: The "Global Kuranishi Chart"

Hirschi uses a new construction called a Global Kuranishi Chart.

• The Analogy: Imagine you are trying to map a foggy, shifting island. Instead of trying to map the whole island at once (which is impossible because it keeps changing), you build a giant, flexible net (the chart) that covers the entire island.
• How it works: This net is made of a "thickening" (a slightly larger, smoother version of the space) and an "obstruction bundle" (a set of rules that tell you how the fog behaves).
• The Magic: Even though the actual curves are messy, this net allows you to define a "virtual weight" for the whole collection. It's like saying, "Even though we can't see the individual fish clearly, our net tells us exactly how much fish is in the water." This allows the author to define the invariants (the counts) for any symplectic manifold, not just the calm ones.

3. The Rules of the Game: Kontsevich–Manin Axioms

Once you have a way to count, you need to make sure the numbers make sense. Do they follow the laws of physics?

• The Analogy: Think of these invariants as a new type of currency. The paper proves that this currency follows strict banking rules (the axioms).
  • Symmetry: It doesn't matter if you count the bridges from left to right or right to left; the total is the same.
  • Splitting: If you cut a bridge in half, the value of the two halves adds up correctly to the value of the whole.
  • Divisor Rule: If you add a specific type of rock to the river, the count changes in a predictable way.
• Why it matters: Proving these rules hold means the new counting method is reliable and fits into the existing "universe" of mathematical physics.

4. The "Magic Trick": Virtual Localization

One of the coolest parts of the paper is the Virtual Localization Formula.

• The Analogy: Imagine you want to know the total weight of a giant, spinning carousel. It's hard to weigh the whole thing while it's spinning. But, if you know that the weight is concentrated only on the horses that are painted red (the "fixed points"), you can just weigh the red horses and do some math to figure out the total weight of the whole carousel.
• The Application: The author shows that for certain shapes (called Hamiltonian GKM manifolds, which include toric varieties), you can ignore the messy, spinning parts of the curve space and just look at the "fixed points" (the red horses).
• The Result: This turns a terrifyingly complex calculus problem into a simple combinatorial puzzle (like solving a Sudoku or a graph problem). You just draw a graph of the fixed points and apply a formula.

5. The Grand Unification: Toric Varieties

The paper proves a stunning result: Symplectic Toric Varieties (shapes studied by physicists using the "turbulent river" method) have the exact same counts as Algebraic Toric Varieties (shapes studied by algebraists using "clean" polynomial equations).

• The Analogy: It's like proving that a cake baked in a chaotic, windy kitchen tastes exactly the same as a cake baked in a sterile, perfect lab, provided they use the same ingredients. This bridges the gap between two different branches of mathematics that were previously thought to be slightly different.

6. The "Old Guard" Check

Finally, the author checks their new method against the old method (Ruan and Tian's invariants).

• The Result: In the cases where the old method worked (calm rivers), the new method gives the exact same answer. This proves the new toolkit isn't just a guess; it's a generalization that works everywhere, including the places the old toolkit couldn't reach.

Summary

Amanda Hirschi has built a universal counting machine for geometric curves.

1. She created a new "net" (Global Kuranishi Chart) to handle messy, chaotic shapes.
2. She proved this machine follows all the standard rules of the game.
3. She showed how to use a "magic trick" (Localization) to turn hard problems into easy puzzles for specific shapes.
4. She proved that this new way of counting agrees with the old way, but works in many more situations.

This is a massive step forward because it allows mathematicians to explore the "wild" corners of geometry that were previously too dangerous to enter.

Technical Summary

1. Problem Statement and Context

Gromov–Witten (GW) invariants are fundamental tools in symplectic topology, defined by counting pseudoholomorphic curves in a symplectic manifold $(X, \omega)$. However, defining these invariants for general symplectic manifolds is obstructed by the lack of transversality in the moduli space of stable maps, $\mathcal{M}_{g,n}(X, A)$.

• Historical Context: Early definitions (Ruan-Tian) were limited to "semipositive" manifolds. General definitions required "virtual fundamental classes" constructed via abstract perturbation schemes (e.g., Fukaya-Oh-Ohta-Ono, Li-Tian, Polyfolds).
• The Gap: While various frameworks exist, there is a need for a unified, computationally tractable approach that works for general symplectic manifolds and allows for the derivation of structural properties (axioms) and explicit formulas (localization) without relying on algebraic geometry assumptions.
• Specific Goal: This paper aims to rigorously define GW invariants using Global Kuranishi Charts (constructed in prior work by Hirschi-Swaminathan and independently by Abreu-McDuff-Salamon) and prove that these invariants satisfy the standard Kontsevich-Manin axioms, admit gravitational descendants, and support a virtual localization formula.

2. Methodology

The paper relies on the construction of Global Kuranishi Charts to replace the traditional local-to-global patching of Kuranishi structures.

• Global Kuranishi Charts: Instead of covering the moduli space with local charts and gluing them, the author uses a single global chart $(G, T, E, s)$ where:
  • $G$ is a compact Lie group acting almost freely on a manifold $T$.
  • $E \to T$ is a $G$-equivariant vector bundle.
  • $s: T \to E$ is an equivariant section such that the zero locus $s^{-1}(0)/G$ is homeomorphic to the moduli space $\mathcal{M}_{g,n}^J(X, A)$.
  • This setup allows for a direct definition of the virtual fundamental class via the Thom class of the obstruction bundle.
• Virtual Fundamental Class: Defined as the composite of the pullback of the Thom class of the quotient bundle $E/G$ and Poincaré duality, mapping cohomology to $\mathbb{Q}$.
• Equivariant Extension: The framework is extended to include Hamiltonian group actions. If the target $X$ admits a Hamiltonian $K$-action, the global Kuranishi chart is constructed to be $K$-equivariant, allowing for the definition of equivariant GW invariants.
• Localization: A virtual localization formula is derived for spaces with torus actions, generalizing the Atiyah-Bott localization to the setting of global Kuranishi charts.

3. Key Contributions and Results

A. Verification of Kontsevich-Manin Axioms

The paper proves that the GW classes defined via global Kuranishi charts satisfy the full set of Kontsevich-Manin axioms (Theorem 1.2), which characterize GW invariants as a Cohomological Field Theory (CohFT). These include:

• Effective, Homology, and Grading: Standard dimension and vanishing properties.
• Symmetry: Equivariance under permutation of marked points.
• Mapping to a Point: Behavior when the homology class $A=0$.
• Fundamental Class: Compatibility with forgetting marked points.
• Divisor Axiom: Relates invariants with a divisor insertion to the intersection number with the curve class.
• Splitting Axiom: Describes the behavior of invariants under the clutching map (gluing curves at nodes).
• Genus Reduction: Relates invariants of genus $g$ to genus $g+1$ via non-separating nodes.

B. Gravitational Descendants

The author defines gravitational descendants (insertions of $\psi$-classes) and proves they satisfy the String, Dilaton, and Divisor equations (Section 4). This establishes that the theory behaves correctly with respect to the tautological ring of the moduli space of curves.

C. Virtual Localization and GKM Manifolds

A major contribution is the derivation of a Virtual Localization Formula (Theorem 5.13) for global Kuranishi charts equipped with a torus action.

• Application to GKM Manifolds: The formula is applied to Hamiltonian GKM manifolds (manifolds with a torus action where the 1-skeleton is a union of spheres).
• Explicit Formula: Theorem 1.4 provides a combinatorial formula for equivariant GW invariants in terms of decorated graphs (GKM graphs). The invariants are expressed as a sum over fixed-point components, weighted by Euler classes of normal bundles.
• Isomorphism Result: Theorem 1.5 states that if two Hamiltonian GKM manifolds have isomorphic GKM graphs, their equivariant GW invariants are identical. This implies that for symplectic toric manifolds, the symplectic GW invariants agree with the algebraic GW invariants of the corresponding toric varieties (Corollary 1.6).

D. Comparison with Ruan-Tian and Semipositive Case

The paper addresses the relationship between this new construction and the classical Ruan-Tian (RT) invariants (defined via pseudocycles).

• Theorem 1.7: If the symplectic manifold is semipositive, the GW invariants defined via global Kuranishi charts agree with the Ruan-Tian invariants.
• Significance: This validates the global Kuranishi approach as a true generalization of the classical theory. It also implies that for semipositive manifolds, the invariants are integral for $n \geq 3$ (Corollary 1.8).

4. Significance and Impact

1. Unification of Symplectic and Algebraic Geometry: By proving that symplectic GW invariants of toric varieties match their algebraic counterparts, the paper bridges a gap between symplectic topology and algebraic geometry for a broad class of non-Kähler examples (Hamiltonian GKM manifolds).
2. Computational Power: The localization formula provides a concrete, combinatorial method to compute GW invariants for symplectic manifolds with torus actions, bypassing the need for complex analytic perturbation theory in specific cases.
3. Foundational Rigor: The paper demonstrates that the "Global Kuranishi" approach is not just a technical existence proof but a robust framework capable of supporting the full algebraic structure (CohFT) expected of GW theory.
4. Generalization: It extends the validity of GW invariants to general symplectic manifolds (removing the semipositivity constraint) while maintaining consistency with established theories in the semipositive regime.

In summary, Amanda Hirschi's work establishes the global Kuranishi chart construction as a powerful and complete framework for Gromov–Witten theory, successfully proving its structural axioms, enabling equivariant computations via localization, and confirming its consistency with both classical symplectic and algebraic geometric definitions.