arXiv subjects

Urs Schreiber

Publications and source records attributed to Urs Schreiber.

At least 73 records · Page 4Linked to original sources

arXiv2020

Twisted Cohomotopy implies M-theory anomaly cancellation on 8-manifolds

We consider the hypothesis that the C-field 4-flux and 7-flux forms in M-theory are in the image of the non-abelian Chern character map from the non-abelian generalized cohomology theory called J-twisted Cohomotopy theory. We prove for M2-brane backgrounds in M-theory on 8-manifolds that such charge quantization of the C-field in Cohomotopy theory implies a list of expected anomaly cancellation conditions, including: shifted C-field flux quantization and C-field tadpole cancellation, but also the DMW anomaly cancellation and the C-field's integral equation of motion.

hep-th↗

arXiv2020

Equivariant Cohomotopy implies orientifold tadpole cancellation

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.

hep-th↗

arXiv2020

Super-exceptional embedding construction of the heterotic M5: Emergence of SU(2)-flavor sector

A new super-exceptional embedding construction of the heterotic M5-brane's sigma-model was recently shown to produce, at leading order in the super-exceptional vielbein components, the super-Nambu-Goto (Green-Schwarz-type) Lagrangian for the embedding fields plus the Perry-Schwarz Lagrangian for the free abelian self-dual higher gauge field. Beyond that, further fields and interactions emerge in the model, arising from probe M2- and probe M5-brane wrapping modes. Here we classify the full super-exceptional field content and work out some of its characteristic interactions from the rich super-exceptional Lagrangian of the model. We show that SU(2)xU(1)-valued scalar and vector fields emerge from probe M2- and M5-branes wrapping the vanishing cycle in the A_1-type singularity; together with a pair of spinor fields of U(1)-hypercharge +-1 and each transforming as SU(2) iso-doublets. Then we highlight the appearance of a WZW-type term in the super-exceptional PS-Lagrangian and find that on the electromagnetic field it gives the first-order non-linear DBI-correction, while on the iso-vector scalar field it has the form characteristic of the coupling of vector mesons to pions via the Skyrme baryon current. We discuss how this is suggestive of a form of SU(2)-flavor chiral hadrodynamics emerging on the single (N=1) M5 brane, different from, but akin to, holographic large-$N$ QCD.

hep-th↗

arXiv2020

Differential Cohomotopy implies intersecting brane observables via configuration spaces and chord diagrams

We introduce a differential refinement of Cohomotopy cohomology theory, defined on Penrose diagram spacetimes, whose cocycle spaces are unordered configuration spaces of points. First we prove that brane charge quantization in this differential 4-Cohomotopy theory implies intersecting p/(p+2)-brane moduli given by ordered configurations of points in the transversal 3-space. Then we show that the higher (co-)observables on these brane moduli, conceived as the (co-)homology of the Cohomotopy cocycle space, are given by weight systems on horizontal chord diagrams and reflect a multitude of effects expected in the microscopic quantum theory of Dp/D(p+2)-brane intersections: condensation to stacks of coincident branes and their Chan-Paton factors, BMN matrix model and fuzzy funnel states, M2-brane 3-algebras, the Hanany-Witten rules, AdS3-gravity observables, supersymmetric indices of Coulomb branches as well as gauge/gravity duality between all these. We discuss this in the context of the hypothesis that the M-theory C-field is charge-quantized in Cohomotopy theory.

hep-th↗

arXiv2019

Lift of fractional D-brane charge to equivariant Cohomotopy theory

The lift of K-theoretic D-brane charge to M-theory was recently hypothesized to land in Cohomotopy cohomology theory. To further check this "Hypothesis H", here we explicitly compute the constraints on fractional D-brane charges at ADE-orientifold singularities imposed by the existence of lifts from equivariant K-theory to equivariant Cohomotopy theory, through Boardman's comparison homomorphism. We check the relevant cases and find that this condition singles out precisely those fractional D-brane charges which do not take irrational values, in any twisted sector. Given that the possibility of irrational D-brane charge has been perceived as a paradox in string theory, we conclude that Hypothesis H serves to resolve this paradox. Concretely, we first explain that the Boardman homomorphism, in the present case, is the map from the Burnside ring to the representation ring of the singularity group given by forming virtual permutation representations. Then we describe an explicit algorithm that computes the image of this comparison map for any finite group. We run this algorithm for binary Platonic groups, hence for finite subgroups of SU(2); and we find explicitly that for the three exceptional subgroups and for the first few cyclic and binary dihedral subgroups the comparison morphism surjects precisely onto the sub-lattice of the real representation ring spanned by the non-irrational characters.

math.RT↗

arXiv2019

Super-exceptional geometry: origin of heterotic M-theory and super-exceptional embedding construction of M5

