On the trivalent junction of three non-tachyonic heterotic string theories

This paper argues that three non-tachyonic ten-dimensional heterotic string theories ($E_8\times E_8$, $SO(32)$, and $SO(16)\times SO(16)$) can be joined at a nine-dimensional junction by constructing a specific two-dimensional non-conformal $\mathcal{N}{=}(0,1)$ supersymmetric quantum field theory, which is presented as a special case of a general framework involving $\mathbb{Z}_2$-symmetric theories and their orbifolds.

The Gist

The Big Picture: Building a Bridge Between Three Worlds

Imagine the universe of string theory as a vast landscape made of different "countries." For a long time, physicists knew about two main countries in this landscape: the $E_8 \times E_8$ country and the $SO(32)$ country. Both are "supersymmetric," which is a fancy way of saying they are very stable, balanced, and follow strict rules of symmetry.

However, there is a third, stranger country called $SO(16) \times SO(16)$. It's non-supersymmetric (a bit more chaotic) and, crucially, it has no "tachyons" (which are like unstable particles that would make the whole country collapse).

For years, physicists wondered: Can we build a bridge connecting these three countries? Specifically, can we find a place where all three meet at a single point (a "junction")?

This paper, written by Yuji Tachikawa, says: Yes, we can. He describes how to construct a mathematical "road" that connects these three distinct string theories.

---

The Analogy: The Three-Pronged Fork

To understand how this works, imagine a three-pronged fork (or a Y-shaped junction).

1. The Handle (The Base): This represents a generic, underlying theory we'll call $T$. Think of this as a blank canvas or a raw material.
2. Prong 1: This is the original theory $T$ itself.
3. Prong 2: This is a version of the theory where we perform a specific "twist" or "fold" on it, called an orbifold ($T/Z_2$). Imagine taking a piece of paper, folding it in half, and gluing the edges together. You get a new shape, but it's made of the same paper.
4. Prong 3: This is a "super-twisted" version. We take the folded paper, add a special "magic dust" (a mathematical object called a spin invertible phase, $q$), and then fold it again. This creates the modified orbifold $(T \times q)/Z_2$.

The paper argues that you can build a single, unified system (a 2D quantum field theory) that has three "ends." If you walk down one end, you find the original theory. Walk down the second, and you find the folded version. Walk down the third, and you find the "magic dust" version.

How the Construction Works: The "Switch" Mechanism

The author uses a specific mathematical recipe to build this fork. Here is the simplified version:

• The Ingredients: He mixes in some extra ingredients (mathematical fields called chiral and Fermi multiplets) that act like a control switch.
• The Switch (Field $Z$): Imagine a dial labeled $Z$.
  • Turn the dial to "Positive Infinity" ($Z \gg 0$): The system settles into a state where the "fold" is undone. You are left with the original theory ($T$).
  • Turn the dial to "Negative Infinity" ($Z \ll 0$): The system splits into two paths.
    • One path leads to the folded theory ($T/Z_2$).
    • The other path leads to the magic-dust folded theory ($(T \times q)/Z_2$).

By connecting these three states to a central hub, the author creates a "junction" where the three theories meet.

Why This Matters: The "Equivalence" Secret

The most exciting part of the paper is what this junction implies about the nature of reality (or at least, the mathematics of it).

The junction suggests a deep equivalence. It's like saying:

"The original theory is mathematically equal to the sum of its two twisted versions."

In the paper's notation, this looks like:
$$T \sim (T/Z_2) + ((T \times q)/Z_2)$$

Think of it like a financial transaction:

• You have a bank account ($T$).
• You can split it into two new accounts: one that is "folded" and one that is "folded with a bonus."
• The paper proves that if you add the balances of those two new accounts, you get exactly the same total value as your original account.

The "Real World" Application

While this sounds like abstract math, the author applies it to the three specific string theories mentioned at the start:

1. $E_8 \times E_8$ (The original).
2. $SO(32)$ (The folded version).
3. $SO(16) \times SO(16)$ (The magic-dust version).

