What makes spacetime spin in string theory?
Pith reviewed 2026-06-26 23:16 UTC · model grok-4.3
The pith
Type II string theory requires spacetime to be spin due to consistency of the worldsheet GSO projection.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The requirement that the target spacetime X admit a spin structure in type II string theory in the absence of orientifolds arises directly from the consistency of the worldsheet GSO projection. The obstruction is a mixed global anomaly between (-1)^{F_L} and the target space background data, detected by the spin bordism group Omega_3^spin(B Z_2 x X). The paper computes the relevant mixed bordism group and identifies the bordism class of the GSO-projected worldsheet theory. For smooth target spaces, vanishing of the anomaly reduces to the condition that X is spin, while for general orbifolds [X-hat / G], X-hat has to carry a G-equivariant spin structure.
What carries the argument
The mixed global anomaly between (-1)^{F_L} and target space background data, detected and classified by the spin bordism group Omega_3^spin(B Z_2 x X), whose vanishing enforces consistency of the GSO-projected worldsheet theory.
If this is right
- For smooth target spaces the anomaly vanishes if and only if X admits a spin structure.
- For orbifold targets [X-hat / G] the covering space X-hat must admit a G-equivariant spin structure.
- All theta angles in the worldsheet theory correspond exactly to the continuous and discrete background fields of the target space theory that are visible in string perturbation theory.
Where Pith is reading between the lines
- The same bordism obstruction could be applied to other discrete symmetries or projections in the worldsheet theory to derive additional geometric constraints on allowed backgrounds.
- The classification of theta angles suggests a direct dictionary between worldsheet parameters and target-space fluxes that might simplify calculations of certain string amplitudes.
Load-bearing premise
The mixed global anomaly between (-1)^{F_L} and target space background data is correctly captured and classified by the spin bordism group Omega_3^spin(B Z_2 x X).
What would settle it
Explicit computation of the bordism class of the GSO-projected worldsheet theory on a smooth non-spin manifold X, finding that the class is nonzero and the anomaly does not cancel.
read the original abstract
Type II string theory in the absence of orientifolds requires the target spacetime $X$ to admit a spin structure. We show that this familiar requirement arises directly from the consistency of the worldsheet GSO projection. The obstruction is a mixed global anomaly between $(-1)^{\text{F}_L}$ and the target space background data, detected by the spin bordism group $\Omega_3^{\mathrm{spin}}(B\mathbb{Z}_2\times X)$. We compute the relevant mixed bordism group and identify the bordism class of the GSO-projected worldsheet theory. For smooth target spaces, vanishing of the anomaly reduces to the condition that $X$ is spin, while for general orbifolds $[\hat{X}/G]$, $\hat{X}$ has to carry a $G$-equivariant spin structure. We also classify all possible theta angles in the worldsheet theory and show that they correspond to all possible continuous and discrete background fields of the target space theory visible in string perturbation theory.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that the requirement for the target spacetime X to admit a spin structure in Type II string theory (absent orientifolds) follows directly from consistency of the worldsheet GSO projection. The obstruction is identified as a mixed global anomaly between (-1)^{F_L} and target-space data, detected by the spin bordism group Ω₃^spin(Bℤ₂ × X). The authors compute this mixed bordism group, identify the bordism class of the GSO-projected worldsheet theory, and show that its vanishing enforces that X is spin (or carries a G-equivariant spin structure for orbifolds [X̂/G]). They additionally classify all possible theta angles in the worldsheet theory and relate them to continuous and discrete background fields visible in string perturbation theory.
Significance. If the bordism computation and class identification hold, the result supplies a direct worldsheet derivation of the spin condition via standard bordism machinery applied to the GSO setup, rather than an ad-hoc geometric requirement. This strengthens the link between worldsheet anomalies and target-space geometry. The classification of theta angles provides an additional concrete link between worldsheet parameters and target-space fields in perturbative string theory.
major comments (1)
- [Bordism computation and class identification (abstract and main computation sections)] The central claim that vanishing of the anomaly reduces to the ordinary spin condition on X (or its equivariant version) rests on the precise identification of the GSO-projected worldsheet theory as a specific class in Ω₃^spin(Bℤ₂ × X) whose vanishing enforces that condition. The abstract asserts that the group is computed and the class identified, but supplies neither the explicit generators, the spectral sequence or Atiyah-Hirzebruch computation, nor the bordism invariant that detects the class. Without these steps it is impossible to confirm that no extra torsion or extension appears that would weaken the reduction to the spin condition.
minor comments (1)
- Notation for the orbifold [X̂/G] and the precise meaning of G-equivariant spin structure could be expanded with a short definition or reference in the introduction for readers less familiar with equivariant bordism.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for identifying the need for greater explicitness in the bordism computation. We will revise the manuscript to incorporate the requested details.
read point-by-point responses
-
Referee: The central claim that vanishing of the anomaly reduces to the ordinary spin condition on X (or its equivariant version) rests on the precise identification of the GSO-projected worldsheet theory as a specific class in Ω₃^spin(Bℤ₂ × X) whose vanishing enforces that condition. The abstract asserts that the group is computed and the class identified, but supplies neither the explicit generators, the spectral sequence or Atiyah-Hirzebruch computation, nor the bordism invariant that detects the class. Without these steps it is impossible to confirm that no extra torsion or extension appears that would weaken the reduction to the spin condition.
Authors: We agree that the explicit steps of the bordism computation must be presented in full to allow independent verification. In the revised manuscript we will expand the main computation sections to list the generators of Ω₃^spin(Bℤ₂ × X), display the Atiyah-Hirzebruch spectral sequence used to compute the group, and specify the bordism invariant that isolates the class of the GSO-projected theory. This will demonstrate directly that no additional torsion or extension obstructs the reduction to the ordinary (or G-equivariant) spin condition on the target space. revision: yes
Circularity Check
No significant circularity; derivation uses independent bordism computation
full rationale
The paper derives the spin condition on target space X from consistency of the worldsheet GSO projection by computing the mixed anomaly in the spin bordism group Ω₃^spin(Bℤ₂ × X) and identifying the relevant class. This is a direct mathematical computation rather than a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. No quoted step reduces the claimed result to its own inputs by construction; the bordism classification is presented as an external mathematical fact applied to the GSO setup. The central claim therefore retains independent content from the bordism machinery.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Global anomalies between worldsheet operators and target space data are detected by the spin bordism group Ω₃^spin(Bℤ₂ × X)
Reference graph
Works this paper leans on
-
[1]
Gepner,Exactly Solvable String Compactifications on Manifolds ofSU(N)Holonomy,Phys
D. Gepner,Exactly Solvable String Compactifications on Manifolds ofSU(N)Holonomy,Phys. Lett. B199(1987) 380
1987
-
[2]
Banks, L.J
T. Banks, L.J. Dixon, D. Friedan and E.J. Martinec,Phenomenology and Conformal Field Theory Or Can String Theory Predict the Weak Mixing Angle?,Nucl. Phys. B299(1988) 613
1988
-
[3]
Banks and L.J
T. Banks and L.J. Dixon,Constraints on String Vacua with Space-Time Supersymmetry,Nucl. Phys. B307(1988) 93
1988
-
[4]
Goddard and C.B
P. Goddard and C.B. Thorn,Compatibility of the Dual Pomeron with Unitarity and the Absence of Ghosts in the Dual Resonance Model,Phys. Lett. B40(1972) 235
1972
-
[5]
Seiberg and E
N. Seiberg and E. Witten,Spin Structures in String Theory,Nucl. Phys. B276(1986) 272
1986
-
[6]
Gliozzi, J
F. Gliozzi, J. Scherk and D.I. Olive,Supersymmetry, Supergravity Theories and the Dual Spinor Model,Nucl. Phys. B122(1977) 253
1977
-
[7]
Alvarez-Gaume, P.H
L. Alvarez-Gaume, P.H. Ginsparg, G.W. Moore and C. Vafa,AnO(16)×O(16)Heterotic String,Phys. Lett. B171(1986) 155
1986
-
[8]
Witten,Global Gravitational Anomalies,Commun
E. Witten,Global Gravitational Anomalies,Commun. Math. Phys.100(1985) 197
1985
-
[9]
Killingback,World Sheet Anomalies and Loop Geometry,Nucl
T.P. Killingback,World Sheet Anomalies and Loop Geometry,Nucl. Phys. B288(1987) 578
1987
-
[10]
Y. Tachikawa and M. Yamashita,Topological Modular Forms and the Absence of All Heterotic Global Anomalies,Commun. Math. Phys.402(2023) 1585 [2108.13542]
arXiv 2023
- [11]
-
[12]
Witten,On flux quantization inM-theory and the effective action,J
E. Witten,On flux quantization inM-theory and the effective action,J. Geom. Phys.22 (1997) 1 [hep-th/9609122]. – 27 –
Pith/arXiv arXiv 1997
-
[13]
D.S. Freed and M.J. Hopkins,Consistency of M-Theory on Non-Orientable Manifolds,Quart. J. Math.72(2021) 603 [1908.09916]
arXiv 2021
- [14]
-
[15]
A. Kapustin, R. Thorngren, A. Turzillo and Z. Wang,Fermionic Symmetry Protected Topological Phases and Cobordisms,JHEP12(2015) 052 [1406.7329]
Pith/arXiv arXiv 2015
-
[16]
D.S. Freed and M.J. Hopkins,Reflection positivity and invertible topological phases,Geom. Topol.25(2021) 1165 [1604.06527]
arXiv 2021
-
[17]
Yonekura,Dai-Freed theorem and topological phases of matter,JHEP09(2016) 022 [1607.01873]
K. Yonekura,Dai-Freed theorem and topological phases of matter,JHEP09(2016) 022 [1607.01873]
Pith/arXiv arXiv 2016
-
[18]
I. García-Etxebarria and M. Montero,Dai-Freed anomalies in particle physics,JHEP08 (2019) 003 [1808.00009]
arXiv 2019
-
[19]
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
-
[20]
X.-z. Dai and D.S. Freed,eta invariants and determinant lines,J. Math. Phys.35(1994) 5155 [hep-th/9405012]
Pith/arXiv arXiv 1994
-
[21]
Witten,Fermion Path Integrals And Topological Phases,Rev
E. Witten,Fermion Path Integrals And Topological Phases,Rev. Mod. Phys.88(2016) 035001 [1508.04715]
Pith/arXiv arXiv 2016
-
[22]
E. Witten and K. Yonekura,Anomaly Inflow and theη-Invariant, inMemorial Volume for Shoucheng Zhang, WSP, 2022, DOI [1909.08775]
arXiv 2022
-
[23]
D.S. Freed and E. Witten,Anomalies in string theory with D-branes,Asian J. Math.3(1999) 819 [hep-th/9907189]
Pith/arXiv arXiv 1999
- [24]
-
[25]
Stong,Notes on Cobordism Theory, vol
R.E. Stong,Notes on Cobordism Theory, vol. 7 ofMathematical Notes, Princeton University Press, Princeton, NJ (1968), 10.1515/9781400879977
-
[26]
Kochman,Bordism, Stable Homotopy and Adams Spectral Sequences, vol
S.O. Kochman,Bordism, Stable Homotopy and Adams Spectral Sequences, vol. 7 ofFields Institute Monographs, American Mathematical Society, Providence, RI (1996), 10.1090/fim/007
-
[27]
Y.B. Rudyak,On Thom Spectra, Orientability, and Cobordism, Springer Monographs in Mathematics, Springer, Berlin, Heidelberg (1998), 10.1007/978-3-540-77751-9
- [28]
-
[29]
Anderson, E.H
D.W. Anderson, E.H. Brown, Jr. and F.P. Peterson,Pin cobordism and related topics, Comment. Math. Helv.44(1969) 462
1969
-
[30]
A. Debray, S.K. Devalapurkar, C. Krulewski, Y.L. Liu, N. Pacheco-Tallaj and R. Thorngren, The Smith Fiber Sequence and Invertible Field Theories,Commun. Math. Phys.407(2026) 25 [2405.04649]
Pith/arXiv arXiv 2026
-
[31]
G. Brumfiel and J. Morgan,The Pontrjagin Dual of 3-Dimensional Spin Bordism, 1612.02860. – 28 –
-
[32]
Hertl,Pin bordism in low degrees of classifying spaces, Master’s thesis, University of Göttingen, 2017
T. Hertl,Pin bordism in low degrees of classifying spaces, Master’s thesis, University of Göttingen, 2017
2017
-
[33]
Giambalvo,PinandPin ′ Cobordism,Proc
V. Giambalvo,PinandPin ′ Cobordism,Proc. Amer. Math. Soc.39(1973) 395
1973
-
[34]
Thom,Quelques propriétés globales des variétés différentiables,Comment
R. Thom,Quelques propriétés globales des variétés différentiables,Comment. Math. Helv.28 (1954) 17
1954
-
[35]
Kirby and L
R. Kirby and L. Taylor,Pin structures on low-dimensional manifolds, inGeometry of Low-Dimensional Manifolds: Symplectic Manifolds and Jones-Witten Theory, S.K. Donaldson and C.B. Thomas, eds., London Mathematical Society Lecture Note Series, pp. 177–242, Cambridge University Press (1991), DOI
1991
-
[36]
Brown, Jr.,Generalizations of the Kervaire invariant,Ann
E.H. Brown, Jr.,Generalizations of the Kervaire invariant,Ann. Math.95(1972) 368
1972
-
[37]
Z.-C. Gu and X.-G. Wen,Symmetry-protected topological orders for interacting fermions: Fermionic topological nonlinearσmodels and a special group supercohomology theory,Phys. Rev. B90(2014) 115141 [1201.2648]
Pith/arXiv arXiv 2014
-
[38]
L. Bhardwaj, D. Gaiotto and A. Kapustin,State sum constructions of spin-TFTs and string net constructions of fermionic phases of matter,JHEP04(2017) 096 [1605.01640]
Pith/arXiv arXiv 2017
-
[39]
Y. Tachikawa and K. Yonekura,Why are fractional charges of orientifolds compatible with Dirac quantization?,SciPost Phys.7(2019) 058 [1805.02772]
arXiv 2019
-
[40]
Gilkey and B
P.B. Gilkey and B. Botvinnik,The eta invariant and the equivariant spin bordism of spherical space form 2 groups, inNew Developments in Differential Geometry, vol. 350 ofMath. Appl., pp. 213–223, Kluwer (1996), DOI
1996
-
[41]
String theory. Vol. 2: Superstring theory and beyond,
J. Polchinski,String theory. Vol. 2: Superstring theory and beyond, Cambridge Monographs on Mathematical Physics, Cambridge University Press (12, 2007), 10.1017/CBO9780511618123
-
[42]
Vafa,Modular Invariance and Discrete Torsion on Orbifolds,Nucl
C. Vafa,Modular Invariance and Discrete Torsion on Orbifolds,Nucl. Phys. B273(1986) 592
1986
-
[43]
Atick and E
J.J. Atick and E. Witten,The Hagedorn Transition and the Number of Degrees of Freedom of String Theory,Nucl. Phys. B310(1988) 291
1988
-
[44]
B.S. Acharya, G. Aldazabal, E. Andrés, A. Font, K. Narain and I.G. Zadeh,Stringy Tachyonic Instabilities of Non-Supersymmetric Ricci Flat Backgrounds,JHEP04(2021) 026 [2010.02933]
arXiv 2021
-
[45]
Freed and C
D.S. Freed and C. Vafa,Global Anomalies on Orbifolds,Commun. Math. Phys.110(1987) 349
1987
-
[46]
P. Cheng and H.P. De Freitas,Dai-Freed anomalies and level matching in heterotic asymmetric orbifolds,2604.19634
-
[47]
Narain, M.H
K.S. Narain, M.H. Sarmadi and C. Vafa,Asymmetric Orbifolds,Nucl. Phys. B288(1987) 551
1987
-
[48]
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
-
[49]
Sharpe,String orbifolds and quotient stacks,Nucl
E.R. Sharpe,String orbifolds and quotient stacks,Nucl. Phys. B627(2002) 445 [hep-th/0102211]
Pith/arXiv arXiv 2002
-
[50]
Atiyah and F
M. Atiyah and F. Hirzebruch,Spin-Manifolds and Group Actions, inEssays on Topology and Related Topics: Memoires dédiés à Georges de Rham, (Berlin, Heidelberg), pp. 18–28, Springer Berlin Heidelberg (1970), DOI
1970
-
[51]
D.-E. Diaconescu, G.W. Moore and E. Witten,E8 gauge theory, and a derivation ofK-theory fromM-theory,Adv. Theor. Math. Phys.6(2003) 1031 [hep-th/0005090]. – 29 –
Pith/arXiv arXiv 2003
-
[52]
J. Distler, D.S. Freed and G.W. Moore,Orientifold Precis, inMathematical Foundations of Quantum Field Theory and Perturbative String Theory, H. Sati and U. Schreiber, eds., vol. 83 ofProc. Symp. Pure Math., pp. 159–171, Amer. Math. Soc., 2011, DOI [0906.0795]
Pith/arXiv arXiv 2011
-
[53]
J. Distler, D.S. Freed and G.W. Moore,Spin structures and superstrings,Surv. Differ. Geom. 15(2011) 99 [1007.4581]
Pith/arXiv arXiv 2011
-
[54]
Sati,Twisted topological structures related to M-branes II: Twisted Wu and Wuc structures, Int
H. Sati,Twisted topological structures related to M-branes II: Twisted Wu and Wuc structures, Int. J. Geom. Meth. Mod. Phys.09(2012) 1250056 [1109.4461]
Pith/arXiv arXiv 2012
-
[55]
K. Jensen, E. Shaverin and A. Yarom,’t Hooft anomalies and boundaries,JHEP01(2018) 085 [1710.07299]
Pith/arXiv arXiv 2018
-
[56]
Witten,Anomalies and Nonsupersymmetric D-Branes,2305.01012
E. Witten,Anomalies and Nonsupersymmetric D-Branes,2305.01012
-
[57]
V. Braun and B. Stefanski, Jr.,Orientifolds and K theory, inNATO Advanced Study Institute and EC Summer School on Progress in String, Field and Particle Theory, pp. 369–372, 6, 2002 [hep-th/0206158]
arXiv 2002
-
[58]
P. Cheng, I.V. Melnikov and R. Minasian,Flat F-theory and friends,JHEP01(2024) 027 [2306.00865]
arXiv 2024
-
[59]
Gepner,Space-Time Supersymmetry in Compactified String Theory and Superconformal Models,Nucl
D. Gepner,Space-Time Supersymmetry in Compactified String Theory and Superconformal Models,Nucl. Phys. B296(1988) 757
1988
-
[60]
B. Fraiman, M. Graña, H. Parra De Freitas and S. Sethi,Non-supersymmetric heterotic strings on a circle,JHEP12(2024) 082 [2307.13745]
arXiv 2024
-
[61]
A. Adams, J. Polchinski and E. Silverstein,Don’t panic! Closed string tachyons in ALE space-times,JHEP10(2001) 029 [hep-th/0108075]
Pith/arXiv arXiv 2001
-
[62]
A. Adams, X. Liu, J. McGreevy, A. Saltman and E. Silverstein,Things fall apart: Topology change from winding tachyons,JHEP10(2005) 033 [hep-th/0502021]. – 30 –
Pith/arXiv arXiv 2005
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.