Hodge-Gromov-Witten theory

This paper determines the all-genus Hodge-Gromov-Witten theory for smooth hypersurfaces in weighted projective spaces defined by chain, loop, or general invertible polynomials, providing the first genus-zero Gromov-Witten invariants for non-Gorenstein ambient spaces where convexity fails.

The Gist

Imagine you are an architect trying to count the number of different ways you can draw a specific type of loop (a "curve") on a very strange, bumpy, and twisted piece of fabric (a "hypersurface").

In the world of mathematics, this is called Gromov–Witten theory. It's a way of "counting" shapes that exist in complex, multi-dimensional spaces. For a long time, mathematicians could only do this counting easily if the fabric was perfectly smooth and flat (like a standard sphere or a torus). But when the fabric gets bumpy, twisted, or has "singularities" (sharp points or weird folds), the usual counting tools break down.

This paper, by Jérémy Guéré, is like a master craftsman inventing a new, super-flexible measuring tape that works even on the most twisted, bumpy fabrics.

Here is the breakdown of the paper's magic, using everyday analogies:

1. The Problem: The "Convexity" Trap

For decades, mathematicians had a golden rule called the "Convexity Property."

• The Analogy: Imagine you are trying to count how many rubber bands you can stretch around a smooth ball. Because the ball is smooth and convex, the rubber bands behave nicely; they don't get stuck or tangled in weird ways. You can use a simple formula to count them.
• The Issue: Many interesting shapes in physics (like Calabi–Yau manifolds, which are used in string theory to describe the universe) are not smooth balls. They are like crumpled paper or twisted knots. When you try to stretch a rubber band around them, it gets stuck. The "Convexity Property" fails, and the old formulas give nonsense results or crash entirely.

2. The Solution: "Regular Specialization" (The Time-Traveling Deformation)

Guéré's main invention is a technique he calls "Regular Specialization."

• The Analogy: Imagine you have a twisted, knotted piece of wire (your difficult shape) that you can't measure. Instead of trying to measure the knot directly, you imagine a magical machine that slowly, smoothly, and regularly untwists the wire over time until it becomes a perfect, simple circle.
• The Magic: The paper proves that if you can turn your difficult shape into a simple shape without tearing it or creating new weird knots in the process, you can count the rubber bands on the simple circle and translate that number back to the original twisted knot.
• The Catch: Usually, when you untwist a knot, it might snap or break. Guéré's method ensures the "untwisting" happens in a very specific, controlled way (using something called a "Hodge bundle," which acts like a safety net) so that the count remains valid even when the shape is singular.

3. The New Shapes: Chains and Loops

The paper focuses on shapes defined by specific types of mathematical recipes called Chain Polynomials and Loop Polynomials.

• Chain Polynomials: Think of a line of dominoes falling. $x_1$ knocks over $x_2$, which knocks over $x_3$, and so on.
• Loop Polynomials: Think of a necklace where the last bead connects back to the first.
• Why it matters: These shapes are common in physics but were previously impossible to count because they are often "non-convex" (bumpy). Guéré shows that even though they are bumpy, they can be "regularized" (smoothed out via his time-travel method) to allow for counting.

4. The "Virtual Cycle" and the "Hodge Class"

In this field, the "count" isn't just a number; it's a geometric object called a Virtual Cycle.

• The Analogy: Imagine trying to count the number of people in a foggy room. You can't see everyone clearly. The "Virtual Cycle" is a mathematical estimate of the crowd.
• The Innovation: Guéré introduces a "Hodge Class," which acts like a special filter or a spotlight. When you shine this spotlight on the foggy room, it highlights the people in a way that makes them countable, even if the room is messy. He proves that if you apply this spotlight, you can count the curves on these twisted shapes perfectly, even in high dimensions and complex "genera" (which is a fancy way of saying "shapes with multiple holes," like a donut vs. a pretzel).

5. Why Should We Care? (The "So What?")

