arxiv: 2604.19634 · v1 · submitted 2026-04-21 · ✦ hep-th

Recognition: unknown

Dai-Freed anomalies and level matching in heterotic asymmetric orbifolds

Peng Cheng , Hector Parra De Freitas

Authors on Pith no claims yet

Pith reviewed 2026-05-10 02:03 UTC · model grok-4.3

classification ✦ hep-th

keywords Dai-Freed anomaliesheterotic asymmetric orbifoldslevel matchingspin-bordism invariantsE8 latticebosonizationcyclic symmetries

0

0 comments

The pith

The consistency conditions for asymmetric heterotic orbifolds arise exactly as the vanishing conditions for Dai-Freed anomalies computed from spin bordism.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that, for cyclic symmetries acting chirally on fermions and symmetrically on bosons, the global anomaly cancellation conditions obtained from spin-bordism invariants are identical to the standard level-matching constraints together with the extra mod-2 conditions that appear when the order is even. A sympathetic reader would care because this supplies a topological origin for the worldsheet consistency rules that have long been imposed by hand in heterotic model building. The same conditions are recovered from the transformation properties of higher-genus fermion partition functions, and the authors show that bosonization preserves the anomaly matching for a large class of inner automorphisms of the E8 lattice.

Core claim

In the fermionic description the conditions for vanishing Dai-Freed anomalies are exactly the familiar level-matching constraints, together with the additional mod-2 conditions that appear for even m. These conditions are derived by computing the relevant spin-bordism invariants directly from the worldsheet data and are shown to be matched under bosonization for inner automorphisms of the E8 times E8 lattice theory.

What carries the argument

Spin-bordism invariants associated to the chiral action of Z_m on the worldsheet fermions (with symmetric action on the bosons).

If this is right

Standard level-matching rules are re-derived as anomaly-cancellation requirements.
Extra mod-2 conditions must be imposed whenever the cyclic order m is even.
Anomaly cancellation is preserved under bosonization for inner automorphisms of the E8 lattice.
Higher-genus fermion partition functions transform in a manner consistent with the bordism invariants.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same bordism computation could be applied to non-cyclic discrete symmetries to generate new consistency conditions.
This viewpoint may unify level-matching requirements across different heterotic constructions without separate case-by-case checks.
One could test the equivalence by computing the bordism invariant for a concrete lattice automorphism already known to satisfy level matching.

Load-bearing premise

The symmetries act chirally on the fermions and symmetrically on the bosons, allowing the spin-bordism invariants to be read off from the worldsheet fields.

What would settle it

An explicit Z_m asymmetric orbifold model in which level matching holds yet a non-zero spin-bordism invariant is computed, or vice versa.

Figures

Figures reproduced from arXiv: 2604.19634 by Hector Parra De Freitas, Peng Cheng.

Figure 1. Figure 1: Second page of ASS for K ⊂ Ω Spin,tor 3d (BZn × BZ F 2 ) with 4|n Notice when n = 2, K = Z4. Next we use ASS to see that K = Z2 ⊕ Z2 when 4|n. To use ASS, first we need to find the module structure from H∗ (BZn × BZ2) of Steenrod subalgebra generated by8 Sq1 , Sq2 . The corresponding module structures are: Z2 ⊕ Σ 1Z2 ⊕ Σ 1S ⊕ Σ 2S ⊕ Σ 2A1/E1 ⊕ Σ 3A1/E1 ⊕ Σ 3R6 ⊕ Σ 4R6. (A.14) where the modules Z2, S, A1/E1… view at source ↗

read the original abstract

We study asymmetric orbifolds of the $E_8\times E_8$ heterotic string from the perspective of worldsheet Dai-Freed anomalies. Focusing on cyclic symmetries $G = \mathbb{Z}_m$ that act chirally on the fermions and symmetrically on the bosons, we compute the corresponding spin-bordism invariants and derive the conditions for the vanishing of global anomalies from this perspective. In the fermionic description, these conditions are exactly the familiar level-matching constraints, together with the additional mod-2 conditions that appear for even $m$. We then discuss the same conditions from the transformation properties of higher-genus fermion partition functions and explain how the anomaly is matched under bosonization for a large class of inner automorphisms of the $E_8\times E_8$ lattice theory. This gives an interpretation of the standard consistency conditions for asymmetric heterotic orbifolds from the Dai-Freed anomaly perspective.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper re-derives the standard level-matching conditions for cyclic asymmetric heterotic orbifolds from Dai-Freed anomalies via spin bordism, plus extra mod-2 rules for even m.

read the letter

