Consistency of M-Theory on nonorientable manifolds
Daniel S. Freed, Michael J. Hopkins
TL;DR
The paper shows that the parity/time-reversal anomaly cancels for M-theory in the low-energy limit on nonorientable, pin^+-structured 11-manifolds equipped with a w1-twisted lift of w4. By formulating Wick-rotated M-theory as a pair of invertible 12D field theories (one from the Rarita-Schwinger field and one from the C-field) and analyzing their product on generators of the 12D bordism group π_{12} M m_c, the authors prove trivialization of the total anomaly. This entails a hybrid computational approach combining eta-invariants, cubic refinements of the C-field, Adams spectral sequence computations, and explicit geometric bordism calculations on carefully chosen manifolds, establishing anomaly cancellation in the pin^+ setting. The work also develops techniques of broader interest, including computational eta-invariants on pin manifolds, a KO-theoretic view of cubic forms, and a concrete framework for translating invertible 12D topological field theories into topological data via Thom spectra. While the product α_RS × α_C is shown to be trivial, the paper notes an intrinsic ambiguity in the quantum integrand, leaving a canonical trivialization as an open problem and pointing to a conjectural 2-torsion obstruction in π_{11} M m_c. These results supply the mathematical groundwork for a consistent, time-reversal invariant M-theory in the low-energy regime on nonorientable manifolds and introduce tools applicable to related anomalies in high-energy and condensed-matter contexts.
Abstract
We prove that there is no parity anomaly in M-theory in the low-energy field theory approximation. Our approach is computational. We determine generators for the 12-dimensional bordism group of pin manifolds with a w_1-twisted integer lift of w_4; these are the manifolds on which Wick-rotated M-theory exists. The anomaly cancellation comes down to computing a specific eta-invariant and cubic form on these manifolds. Of interest beyond this specific problem are our expositions of: computational techniques for eta-invariants, the algebraic theory of cubic forms, Adams spectral sequence techniques, and anomalies for spinor fields and Rarita-Schwinger fields.