By proving these three can meet at a junction, the paper confirms that these three distinct versions of the universe are actually deeply connected parts of the same whole.

The Caveat: It's a "Blueprint," Not a "Building"

The author is honest about the limitations. He has built a non-conformal theory.

• Analogy: Imagine he has built a perfect, sturdy bridge made of scaffolding and wood. It connects the three islands perfectly.
• The Problem: To make it a real, usable highway for string theory, it needs to be paved with "concrete" (made conformal). This is a much harder engineering task that involves adding "dilaton gradients" (a type of background field) and is very delicate.
• The Conclusion: This paper provides the blueprint and proves the bridge can exist. The next step for other physicists is to pave the road and drive a car across it.

Summary

Yuji Tachikawa has shown that the three stable versions of heterotic string theory are not isolated islands. They are connected by a mathematical "Y-junction." By using a specific switching mechanism, he demonstrated that the original theory is equivalent to the combination of its two "twisted" cousins. This provides a unified framework for understanding how different versions of the universe might fit together.

Technical Summary

1. Problem Statement

The paper addresses the construction of a trivalent junction connecting three distinct ten-dimensional non-tachyonic heterotic string theories:

1. The supersymmetric $E_8 \times E_8$ theory.
2. The supersymmetric $SO(32)$ theory.
3. The non-supersymmetric, non-tachyonic $SO(16) \times SO(16)$ theory.

While recent work by Altavista et al. [AAAU26] established a general framework for constructing "bouquets" (junctions) of perturbative string theories by creating non-conformal worldsheet theories with multiple asymptotic ends, the specific construction for the junction of these three heterotic theories was left as an open exercise. The challenge lies in demonstrating that these three theories, which have different gauge groups and supersymmetry properties, can be unified at a single nine-dimensional codimension-one junction via a two-dimensional worldsheet theory.

2. Methodology

The author employs a two-dimensional $N=(0, 1)$ supersymmetric quantum field theory (SQFT) approach, utilizing the modern understanding of $\mathbb{Z}_2$ orbifolding and fermionization.

A. Theoretical Framework

The construction relies on a formal relationship between three types of theories derived from a parent theory $T$ with a non-anomalous $\mathbb{Z}_2$ symmetry:

1. $T$: The original theory (e.g., the $E_8 \times E_8$ current algebra).
2. $T/\mathbb{Z}_2$: The standard $\mathbb{Z}_2$ orbifold (corresponding to the $SO(32)$ theory).
3. $(T \times q)/\mathbb{Z}_2$: A modified $\mathbb{Z}_2$ orbifold where $q$ is a specific $\mathbb{Z}_2$-symmetric spin invertible theory. This corresponds to the non-supersymmetric $SO(16) \times SO(16)$ theory.

B. Field Content and Lagrangian

The author constructs a specific SQFT with the following components:

• Matter Fields:
  • Three chiral multiplets: $X$, $\tilde{X}$, and $Z$.
  • Two Fermi multiplets: $\Lambda$ and $\tilde{\Lambda}$.
• $\mathbb{Z}_2$ Parity Assignments:
  • Even: $X, Z, \Lambda$.
  • Odd: $\tilde{X}, \tilde{\Lambda}$.
• Gauging: The total $\mathbb{Z}_2$ symmetry is gauged. This is made anomaly-free by the inclusion of the $\mathbb{Z}_2$-odd pair of fermions ($\tilde{\lambda}$ from $\Lambda$ and $\psi_{\tilde{X}}$ from $\tilde{X}$).
• Superpotential: The interaction is defined by the superpotential:
  $$W = \int d\theta \left[ \Lambda(\tilde{X}^2 - X^2 - Z) + \tilde{\Lambda} X \tilde{X} \right]$$

3. Key Results and Analysis

The analysis of the classical scalar potential and supersymmetry conditions reveals the existence of three distinct asymptotic regions (ends) in the moduli space of the theory, parameterized by the scalar field $Z$.

A. The Scalar Potential and Vacua

