Vafa and Witten's one-loop test of six-dimensional string duality (heterotic string on T4T^4 dual to Type IIA on K3) reproduced the real, de Rham part of the heterotic Green-Schwarz condition p1(V)2−p1(T)2=0\tfrac{p_1(V)}{2}-\tfrac{p_1(T)}{2}=0 from a one-loop term ∫B∧Y8\int B\wedge Y_8 of the Type IIA theory, computed by compactification to two dimensions and index (elliptic-genus) techniques. The authors stated explicitly that this analysis 'will not be precise enough to see the torsion', and suggested that the torsion (finite-order) part of the integral condition - enforced in the heterotic theory by the absence of world-sheet global anomalies - should emerge in the Type II description from space-time global anomalies, plausibly of the solitonic heterotic string (the Type IIA NS5-brane wrapped on K3). The problem is to determine whether and how the Type IIA description enforces the full integral condition including its torsion part, through a space-time global anomaly or quantization condition of a soliton or instanton sector whose vanishing reduces, under the duality map, to the torsion part of the heterotic condition. Two companion caveats left open in the same paper - the unchecked relative sign of the tr⁡F∧F\operatorname{tr}F\wedge F and tr⁡R∧R\operatorname{tr}R\wedge R interactions, and the missing explicit ten-dimensional one-loop five-point amplitude - were subsequently settled in the literature and are documented below; they are not part of the open core.

Background

The heterotic string is a ten-dimensional string theory whose left- and right-moving modes carry different amounts of supersymmetry; its anomaly freedom requires the Green-Schwarz mechanism, in which the two-form field BB with field strength HH obeys a modified Bianchi identity dH=tr⁡R∧R−tr⁡F∧FdH = \operatorname{tr}R\wedge R - \operatorname{tr}F\wedge F, with tr⁡R\operatorname{tr}R and tr⁡F\operatorname{tr}F the curvatures of the tangent bundle TT and the gauge bundle VV (traces in the vector representations, normalized so that the corresponding classes are one half of the first Pontryagin classes). Upon compactification, integrating this identity over internal cycles implies the integral cohomology condition

p1(V)2−p1(T)2=0,\tfrac{p_1(V)}{2}-\tfrac{p_1(T)}{2}=0,

where p1/2p_1/2 denotes the half-integral first Pontryagin class (the first Pontryagin class of a bundle whose structure group lifts to spin is divisible by two, and the resulting integral class has no standard name). This condition has two parts: its image in real cohomology, visible in local differential-geometric identities, and its torsion part — the finite-order component of the integral class, invisible to any de Rham computation. In the heterotic string the torsion part is physically enforced by the absence of world-sheet global anomalies: the string world-sheet is a two-dimensional quantum field theory coupled to background geometry and gauge fields, and it is consistent only if certain torsion-valued global anomaly invariants — analyzed through the exponentiated η\eta-invariant (the Dai-Freed construction, which measures the phase of the partition function of chiral fermions and thereby their global anomalies) and, in modern language, the torsion Witten index — vanish, which reproduces the integral condition in full.