In the quest for the mathematical formulation of M-theory, we consider three major open problems: a first-principles construction of the single (abelian) M5-brane Lagrangian density, the origin of the gauge field in heterotic M-theory, and the supersymmetric enhancement of exceptional M-geometry. By combining techniques from homotopy theory and from supergeometry to what we call super-exceptional geometry within super-homotopy theory, we present an elegant joint solution to all three problems. This leads to a unified description of the Nambu-Goto, Perry-Schwarz, and topological Yang-Mills Lagrangians in the topologically nontrivial setting. After explaining how charge quantization of the C-field in Cohomotopy reveals D'Auria-Fre's "hidden supergroup" of 11d supergravity as the super-exceptional target space, in the sense of Bandos, for M5-brane sigma-models, we prove, in exceptional generalization of the doubly-supersymmetric super-embedding formalism, that a Perry-Schwarz-type Lagrangian for single (abelian) M5-branes emerges as the super-exceptional trivialization of the M5-brane cocycle along the super-exceptional embedding of the "half" M5-brane locus, super-exceptionally compactified on the Horava-Witten circle fiber. From inspection of the resulting 5d super Yang-Mills Lagrangian we find that the extra fermion field appearing in super-exceptional M-geometry, whose physical interpretation had remained open, is the M-theoretic avatar of the gaugino field.

hep-th↗

arXiv2019

Higher Structures in M-Theory

The key open problem of string theory remains its non-perturbative completion to M-theory. A decisive hint to its inner workings comes from numerous appearances of higher structures in the limits of M-theory that are already understood, such as higher degree flux fields and their dualities, or the higher algebraic structures governing closed string field theory. These are all controlled by the higher homotopy theory of derived categories, generalised cohomology theories, and $L_\infty$-algebras. This is the introductory chapter to the proceedings of the LMS/EPSRC Durham Symposium on Higher Structures in M-Theory. We first review higher structures as well as their motivation in string theory and beyond. Then we list the contributions in this volume, putting them into context.

hep-th↗

arXiv2019

The Rational Higher Structure of M-theory

We review how core structures of string/M-theory emerge as higher structures in super homotopy theory; namely from systematic analysis of the brane bouquet of universal invariant higher central extensions growing out of the superpoint. Since super homotopy theory is immensely rich, to start with we consider this in the rational/infinitesimal approximation which ignores torsion-subgroups in brane charges and focuses on tangent spaces of super space-time. Already at this level, super homotopy theory discovers all super $p$-brane species, their intersection laws, their M/IIA-, T- and S-duality relations, their black brane avatars at ADE-singularities, including their instanton contributions, and, last not least, Dirac charge quantization: for the D-branes it recovers twisted K-theory, rationally, but for the M-branes it gives cohomotopy cohomology theory. We close with an outlook on the lift of these results beyond the rational/infinitesimal approximation to a candidate formalization of microscopic M-theory in super homotopy theory.

hep-th↗

arXiv2019

Gauge enhancement of super M-branes via parametrized stable homotopy theory

A key open problem in M-theory is the mechanism of "gauge enhancement", which supposedly makes M-branes exhibit the nonabelian gauge degrees of freedom that are seen perturbatively in the limit of 10d string theory. In fact, since only the twisted K-theory classes represented by nonabelian Chan-Paton gauge fields on D-branes have invariant meaning, the problem is really the lift to M-theory of the twisted K-theory classification of D-brane charges. Here we show how this problem has a solution by universal constructions in super homotopy theory, at least rationally. We recall how double dimensional reduction of super M-brane charges is described by the cyclification adjunction applied to the 4-sphere, and how M-theory degrees of freedom hidden at ADE-singularities are induced by the suspended Hopf action on the 4-sphere. Combining these, we demonstrate, at the level of rational homotopy theory, that gauge enhancement in M-theory is exhibited by lifting against the fiberwise stabilization of the unit of this cyclification adjunction on the A-type orbispace of the 4-sphere. This explains how the fundamental D6 and D8 brane cocycles can be lifted from twisted K-theory to a cohomology theory for M-brane charge, at least rationally.

hep-th↗

arXiv2019

Real ADE-equivariant (co)homotopy and Super M-branes

A key open problem in M-theory is the identification of the degrees of freedom that are expected to be hidden at ADE-singularities in spacetime. Comparison with the classification of D-branes by K-theory suggests that the answer must come from the right choice of generalized cohomology theory for M-branes. Here we show that real equivariant cohomotopy on superspaces is a consistent such choice, at least rationally. After explaining this new approach, we demonstrate how to use Elmendorf's theorem in equivariant homotopy theory to reveal ADE-singularities as part of the data of equivariant 4-sphere-valued super-cocycles on 11d super-spacetime. We classify these super-cocycles and find a detailed black brane scan that enhances the entries of the old brane scan to cascades of fundamental brane super-cocycles on strata of intersecting black M-brane species. We find that on each singular stratum the black brane's instanton contribution, namely its super Nambu-Goto/Green-Schwarz action, appears as the homotopy datum associated to the morphisms in the orbit category.

hep-th↗

arXiv2018

M-theory from the Superpoint