• String Theory: Physicists believe the universe is made of tiny vibrating strings. To understand how these strings vibrate, they need to know the geometry of the hidden dimensions (Calabi–Yau manifolds). Many of these manifolds are the "bumpy" types that Guéré can now count.
• Mirror Symmetry: This is a concept where two completely different shapes are actually "twins" in a mathematical sense. If you can count curves on one, you know the physics of the other. Guéré's work allows physicists to solve these "twin" puzzles for shapes that were previously unsolvable.
• Breaking the Barrier: Before this, we could only count curves on "nice" shapes. This paper opens the door to counting curves on "messy" shapes, expanding our understanding of the mathematical universe significantly.

Summary

Think of this paper as a universal translator.

• Old World: We could only talk to "smooth" shapes.
• New World: We can now talk to "bumpy," "twisted," and "singular" shapes.
• How: By inventing a method to gently deform the bumpy shape into a smooth one, count the curves there, and translate the answer back, ensuring the math holds up even when the shape is weird.

Guéré has essentially given mathematicians a new set of tools to explore the most complex and "non-convex" corners of geometry, paving the way for new discoveries in both pure math and theoretical physics.

Technical Summary

Here is a detailed technical summary of the paper "Hodge–Gromov–Witten theory" by Jérémy Guéré.

1. Problem Statement

The paper addresses a fundamental gap in Gromov–Witten (GW) theory: the computation of invariants for smooth hypersurfaces in weighted projective spaces (and more generally, toric Deligne–Mumford stacks) when the convexity property fails.

• Context: GW theory counts curves on a variety. For toric varieties, these invariants are well-understood via the virtual localization formula because the torus action allows reduction to fixed loci.
• The Obstacle: For hypersurfaces, the standard approach relies on the Quantum Lefschetz principle, which relates the GW theory of a hypersurface to that of the ambient space. However, this principle generally requires the convexity condition (vanishing of $H^1$ of the normal bundle for stable maps).
• The Specific Challenge: In weighted projective spaces, convexity often fails when the hypersurface is non-Gorenstein (i.e., the degree is not a multiple of all weights). In these non-convex cases, the virtual cycle is not computable via standard localization, and the genus-zero theory has remained largely inaccessible for many important cases, including specific Calabi–Yau 3-folds.

2. Methodology

The author develops a novel framework called Regular Specialization to bypass the non-convexity issue. The methodology involves three main pillars:

A. Regular Specialization Theorem (Section 2)

The core innovation is the deformation of a smooth DM stack into a singular one in a "regular" way.

• Setup: Consider a flat family $\mathcal{X} \to \mathbb{A}^1$ where the total space is smooth (a "regular family"), but the central fiber $X_0$ may be singular, while the generic fiber $X_1$ is smooth.
• Regularized Virtual Cycle: The author defines a regularized virtual cycle for the moduli space of the singular fiber $X_0$ by pulling back the virtual cycle from the smooth total space.
• Key Result: This regularized cycle on the singular fiber equals the Hodge–Gromov–Witten cycle (the GW cycle capped with the top Chern class of the Hodge bundle, $\lambda_g$) on the smooth fiber, up to a sign.
• Implication: Even if $X_0$ is singular and lacks a standard GW theory, its "regularized" invariants are well-defined and equal to the Hodge-invariants of the smooth fiber $X_1$.

B. Equivariant Quantum Lefschetz (Section 3)

To compute these regularized cycles, the author combines the specialization theorem with equivariant localization.

• Strategy: Construct a family where the central fiber $X_0$ admits a torus action with a manageable fixed locus (often isolated points), even if the generic fiber $X_1$ does not.
• Mechanism: By applying the virtual localization formula to the central fiber (which is equivariant) and taking the non-equivariant limit, one can recover the invariants of the smooth fiber.
• Handling Non-Convexity: The author proves an Equivariant Quantum Lefschetz Theorem that relates the equivariant virtual cycle of the hypersurface to the ambient space, specifically handling the Euler class of the derived pushforward of the normal bundle, which is only well-defined after localization.

C. Resolution of Singularities via Weighted Blow-ups (Section 4)

For specific polynomial types (Chain and Loop), the author constructs explicit regular families:

