Holomorphic supergravity in ten dimensions and anomaly cancellation

This paper formulates a ten-dimensional holomorphic supergravity on a Calabi-Yau five-fold that reproduces heterotic moduli equations, exhibits factorized anomalies reconstructing a double-extension complex for moduli counting, and is conjectured to be an $SU(5)$-twisted version of $N=1$ supergravity related to the Costello-Li theory.

The Gist

Here is an explanation of the paper "Holomorphic supergravity in ten dimensions and anomaly cancellation," translated into simple, everyday language using analogies.

The Big Picture: Building a Better Lego Set

Imagine the universe is built out of tiny, invisible Lego bricks. Physicists have a "Master Set" called Supergravity that describes how gravity and other forces work together in 10 dimensions (our familiar 4 dimensions plus 6 hidden, curled-up ones).

However, this Master Set is incredibly complicated. It's like trying to build a castle while blindfolded, with instructions written in a language you barely understand. The authors of this paper are trying to build a simplified, "twisted" version of this Master Set. Think of this "twist" as putting on a special pair of glasses that filters out the messy, complicated parts and only lets you see the beautiful, symmetrical, and "holomorphic" (mathematically smooth) patterns underneath.

Their goal? To prove that this simplified version isn't just a toy model, but actually captures the true essence of the real 10-dimensional universe, specifically the version involving heterotic strings (a specific type of theoretical string theory).

The Main Characters

1. The "Twisted" Theory (The Simplified Model):
   The authors created a mathematical theory called Kodaira–Spencer gravity. Imagine this as a "shadow puppet" show of the real universe. The shadows move in a way that is much easier to study than the real puppets, but they still tell the same story. They built this shadow show on a complex 5-dimensional shape (a Calabi–Yau five-fold).

2. The "Moduli" (The Dials and Knobs):
   In string theory, the shape of those hidden 6 dimensions isn't fixed; it has "dials" and "knobs" (called moduli) that can be turned. Changing these dials changes the physics of our universe. The authors' theory is designed to count and describe all the possible ways you can turn these dials without breaking the universe.

3. The "Anomaly" (The Glitch):
   In quantum physics, there's a concept called an anomaly. Imagine you are building a bridge. You design it perfectly, but when you try to drive a car over it, it suddenly collapses because of a hidden flaw in the math. This "collapse" is an anomaly. It means the theory is inconsistent and cannot describe reality.

   • The Problem: When the authors calculated the "one-loop partition function" (a fancy way of checking the stability of their shadow universe), they found a glitch. The math didn't add up; the bridge was wobbling.
   • The Good News: The glitch they found was exactly the same glitch that appears in the real, messy 10-dimensional Supergravity theory. This is a huge clue! It suggests their simplified "shadow" theory is actually a valid representation of the real thing.

The Solution: Fixing the Glitch (Anomaly Cancellation)

Since the glitch exists in both the simplified model and the real theory, the authors asked: How do we fix it? In the real world, physicists use a trick called the Green-Schwarz mechanism to fix this. It's like adding a specific counter-weight to the bridge to stop it from wobbling.

The authors tried four different ways to add this counter-weight to their simplified theory:

1. The "Magic Wand" (Non-local): You wave a wand that fixes the problem instantly, but the fix depends on the whole universe at once. It works, but it feels "cheaty" because it's not local (it doesn't happen right where the problem is).
2. The "Standard Fix" (Green-Schwarz): You add a standard counter-weight. This works well but requires you to slightly change the rules of the game (the math) to make it fit.
3. The "Deformed Instanton" (Local): This is the most elegant solution. Instead of just adding a weight, they realized the "bricks" themselves (the instantons) needed to be slightly squished or deformed to fit together perfectly. This is a local fix—it happens right where the problem is, without needing magic.
4. The "Patchwork" (Non-global): A method that works in small patches but might not fit together perfectly across the whole universe.

The Winner: They found that by using the "Deformed Instanton" method, they could fix the glitch using only local rules. This resulted in a new, stable mathematical structure.

The "Double-Extension" Discovery

Here is the coolest part of the paper. When they fixed the glitch, they didn't just patch the hole; they discovered a new mathematical object.