The scalar potential is given by:
$$V = (\tilde{X}^2 - X^2 - Z)^2 + (X\tilde{X})^2$$
The supersymmetric vacua satisfy:
$$\tilde{X}^2 - X^2 = Z \quad \text{and} \quad X\tilde{X} = 0$$

This leads to two distinct classes of low-energy configurations:

1. Region $Z \gg 0$:

   • Solution: $\tilde{X} = \pm\sqrt{Z}$, $X = 0$.
   • Physics: The non-zero vacuum expectation value (VEV) of $\tilde{X}$ spontaneously breaks the $\mathbb{Z}_2$ gauge symmetry. The two asymptotic regions $\tilde{X} \to \pm \infty$ are identified.
   • Result: The theory reduces to the original theory $T$ (specifically $E_8 \times E_8$) on a half-line. The massive fermions generated do not produce non-trivial invertible phases.

2. Region $Z \ll 0$:

   • Solution: $X = \pm\sqrt{-Z}$, $\tilde{X} = 0$.
   • Physics: The $\mathbb{Z}_2$ gauge symmetry remains unbroken. The two asymptotic regions $X \to \pm \infty$ are distinct.
   • Fermion Analysis:
     • The fermion pair $(\lambda, \psi_X)$ is $\mathbb{Z}_2$-even and decouples from the gauge field.
     • The fermion pair $(\tilde{\lambda}, \psi_{\tilde{X}})$ is $\mathbb{Z}_2$-odd and couples to the gauge field $a$.
   • Invertible Phase: Using Pauli-Villars regularization, the massive fermion with negative mass generates a phase factor involving the Arf invariant. The total partition function acquires a phase:
     $$(-1)^{\text{Arf}(\sigma+a) - \text{Arf}(\sigma)} = (-1)^{q_\sigma(a)}$$
   • Result:
     • The branch with $\langle X \rangle > 0$ yields the standard orbifold $T/\mathbb{Z}_2$ (corresponding to $SO(32)$).
     • The branch with $\langle X \rangle < 0$ yields the modified orbifold $(T \times q)/\mathbb{Z}_2$ (corresponding to $SO(16) \times SO(16)$), where $q$ represents the spin invertible phase.

4. Key Contributions

• Explicit Construction: The paper provides the first explicit construction of a trivalent junction connecting the three non-tachyonic heterotic string theories ($E_8 \times E_8$, $SO(32)$, and $SO(16) \times SO(16)$) within a single non-conformal 2D SQFT.
• Generalization: It demonstrates that this junction is a specific instance of a broader mathematical structure relating a theory $T$, its orbifold $T/\mathbb{Z}_2$, and the modified orbifold $(T \times q)/\mathbb{Z}_2$.
• Equivalence Relation: The author establishes a formal equivalence relation in the space of SQFTs:
  $$T \sim (T/\mathbb{Z}_2) + ((T \times q)/\mathbb{Z}_2)$$
  This is interpreted as a relation between the original theory and the direct sum of its two orbifold variants.

5. Significance and Future Directions

• String Theory Unification: The work supports the hypothesis that seemingly distinct perturbative string theories are connected via non-perturbative or non-conformal transitions, specifically at codimension-one junctions.
• Topological Modular Forms (TMF): The equivalence relation derived ($T \sim S T + ST T$, using $S$ for orbifold and $T$ for tensoring with $q$) is suggested to correspond to relations in $\mathbb{Z}_2$-equivariant Topological Modular Forms. This bridges the gap between string theory constructions and deep mathematical structures in algebraic topology.
• Open Questions: The paper acknowledges that the current construction is non-conformal. A major future challenge is to "dress" this theory with dilaton gradients and interaction terms to promote it to a full-fledged conformal field theory (CFT) describing a genuine string background, particularly characterizing the physics of the central junction region where the three chiral theories meet.

In summary, Tachikawa successfully resolves the "exercise" posed by Altavista et al., proving that the three non-tachyonic heterotic string theories can be unified at a single junction through a carefully engineered 2D supersymmetric gauge theory, revealing deep structural connections between orbifolding, fermionization, and topological invariants.