The central point is that for Z_m actions chiral on fermions and symmetric on bosons in the E8xE8 heterotic string, the spin-bordism invariants that cancel global anomalies recover exactly the familiar level-matching constraints, along with mod-2 conditions when m is even. The authors also show how this matches the transformation properties of higher-genus fermion partition functions and how the anomaly is handled under bosonization for inner automorphisms of the lattice theory. That gives a topological account of rules that were previously known from direct consistency checks. The work is useful because it organizes these constraints under an independent invariant rather than deriving them from partition functions alone. The assumptions about the action are stated plainly, and the framing avoids circularity by starting from the bordism computation. The equivalence to known conditions holds up in the cases they treat, with no obvious fitting or extra parameters introduced. A minor limitation is the restriction to cyclic groups and this specific chiral-symmetric action; it does not claim to cover arbitrary asymmetric orbifolds. The explicit bordism steps are the load-bearing part, so the paper stands or falls on whether those calculations are fully spelled out and free of data selection. Readers working on heterotic model building or anomaly cancellation in strings will get the most from it, especially if they already know the level-matching rules and want to see them reappear from bordism. It is a clean, limited-scope result that connects two literatures without overclaiming. I would send it to peer review so the bordism details can be checked by specialists.

Referee Report

1 major / 2 minor

Summary. The manuscript claims that for cyclic Z_m symmetries acting chirally on fermions and symmetrically on bosons in E8×E8 heterotic asymmetric orbifolds, the Dai-Freed anomaly vanishing conditions obtained from spin-bordism invariants exactly reproduce the standard level-matching constraints together with additional mod-2 conditions for even m. These conditions are also derived from the transformation properties of higher-genus fermion partition functions, with an explanation of anomaly matching under bosonization for a large class of inner automorphisms of the E8×E8 lattice theory.

Significance. If the central derivation holds, the result is significant because it recovers the known consistency conditions for asymmetric heterotic orbifolds from an independent topological route (spin bordism) rather than direct fitting or self-referential arguments. The explicit matching in the fermionic description and the discussion of bosonization provide a bridge between worldsheet anomalies and lattice automorphisms, which may facilitate generalization to other orbifold constructions.

major comments (1)

[§4] §4 (spin-bordism computation): The central claim that the anomaly conditions match level-matching exactly depends on the explicit evaluation of the spin-bordism invariants for the Z_m action. The manuscript should include the step-by-step computation of the relevant bordism groups or invariants (including generators and how the chiral fermion action produces the mod-2 conditions for even m) to permit verification of the exact equivalence.

minor comments (2)

The abstract could briefly indicate the range of m considered or note that the result holds for general m.
[§5] In the bosonization discussion, an explicit example for a small inner automorphism (e.g., m=2) would clarify how the anomaly is matched.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments. We address the major comment below.

read point-by-point responses

Referee: [§4] §4 (spin-bordism computation): The central claim that the anomaly conditions match level-matching exactly depends on the explicit evaluation of the spin-bordism invariants for the Z_m action. The manuscript should include the step-by-step computation of the relevant bordism groups or invariants (including generators and how the chiral fermion action produces the mod-2 conditions for even m) to permit verification of the exact equivalence.

Authors: We agree that a more explicit, step-by-step presentation of the spin-bordism computation would improve verifiability. In the revised version we will expand §4 with a dedicated subsection that (i) recalls the relevant spin bordism groups Ω^{spin}_d(BZ_m), (ii) identifies their generators, (iii) specifies the map induced by the chiral fermion action, and (iv) shows explicitly how this map yields the mod-2 conditions for even m. The added material will be self-contained and will not alter the original results. revision: yes

Circularity Check

0 steps flagged

Derivation recovers known level-matching via independent spin-bordism computation

full rationale

The paper computes spin-bordism invariants directly from the worldsheet action of Z_m symmetries (chiral on fermions, symmetric on bosons) and shows that anomaly cancellation reproduces the standard level-matching conditions plus mod-2 constraints for even m. This constitutes an alternative topological derivation of pre-existing consistency requirements rather than any self-definitional loop, fitted-parameter prediction, or load-bearing self-citation. The central claim remains independent of the target result; the match to known constraints is presented as a verification, not a construction by definition. No steps reduce by construction to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the assumption that spin-bordism invariants fully capture the Dai-Freed anomalies for the chosen chiral fermion actions and that the E8 x E8 lattice admits the stated inner automorphisms; no free parameters or new entities are introduced.

axioms (2)

domain assumption Spin-bordism invariants detect the global anomalies of the worldsheet theory for the given symmetry actions.
Invoked when equating vanishing of the invariant to anomaly cancellation.
domain assumption The heterotic string fermions and bosons transform under the stated chiral/symmetric action of Z_m.
Central setup assumption for the orbifold construction.

pith-pipeline@v0.9.0 · 5451 in / 1344 out tokens · 35932 ms · 2026-05-10T02:03:22.032580+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

