⚛️ high-energy theory

Towards Wedge Construction of Four-Dimensional Non-Supersymmetric Theories and Torsion Classes

This paper investigates M-theory compactifications on a seven-manifold with G₂ structure to characterize four-dimensional non-supersymmetric theories, demonstrating how G₂ and SU(3) torsion classes describe supersymmetry breaking and revealing that while U-duality may hold in the supersymmetric limit, it requires caution when applied to the resulting Type 0A and Type 0 heterotic theories.

Original authors: Keshav Dasgupta, Radu Tatar

Published 2026-09-15

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Keshav Dasgupta, Radu Tatar

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

String theory is a framework that attempts to describe the fundamental building blocks of the universe not as point-like particles, but as tiny, vibrating strings. For decades, the most successful versions of this theory have relied on a property called supersymmetry, a mathematical symmetry that pairs every known particle with a heavier, unseen partner. This symmetry makes the equations much easier to solve and keeps the theory stable. However, our actual universe does not appear to have this symmetry; the particles we see do not have these heavy partners, and the theory breaks down when we try to force it to describe a world without them. Physicists have long struggled to build a controlled, reliable model of string theory that works without supersymmetry, fearing that without it, the geometry of the hidden dimensions would become chaotic and unpredictable.

The researchers in this study, Keshav Dasgupta and Radu Tatar, have tackled this difficult problem by constructing a specific, controlled model of a universe without supersymmetry. They started with a version of string theory called M-theory, which unifies different string theories, and imagined it compacted into a seven-dimensional shape. Usually, these shapes are smooth and perfect, but the team introduced a deliberate flaw: a "pinch" where the geometry folds in on itself, creating a singular point where two circular paths meet. This pinch is not just a geometric curiosity; it is the engine that breaks the supersymmetry. By studying how the fields and forces behave around this pinch, the authors developed a new way to map the chaotic data of a non-supersymmetric universe into a structured language. They found that even without the protective shield of supersymmetry, the geometry of the universe can still be described with precision if one uses the right mathematical tools to track how the space twists and turns.

The core of their work involves a specific geometric shape known as a "wedge," where two circles meet at a single point, resembling a lopsided figure-eight. In their model, the universe is built by wrapping a complex, four-dimensional surface called a K3 manifold around a three-dimensional base, but with this wedge shape replacing a standard circle. This setup creates a unique environment where the usual rules of smooth geometry fail. The researchers realized that instead of trying to smooth out this pinch, they should embrace it as a source of new physical data. They discovered that the way the space twists around this pinch can be categorized into specific "torsion classes." Think of torsion as a measure of how much a shape fails to close perfectly when you try to draw a loop on it; in a smooth, supersymmetric world, these failures are zero, but in their non-supersymmetric model, the torsion is nonzero and carries the physical information about the broken symmetry.

To understand what this means for the physics of the universe, the team explored two different ways to shrink this seven-dimensional model down to the ten dimensions of standard string theory. The first route involved shrinking the wedge circle first, which led to a theory known as Type 0A. The second route involved shrinking a different part of the geometry first, leading to a theory called Type 0 Heterotic. In a supersymmetric world, these two routes would be perfectly equivalent, like looking at the same object from two different angles. However, in this non-supersymmetric setting, the authors found that the two routes produce different results. The data from the pinch appears in the first route immediately, but in the second route, it only shows up after the second step of shrinking. This means the two theories are not identical copies of each other; they are different effective descriptions of the same underlying M-theory data, organized in distinct ways.

The researchers used the language of torsion classes to organize the messy data coming from the pinch, the fluxes (which are like magnetic fields in higher dimensions), and the twisting of the geometry. They showed that the pinch itself acts as a localized source of "torsion," a specific kind of geometric distortion that feeds into the mathematical structure of the theory. Crucially, they demonstrated that this pinch is not just a random defect but corresponds to a specific physical field known as a tachyon. In string theory, a tachyon usually signals an instability, a sign that the system wants to change its shape. Here, the size of the pinch is directly linked to the value of this tachyon field. When the two branches of the wedge are equal in size, the tachyon is zero, but the system is still not supersymmetric because other geometric twists remain. Only when the tachyon condenses and one of the branches collapses entirely does the system flow into a stable, supersymmetric state, recovering the familiar physics of Type IIA string theory.

