We characterize the integral cohomology and the rational homotopy type of the maximal Borel-equivariantization of the combined Hopf/twistor fibration, and find that subtle relations satisfied by the cohomology generators are just those that govern Horava-Wittens proposal for the extension of the Green-Schwarz mechanism from heterotic string theory to heterotic M-theory. We discuss how this squares with the Hypothesis H that the elusive mathematical foundation of M-theory is based on charge quantization in J-twisted Cohomotopy theory.
We highlight what seems to be a remaining subtlety in the argument for the cancellation of the total anomaly associated with the M5-brane in M-theory. Then we prove that this subtlety is resolved under the hypothesis that the C-field flux is charge-quantized in the generalized cohomology theory called J-twisted Cohomotopy.
The celebrated Green-Schwarz mechanism in heterotic string theory has been suggested to secretly underly a higher gauge theoretic phenomenon, embodying a higher Bianchi identity for a higher-degree analog of a curvature form of a higher gauge field. Here we prove that the non-perturbative Horava-Witten Green-Schwarz mechanism for heterotic line bundles in heterotic M-theory with M5-branes parallel to MO9-planes on $A_1$-singularities is accurately encoded in the higher gauge theory for higher gauge group of the equivariant homotopy type of the Z/2-equivariant A-infinity-loop group of twistor space. In this formulation, the flux forms of the heterotic gauge field, the B-field on the M5-brane, and of the C-field in the M-theory bulk are all unified into the character image of a single cocycle in equivariant twistorial Cohomotopy theory; and that cocycle enforces the quantization condition on all fluxes: the integrality of the gauge flux, the half-shifted integrality of the C-field flux and the integrality of the dual C-field flux (i.e., of the Page charge in the bulk and of the Hopf-WZ term on the M5-brane). This result is in line with the Hypothesis H that M-brane charges are quantized in J-twisted Cohomotopy theory. The mathematical essence of our proof is, first, the construction of the equivariant twisted non-abelian character map via an equivariant twisted non-abelian de Rham theorem, which we prove; and, second, the computation of the equivariant relative minimal model of the Z/2-equivariant Sp(1)-parametrized twistor fibration. We lay out the relevant background in equivariant rational homotopy theory and explain how this brings about the subtle flux quantization relations in heterotic M-theory.
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.
We show that charge-quantization of the M-theory C-field in J-twisted Cohomotopy implies emergence of a higher Sp(1)-gauge field on single heterotic M5-branes, which exhibits worldvolume twisted String structure.
We consider possible discretizations for a gauge-fixed Green-Schwarz action of Type IIB superstring. We use them for measuring the action, from which we extract the cusp anomalous dimension of planar $mathcal{N}=4$ SYM as derived from AdS/CFT, as well as the mass of the two $AdS$ excitations transverse to the relevant null cusp classical string solution. We perform lattice simulations employing a Rational Hybrid Monte Carlo (RHMC) algorithm and two Wilson-like fermion discretizations, one of which preserves the global $SO(6)$ symmetry of the model. We compare our results with the expected behavior at various values of $g=frac{sqrt{lambda}}{4pi}$. For both the observables, we find a good agreement for large $g$, which is the perturbative regime of the sigma-model. For smaller values of $g$, the expectation value of the action exhibits a deviation compatible with the presence of quadratic divergences. After their non-perturbative subtraction the continuum limit can be taken, and suggests a qualitative agreement with the non-perturbative expectation from AdS/CFT. Furthermore, we detect a phase in the fermion determinant, whose origin we explain, that for very small $g$ leads to a sign problem not treatable via standard reweigthing. The continuum extrapolations of the observables in the two different discretizations agree within errors, which is strongly suggesting that they lead to the same continuum limit. Part of the results discussed here were presented earlier in arXiv:1601.04670.