String probes, simple currents, and the no global symmetries conjecture
hep-th 2026-05 unverdicted novelty 6.0

Chiral simple current extensions on the worldsheet reproduce and generalize obstructions to gauging center one-form symmetries in 6d and 8d string compactifications while clarifying BPS particle requirements upon circ...

Reference graph

Works this paper leans on

40 extracted references · 24 canonical work pages · cited by 1 Pith paper · 2 internal anchors

[1]

Dixon, J.A

L.J. Dixon, J.A. Harvey, C. Vafa and E. Witten,Strings on Orbifolds,Nucl. Phys. B261(1985) 678

1985
[2]

Dixon, J.A

L.J. Dixon, J.A. Harvey, C. Vafa and E. Witten,Strings on Orbifolds. 2.,Nucl. Phys. B274(1986) 285

1986
[3]

Narain, M.H

K.S. Narain, M.H. Sarmadi and C. Vafa,Asymmetric Orbifolds,Nucl. Phys. B288 (1987) 551

1987
[4]

Narain, M.H

K.S. Narain, M.H. Sarmadi and C. Vafa,Asymmetric orbifolds: Path integral and operator formulations,Nucl. Phys. B356(1991) 163

1991
[5]

Vafa,Modular Invariance and Discrete Torsion on Orbifolds,Nucl

C. Vafa,Modular Invariance and Discrete Torsion on Orbifolds,Nucl. Phys. B273 (1986) 592

1986
[6]

Freed and C

D.S. Freed and C. Vafa,GLOBAL ANOMALIES ON ORBIFOLDS,Commun. Math. Phys.110(1987) 349

1987
[7]

Garc´ ıa-Etxebarria and M

I. Garc´ ıa-Etxebarria and M. Montero,Dai-Freed anomalies in particle physics, JHEP08(2019) 003 [1808.00009]

work page arXiv 2019
[8]

Y. Lee, K. Ohmori and Y. Tachikawa,Revisiting Wess-Zumino-Witten terms, SciPost Phys.10(2021) 061 [2009.00033]

work page arXiv 2021
[9]

Kaidi, J

J. Kaidi, J. Parra-Martinez, Y. Tachikawa and w.a.m.a.b.A. Debray,Topological Superconductors on Superstring Worldsheets,SciPost Phys.9(2020) 10 [1911.11780]

work page arXiv 2020
[10]

Classification of chiral fermionic CFTs of central charge≤16,

P. Boyle Smith, Y.-H. Lin, Y. Tachikawa and Y. Zheng,Classification of chiral fermionic CFTs of central charge≤16,SciPost Phys.16(2024) 058 [2303.16917]

work page arXiv 2024
[11]

Atiyah, V.K

M.F. Atiyah, V.K. Patodi and I.M. Singer,Spectral asymmetry and riemannian geometry. i,Math. Proc. Cambridge Philos. Soc.77(1975) 43

1975
[12]

Atiyah, V.K

M.F. Atiyah, V.K. Patodi and I.M. Singer,Spectral asymmetry and riemannian geometry. ii,Math. Proc. Cambridge Philos. Soc.78(1975) 405

1975
[13]

Cheng, M

P. Cheng, M.N. Milam and R. Minasian,Integral cubic form of 5D minimal supergravities and non-perturbative anomalies in 6D (1,0) theories,2509.18042. 32

work page arXiv
[14]

Tachikawa and K

Y. Tachikawa and K. Yonekura,Why are fractional charges of orientifolds compatible with Dirac quantization?,SciPost Phys.7(2019) 058 [1805.02772]

work page arXiv 2019
[15]

Dierigl, R

M. Dierigl, R. Minasian and D. Noviˇ ci´ c,Modified Abelian Gauge Theories, 2602.21282

work page arXiv
[16]

Asymmetric orbifolds with vanishing one-loop vacuum energy

V. Larotonda, M. Montero and M. Tartaglia,Asymmetric orbifolds with vanishing one-loop vacuum energy,2602.07113

work page internal anchor Pith review Pith/arXiv arXiv
[17]

Monnier and G.W

S. Monnier and G.W. Moore,Remarks on the Green–Schwarz Terms of Six-Dimensional Supergravity Theories,Commun. Math. Phys.372(2019) 963 [1808.01334]

work page arXiv 2019
[18]

Dierigl and M

M. Dierigl and M. Tartaglia,(Quadratically) Refined discrete anomaly cancellation, JHEP08(2025) 145 [2504.02934]

work page arXiv 2025
[19]

Davis and P

J.F. Davis and P. Kirk,Lecture Notes in Algebraic Topology, vol. 35 ofGraduate Studies in Mathematics, American Mathematical Society, Providence, RI (2001)

2001
[20]

