Some remarks on strong $\mathrm{G}_2$-structures with torsion

This paper investigates the geometry of strong $\mathrm{G}_2T$-structures with torsion by establishing curvature characterizations, linking Ricci-flat solutions to the $\mathrm{SU}(3)$ heterotic system via $S^1$ reduction, constructing new examples with non-Ricci-flat connections, and classifying associated $\mathrm{G}_2$-flows using representation theoretic methods.

The Gist

Imagine you are an architect trying to build a perfect, seven-story skyscraper (a 7-dimensional space) that follows very strict, magical blueprints. In the world of mathematics, these blueprints are called $G_2$-structures. They are special because they allow for a kind of "perfect symmetry" that is incredibly rare and useful in both pure math and theoretical physics (like string theory).

However, building these skyscrapers is hard. Usually, you want them to be perfectly smooth and rigid (like a crystal). But sometimes, you want to allow for a little bit of "twist" or "torsion" in the structure to make it more flexible. This paper by Anna Fino and Udhav Fowdar is about a specific, very tricky type of twisted skyscraper called a Strong $G_2T$-structure.

Here is a breakdown of what they did, using simple analogies:

1. The "Twisted" Blueprint

Think of a standard building as having a rigid frame. A $G_2T$-structure is like a building where the frame is slightly twisted.

• The Twist ($T_\phi$): This is the "torsion." Imagine the floors aren't perfectly aligned; they are slightly rotated relative to each other.
• The "Strong" Condition: Usually, if you twist a building, the twist might get messy and change as you go up. A Strong structure is special because the twist is "closed." It's like a knot that is tied perfectly tight and doesn't unravel or change shape as you move through the building. It's a stable, self-contained twist.

2. The Big Mystery: Is the Building Flat?

In physics and math, we often look for buildings that are "Ricci-flat." Think of this as a building that has no internal stress or strain; it's perfectly balanced.

• The Old Belief: For a long time, the only known examples of these "Strong" twisted buildings were perfectly balanced (Ricci-flat). It was like everyone thought, "If you have a stable twist, the building must be stress-free."
• The New Discovery: Fino and Fowdar proved that this isn't true. They built local examples of these twisted buildings that are not stress-free. They found a "twisted knot" that holds its shape but still has internal tension. This was a major breakthrough because it showed the universe of these shapes is much bigger and more complex than we thought.

3. The "Shadow" Connection (The $S^1$ Reduction)

One of the paper's coolest tricks is looking at these 7-story buildings from a different angle.

• Imagine your 7-story building has a central elevator shaft that goes all the way up. If you look at the building from the side (ignoring the elevator shaft), you see a 6-story building.
• The authors showed that if your 7-story "Strong Twisted" building is stress-free, it corresponds to a very specific type of 6-story building (an $SU(3)$-structure) that solves a famous physics puzzle called the Heterotic System.
• It's like saying: "If you solve this complex 7D puzzle, you automatically solve a specific 6D puzzle." This connects two different worlds of geometry.

4. The "Flow" (Moving the Blueprint)

The paper also asks: "What happens if we let these buildings evolve over time?"

• In geometry, we have "flows," which are like time-lapse videos of a shape morphing into a better shape.
• The authors proposed new "flows" for these twisted buildings. They asked, "Can we design a rule that smooths out the building while keeping the 'twist' intact?"
• They found that yes, there are ways to do this, similar to how you might smooth out a crumpled piece of paper without tearing it. They proved that for a short time, these flows work, giving mathematicians a new tool to explore these shapes.

5. The "Magic" of the Lee Form

Throughout the paper, they talk about something called the Lee form (denoted by $\theta$).

• The Metaphor: Think of the Lee form as a "compass" or a "wind" flowing through the building.
• The authors discovered a deep relationship: If the building is stress-free (Ricci-flat), this "wind" flows in a very specific, parallel way. If the wind stops or changes direction, the building develops stress. They used this "wind" to create a checklist for identifying these special stress-free buildings.

Summary of the "Main Results" in Plain English:

1. We found new shapes: They built the first examples of these "Strong Twisted" buildings that have internal stress (not Ricci-flat), proving that the "perfectly balanced" ones aren't the only ones that exist.
2. We connected the dots: They showed a direct link between these 7D twisted buildings and 6D buildings used in string theory, acting like a translator between two different languages of geometry.
3. We invented a new tool: They created new "time-lapse" rules (flows) that allow mathematicians to watch these shapes change and potentially find even more perfect examples in the future.
4. We simplified the math: Instead of doing thousands of messy calculations, they used a "representation theory" method (like using a master key) to unlock the secrets of these shapes quickly and cleanly.

In a nutshell: This paper is about exploring a weird, twisted type of 7-dimensional space. The authors proved that these spaces can be "twisted" without being "perfectly balanced," connected them to 6-dimensional physics puzzles, and gave us new ways to move and study them. It's a significant step forward in understanding the hidden geometry of our universe.

Technical Summary

Here is a detailed technical summary of the paper "Some remarks on strong G2-structures with torsion" by Anna Fino and Udhav Fowdar.

1. Problem Statement and Motivation

The paper investigates the geometry of strong $G_2$-structures with torsion (strong $G_2T$-structures) on 7-manifolds.

• Context: A $G_2$-structure $\phi$ is called a $G_2T$-structure if it admits a metric connection $\nabla^T$ with totally skew-symmetric torsion $T_\phi$ that preserves the structure. If the torsion form $T_\phi$ is closed ($dT_\phi = 0$), it is termed a strong $G_2T$-structure.
• Motivation: The authors draw a strong analogy between strong $G_2T$-structures and SKT (Strong Kähler with Torsion) structures (or pluriclosed manifolds) in complex geometry. While SKT geometry is well-studied with many examples, strong $G_2T$-structures are poorly understood, with very few known non-trivial examples (primarily $S^3 \times S^3 \times S^1$ and $S^3 \times N^4$).
• Key Questions:
  1. What are the curvature properties of these manifolds, specifically regarding the characteristic Ricci tensor $\text{Ric}^T$?
  2. Can one characterize the condition where $\text{Ric}^T = 0$?
  3. How do these structures relate to $S^1$ reductions and $SU(3)$-structures?
  4. Do there exist strong $G_2T$-structures that are not characteristic Ricci-flat?
  5. Can one define geometric flows (analogous to the pluriclosed flow) that preserve the strong $G_2T$ condition?

2. Methodology

The authors employ a representation-theoretic approach based on the work of Robert Bryant [11].

• Decomposition of Tensors: Instead of using spinor calculus or tedious index calculations, they decompose differential forms and curvature tensors into irreducible $G_2$ (and $SU(3)$) modules (e.g., $\Lambda^k_p$).
• Invariant Quantities: They derive explicit formulas for curvature components (Ricci, Weyl, scalar curvature) and derivatives of intrinsic torsion forms ($\tau_0, \tau_1, \tau_2, \tau_3$) in terms of first and second-order invariants.
• Local vs. Global: A key methodological advantage is that most results are local; they do not require assumptions of compactness or completeness, allowing for the construction of local inhomogeneous examples.
• Reduction: They utilize $S^1$-reduction techniques (Gibbons-Hawking ansatz) to relate $G_2$-structures on 7-manifolds to $SU(3)$-structures on 6-manifolds.

3. Key Contributions and Results

A. Curvature and Characterization of Ricci-Flatness

The authors derive new expressions for the characteristic Ricci tensor $\text{Ric}^T$ and scalar curvature $\text{Scal}^T$.

• Theorem 3.14 (Main Characterization): For a strong $G_2T$-manifold with Lee form $\theta = 4\tau_1$, the following are equivalent:
  1. $\text{Ric}^T = 0$ (Characteristic Ricci-flat).
  2. $T_\phi$ is co-closed ($\delta T_\phi = 0$) and the vector field $\theta^\sharp$ preserves $\phi$.
  3. $\nabla^T \theta = 0$ (The Lee form is parallel with respect to the characteristic connection).
