Dai-Freed anomalies and level matching in heterotic asymmetric orbifolds

This paper interprets the standard consistency conditions for asymmetric heterotic orbifolds, specifically level matching and mod-2 constraints, as the vanishing of worldsheet Dai-Freed anomalies by computing spin-bordism invariants and analyzing higher-genus partition functions.

The Gist

The Big Picture: Building a Stable String Universe

Imagine you are an architect trying to build a skyscraper (a String Theory Universe) out of a very specific set of Lego bricks. These bricks are the fundamental particles and forces of nature.

In the world of string theory, there is a specific type of universe called the Heterotic String. It's like a hybrid vehicle: it has a "left side" and a "right side" that behave differently.

• The Right side is like a standard car engine (bosons and fermions working together).
• The Left side is like a high-performance, specialized engine (mostly fermions).

To make this universe work, you need to fold and twist the space it lives in. This process is called an Orbifold. Think of it like taking a piece of fabric, folding it in a specific pattern, and sewing the edges together to make a hat.

The Problem:
Sometimes, when you fold the fabric, the edges don't line up perfectly. The pattern gets distorted, or the fabric tears. In physics, this is called an Anomaly. If an anomaly exists, the universe is unstable—it would collapse instantly.

The Goal of the Paper:
The authors, Peng Cheng and Héctor Parra De Freitas, wanted to answer a simple question: "When is a specific fold (symmetry) safe to use, and when will it destroy the universe?"

They discovered that the old, complicated rules for checking if a fold is safe are actually the same as a modern, deep mathematical rule about "global consistency."

---

The Three Ways They Checked the Rules

The paper approaches this problem from three different angles, like looking at a sculpture from the front, the side, and the top.

1. The "Fermion Detective" (Section 2)

The Analogy: Imagine you have a team of dancers (the fermions) on a stage. You want to rotate the stage (apply a symmetry).

• If you rotate the stage by 90 degrees, do the dancers end up in a position where they can still dance?
• Or do they get stuck in a knot?

The authors used a mathematical tool called Bordism (think of it as a "shape-shifting" test). They asked: "If we take our stage and wrap it around a 3D shape, does the dance pattern hold together?"

• The Result: They found that for the universe to be stable, the "charges" (dance moves) of the fermions must add up to zero in a very specific way.
• The "Level Matching" Connection: They proved that this deep mathematical "shape-shifting" test gives the exact same answer as the old-school rule called Level Matching.
  • Old Rule: "The energy on the left must match the energy on the right."
  • New Rule: "The global shape of the dance must be consistent."
  • Conclusion: They are the same thing!

2. The "Music Composer" (Section 3)

The Analogy: Imagine the universe is a piece of music played on a drum (a Riemann Surface).

• The paper looks at the music played on a simple drum (one loop) and a complex drum (many loops).
• They use Theta Functions (which are like complex musical scores) to see how the music changes when you twist the drum.

The Discovery:
If you try to play the music with a specific twist (the symmetry), the score sometimes becomes "incoherent" (the notes clash). The authors showed that the conditions required to make the music coherent are exactly the same conditions they found in the "Fermion Detective" section. It's like proving that the sheet music and the dancer's moves are describing the same song.

3. The "Translator" (Section 4: Bosonization)

The Analogy: This is the most creative part.

• Fermions are like Chess pieces (they have strict, discrete rules).
• Bosons are like Water waves (they flow continuously).

In string theory, you can translate a theory of Chess pieces into a theory of Water waves. This is called Bosonization.

• The authors took a symmetry that was defined in the "Chess" language (Fermions) and translated it into the "Water" language (Bosons/Lattice theory).
• The Big Reveal: They checked if the "Anomaly" (the instability) existed in both languages.
  • Fermion Language: "The Chess pieces are clashing."
  • Boson Language: "The Water waves are crashing."
  • Result: The crash happens at the exact same moment in both languages. The "Level Matching" condition in the water world is the same as the "Anomaly Cancellation" in the chess world.

Why Does This Matter?

1. It Unifies Old and New Physics: For decades, string theorists have used "Level Matching" as a rule of thumb to build stable universes. This paper proves why that rule works. It shows that the rule isn't just a lucky guess; it's a fundamental requirement of the universe's geometry (Dai-Freed anomalies).
2. It's a Safety Check: If you want to build a new string theory model (a new universe), you can now use these deep mathematical tools to know instantly if your model will collapse.
3. It Connects Different Worlds: It shows that the "particle" view (fermions) and the "field" view (bosons) are perfectly consistent with each other, even when the universe is twisted in weird ways.

The "Elevator Pitch" Summary

Imagine you are folding a complex origami crane.

• The Old Way: You just check if the wings look symmetrical. (Level Matching).
• The New Way: You check if the paper tears when you try to fold it inside a 3D box. (Dai-Freed Anomalies).

This paper proves that if the wings look symmetrical, the paper will never tear. It connects the visual check we've used for 40 years with the deep, invisible geometry of the universe, confirming that our "origami" instructions are mathematically perfect.

Technical Summary

1. Problem Statement

The paper addresses the consistency conditions required for constructing perturbative string vacua via asymmetric orbifolds of the $E_8 \times E_8$ heterotic string.

• Context: In traditional orbifold constructions, consistency is governed by level-matching conditions (ensuring the left- and right-moving conformal weights match modulo integers) and discrete torsion.
• The Gap: Recent developments in generalized global anomalies frame these consistency questions in terms of bordism theory. Specifically, gauging a symmetry group $G$ is consistent if and only if the corresponding worldsheet anomaly vanishes.
• Objective: The authors aim to derive the standard level-matching constraints for asymmetric orbifolds directly from the perspective of Dai-Freed anomalies (global anomalies measured by bordism groups) and demonstrate the equivalence between the fermionic and bosonic descriptions of these constraints.