In 1995 Vafa and Witten tested the conjectured duality between the heterotic string compactified on a four-torus T4T^4 and Type IIA string theory (the ten-dimensional non-chiral supersymmetric string theory) compactified on a K3 surface (a simply connected Calabi-Yau manifold of four real dimensions); in the general setting the two descriptions are compactified further as a T4T^4-fibration and a K3-fibration over a common base, the product case T4×BT^4\times B versus K3×BK3\times B (for example B=K3B=K3) being the simplest instance. String duality maps the heterotic BB-field to the Type IIA BB-field with H=e−2ϕ′∗H′H = e^{-2\phi'}*H', ϕ′\phi' the Type IIA dilaton, exchanging world-sheet and space-time effects. They showed that a one-loop term of Type IIA, of the form ∫B∧Y8\int B\wedge Y_8 with Y8Y_8 an eight-form characteristic class computable as a two-dimensional index (the elliptic genus — a refinement of the Witten index obtained as a torus partition function, counting states weighted by their left-moving momentum), reproduces exactly the real part of the heterotic condition, including a characteristic factor of 1/21/2 tied to the K3 Euler characteristic. However, their computation sees only characteristic numbers, i.e. real cohomology, and they stated it 'will not be precise enough to see the torsion'. They proposed that the torsion part should be recovered on the Type II side from space-time global anomalies — anomalies under large (not continuously connected to the identity) gauge and diffeomorphism transformations — and pointed to the solitonic heterotic string of the Type II theory (an NS5-brane — a solitonic five-dimensional extended object carrying magnetic charge under the Neveu-Schwarz two-form BB — wrapped on K3, whose world-volume supports the heterotic string) as an object 'whose quantization (like that of the elementary heterotic string) may require vanishing of the torsion part'.

The question sits at the intersection of two anomaly frameworks: world-sheet global anomalies of two-dimensional sigma models (controlled by eta-invariants, the torsion Witten index, and in modern language by topological modular forms — a generalized cohomology theory refining the Witten genus of loop spaces, conjectured by Stolz and Teichner to classify two-dimensional supersymmetric field theories — together with the Anderson dual of string bordism, the bordism theory of manifolds whose loop space is spin, which is the natural coefficient group for the global anomalies of string theories) and space-time global anomalies of six-dimensional solitons (controlled by the same Dai-Freed eta-invariant technology and by bordism groups). Related but distinct later results that frame the problem: the M-theory four-form flux quantization carries a gravitational shift λ/2\lambda/2 with λ=p1/2\lambda=p_1/2 (a torsion-sensitive quantization law on the eleven-dimensional side); the M-theory five-brane has a chiral world-volume whose global anomaly structure was constructed but whose vanishing conditions were left open; and the heterotic-side global-anomaly program has been essentially completed — but only for the heterotic description. What is missing is the dual, Type IIA-side mechanism.

Problem Statement

In the duality between the heterotic string compactified on a four-torus T4T^4 and Type IIA string theory compactified on a K3 surface (with the two descriptions compactified further, in the general setting, as a T4T^4-fibration and a K3-fibration over a common base), the heterotic description enforces the full integral anomaly-cancellation condition

p1(V)2−p1(T)2=0,\tfrac{p_1(V)}{2}-\tfrac{p_1(T)}{2}=0,

understood, as in the source, as an identity of integral cohomology classes on the compactification space, where VV is the gauge bundle, TT the tangent bundle, and p1/2p_1/2 the half-integral first Pontryagin class. This condition has a real (de Rham) part and a torsion (finite-order) part; in the heterotic string the torsion part is enforced by the absence of world-sheet global anomalies. The one-loop Type IIA test of Vafa and Witten reproduces only the image of this condition in real cohomology, because the one-loop term ∫B∧Y8\int B\wedge Y_8 is computed by two-dimensional index (elliptic-genus) techniques that see characteristic numbers only. The open problem, as posed in the source: determine whether and how the Type IIA description enforces the torsion part of the integral condition. Concretely, the question is whether some space-time mechanism in the Type II theory — a global anomaly or a quantization condition of a soliton or instanton sector — has consistency or vanishing that reduces, under the heterotic/Type IIA duality map (which exchanges the two-form field strengths as H=e−2ϕ′∗H′H = e^{-2\phi'}*H'), to the vanishing of the torsion part of p1(V)2−p1(T)2\tfrac{p_1(V)}{2}-\tfrac{p_1(T)}{2}. Resolving this requires defining and computing or characterizing the relevant anomaly invariant or quantization rule in the soliton sector, establishing the dictionary from this space-time object to the heterotic world-sheet global anomaly (or directly to the integral condition), and exhibiting at least one background with nontrivial torsion in H4H^4 of the compactification on which the mechanism acts nontrivially and reproduces the heterotic constraint. A rigorous demonstration that no such mechanism exists within standard Type IIA quantization — so that the torsion condition must instead follow from a modified quantization law, as happens for the M-theory flux shift — would equally answer the question.

References

  1. C. Vafa and E. Witten, "A one-loop test of string duality", Nucl. Phys. B 447 (1995) 261; arXiv:hep-th/9505053; DOI 10.1016/0550-3213(95)00280-6; https://arxiv.org/abs/hep-th/9505053
  2. M. J. Duff, James T. Liu and R. Minasian, "Eleven Dimensional Origin of String/String Duality: A One Loop Test", Nucl. Phys. B 452 (1995) 261; arXiv:hep-th/9506126; DOI 10.1016/0550-3213(95)00368-3; https://arxiv.org/abs/hep-th/9506126
  3. E. Witten, "On Flux Quantization in M-Theory and the Effective Action", J. Geom. Phys. 22 (1997) 1; arXiv:hep-th/9609122; DOI 10.1016/S0393-0440(96)00042-3; https://arxiv.org/abs/hep-th/9609122
  4. E. Witten, "Five-brane effective action in M-theory", J. Geom. Phys. 22 (1997) 103; arXiv:hep-th/9610234; DOI 10.1016/S0393-0440(97)80160-X; https://arxiv.org/abs/hep-th/9610234
  5. Måns Henningson, "Global anomalies in M-theory", Nucl. Phys. B 515 (1998) 233; arXiv:hep-th/9710126; DOI 10.1016/S0550-3213(98)00003-0; https://arxiv.org/abs/hep-th/9710126
  6. Katrin Becker and Melanie Becker, "Fivebrane Gravitational Anomalies", Nucl. Phys. B 577 (2000) 156; arXiv:hep-th/9911138; DOI 10.1016/S0550-3213(00)00153-X; https://arxiv.org/abs/hep-th/9911138
  7. James T. Liu and Ruben Minasian, "Higher-derivative couplings in string theory: dualities and the B-field", Nucl. Phys. B 874 (2013) 413; arXiv:1304.3137; DOI 10.1016/j.nuclphysb.2013.06.002; https://arxiv.org/abs/1304.3137
  8. Samuel Monnier and Gregory W. Moore, "Remarks on the Green-Schwarz terms of six-dimensional supergravity theories", arXiv:1808.01334 (2018); https://arxiv.org/abs/1808.01334
  9. Daniel S. Freed and Michael J. Hopkins, "Consistency of M-Theory on nonorientable manifolds", Q. J. Math. 72 (2021) 603; arXiv:1908.09916; DOI 10.1093/qmath/haab007; https://arxiv.org/abs/1908.09916
  10. Yuji Tachikawa, "Topological modular forms and the absence of a heterotic global anomaly", Prog. Theor. Exp. Phys. 2022 (2022) 04A107; arXiv:2103.12211; DOI 10.1093/ptep/ptab060; https://arxiv.org/abs/2103.12211
  11. Yuji Tachikawa and Mayuko Yamashita, "Topological modular forms and the absence of all heterotic global anomalies", Commun. Math. Phys. 402 (2023) 1585; arXiv:2108.13542; DOI 10.1007/s00220-023-04761-2; https://arxiv.org/abs/2108.13542
  12. Kazuya Yonekura, "Heterotic global anomalies and torsion Witten index", J. High Energy Phys. 2022 (2022) 114; arXiv:2207.13858; DOI 10.1007/JHEP10(2022)114; https://arxiv.org/abs/2207.13858
  13. Ivano Basile, Arun Debray, Matilda Delgado and Miguel Montero, "Global anomalies & bordism of non-supersymmetric strings", J. High Energy Phys. 2024 (2024) 92; arXiv:2310.06895; DOI 10.1007/JHEP02(2024)092; https://arxiv.org/abs/2310.06895
  14. Yuji Tachikawa and Hao Y. Zhang, "On a Z3\mathbb{Z}_3-valued discrete topological term in 10d heterotic string theories", SciPost Phys. 17 (2024) 077; arXiv:2403.08861; DOI 10.21468/SciPostPhys.17.3.077; https://arxiv.org/abs/2403.08861
  15. Mohammad R. Garousi, "Type IIA supergravity at one loop: α′3\alpha'^3 terms in the metric-dilaton-RR one-form sector", J. High Energy Phys. 2025 (2025) 105; arXiv:2508.10529; DOI 10.1007/JHEP11(2025)105; https://arxiv.org/abs/2508.10529
  16. S. Sethi, C. Vafa and E. Witten, "Constraints on Low-Dimensional String Compactifications", Nucl. Phys. B 480 (1996) 213; arXiv:hep-th/9606122; DOI 10.1016/S0550-3213(96)00483-X; https://arxiv.org/abs/hep-th/9606122
  17. Duiliu-Emanuel Diaconescu, Gregory Moore and Edward Witten, "E8 Gauge Theory, and a Derivation of K-Theory from M-Theory", Adv. Theor. Math. Phys. 6 (2003) 1031; arXiv:hep-th/0005090; https://arxiv.org/abs/hep-th/0005090