• Consequences: If $\text{Ric}^T = 0$, then $\tau_1$ has constant norm. If the manifold is compact and not torsion-free, it must have positive scalar curvature, implying the $\hat{A}$-genus vanishes.

B. Analogy with $SU(3)$-Structures

The paper establishes parallel results for 6-manifolds with skew-symmetric Nijenhuis tensors (almost Hermitian manifolds).

• Theorem 4.11: For almost SKT and almost CYT (Calabi-Yau with torsion) 6-manifolds, the vanishing of the Bismut-Ricci tensor ($\text{Ric}^B = 0$) is equivalent to the Lee form being parallel ($\nabla^B \nu_1 = 0$) and the torsion being co-closed.
• This generalizes known results in the complex case to the almost Hermitian setting.

C. $S^1$ Reduction and Heterotic Systems

• Theorem 5.5 & 6.1 (Gibbons-Hawking Type): The authors establish a correspondence between $S^1$-invariant strong $G_2T$-structures and solutions to the $SU(3)$ heterotic system on half-flat 6-manifolds.
• Specifically, a characteristic Ricci-flat strong $G_2T$-structure with non-vanishing Lee form corresponds to an abelian Hermitian Yang-Mills connection over a half-flat $SU(3)$-structure satisfying the "heterotic Bianchi identity" ($dT_\omega = -d\tau_1 \wedge d\tau_1$).
• Result: The quotient structure is never complex (the Nijenhuis tensor is non-zero), but rather has a skew-symmetric Nijenhuis tensor.

D. New Examples

The paper constructs several new classes of examples, challenging previous assumptions that all known examples are Ricci-flat or product metrics.

1. Distinct Structures on $S^3 \times S^3 \times S^1$: Two isometric but non-diffeomorphic strong $G_2T$-structures are constructed. One has a closed Lee form, the other does not.
2. Non-Ricci-Flat Examples (Section 7):
   • Harmonic but Non-Ricci-Flat: An example where $T_\phi$ is both closed and co-closed (harmonic), but $\text{Ric}^T \neq 0$ because the Lee form is not Killing.
   • Non-Harmonic Example: An example where $T_\phi$ is closed but not co-closed.
   • Cohomogeneity One: Explicit solutions on the spinor bundle of $S^3$ with $SU(2)^3$ symmetry. These are half-complete and have $\text{Ric}^T \neq 0$.
3. Holonomy: Unlike previous examples which were products, the new local examples have holonomy group equal to $SO(7)$.

E. Geometric Flows

The authors propose and analyze flows of $G_2$-structures.

• Co-closed Flows (Section 8.1): They define a 1-parameter family of flows for co-closed $G_2$-structures (generalizing the Laplacian co-flow). They prove short-time existence and uniqueness for a specific range of parameters (Theorem 8.5).
• Strong $G_2T$ Flows (Section 8.2): Inspired by the pluriclosed flow, they propose a flow (Equation 75) that induces a gauge-fixed solution to the generalized Ricci flow.
  • They establish short-time existence for this flow (Corollary 8.10) without initially assuming the strong condition is preserved.
  • They discuss the difficulty of proving that the flow preserves the condition $dT_\phi = 0$ and $\tau_2 = 0$.

4. Significance

• Theoretical Advancement: The paper provides the first systematic local characterization of strong $G_2T$-structures, moving beyond the limited global examples known previously.
• Counter-Examples: By constructing examples where $\text{Ric}^T \neq 0$, the authors demonstrate that the "Ricci-flat" condition is not automatic for strong $G_2T$-structures, correcting a potential misconception derived from the scarcity of known examples.
• Bridge to Physics: The connection to the $SU(3)$ heterotic system and the generalized Ricci flow places these geometric structures firmly within the context of string theory and supergravity (Hull-Strominger system).
• Methodological Impact: The use of Bryant's representation-theoretic methods simplifies complex curvature calculations and avoids spinor formalism, making the results more accessible and applicable to local geometry.

In summary, Fino and Fowdar significantly expand the landscape of strong $G_2T$-geometry by providing explicit curvature formulas, new existence theorems for flows, and a rich set of counter-examples that distinguish the local behavior of these structures from their global, compact counterparts.