The "brane scan" classifies consistent Green--Schwarz strings and membranes in terms of the invariant cocycles on super-Minkowski spacetimes. The "brane bouquet" generalizes this by consecutively forming the invariant higher central extensions induced by these cocycles, which yields the complete brane content of string/M-theory, including the D-branes and the M5-brane, as well as the various duality relations between these. This raises the question whether the super-Minkowski spacetimes themselves arise as maximal invariant central extensions. Here we prove that they do. Starting from the simplest possible super-Minkowski spacetime, the superpoint, which has no Lorentz structure and no spinorial structure, we give a systematic process of repeated "maximal invariant central extensions", and show that it discovers the super-Minkowski spacetimes that contain superstrings, culminating in the 10- and 11-dimensional super-Minkowski spacetimes of string/M-theory and leading directly to the brane bouquet.

hep-th↗

arXiv2018

Higher T-duality in M-theory via local supersymmetry

By analyzing super-torsion and brane super-cocycles, we derive a new duality in M-theory, which takes the form of a higher version of T-duality in string theory. This involves a new topology change mechanism abelianizing the 3-sphere associated with the C-field topology to the 517-torus associated with exceptional-generalized super-geometry. Finally we explain parity symmetry in M-theory within exceptional-generalized super-spacetime at the same level of spherical T-duality, namely as an isomorphism on 7-twisted cohomology.

hep-th↗

arXiv2018

Higher T-duality of super M-branes

We establish a higher generalization of super L-infinity-algebraic T-duality of super WZW-terms for super p-branes. In particular, we demonstrate spherical T-duality of super M5-branes propagating on exceptional-geometric 11d super spacetime.

hep-th↗

arXiv2018

The stack of Yang-Mills fields on Lorentzian manifolds

We provide an abstract definition and an explicit construction of the stack of non-Abelian Yang-Mills fields on globally hyperbolic Lorentzian manifolds. We also formulate a stacky version of the Yang-Mills Cauchy problem and show that its well-posedness is equivalent to a whole family of parametrized PDE problems. Our work is based on the homotopy theoretical approach to stacks proposed in [S. Hollander, Israel J. Math. 163, 93-124 (2008)], which we shall extend by further constructions that are relevant for our purposes. In particular, we will clarify the concretification of mapping stacks to classifying stacks such as $\mathrm{B}G_\mathrm{con}$.

math-ph↗

arXiv2018

T-duality in rational homotopy theory via $L_\infty$-algebras

We combine Sullivan models from rational homotopy theory with Stasheff's $L_\infty$-algebras to describe a duality in string theory. Namely, what in string theory is known as topological T-duality between $K^0$-cocycles in type IIA string theory and $K^1$-cocycles in type IIB string theory, or as Hori's formula, can be recognized as a Fourier-Mukai transform between twisted cohomologies when looked through the lenses of rational homotopy theory. We show this as an example of topological T-duality in rational homotopy theory, which in turn can be completely formulated in terms of morphisms of $L_\infty$-algebras.

math-ph↗

arXiv2017

T-Duality from super Lie n-algebra cocycles for super p-branes

We compute the $L_\infty$-theoretic dimensional reduction of the F1/D$p$-brane super $L_\infty$-cocycles with coefficients in rationalized twisted K-theory from the 10d type IIA and type IIB super Lie algebras down to 9d. We show that the two resulting coefficient $L_\infty$-algebras are naturally related by an $L_\infty$-isomorphism which we find to act on the super $p$-brane cocycles by the infinitesimal version of the rules of topological T-duality and inducing an isomorphism between $K^0$ and $K^1$, rationally. In particular this is a derivation of the Buscher rules for RR-fields (Hori's formula) from first principles. Moreover, we show that these $L_\infty$-algebras are the homotopy quotients of the RR-charge coefficients by the "T-duality Lie 2-algebra". We find that the induced $L_\infty$-extension is a gerby extension of a 9+(1+1) dimensional (i.e. "doubled") T-duality correspondence super-spacetime, which serves as a local model for T-folds. We observe that this still extends, via the D0-brane cocycle of its type IIA factor, to a 10+(1+1)-dimensional super Lie algebra. Finally we observe that this satisfies expected properties of a local model space for F-theory elliptic fibrations.

math-ph↗

arXiv2017

Synthetic geometry of differential equations: I. Jets and comonad structure

We give an abstract formulation of the formal theory partial differential equations (PDEs) in synthetic differential geometry, one that would seamlessly generalize the traditional theory to a range of enhanced contexts, such as super-geometry, higher (stacky) differential geometry, or even a combination of both. A motivation for such a level of generality is the eventual goal of solving the open problem of covariant geometric pre-quantization of locally variational field theories, which may include fermions and (higher) gauge fields. (abridged)

math.DG↗

arXiv2017

Rational sphere valued supercocycles in M-theory and type IIA string theory

We show that supercocycles on super $L_\infty$-algebras capture, at the rational level, the twisted cohomological charge structure of the fields of M-theory and of type IIA string theory. We show that rational 4-sphere-valued supercocycles for M-branes in M-theory descend to supercocycles in type IIA string theory with coefficients in the free loop space of the 4-sphere, to yield the Ramond-Ramond fields in the rational image of twisted K-theory, with the twist given by the B-field. In particular, we derive the M2/M5 $\leftrightarrow$ F1/Dp/NS5 correspondence via dimensional reduction of sphere-valued super-$L_\infty$-cocycles.

hep-th↗