One of the most significant findings is a warning about how we interpret these models. While the two different reduction routes (Type 0A and Type 0 Heterotic) produce matching spectra of particles and similar gauge symmetries, the authors argue that this does not prove they are the same theory in a deep, microscopic sense. In the supersymmetric world, such a match would guarantee a powerful duality, meaning the two descriptions are mathematically identical. In this non-supersymmetric world, the match is only a "structural correspondence." The two theories organize the same ingredients differently, and the localized degrees of freedom at the pinch—the specific vibrations and fields trapped at the singular point—do not necessarily match up perfectly between the two views. The authors suggest that while the two routes are highly related and likely describe the same physics, claiming they are strictly dual requires much more evidence, particularly regarding how the localized fields at the pinch interact and behave.

The study concludes that the torsion-class framework is a powerful tool for taming the chaos of non-supersymmetric string theory. It allows physicists to take a singular, pinched geometry and translate it into a set of organized mathematical categories that describe the breaking of symmetry, the behavior of forces, and the structure of the gauge groups. By treating the pinch not as a problem to be solved but as a feature to be cataloged, the researchers have provided a clear, controlled language for discussing these difficult theories. They have shown that even without the safety net of supersymmetry, the universe can be described with rigor, provided one accepts that the geometry is twisted and that the two different ways of viewing the theory are related by structure rather than by simple identity. This work opens a path for constructing more realistic models of the universe, moving beyond the idealized supersymmetric cases to explore the complex, broken symmetries that characterize our actual reality.

Technical Summary: Towards Wedge Construction of Four-Dimensional Non-Supersymmetric Theories and Torsion Classes

Problem Statement
A major challenge in string theory is the construction of controlled non-supersymmetric compactifications where geometry, fluxes, gauge sectors, and localized degrees of freedom can be analyzed within a single framework. Unlike supersymmetric compactifications, which benefit from rigid constraints like special holonomy and calibrated cycles, non-supersymmetric backgrounds involve intrinsic torsion, non-Kähler geometries, and branch-dependent sectors that are less constrained. Specifically, recent proposals relating non-supersymmetric Type 0A theory to M-theory compactified on a singular wedge geometry ( $S^1_+ \vee S^1_-$ ) require a systematic language to characterize the resulting torsion and supersymmetry breaking. The central problem addressed is how to organize the data of such singular, non-supersymmetric M-theory compactifications and determine the extent to which the resulting Type 0A and Type 0 Heterotic (0HW) descriptions are dual.

Methodology
The authors propose an effective geometric framework based on M-theory compactified on a seven-manifold ( $M_7$ ) with a $G_2$ structure, realized locally as a K3 fibration over a compact three-manifold ( $\Sigma_3$ ). The methodology proceeds through the following steps:

Geometric Setup: The local fiber geometry is deformed from a smooth circle to a singular wedge $S^1_+ \vee S^1_-$ , motivated by the Baykara–Dudas–Vafa (BDV) proposal. This introduces a branch-even radius modulus ( $R_B$ ) and a branch-odd modulus ( $T$ ), identified with the Type 0 tachyon.
Torsion Formalism: Instead of assuming $G_2$ holonomy (which implies supersymmetry), the authors utilize a general torsional $G_2$ structure as a "geometric bookkeeping device." The intrinsic torsion classes ( $\tau_0, \tau_1, \tau_2, \tau_3$ ) of the seven-manifold are used to encode the failure of the defining forms to be closed, capturing contributions from non-trivial fibrations, internal fluxes, and the singular pinch.
Branchwise Decomposition: The M-theory fields and fluxes are decomposed into branch-even and branch-odd components. The authors argue that while the NSNS sector remains single (SSP - Single Smooth Projection), the RR sector effectively doubles (DRP - Doubled Resolution Property) due to the singular junction structure.
Two Reduction Routes: The system is reduced to four dimensions via two inequivalent orders of compactification:
- Route A (Type 0A): M-theory $\to$ Compactification on the wedge circle ( $S^1_+ \vee S^1_-$ ) $\to$ Type 0A $\to$ Reduction on the Hořava–Witten interval.
- Route B (Type 0HW): M-theory $\to$ Compactification on the Hořava–Witten interval $\to$ Type 0HW $\to$ Reduction on the wedge circle.
SU(3) Structure Analysis: Upon reduction to ten and subsequently four dimensions, the $G_2$ structure induces an $SU(3)$ structure on the internal six-manifold. The five $SU(3)$ torsion classes ( $W_1, \dots, W_5$ ) are analyzed to characterize the non-Kähler geometry and supersymmetry breaking in both routes.