M. Guo, K. Ohmori, P. Putrov, Z. Wan and J. Wang,Fermionic Finite-Group Gauge Theories and Interacting Symmetric/Crystalline Orders via Cobordisms, Commun. Math. Phys.376(2020) 1073 [1812.11959]

work page arXiv 2020
[21]

Alvarez-Gaume, G.W

L. Alvarez-Gaume, G.W. Moore and C. Vafa,Theta Functions, Modular Invariance and Strings,Commun. Math. Phys.106(1986) 1

1986
[22]

Bismut,The atiyah-singer index theorem for families of dirac operators,Invent

J. Bismut,The atiyah-singer index theorem for families of dirac operators,Invent. Math.83(1986) 91

1986
[23]

Beauville,Theta functions, old and new,Open problems and surveys of contemporary mathematics6(2013) 99

A. Beauville,Theta functions, old and new,Open problems and surveys of contemporary mathematics6(2013) 99

2013
[24]

Igusa,Theta Functions, vol

J.-I. Igusa,Theta Functions, vol. 194 ofGrundlehren der mathematischen Wissenschaften, Springer, Berlin (1972)

1972
[25]

Boyle Smith and Y

P. Boyle Smith and Y. Zheng,Backfiring Bosonisation,2403.03953

work page arXiv
[26]

Harvey, G.W

J.A. Harvey, G.W. Moore and C. Vafa,QUASICRYSTALLINE COMPACTIFICATION,Nucl. Phys. B304(1988) 269

1988
[27]

Baykara, H.-C

Z.K. Baykara, H.-C. Tarazi and C. Vafa,Quasicrystalline string landscape,Phys. Rev. D111(2025) 086025 [2406.00129]. 33

work page arXiv 2025
[28]

Kac,Infinite-Dimensional Lie Algebras, Cambridge University Press, Cambridge, 3 ed

V.G. Kac,Infinite-Dimensional Lie Algebras, Cambridge University Press, Cambridge, 3 ed. (1990)

1990
[29]

Topological Defect Lines and Renormalization Group Flows in Two Dimensions

C.-M. Chang, Y.-H. Lin, S.-H. Shao, Y. Wang and X. Yin,Topological Defect Lines and Renormalization Group Flows in Two Dimensions,JHEP01(2019) 026 [1802.04445]

work page Pith review arXiv 2019
[30]

On gauging finite subgroups,

Y. Tachikawa,On gauging finite subgroups,SciPost Phys.8(2020) 015 [1712.09542]

work page arXiv 2020
[31]

Davighi, B

J. Davighi, B. Gripaios and N. Lohitsiri,Anomalies of non-Abelian finite groups via cobordism,JHEP09(2022) 147 [2207.10700]

work page arXiv 2022
[32]

Aldazabal, E

G. Aldazabal, E. Andr´ es, A. Font, K. Narain and I.G. Zadeh,Asymmetric orbifolds, rank reduction and heterotic islands,JHEP08(2025) 083 [2501.17228]

work page arXiv 2025
[33]

Harvey and G.W

J.A. Harvey and G.W. Moore,An Uplifting Discussion of T-Duality,JHEP05 (2018) 145 [1707.08888]

work page arXiv 2018
[34]

Boyle Smith and J

P. Boyle Smith and J. Davighi,Bosonisation Cohomology: Spin Structure Summation in Every Dimension,2511.13718

work page arXiv
[35]

Witten,Duality relations among topological effects in string theory,JHEP05 (2000) 031 [hep-th/9912086]

E. Witten,Duality relations among topological effects in string theory,JHEP05 (2000) 031 [hep-th/9912086]

work page arXiv 2000
[36]

Eguchi and H

T. Eguchi and H. Ooguri,Chiral Bosonization on Riemann Surface,Phys. Lett. B 187(1987) 127

1987
[37]

Classification of abelian spin Chern-Simons theories

D. Belov and G.W. Moore,Classification of Abelian spin Chern-Simons theories, hep-th/0505235

work page internal anchor Pith review arXiv
[38]

Gukov, E

S. Gukov, E. Martinec, G.W. Moore and A. Strominger,Chern-Simons gauge theory and the AdS(3) / CFT(2) correspondence, inFrom Fields to Strings: Circumnavigating Theoretical Physics: A Conference in Tribute to Ian Kogan, pp. 1606–1647, 3, 2004, DOI [hep-th/0403225]

work page arXiv 2004
[39]

Hsieh, Y

C.-T. Hsieh, Y. Tachikawa and K. Yonekura,Anomaly of the Electromagnetic Duality of Maxwell Theory,Phys. Rev. Lett.123(2019) 161601 [1905.08943]

work page arXiv 2019
[40]

Beaudry and J.A

A. Beaudry and J.A. Campbell,A guide for computing stable homotopy groups, 1801.07530. 34

work page arXiv