Non-Supersymmetric String-String Dualities via Enriques Surfaces

Technical Summary: Non-Supersymmetric String-String Dualities via Enriques Surfaces

Problem Statement
While supersymmetric string dualities (specifically between Type II and heterotic strings) are well-established via compactification on K3 surfaces, the landscape of non-supersymmetric string theories remains less understood. Although non-supersymmetric settings have gained renewed interest from the perspective of quantum gravity, the web of interrelations among them is sparse. The central problem addressed in this paper is the construction of non-supersymmetric analogues of the six-dimensional Type II/heterotic string-string dualities. Specifically, the author seeks to determine if taking a specific quotient of the supersymmetric K3 compactification yields a consistent pair of non-supersymmetric dual theories.

Methodology
The paper employs a systematic orbifold construction approach, leveraging the geometric properties of Enriques surfaces (quotients of K3 surfaces by a fixed-point-free involution). The methodology proceeds in three main stages:

1. Heterotic Side Construction: The author reviews the construction of non-supersymmetric heterotic strings via an asymmetric orbifold of the Narain lattice $\Gamma_{d,d+16}$. A specific $\mathbb{Z}_4$ symmetry $h$ (acting as a $\mathbb{Z}_2$ involution on the lattice but $h^2 = (-1)^F$ on the Hilbert space) is applied to the heterotic string on $T^d$ ($d=4,5$). This results in a theory with a reduced moduli space and a spectrum containing tachyons in certain regions.
2. Type II Side Construction: The author constructs Type II superstring theories compactified on an Enriques surface, defined as $(T^4/\mathbb{Z}_2)/\mathbb{Z}_2$. The first $\mathbb{Z}_2$ ($g$) generates the K3 limit, and the second $\mathbb{Z}_2$ ($h$) is a fixed-point-free involution on the K3 surface. The Hilbert space is constructed by projecting the K3 Hilbert space under the action of $h$ and its powers ($h^2, h^3$). Crucially, the author notes that $h^2 = (-1)^F$, which projects out all perturbative spacetime fermions, rendering the theory non-supersymmetric.
3. Spectral Analysis and Moduli Identification: The partition functions for the untwisted, $h$-twisted, $h^2$-twisted, and $h^3$-twisted sectors are explicitly calculated using theta functions and lattice sums. The massless and tachyonic spectra are extracted for both Type IIA and Type IIB theories. The moduli spaces are identified locally by analyzing the surviving massless scalar fields and comparing them to the moduli spaces of Ricci-flat metrics on Enriques surfaces.
4. Type 0 Reinterpretation: The constructed theories are reinterpreted as Type 0A/0B strings compactified on Enriques surfaces. This provides a low-energy supergravity description and a framework for understanding the non-perturbative behavior of the spectra (e.g., the fate of tachyons at strong coupling).

Key Contributions and Results

• Construction of Non-Supersymmetric Duals: The paper proposes a specific duality map:

  • Type 0A on an Enriques surface is dual to the heterotic string on $T^4/\mathbb{Z}_2$ (where $\mathbb{Z}_2$ is the asymmetric orbifold action).
  • Type 0B on an Enriques surface is dual to the strong-coupling limit of the heterotic string on $T^5/\mathbb{Z}_2$.
  • This is achieved by taking the quotient of the standard Type II/heterotic K3 dualities by the involution $h$.

• Spectral Analysis:

  • Massless Spectrum: The author derives the massless spectra for Type IIA and IIB on Enriques surfaces.
    • IIA: Contains 41 massless scalars and 12 $U(1)$ vectors. The moduli space is locally $\frac{O(2,10)}{O(2)\times O(10)} \times \frac{O(2,10)}{O(2)\times O(10)} \times \mathbb{R}_{\text{dilaton}}$.
    • IIB: Contains 53 massless scalars and 14 tensor fields (7 self-dual, 7 anti-self-dual), satisfying gravitational anomaly cancellation. The moduli space is locally $\frac{O(3,11)}{O(3)\times O(11)} \times \frac{O(2,10)}{O(2)\times O(10)}$.
  • Tachyons: The spectrum contains both moduli-independent and moduli-dependent tachyons.
    • A moduli-independent tachyon appears in the $h^2$-twisted sector (NSNS).
    • Moduli-dependent tachyons appear in the $h$ and $h^3$ twisted sectors.
    • The paper notes that the moduli-independent tachyon is expected to become massive at strong coupling (via an M-theory lift argument), while the heterotic side lacks this specific perturbative tachyon.

• Moduli Space Matching: The paper demonstrates that the moduli spaces of the proposed dual pairs match locally. The reduction of the homology lattice from $(4,20)$ (K3) to $(2,10)$ (Enriques) on the Type II side corresponds to the decomposition of the Narain lattice on the heterotic side into invariant and anti-invariant sublattices under the action of $h$.

• Type 0 Interpretation: The work clarifies that Type II strings on an Enriques surface (with $h^2=(-1)^F$) are equivalent to Type 0 strings on the same geometry. This connects the construction to known non-supersymmetric Type 0 theories and their low-energy gravitational limits.

Significance and Claims
The paper claims to provide a concrete framework for surveying non-perturbative dualities in non-supersymmetric string theory. By utilizing the geometric quotient of K3 to Enriques surfaces, the author constructs a "pair of new non-supersymmetric theories that nevertheless remain related by duality."

The significance lies in:

1. Extending the Duality Web: It offers a systematic method to generate non-supersymmetric dualities from supersymmetric ones by applying a common discrete symmetry ($h$) to both sides of the duality.
2. Clarifying the Role of Enriques Surfaces: It explicitly calculates the spectra and moduli spaces for string theories on Enriques surfaces, filling a gap in the literature where such explicit calculations were previously absent.
3. Addressing Tachyonic Instabilities: The paper highlights the discrepancies in tachyon structures between the Type 0 and heterotic descriptions. It interprets the moduli-independent tachyon on the Type 0 side as a non-perturbative instability on the heterotic side, suggesting that the duality holds in a specific regime (likely strong coupling for Type 0) where these instabilities are resolved or shifted.

The author remains modest regarding the consistency of the theory in all regimes, noting that the presence of tachyons implies a "wrong choice of vacua" in certain regions of the moduli space and that the duality map relies on the assumption that the duality commutes with the quotient by $h$. The work serves as a proposal for non-supersymmetric analogues of string-string dualities, grounded in explicit worldsheet CFT constructions and low-energy supergravity matching.