• Chain Polynomials: Defined by $x_1^{a_1}x_2 + \dots + x_N^{a_N}$. The family is defined by adding a parameter $s$ to the last term. The central fiber is singular but admits a torus action.
• Loop Polynomials: Defined by $x_1^{a_1}x_2 + \dots + x_N^{a_N}x_1$. The central fiber has a singularity at a coordinate point. The author performs a weighted blow-up of the ambient space to resolve the singularity of the total family, creating a new smooth ambient space $\tilde{P}$ and a regular family $\tilde{\mathcal{X}}$.
• Invertible Polynomials: Any invertible polynomial is a Thom–Sebastiani sum of chain and loop polynomials. The author generalizes the blow-up construction to resolve singularities for any such sum.

3. Key Contributions and Results

1. Genus Zero Quantum Lefschetz Principle (Non-Convex Case)

The paper provides the first complete computation of genus-zero GW invariants for hypersurfaces in weighted projective spaces where the convexity property fails.

• Result: For hypersurfaces defined by chain or loop polynomials, the genus-zero GW invariants with ambient insertions are explicitly expressed in terms of the genus-zero GW invariants of the ambient weighted projective space.
• Formula:
  $$[M_{0,n}(X, \beta)]^{vir} = \lim_{t \to 0} \left( [M_{0,n}(P, \beta)]^{vir, T} \cdot e_T(R\pi_* f^* N) \right)$$
  where the limit involves specializing equivariant parameters to recover the non-equivariant theory.

2. Hodge–Gromov–Witten Theory in Arbitrary Genus

The paper extends the computation to arbitrary genus by computing Hodge integrals (GW invariants capped with $\lambda_g$).

• Result: Theorem 4.3 and 4.8 provide formulas for Hodge-GW invariants of chain and loop hypersurfaces in any genus $g$.
• Significance: This is the first comprehensive computation of Hodge integrals for these non-convex cases.

3. Extension to Invertible Polynomials

The results are generalized to any smooth weighted projective hypersurface defined by an invertible polynomial (Theorem 4.13).

• Scope: This covers approximately 6,000 out of 7,555 known Calabi–Yau 3-folds that are hypersurfaces in weighted projective spaces.
• Exclusion: The method does not yet cover polynomials with more monomials than variables that are not sums of chains/loops (approx. 10% of cases).

4. Definition of Regularizable Stacks

The author introduces the concept of regularizable DM stacks (Definition 4.18). A singular stack is regularizable if it can be realized as a fiber in a regular family.

• Contribution: This extends the definition of genus-zero GW theory to certain singular stacks, proving that the theory is invariant under regular deformations (Proposition 4.20).

4. Significance and Impact

• Breaking the Convexity Barrier: This work resolves a major obstruction in GW theory, allowing the computation of invariants for a vast class of non-Gorenstein Calabi–Yau manifolds that were previously inaccessible.
• Mirror Symmetry: The results are a crucial step toward a Mirror Symmetry theorem without convexity. The author notes that these results should allow for the computation of the $I$-function via Givental's formalism, leading to a proof of the Landau–Ginzburg/Calabi–Yau (LG/CY) correspondence for these cases (extending the work of Chiodo–Iritani–Ruan).
• Physical Relevance: The paper specifically highlights applications to Calabi–Yau 3-folds with Euler characteristic $\chi = \pm 6$, which are significant in string theory (e.g., the Tian–Yau manifold).
• Tautological Classes: A notable consequence is that for these cases, the product of the Hodge class $\lambda_g$ and the virtual cycle lies in the tautological Chow ring of the moduli space of curves, a property that is generally unknown for other non-convex cases (like the quintic threefold).
• Future Directions: The paper outlines a strategy to compute all-genus invariants for any projective hypersurface by combining Costello's theorem (relating genus $g$ to genus 0 of symmetric products) with the regular specialization technique.

In summary, Jérémy Guéré introduces a powerful deformation technique ("regular specialization") that, when combined with equivariant localization and weighted blow-ups, successfully computes GW invariants for a broad class of non-convex hypersurfaces, significantly advancing the field of enumerative geometry and mirror symmetry.