Equivariant Cohomotopy implies orientifold tadpole cancellation
arXiv:1909.12277 · doi:10.1016/j.geomphys.2020.103775
Abstract
There are fundamental open problems in the precise global nature of RR-field tadpole cancellation conditions in string theory. Moreover, the non-perturbative lift as M5/MO5-anomaly cancellation in M-theory had been based on indirect plausibility arguments,lacking a microscopic underpinning in M-brane charge quantization. We provide a framework for answering these questions, crucial not only for mathematical consistency but also for phenomenological accuracy of string theory, by formulating the M-theory C-field on flat M-orientifolds in the generalized cohomology theory called Equivariant Cohomotopy. This builds on our previous results for smooth but curved spacetimes, showing in that setting that charge quantization in twisted Cohomotopy rigorously implies a list of expected anomaly cancellation conditions. Here we further expand this list by proving that brane charge quantization in unstable equivariant Cohomotopy implies the anomaly cancellation conditions for M-branes and D-branes on flat orbi-orientifolds. For this we (a) use an unstable refinement of the equivariant Hopf-tom Dieck theorem to derive local/twisted tadpole cancellation, and (b) the lift to super-differential cohomology to establish global/untwisted tadpole cancellation. Throughout, we use (c) the unstable Pontrjagin-Thom theorem to identify the brane/O-plane configurations encoded in equivariant Cohomotopy and (d) the Boardman homomorphism to equivariant K-theory to identify Chan-Paton representations of D-brane charge. We find that unstable equivariant Cohomotopy, but not its image in K-theory, distinguishes D-brane charge from the finite set of types of O-plane charges.
arXiv comment46 pages: v2: orbi-orientifold group extension made more explicit, published version
References in corpus (82)
- Dirichlet-Branes and Ramond-Ramond Charges
- N=6 superconformal Chern-Simons-matter theories, M2-branes and their gravity duals
- Heterotic and Type I String Dynamics from Eleven Dimensions
- Supergravity and The Large N Limit of Theories With Sixteen Supercharges
- D-Branes And K-Theory
- Consistency Conditions for Orientifolds and D-Manifolds
- Intersecting Brane Worlds
- D=4 Chiral String Compactifications from Intersecting Branes
- World-Volume Action of the M Theory Five-Brane
- 6d Conformal Matter
- Twisted equivariant matter
- Five-branes And -Theory On An Orbifold
- Branes and Six Dimensional Supersymmetric Theories
- M5-Branes, D4-Branes and Quantum 5D super-Yang-Mills
- K3 Orientifolds
- D-brane probes, RR tadpole cancellation and K-theory charge
- Point-like Instantons on K3 Orbifolds
- Orbifolds of M-theory
- On Orientifolds, Discrete Torsion, Branes and M Theory
- 5d quivers and their AdS(6) duals
- A Note on Enhanced Gauge Symmetries in M- and String Theory
- Twisted differential String and Fivebrane structures
- Superstring Perturbation Theory Revisited
- Global homotopy theory
- Dual D-Brane Actions
- Čech cocycles for differential characteristic classes -- An infinity-Lie theoretic construction
- Principal infinity-bundles -- General theory
- D-Branes in the Background of NS Fivebranes
- 6d SCFTs, 5d Dualities and Tao Web Diagrams
- New Approach to Arakelov Geometry
- Orientifolds, RR Torsion, and K-theory
- Dirac Charge Quantization and Generalized Differential Cohomology
- Intersecting brane world models from D8-branes on (T^2 x T^4/Z_3)/Omega R_1 type IIA orientifolds
- AdS/CFT with orientifolds
- K-Theory, Reality, and Orientifolds
- Consistency Conditions for Fivebrane in M Theory on R^5/Z_2 Orbifold
- Twisted Cohomotopy implies M-theory anomaly cancellation on 8-manifolds
- Rational sphere valued supercocycles in M-theory and type IIA string theory
- Orientifold Planes, Type I Wilson Lines and Non-BPS D-branes
- The WZW term of the M5-brane and differential cohomotopy
- Framed M-branes, corners, and topological invariants
- On Heterotic Orbifolds, M Theory and Type I' Brane Engineering
- Intersecting Orbifold Planes and Local Anomaly Cancellation in M-Theory
- Intersecting D-brane Models
- D-branes in Orbifold Singularities and Equivariant K-Theory
- On the Duality between Perturbative Heterotic Orbifolds and M-Theory on T^4/Z_N
- The Rational Higher Structure of M-theory
- Lectures on Heterotic-Type I Duality
- On the M-theory Interpretation of Orientifold Planes
- Duality symmetry and the form fields of M-theory
- Differential Cohomotopy implies intersecting brane observables via configuration spaces and chord diagrams
- Local Anomaly Cancellation, M-Theory Orbifolds and Phase-Transitions
- Gauge enhancement of super M-branes via parametrized stable homotopy theory
- Flux Quantization and the M-Theoretic Characters
- T-Duality from super Lie n-algebra cocycles for super p-branes
- M-theory and Characteristic Classes
- Real ADE-equivariant (co)homotopy and Super M-branes
- Super-exceptional geometry: origin of heterotic M-theory and super-exceptional embedding construction of M5
- Ramond-Ramond fields and twisted differential K-theory
- An M-Theory Perspective on Heterotic K3 Orbifold Compactifications
- Lift of fractional D-brane charge to equivariant Cohomotopy theory
- Orientifold dual for stuck NS5 branes
- The Early Years of String Theory: A Personal Perspective
- T-duality For Orientifolds and Twisted KR-theory
- Projective geometry over F_1 and the Gaussian binomial coefficients
- Z/2-equivariant and R-motivic stable stems
- Teichmüller theory and collapse of flat manifolds
- SU(3)X SU(2)XU(1) Chiral Models from Intersecting D4-/D5-branes
- String theory on elliptic curve orientifolds and KR-theory
- Cohomotopy sets of 4-manifolds
- SO(2N) (0,2) SCFT and M Theory on
- Orbispaces, orthogonal spaces, and the universal compact Lie group
- Translation Groupoids and Orbifold Bredon Cohomology
- Higher-dimensional field theories from type II supergravity
- Twistings of KR for Real groupoids
- Anomaly Cancelations in Orientifolds with Quantized B Flux
- Twisted Sectors and Chern-Simons Terms in M-Theory Orbifolds
- Sign choices for orientifolds
- D=4, N=1, Type IIA Orientifolds
- Proper Orbifold Cohomology
- Twisted differential KO-theory
- Compactification and Identification of Branes in the Kaluza-Klein monopole backgrounds
Cited by in corpus (31)
- Twisted Cohomotopy implies level quantization of the full 6d Wess-Zumino term of the M5-brane
- Open-Closed Correspondence of K-theory and Cobordism
- Differential Cohomotopy implies intersecting brane observables via configuration spaces and chord diagrams
- Twisted Cohomotopy implies twisted String structure on M5-branes
- Twisted Cohomotopy implies M5-brane anomaly cancellation
- Dimensional Reduction of Cobordism and K-theory
- M/F-Theory as Mf-Theory
- Twistorial Cohomotopy implies Green-Schwarz anomaly cancellation
- Super-exceptional embedding construction of the heterotic M5: Emergence of SU(2)-flavor sector
- The character map in (twisted differential) non-abelian cohomology
- Differential cohomotopy versus differential cohomology for M-theory and differential lifts of Postnikov towers
- Lift of fractional D-brane charge to equivariant Cohomotopy theory
- Anyonic Topological Order in Twisted Equivariant Differential (TED) K-Theory
- Anyonic Defect Branes and Conformal Blocks in Twisted Equivariant Differential (TED) K-theory
- Flux Quantization
- Global Double Field Theory is Higher Kaluza-Klein Theory
- Flux Quantization on 11-dimensional Superspace
- Topological Quantum Gates in Homotopy Type Theory
- Flux Quantization on M5-branes
- Fundamental weight systems are quantum states
- Flux Quantization on Phase Space
- Cyclification of Orbifolds
- Quantum Observables of Quantized Fluxes
- Anyons on M5-Probes of Seifert 3-Orbifolds via Flux Quantization
- Proper Orbifold Cohomology
- Differential cohomology (encyclopedia article)
- Engineering of Anyons on M5-Probes via Flux Quantization
- Identifying Anyonic Topological Order in Fractional Quantum Anomalous Hall Systems
- Flux Quantization on M-Strings
- Extended Field Theories as higher Kaluza-Klein theories
- Homotopy theory of monoid actions via group actions and an Elmendorf style theorem