Key Contributions and Results

Characterization of the Pinch: The paper demonstrates that the localized pinch deformation (the singular wedge) naturally resides in the 27 representation of the $G_2$ intrinsic torsion ( $\tau_3$ ). This is argued to be the primitive traceless component, distinct from singlet (volume) or Lee-form deformations.
Descent to SU(3) Torsion: Upon reduction to the six-dimensional $SU(3)$ structure, the parent $G_2$ 27 component branches into $8 \oplus 6 \oplus 6$ . Consequently, the localized pinch source contributes directly to both the primitive $(1,1)$ torsion class $W_2$ (via the 8) and the primitive $(2,1)+(1,2)$ torsion class $W_3$ (via the $6 \oplus 6$ ).
Differential Organization of Data: The two reduction routes organize the same parent M-theory data differently:
- In the Type 0A route, the wedge data (flux, fibration, and pinch) are present in the first reduction step. The resulting torsion classes ( $W^{(0A)}_i$ ) immediately contain branch-even, branch-odd, and pinch-induced terms.
- In the Type 0HW route, the first reduction is on the interval, yielding a simpler 10D torsion structure. The wedge-induced corrections ( $\Delta_{wedge} W_i$ ) appear only after the second reduction on the wedge circle.
Gauge Sector Analysis: The paper constructs the four-dimensional gauge algebras for both routes.
- Type 0A: The gauge sector arises from orientifold/D-brane data and doubled RR fields, constrained by bundle holonomy, monodromy, and flux-induced Stückelberg masses.
- Type 0HW: The gauge sector originates from the Hořava–Witten wall $E_8 \times E_8$ , which resolves into branch-wise $SO(16)$ factors. The surviving algebra is determined by commutant conditions on these branch-resolved factors.
- Result: While the mathematical architecture of the projections (holonomy, monodromy, mass-kernel, wedge-deformation) is parallel, the parent gauge algebras and the physical origin of the projections differ.
Supersymmetry Restoration: The authors clarify that setting the tachyon modulus $T=0$ (the symmetric wedge point) does not automatically restore supersymmetry. Supersymmetry is only restored if the remaining flux and fibration-induced torsion classes satisfy the specific Killing-spinor constraints (e.g., $W_1=W_2=0$ and $2W_4+W_5=0$ for heterotic) and if the tachyonic fluctuation is stabilized. The true supersymmetric Type IIA endpoints correspond to the collapse of one branch ( $R_\pm = 0$ ), not merely the symmetric point.

Significance and Claims
The paper claims to provide a controlled effective framework for analyzing non-supersymmetric wedge compactifications. Its primary significance lies in:

Unifying Language: Establishing $G_2$ and $SU(3)$ torsion classes as the natural variables for organizing the geometry, flux, and localized pinch data of non-supersymmetric backgrounds, even in the absence of supersymmetry.
Structural Correspondence: Demonstrating that the Type 0A and Type 0HW descriptions exhibit a controlled structural correspondence. When reduced to the same dimension (9D), their spectra, torsion classes, and gauge sectors match in terms of representation channels and projection logic.
Modesty on Duality: The authors explicitly do not claim to derive a complete microscopic U-duality between the two non-supersymmetric branches. They argue that while the structural matching is strong evidence, it is insufficient to prove a full duality away from the supersymmetric endpoints. A genuine duality would require matching localized junction modes, interaction terms, anomaly constraints, and flux quantization, which are not fully determined by the effective torsion analysis alone.

In conclusion, the paper offers a precise effective description of two distinct reduction routes, showing they organize the same parent M-theory data into parallel but distinct effective frames, with the torsion-class formalism serving as the bridge for comparison.

More like this