2. Methodology

The authors employ a multi-faceted approach combining algebraic topology, conformal field theory (CFT), and string theory techniques:

1. Bordism Analysis (Fermionic Description):

   • They analyze the worldsheet theory of the heterotic string in the fermionic description (pre-GSO projection).
   • They consider cyclic symmetries $G = \mathbb{Z}_m$ acting chirally on fermions and symmetrically on bosons.
   • They compute the Dai-Freed anomaly using the bordism group $\Omega^{\text{Spin}, \text{tor}}_{3d}(BG)$, which classifies global anomalies for 2D spin theories.
   • They utilize the Atiyah-Patodi-Singer (APS) $\eta$-invariant to evaluate anomalies on generators of the bordism group (e.g., Lens spaces $L^3_r(s)$ and $T^3$).

2. Partition Function Analysis (Higher-Genus):

   • They re-derive the anomaly constraints using the transformation properties of chiral fermion partition functions on a Riemann surface $\Sigma_g$ of genus $g$.
   • They apply the Family Index Theorem and modular transformation properties of Theta functions to determine the conditions under which the orbifold partition function is well-defined (modular invariant).

3. Bosonization and Anomaly Matching:

   • They compare the fermionic results with the bosonic $E_8$ lattice CFT description.
   • They analyze inner automorphisms of the $E_8$ lattice (defined by shift vectors) and determine the conditions under which these symmetries survive the fermionization process (mapping bosons back to fermions).
   • They explicitly match the anomaly classes computed in the bosonic lattice theory with those in the fermionic theory.

3. Key Contributions and Results

A. Derivation of Anomaly-Free Conditions via Bordism

The authors derive the precise conditions for the vanishing of global anomalies for a symmetry group $G' = \mathbb{Z}_m \times \mathbb{Z}_2^F$ (where $\mathbb{Z}_2^F$ represents GSO projections).

• For odd $m$: The anomaly cancellation condition is:
  $$\sum q_i^2 \equiv 0 \pmod m$$
  This reproduces the standard level-matching condition.
• For even $m$: The conditions are more stringent due to mixed anomalies involving the GSO projections:
  1. $\sum q_i^2 \equiv 0 \pmod{2m}$
  2. $\sum q_i \equiv 0 \pmod 2$ (for each set of fermions coupled to a specific GSO involution).
• Significance: These conditions are shown to be exactly equivalent to the familiar level-matching constraints required for the consistency of asymmetric orbifolds. This provides a rigorous topological justification for why level-matching is necessary: it is the condition for the vanishing of the Dai-Freed global anomaly.

B. Partition Function Perspective

Using the modular properties of Theta functions on $\Sigma_g$, the authors show that the obstruction to defining the orbifold partition function (the anomaly) is precisely the phase factor that must vanish for the theory to be consistent.

• They confirm that the conditions derived from the bordism group (topological) match those derived from the modular invariance of the partition function (geometric/analytic).
• They clarify the role of spin structures and the "backfiring bosonization" phenomenon, particularly for $m=4$ (mod 8) cases.

C. Boson-Fermion Anomaly Matching

A major contribution is the explicit matching of anomaly classes between the bosonic and fermionic descriptions for inner automorphisms of the $E_8$ lattice.

• Mapping: They establish a dictionary where a bosonic shift vector $w$ (defining a $\mathbb{Z}_m$ symmetry) corresponds to fermionic charges $q_A$.
• Result: The bosonic anomaly class $[Q^2]_N$ (where $Q=mw$) is shown to be equal to the fermionic anomaly class $\sum q_A^2$ modulo $N$ (where $N=m$ for odd $m$ and $N=2m$ for even $m$).
• Implication: This proves that the one-loop level-matching condition in the bosonic lattice theory is sufficient to guarantee the vanishing of the global anomaly in the fermionic theory, ensuring consistency to all loop orders for this class of symmetries.

D. Extension to Non-Abelian Groups

The paper briefly discusses non-abelian examples (e.g., $(\mathbb{Z}_2 \times \mathbb{Z}_2) \rtimes \mathbb{Z}_2$), suggesting that the bordism framework can be extended to provide all-loop consistency conditions for non-abelian asymmetric orbifolds, though a full classification is left for future work.

4. Significance

• Unification of Perspectives: The paper bridges the gap between the traditional "level-matching" rules of string theory and the modern mathematical framework of generalized global anomalies (bordism). It demonstrates that level-matching is not merely a technical requirement for modular invariance but a fundamental topological constraint (anomaly cancellation).
• Rigorous Justification: It provides a first-principles derivation of consistency conditions for asymmetric orbifolds using the Dai-Freed anomaly formalism, removing reliance on heuristic arguments.
• Fermion-Boson Duality: By explicitly matching anomalies across the bosonization/fermionization duality, the work strengthens the understanding of how global symmetries and their anomalies behave under duality transformations in 2D CFTs.
• Future Directions: The authors outline a path toward generalizing these results to non-abelian groups and more general Narain CFTs, potentially offering a complete set of consistency conditions for all perturbative heterotic string vacua.

In summary, the paper establishes that the Dai-Freed anomaly cancellation condition is the fundamental origin of the level-matching constraints in asymmetric heterotic orbifolds, unifying topological, geometric, and algebraic perspectives on string consistency.