Imagine you have a stack of paper (a complex). When you fixed the glitch, you realized the paper wasn't just a stack; it was a double-layered stack with a new kind of glue holding it together. This "glue" isn't normal glue (it's non-tensorial), but it holds the structure together perfectly.

This new structure is a Double-Extension Complex.

• Why it matters: The first layer of this new stack counts all the possible ways to turn the "dials" (moduli) of the heterotic universe.
• The Significance: This proves that their simplified theory isn't just a toy; it's a powerful tool that can count the fundamental building blocks of the universe, even when those blocks are twisted and non-standard (non-Kähler).

The Connection to "Type I" Strings

Finally, the authors showed that their theory is mathematically linked to another famous theory called Type I Topological String Theory (developed by Costello and Li).

• The Analogy: Imagine their theory is a map of a city drawn in English, and the Costello-Li theory is the same map drawn in French. They look different, but if you translate one into the other (using a "non-local field redefinition"), they describe the exact same city. This strengthens the idea that their theory is the correct "twisted" version of 10-dimensional supergravity.

Summary: What did they actually do?

1. Simplified: They took a super-complex 10-dimensional gravity theory and made a "twisted," easier-to-study version.
2. Tested: They checked if this version had the same "glitches" (anomalies) as the real theory. It did!
3. Fixed: They found a way to fix the glitch using local math rules (deformed instantons), which made the theory stable.
4. Discovered: The fix revealed a new, beautiful mathematical structure (the double-extension complex) that perfectly counts the possible shapes of the universe.

In short: They built a simplified model of the universe, proved it behaves like the real thing by matching its glitches, fixed those glitches to make it stable, and in doing so, discovered a new mathematical tool that helps us count the hidden dimensions of our universe.

Technical Summary

Here is a detailed technical summary of the paper "Holomorphic supergravity in ten dimensions and anomaly cancellation" by Ashmore, Murgas Ibarra, Strickland-Constable, and Svanes.

1. Problem Statement

The paper addresses the challenge of formulating a consistent quantum theory for the moduli space of heterotic string compactifications on complex five-folds (Calabi-Yau five-folds). Specifically, it seeks to:

• Construct a holomorphic (quasi-topological) field theory in ten dimensions that captures the supersymmetric moduli of the heterotic string, analogous to how holomorphic Chern-Simons theory describes twisted gauge theory or how Kodaira-Spencer (KS) theory describes closed string moduli in lower dimensions.
• Establish the connection between this holomorphic theory and ten-dimensional $N=1$ supergravity coupled to Yang-Mills.
• Compute the one-loop partition function and analyze its anomalies, verifying if they match the known Green-Schwarz anomaly cancellation conditions of heterotic supergravity ($SO(32)$ and $E_8 \times E_8$).
• Determine the counter-terms required to cancel these anomalies and identify the resulting geometric structures governing the moduli space.

2. Methodology

The authors employ a combination of Batalin-Vilkovisky (BV) formalism, complex geometry, and anomaly descent procedures.

• Linearized Theory Construction:

  • They generalize a six-dimensional complex (introduced in previous works by de la Ossa and Svanes) to ten dimensions on a complex five-fold $X$ with an $SU(5)$ structure.
  • They define a holomorphic extension bundle $Q \simeq \Lambda^{1,0} \oplus \text{End}(V) \oplus T^{1,0}$, where $V$ is a holomorphic vector bundle.
  • A differential operator $\bar{D}$ is constructed on the space of $(0, \bullet)$-forms with values in $Q$. This operator encodes the linearized Hull-Strominger system (including fluxes).
  • To quantize, they extend this to a double complex (Figure 2 in the paper) to accommodate gauge symmetries and ghosts, creating a BV complex with a symplectic pairing.

• Action Formulation:

  • Quadratic Action: A classical master action is written for quadratic fluctuations: $S = \int_X \langle y, \bar{D}y \rangle \wedge \Omega$.
  • Cubic Action: They generalize this to a cubic Chern-Simons-like theory: $S = \int_X (\langle y, \bar{D}y \rangle - \frac{1}{3}\langle y, [y, y] \rangle) \wedge \Omega$. The equations of motion reproduce the non-linear Maurer-Cartan equation for heterotic moduli.

• Anomaly Analysis:

  • The one-loop partition function is computed as a product of determinants of differential operators, which simplifies to holomorphic Ray-Singer torsions.
  • The anomaly is derived via the descent procedure applied to the curvature of the determinant line bundle over the moduli space.
  • They calculate the anomaly polynomial $P_{(6,6)}$ for the specific gauge groups $SO(32)$ and $E_8 \times E_8$.

• Cancellation Mechanisms:

  • The authors propose and compare four distinct methods to cancel the anomaly:
    1. Non-local counter-terms: Using Green's functions to cancel the anomalous phase directly.
    2. Green-Schwarz-like mechanism: Introducing a correction to the gauge transformation and adding local counter-terms, requiring the kinetic operator to be modified to $\bar{D}$.
    3. Local counter-terms with deformed instantons: Modifying the Hermitian Yang-Mills equations to "deformed instanton" equations to absorb the anomaly locally.
    4. Non-global cancellation: Using a descent procedure similar to Costello-Li, allowing for locally defined but non-globally well-defined counter-terms.

3. Key Contributions and Results

• Formulation of 10D Holomorphic Supergravity:
  The paper successfully constructs a ten-dimensional holomorphic field theory (a "twisted" version of supergravity) whose classical equations of motion are the Maurer-Cartan equation governing heterotic moduli. This theory reduces to holomorphic Chern-Simons theory when geometric deformations are turned off.

• Anomaly Factorization:
  The computed one-loop anomaly polynomial for the theory is shown to factorize exactly as in standard heterotic supergravity for the groups $SO(32)$ and $E_8 \times E_8$.
  $$P_{(6,6)} \propto (\text{ch}_2(X) - \frac{1}{2}\text{ch}_2(V)) \wedge P_{(4,4)}$$
  This provides strong evidence that the constructed holomorphic theory is indeed the $SU(5)$-twisted version of ten-dimensional supergravity coupled to Yang-Mills.

• The Double-Extension Complex:
  To cancel the anomaly while maintaining gauge invariance, the authors show that the differential operator must be corrected from $\bar{\partial}$ to a new operator $\bar{D}$.

  • This $\bar{D}$ defines a double-extension complex with non-tensorial extension classes.
  • Crucially, the first cohomology of this complex counts the infinitesimal moduli of heterotic compactifications, modulo $O(\alpha'^2)$ corrections. This links the quantum anomaly cancellation directly to the geometric moduli problem.

• Connection to Costello-Li Theory:
  The paper demonstrates that the constructed cubic theory is related to the Type I Kodaira-Spencer theory of Costello and Li via a non-local field redefinition. This connects the heterotic moduli problem to the Type I topological string.

• Comparison of Cancellation Methods:
  The authors provide a detailed comparison of the four cancellation methods (Table 1). They highlight that while non-local methods are simple, the local method using deformed instantons is the most physically robust, as it yields a local effective action but requires the background to satisfy deformed instanton equations rather than standard Hermitian Yang-Mills conditions.

4. Significance

• Bridging Physics and Mathematics: The work provides a rigorous mathematical framework (via BV formalism and cohomology) for understanding the quantum aspects of heterotic string compactifications on non-Kähler manifolds.
• Moduli Space Counting: It offers a new tool for enumerative geometry. The first cohomology of the double-extension complex provides a count of heterotic moduli, potentially aiding in the classification of non-Kähler geometries.
• Quantum Consistency: By showing that the anomaly cancellation mechanism naturally reconstructs the differential governing the moduli space, the paper suggests a deep unity between the consistency of the quantum theory (anomaly cancellation) and the geometry of the classical solution space.
• Future Directions: The paper opens avenues for studying higher-loop corrections, holomorphic anomaly equations, and the full $L_\infty$ algebra structure of the Hull-Strominger system. It also suggests that the "spurious" degrees of freedom often introduced in mathematical treatments of the Hull-Strominger system can be avoided by working with the correct quantum-corrected operator $\bar{D}$.

In summary, the paper conjectures and provides strong evidence that a specific holomorphic field theory on a Calabi-Yau five-fold is the twisted limit of ten-dimensional heterotic supergravity. It resolves the theory's quantum anomalies through a mechanism that fundamentally alters the geometric structure of the moduli space, linking the cancellation of the Green-Schwarz anomaly to the definition of the moduli counting complex.