Search arXivSearch

arXiv · 1909.12277

Equivariant Cohomotopy implies orientifold tadpole cancellation

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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hisham Sati, Urs Schreiber. 2020-06-17. Equivariant Cohomotopy implies orientifold tadpole cancellation. https://doi.org/10.1016/j.geomphys.2020.103775

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Gaillard-Zumino non-invertible symmetries

We uncover an infinite class of novel zero-form non-invertible symmetries in a broad family of four-dimensional models, studied years ago by Gaillard and Zumino (GZ), which includes several extended supergravities as particular subcases. The GZ models consist of abelian gauge fields coupled to a neutral sector, typically including a set of scalars, whose equations of motion are classically invariant under a continuous group $\mathscr{G}$ acting on the electric and magnetic field strengths via symplectic transformations. The standard lore holds that, at the quantum level, these symmetries are broken to an integral subgroup $\mathscr{G}_\mathbb{Z}$. We show that, in fact, a much larger subgroup $\mathscr{G}_\mathbb{Q}$ survives, albeit through non-invertible topological defects. We explicitly construct these defects and compute some of their fusion rules. As illustrative examples, we consider the axion-dilaton-Maxwell model and the bosonic sector of a class of $\mathcal{N}=2$ supergravities of the kind that appear in type II Calabi-Yau compactifications. Finally, we comment on how (part of) these non-invertible zero-form symmetries can be broken by gauging the $\mathscr{G}_\mathbb{Z}$ subgroup of invertible symmetries.

hep-th

On the resolution of categorical symmetries in (Non-) Unitary Rational CFTs

We explore several aspects of categorical symmetry-resolved entanglement entropy (SREE) directly within two-dimensional rational conformal field theory (RCFT) (without invoking any SymTFT construction arXiv:2409.02806). We derive a general formula applicable whenever the action of the relevant topological defect lines on the annulus Hilbert space is known. This framework accommodates weakly and strongly symmetric boundaries, cloaking states, and fusion rings with multiplicities. We verify the formula in a range of diagonal unitary and non-unitary examples, including theories with generalized Haagerup-Izumi modular data. Furthermore, we extend the analysis to non-diagonal RCFTs. The $\frac{1}{2}E_6$ example demonstrates that closed-channel modular data and NIM-rep multiplicities alone do not suffice to determine the defect action on the complete open-channel Hilbert space.

hep-th

Reflecting boundary conditions in critical loop models

In critical loop models, we call a boundary sticky if loops can attach to it, and reflecting otherwise. Using analytic bootstrap methods, we show that reflecting boundaries are characterised by one complex parameter, analogous to the boundary cosmological constant in Liouville theory. We determine disc 1-point functions, and write an explicit formula for disc 2-point functions as infinite combinations of conformal blocks. We also sketch the lattice interpretation of reflecting boundaries.

hep-th