-
Flux Quantization on M5-branes
Authors:
Grigorios Giotopoulos,
Hisham Sati,
Urs Schreiber
Abstract:
The M5-brane has been argued to potentially provide much-needed theoretical underpinning for various non-perturbative phenomena in strongly-coupled quantum systems and yet the primary non-perturbative effect already in its classical on-shell formulation has received little attention: The flux-quantization of the higher gauge field on its worldvolume.
This problem appears subtle because of (1a.)…
▽ More
The M5-brane has been argued to potentially provide much-needed theoretical underpinning for various non-perturbative phenomena in strongly-coupled quantum systems and yet the primary non-perturbative effect already in its classical on-shell formulation has received little attention: The flux-quantization of the higher gauge field on its worldvolume.
This problem appears subtle because of (1a.) the notorious self-duality of the 3-form flux density in the small field limit, combined with (1b.) its highly non-linear self-duality for strong fields, and (2a.) the twisting of its Bianchi identity by the pullback of the 11d SuGra C-field flux density, which (2b.) is subject to its own subtle flux quantization law on the ambient spacetime.
These subtleties call into question the tacit assumption that the M5 brane's 3-flux is quantized in ordinary cohomology and hence leaves open the rather fundamental question of what the M5-brane's worldvolume higher gauge field really is.
Here we characterize the valid quantization laws of the M5-brane's 3-flux in (non-abelian) generalized twisted cohomology. The key step is to pass to super-spacetime and there to combine the character map with the "super-embedding"-construction of the on-shell M5-brane fields, of which we give a rigorous and streamlined re-rederivation.
We show that one admissible quantization law of the 3-flux on M5-branes is by 4-Cohomotopy-twisted 3-Cohomotopy, as predicted by "Hypothesis H". Besides quantizing the bulk fluxes (G4,G7) and the brane's H3-flux themselves, this law also implies the (level-)quantization of the induced Page-charge/Hopf-WZ term on the M5-brane, necessary for its action functional to be globally well-defined.
Finally, we demonstrate how with this flux quantization imposed, there generically appear skyrmionic solitons on M5-branes and anyonic topological quantum states on open M5-branes.
△ Less
Submitted 2 July, 2024; v1 submitted 17 June, 2024;
originally announced June 2024.
-
Flux Quantization on 11-dimensional Superspace
Authors:
Grigorios Giotopoulos,
Hisham Sati,
Urs Schreiber
Abstract:
Flux quantization of the C-field in 11d supergravity is arguably necessary for the (UV-)completion of the theory, in that it determines the torsion charges carried by small numbers of M-branes. However, hypotheses about C-field flux-quantization ("models of the C-field") have previously been discussed only in the bosonic sector of 11d supergravity and ignoring the supergravity equations of motion.…
▽ More
Flux quantization of the C-field in 11d supergravity is arguably necessary for the (UV-)completion of the theory, in that it determines the torsion charges carried by small numbers of M-branes. However, hypotheses about C-field flux-quantization ("models of the C-field") have previously been discussed only in the bosonic sector of 11d supergravity and ignoring the supergravity equations of motion. Here we highlight a duality-symmetric formulation of on-shell 11d supergravity on superspace, observe that this naturally lends itself to completion of the theory by flux quantization, and indeed that 11d super-spacetimes are put on-shell by carrying quantizable duality-symmetric super-C-field flux; the proof of which we present in detail.
△ Less
Submitted 3 July, 2024; v1 submitted 25 March, 2024;
originally announced March 2024.
-
Flux Quantization
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
Flux- and charge-quantization laws for higher gauge fields of Maxwell type -- e.g. the common electromagnetic field (the "A-field") but also the B-, RR-, and C-fields considered in string/M-theory -- specify non-perturbative completions of these fields by encoding their solitonic behaviour and hence by specifying the discrete charges carried by the individual branes (higher-dimensional monopoles o…
▽ More
Flux- and charge-quantization laws for higher gauge fields of Maxwell type -- e.g. the common electromagnetic field (the "A-field") but also the B-, RR-, and C-fields considered in string/M-theory -- specify non-perturbative completions of these fields by encoding their solitonic behaviour and hence by specifying the discrete charges carried by the individual branes (higher-dimensional monopoles or solitons) that source the field fluxes.
This article surveys the general (rational-)homotopy theoretic understanding of flux- and charge-quantization via the Chern-Dold character map generalized to the non-linear (self-sourcing) Bianchi identities that appear in higher-dimensional supergravity theories, notably for B&RR-fields in D=10, for the C-field in D=11 supergravity, and for the B-field on fivebrane worldvolumes.
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
-
Field Theory via Higher Geometry I: Smooth Sets of Fields
Authors:
Grigorios Giotopoulos,
Hisham Sati
Abstract:
The physical world is fundamentally: (1) field-theoretic, (2) smooth, (3) local, (4) gauged, (5) containing fermions, and last but not least: (6) non-perturbative. Tautologous as this may sound, it is remarkable that the mathematical notion of geometry which reflects all of these aspects -- namely, as we will explain: "supergeometric homotopy theory" -- has received little attention even by mathem…
▽ More
The physical world is fundamentally: (1) field-theoretic, (2) smooth, (3) local, (4) gauged, (5) containing fermions, and last but not least: (6) non-perturbative. Tautologous as this may sound, it is remarkable that the mathematical notion of geometry which reflects all of these aspects -- namely, as we will explain: "supergeometric homotopy theory" -- has received little attention even by mathematicians and remains unknown to most physicists. Elaborate algebraic machinery is known for perturbative field theories, but in order to tackle the deep open questions of the subject, these will need to be lifted to a global geometry of physics.
Our aim in this series is, first, to introduce inclined physicists to this theory, second to fill mathematical gaps in the existing literature, and finally to rigorously develop the full power of supergeometric homotopy theory and apply it to the analysis of fermionic (not necessarily super-symmetric) field theories.
To warm up, in this first part we explain how classical bosonic Lagrangian field theory (variational Euler-Lagrange theory) finds a natural home in the "topos of smooth sets", thereby neatly setting the scene for the higher supergeometry discussed in later parts of the series. This introductory material will be largely known to a few experts but has never been comprehensively laid out before. A key technical point we make is to regard jet bundle geometry systematically in smooth sets instead of just its subcategories of diffeological spaces or even Fréchet manifolds -- or worse simply as a formal object. Besides being more transparent and powerful, it is only on this backdrop that a reasonable supergeometric jet geometry exists, needed for satisfactory discussion of any field theory with fermions.
△ Less
Submitted 7 February, 2024; v1 submitted 26 December, 2023;
originally announced December 2023.
-
Quantum Observables of Quantized Fluxes
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
While it has become widely appreciated that defining (higher) gauge theories requires, in addition to ordinary phase space data, also "flux quantization" laws in generalized differential cohomology, there has been little discussion of the general rules, if any, for lifting Poisson-brackets of (flux-)observables and their quantization from traditional phase spaces to the resulting higher moduli sta…
▽ More
While it has become widely appreciated that defining (higher) gauge theories requires, in addition to ordinary phase space data, also "flux quantization" laws in generalized differential cohomology, there has been little discussion of the general rules, if any, for lifting Poisson-brackets of (flux-)observables and their quantization from traditional phase spaces to the resulting higher moduli stacks of flux-quantized gauge fields.
In this short note, we present a systematic analysis of (i) the canonical quantization of flux observables in Yang-Mills theory and (ii) of valid flux quantization laws in abelian Yang-Mills, observing (iii) that the resulting topological quantum observables form the homology Pontrjagin algebra of the loop space of the moduli space of flux-quantized gauge fields.
This is remarkable because the homology Ponrjagin algebra on loops of moduli makes immediate sense in broad generality for higher and non-abelian (non-linearly coupled) gauge fields, such as for the C-field in 11d supergravity, where it recovers the quantum effects previously discussed in the context of "Hypothesis H".
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
Flux Quantization on Phase Space
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
While it has become widely appreciated that (higher) gauge theories need, besides their variational phase space data, to be equipped with "flux quantization laws" in generalized differential cohomology, there used to be no general prescription for how to define and construct the resulting flux-quantized phase space stacks.
In this short note we observe that all higher Maxwell-type equations have…
▽ More
While it has become widely appreciated that (higher) gauge theories need, besides their variational phase space data, to be equipped with "flux quantization laws" in generalized differential cohomology, there used to be no general prescription for how to define and construct the resulting flux-quantized phase space stacks.
In this short note we observe that all higher Maxwell-type equations have solution spaces given by flux densities on a Cauchy surface subject to a higher Gauss law and no further constraint: The metric duality-constraint is all absorbed into the evolution equation away from the Cauchy surface.
Moreover, we observe that the higher Gauss law characterizes the Cauchy data as flat differential forms valued in a characteristic L-infinity-algebra. Using the recent construction of the non-abelian Chern-Dold character map, this implies that compatible flux quantization laws on phase space have classifying spaces whose rational Whitehead L-infinity algebra is this characteristic one. The flux-quantized higher phase space stack of the theory is then simply the corresponding (generally non-abelian) differential cohomology moduli stack on the Cauchy surface.
We show how this systematic prescription subsumes existing proposals for flux-quantized phase spaces of vacuum Maxwell theory and of the chiral boson. Moreover, for the case of NS/RR-fields in type II supergravity, the traditional "Hypothesis K" of flux quantization in topological K-theory is naturally implied, without the need, on phase space, for the notorious further duality constraint. Finally, as a genuinely non-abelian example, we consider flux-quantization of the C-field in 11d supergravity/M-theory given by unstable differential 4-Cohomotopy ("Hypothesis H") and emphasize again that, implemented on Cauchy data, this qualifies as the full phase space without the need for a further duality constraint.
△ Less
Submitted 8 May, 2024; v1 submitted 19 December, 2023;
originally announced December 2023.
-
Quantum and Reality
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
Formalizations of quantum information theory in category theory and type theory, for the design of verifiable quantum programming languages, need to express its two fundamental characteristics: (1) parameterized linearity and (2) metricity. The first is naturally addressed by dependent-linearly typed languages such as Proto-Quipper or, following our recent observations: Linear Homotopy Type Theory…
▽ More
Formalizations of quantum information theory in category theory and type theory, for the design of verifiable quantum programming languages, need to express its two fundamental characteristics: (1) parameterized linearity and (2) metricity. The first is naturally addressed by dependent-linearly typed languages such as Proto-Quipper or, following our recent observations: Linear Homotopy Type Theory (LHoTT). The second point has received much attention (only) in the form of semantics in "dagger-categories", where operator adjoints are axiomatized but their specification to Hermitian adjoints still needs to be imposed by hand.
We describe a natural emergence of Hermiticity which is rooted in principles of equivariant homotopy theory, lends itself to homotopically-typed languages and naturally connects to topological quantum states classified by twisted equivariant KR-theory. Namely, we observe that when the complex numbers are considered as a monoid internal to Z/2-equivariant real linear types, via complex conjugation, then (finite-dimensional) Hilbert spaces do become self-dual objects among internally-complex Real modules.
The point is that this construction of Hermitian forms requires of the ambient linear type theory nothing further than a negative unit term of tensor unit type. We observe that just such a term is constructible in LHoTT, where it interprets as an element of the infinity-group of units of the sphere spectrum, tying the foundations of quantum theory to homotopy theory. We close by indicating how this allows for encoding (and verifying) the unitarity of quantum gates and of quantum channels in quantum languages embedded into LHoTT.
△ Less
Submitted 18 November, 2023;
originally announced November 2023.
-
The Quantum Monadology
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
The modern theory of functional programming languages uses monads for encoding computational side-effects and side-contexts, beyond bare-bone program logic. Even though quantum computing is intrinsically side-effectful (as in quantum measurement) and context-dependent (as on mixed ancillary states), little of this monadic paradigm has previously been brought to bear on quantum programming language…
▽ More
The modern theory of functional programming languages uses monads for encoding computational side-effects and side-contexts, beyond bare-bone program logic. Even though quantum computing is intrinsically side-effectful (as in quantum measurement) and context-dependent (as on mixed ancillary states), little of this monadic paradigm has previously been brought to bear on quantum programming languages.
Here we systematically analyze the (co)monads on categories of parameterized module spectra which are induced by Grothendieck's "motivic yoga of operations" -- for the present purpose specialized to HC-modules and further to set-indexed complex vector spaces. Interpreting an indexed vector space as a collection of alternative possible quantum state spaces parameterized by quantum measurement results, as familiar from Proto-Quipper-semantics, we find that these (co)monads provide a comprehensive natural language for functional quantum programming with classical control and with "dynamic lifting" of quantum measurement results back into classical contexts.
We close by indicating a domain-specific quantum programming language (QS) expressing these monadic quantum effects in transparent do-notation, embeddable into the recently constructed Linear Homotopy Type Theory (LHoTT) which interprets into parameterized module spectra. Once embedded into LHoTT, this should make for formally verifiable universal quantum programming with linear quantum types, classical control, dynamic lifting, and notably also with topological effects.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Entanglement of Sections: The pushout of entangled and parameterized quantum information
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
Recently Freedman & Hastings asked for a mathematical theory that would unify quantum entanglement/tensor-structure with parameterized/bundle-structure via their amalgamation (a hypothetical pushout) along bare quantum (information) theory. As a proposed answer to this question, we first make precise a form of the relevant pushout diagram in monoidal category theory. Then we prove that the pushout…
▽ More
Recently Freedman & Hastings asked for a mathematical theory that would unify quantum entanglement/tensor-structure with parameterized/bundle-structure via their amalgamation (a hypothetical pushout) along bare quantum (information) theory. As a proposed answer to this question, we first make precise a form of the relevant pushout diagram in monoidal category theory. Then we prove that the pushout produces what is known as the *external* tensor product on vector bundles/K-classes, or rather on flat such bundles (flat K-theory), i.e., those equipped with monodromy encoding topological Berry phases. The bulk of our result is a further homotopy-theoretic enhancement of the situation to the "derived category" (infinity-category) of flat infinity-vector bundles ("infinity-local systems") equipped with the "derived functor" of the external tensor product. Concretely, we present an integral model category of simplicial functors into simplicial K-chain complexes which conveniently presents the infinity-category of parameterized HK-module spectra over varying base spaces and is equipped with homotopically well-behaved external tensor product structure. In concluding we indicate how this model category serves as categorical semantics for the linear-multiplicative fragment of Linear Homotopy Type Theory (LHoTT), which is thus exhibited as a universal quantum programming language. This is the context in which we recently showed that topological anyonic braid quantum gates are native objects in LHoTT.
△ Less
Submitted 21 November, 2023; v1 submitted 13 September, 2023;
originally announced September 2023.
-
Topological Quantum Gates in Homotopy Type Theory
Authors:
David Jaz Myers,
Hisham Sati,
Urs Schreiber
Abstract:
Despite the evident necessity of topological protection for realizing scalable quantum computers, the conceptual underpinnings of topological quantum logic gates had arguably remained shaky, both regarding their physical realization as well as their information-theoretic nature.
Building on recent results on defect branes in string/M-theory and on their holographically dual anyonic defects in co…
▽ More
Despite the evident necessity of topological protection for realizing scalable quantum computers, the conceptual underpinnings of topological quantum logic gates had arguably remained shaky, both regarding their physical realization as well as their information-theoretic nature.
Building on recent results on defect branes in string/M-theory and on their holographically dual anyonic defects in condensed matter theory, here we explain how the specification of realistic topological quantum gates, operating by anyon defect braiding in topologically ordered quantum materials, has a surprisingly slick formulation in parameterized point-set topology, which is so fundamental that it lends itself to certification in modern homotopically typed programming languages, such as cubical Agda.
We propose that this remarkable confluence of concepts may jointly kickstart the development of topological quantum programming proper as well as of real-world application of homotopy type theory, both of which have arguably been falling behind their high expectations; in any case, it provides a powerful paradigm for simulating and verifying topological quantum computing architectures with high-level certification languages aware of the actual physical principles of realistic topological quantum hardware.
In a companion article, we will explain how further passage to "dependent linear" homotopy data types naturally extends this scheme to a full-blown quantum programming/certification language in which our topological quantum gates may be compiled to verified quantum circuits, complete with quantum measurement gates and classical control.
△ Less
Submitted 4 March, 2023;
originally announced March 2023.
-
Mysterious Triality and M-Theory
Authors:
Hisham Sati,
Alexander A. Voronov
Abstract:
In a previous paper, we introduced Mysterious Triality as an extension, via algebraic topology in the form of rational homotopy theory, of Mysterious Duality by Iqbal, Neitzke, and Vafa, which provides connections between physics, in the form of dimensional reduction of M-theory, and algebraic geometry, in the form of intersection theory on del Pezzo surfaces. The starting point for that connectio…
▽ More
In a previous paper, we introduced Mysterious Triality as an extension, via algebraic topology in the form of rational homotopy theory, of Mysterious Duality by Iqbal, Neitzke, and Vafa, which provides connections between physics, in the form of dimensional reduction of M-theory, and algebraic geometry, in the form of intersection theory on del Pezzo surfaces. The starting point for that connection to rational homotopy theory is the description of M-theory dynamics using the 4-sphere, via Hypothesis H. This progresses to dimensional reduction of M-theory on tori $T^k$ with its dynamics described via cyclic loop spaces of the 4-sphere $\mathcal{L}_c^k S^4$, producing a series of data analogous to that given by the del Pezzo surfaces $\mathbb{B}_k$, for $k=0, \dots, 8$.
With the mathematical constructions established in the previous paper, in this companion physics paper we present novel connections to M-theory that enhance the triality, including those strengthening the duality. This uncovers interesting ties between algebraic geometry, algebraic topology, and M-theory and provides tantalizing links. We further expand on the extension of the duality and triality to the Kac-Moody setting.
△ Less
Submitted 9 January, 2023; v1 submitted 28 December, 2022;
originally announced December 2022.
-
Cyclification of Orbifolds
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
Inertia orbifolds homotopy-quotiented by rotation of geometric loops play a fundamental role not only in ordinary cyclic cohomology, but more recently in constructions of equivariant Tate-elliptic cohomology and generally of transchromatic characters on generalized cohomology theories. Nevertheless, existing discussion of such cyclified stacks has been relying on ad-hoc component presentations wit…
▽ More
Inertia orbifolds homotopy-quotiented by rotation of geometric loops play a fundamental role not only in ordinary cyclic cohomology, but more recently in constructions of equivariant Tate-elliptic cohomology and generally of transchromatic characters on generalized cohomology theories. Nevertheless, existing discussion of such cyclified stacks has been relying on ad-hoc component presentations with intransparent and unverified stacky homotopy type.
Following our previous formulation of transgression of cohomological charges ("double dimensional reduction"), we explain how cyclification of infinity-stacks is a fundamental and elementary base-change construction over moduli stacks in cohesive higher topos theory (cohesive homotopy type theory). We prove that Ganter/Huan's extended inertia groupoid used to define equivariant quasi-elliptic cohomology is indeed a model for this intrinsically defined cyclification of orbifolds, and we show that cyclification implements transgression in group cohomology in general, and hence in particular the transgression of degree-4 twists of equivariant Tate-elliptic cohomology to degree-3 twists of orbifold K-theory on the cyclified orbifold.
As an application, we show that the universal shifted integral 4-class of equivariant 4-Cohomotopy theory on ADE-orbifolds induces the Platonic 4-twist of ADE-equivariant Tate-elliptic cohomology; and we close by explaining how this should relate to elliptic M5-brane genera, under our previously formulated Hypothesis H.
△ Less
Submitted 28 December, 2022;
originally announced December 2022.
-
Topological Quantum Programming in TED-K
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
While the realization of scalable quantum computation will arguably require topological stabilization and, with it, topological-hardware-aware quantum programming and topological-quantum circuit verification, the proper combination of these strategies into dedicated topological quantum programming languages has not yet received attention. Here we describe a fundamental and natural scheme that we a…
▽ More
While the realization of scalable quantum computation will arguably require topological stabilization and, with it, topological-hardware-aware quantum programming and topological-quantum circuit verification, the proper combination of these strategies into dedicated topological quantum programming languages has not yet received attention. Here we describe a fundamental and natural scheme that we are develo**, for typed functional (hence verifiable) topological quantum programming which is topological-hardware aware -- in that it natively reflects the universal fine technical detail of topological q-bits, namely of symmetry-protected (or enhanced) topologically ordered Laughlin-type anyon ground states in topological phases of quantum materials.
What makes this work is: (1) our recent result that wavefunctions of realistic and technologically viable anyon species -- namely of su(2)-anyons such as the popular Majorana/Ising anyons but also of computationally universal Fibonacci anyons -- are reflected in the twisted equivariant differential (TED) K-cohomology of configuration spaces of codimension=2 nodal defects in the host material's crystallographic orbifold; (2) combined with our earlier observation that such TED generalized cohomology theories on orbifolds interpret intuitionistically-dependent linear data types in cohesive homotopy type theory (HoTT), supporting a powerful modern form of modal quantum logic.
In this short note we give an exposition of the basic ideas, a quick review of the underlying results and a brief indication of the basic language constructs for anyon braiding via TED-K in cohesive HoTT. The language system is under development at the "Center for Quantum and Topological Systems" at the Research Institute of NYU, Abu Dhabi.
△ Less
Submitted 17 September, 2022;
originally announced September 2022.
-
Anyonic Topological Order in Twisted Equivariant Differential (TED) K-Theory
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
While the classification of non-interacting crystalline topological insulator phases by equivariant K-theory has become widely accepted, its generalization to anyonic interacting phases -- hence to phases with topologically ordered ground states supporting topological braid quantum gates -- has remained wide open. On the contrary, the success of K-theory with classifying non-interacting phases see…
▽ More
While the classification of non-interacting crystalline topological insulator phases by equivariant K-theory has become widely accepted, its generalization to anyonic interacting phases -- hence to phases with topologically ordered ground states supporting topological braid quantum gates -- has remained wide open. On the contrary, the success of K-theory with classifying non-interacting phases seems to have tacitly been perceived as precluding a K-theoretic classification of interacting topological order; and instead a mix of other proposals has been explored. However, only K-theory connects closely to the actual physics of valence electrons; and self-consistency demands that any other proposal must connect to K-theory.
Here we provide a detailed argument for the classification of symmetry protected/enhanced su(2)-anyonic topological order, specifically in interacting 2d semi-metals, by the twisted equivariant differential (TED) K-theory of configuration spaces of points in the complement of nodal points inside the crystal's Brillouin torus orbi-orientifold.
We argue, in particular, that: (1) topological 2d semi-metal phases modulo global mass terms are classified by the flat differential twisted equivariant K-theory of the complement of the nodal points; (2) n-electron interacting phases are classified by the K-theory of configuration spaces of n points in the Brillouin torus; (3) the somewhat neglected twisting of equivariant K-theory by "inner local systems" reflects the effective "fictitious" gauge interaction of Chen, Wilczeck, Witten & Halperin (1989), which turns fermions into anyonic quanta; (4) the induced su(2)-anyonic topological order is reflected in the twisted Chern classes of the interacting valence bundle over configuration space, constituting the hypergeometric integral construction of monodromy braid representations.
△ Less
Submitted 29 May, 2024; v1 submitted 27 June, 2022;
originally announced June 2022.
-
Anyonic Defect Branes and Conformal Blocks in Twisted Equivariant Differential (TED) K-theory
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
We demonstrate that twisted equivariant differential K-theory of transverse complex curves accommodates exotic charges of the form expected of codimension=2 defect branes, such as of D7-branes in IIB/F-theory on A-type orbifold singularities, but also of their dual 3-brane defects of class-S theories on M5-branes. These branes have been argued, within F-theory and the AGT correspondence, to carry…
▽ More
We demonstrate that twisted equivariant differential K-theory of transverse complex curves accommodates exotic charges of the form expected of codimension=2 defect branes, such as of D7-branes in IIB/F-theory on A-type orbifold singularities, but also of their dual 3-brane defects of class-S theories on M5-branes. These branes have been argued, within F-theory and the AGT correspondence, to carry special SL(2)-monodromy charges not seen for other branes, but none of these had previously been identified in the expected brane charge quantization law given by K-theory.
Here we observe that it is the subtle (and previously somewhat neglected) twisting of equivariant K-theory by flat complex line bundles appearing inside orbi-singularities ("inner local systems") that makes the secondary Chern character on a punctured plane inside an A-type singularity evaluate to the twisted holomorphic de Rham cohomology which Feigin, Schechtman & Varchenko showed realizes sl(2,C)-conformal blocks, here in degree 1 -- in fact it gives the direct sum of these over all admissible fractional levels. The remaining higher-degree conformal blocks appear similarly if we assume our previously discussed "Hypothesis H" about brane charge quantization in M-theory. Since conformal blocks -- and hence these twisted equivariant secondary Chern characters -- solve the Knizhnik-Zamolodchikov equation and thus constitute representations of the braid group of motions of defect branes inside their transverse space, this provides a concrete first-principles realization of anyon statistics of -- and hence of topological quantum computation on -- defect branes in string/M-theory.
△ Less
Submitted 22 March, 2022;
originally announced March 2022.
-
Equivariant principal infinity-bundles
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
In this book we prove unified classification results for equivariant principal bundles when the topological structure group is truncated. The conceptually transparent proof invokes a smooth Oka principle, which becomes available after faithfully embedding traditional equivariant topology into the singular-cohesive homotopy theory of globally equivariant higher smooth stacks. This works for discret…
▽ More
In this book we prove unified classification results for equivariant principal bundles when the topological structure group is truncated. The conceptually transparent proof invokes a smooth Oka principle, which becomes available after faithfully embedding traditional equivariant topology into the singular-cohesive homotopy theory of globally equivariant higher smooth stacks. This works for discrete equivariance groups acting properly on smooth manifolds with resolvable singularities, whence we are equivalently describing principal bundles on good orbifolds.
In preparation, we re-develop the theory of equivariant principal bundles from scratch by systematic use of Grothendieck's internalization method. In particular we prove that all equivariant local triviality conditions considered in the literature are implied by regarding G-equivariant principal bundles as principal bundles internal to the BG-slice of the ambient cohesive infinity-topos. Generally we find that the characteristic subtle phenomena of equivariant classifying theory all reflect basic "modal" properties of singular-cohesive homotopy theory.
Classical literature has mostly been concerned with compact Lie structure groups. Where these are truncated, our classification recovers and generalizes results of Lashof, May, Segal and Rezk. A key non-classical example is the infinite projective unitary structure group, in which case we are classifying degree-3 twists of equivariant KU-theory, recovering results of Atiyah, Segal, Lueck and Uribe. Our theorem enhances this to conjugation-equivariance, where we are classifying the geometric twists of equivariant KR-theory, restricting on "O-planes" to the geometric twists of KO-theory. This is the generality in which equivariant K-theory twists model quantum symmetries of topological phases and the B-field in string theory on orbi-orientifolds.
△ Less
Submitted 15 August, 2022; v1 submitted 27 December, 2021;
originally announced December 2021.
-
Mysterious Triality and Rational Homotopy Theory
Authors:
Hisham Sati,
Alexander A. Voronov
Abstract:
Mysterious Duality was discovered by Iqbal, Neitzke, and Vafa in 2001 as a convincing, yet mysterious correspondence between certain symmetry patterns in toroidal compactifications of M-theory and del Pezzo surfaces, both governed by the root system series $E_k$.
It turns out that the sequence of del Pezzo surfaces is not the only sequence of objects in mathematics that gives rise to the same…
▽ More
Mysterious Duality was discovered by Iqbal, Neitzke, and Vafa in 2001 as a convincing, yet mysterious correspondence between certain symmetry patterns in toroidal compactifications of M-theory and del Pezzo surfaces, both governed by the root system series $E_k$.
It turns out that the sequence of del Pezzo surfaces is not the only sequence of objects in mathematics that gives rise to the same $E_k$ symmetry pattern. We present a sequence of topological spaces, starting with the four-sphere $S^4$, and then forming its iterated cyclic loop spaces $\mathcal{L}_c^k S^4$, within which we discover the $E_k$ symmetry pattern via rational homotopy theory. For this sequence of spaces, the correspondence between its $E_k$ symmetry pattern and that of toroidal compactifications of M-theory is no longer a mystery, as each space $\mathcal{L}_c^k S^4$ is naturally related to the compactification of M-theory on the $k$-torus via identification of the equations of motion of $(11-k)$-dimensional supergravity as the defining equations of the Sullivan minimal model of $\mathcal{L}_c^k S^4$. This gives an explicit duality between algebraic topology and physics.
Thereby, we extend Iqbal-Neitzke-Vafa's Mysterious Duality between algebraic geometry and physics into a triality, also involving algebraic topology. Via this triality, duality between physics and mathematics is demystified, and the mystery is transferred to the mathematical realm as duality between algebraic geometry and algebraic topology. Now the question is: Is there an explicit relation between the del Pezzo surfaces $\mathbb{B}_k$ and iterated cyclic loop spaces of $S^4$ which would explain the common $E_k$ symmetry pattern?
△ Less
Submitted 9 January, 2023; v1 submitted 29 November, 2021;
originally announced November 2021.
-
Fundamental weight systems are quantum states
Authors:
David Corfield,
Hisham Sati,
Urs Schreiber
Abstract:
Weight systems on chord diagrams play a central role in knot theory and Chern-Simons theory; and more recently in stringy quantum gravity. We highlight that the noncommutative algebra of horizontal chord diagrams is canonically a star-algebra, and ask which weight systems are positive with respect to this structure; hence we ask: Which weight systems are quantum states, if horizontal chord diagram…
▽ More
Weight systems on chord diagrams play a central role in knot theory and Chern-Simons theory; and more recently in stringy quantum gravity. We highlight that the noncommutative algebra of horizontal chord diagrams is canonically a star-algebra, and ask which weight systems are positive with respect to this structure; hence we ask: Which weight systems are quantum states, if horizontal chord diagrams are quantum observables? We observe that the fundamental gl(n)-weight systems on horizontal chord diagrams with N strands may be identified with the Cayley distance kernel at inverse temperature beta=ln(n) on the symmetric group on N elements. In contrast to related kernels like the Mallows kernel, the positivity of the Cayley distance kernel had remained open. We characterize its phases of indefinite, semi-definite and definite positivity, in dependence of the inverse temperature beta; and we prove that the Cayley distance kernel is positive (semi-)definite at beta=ln(n) for all n=1,2,3,... In particular, this proves that all fundamental gl(n)-weight systems are quantum states, and hence so are all their convex combinations. We close with briefly recalling how, under our "Hypothesis H", this result impacts on the identification of bound states of multiple M5-branes.
△ Less
Submitted 16 September, 2021; v1 submitted 6 May, 2021;
originally announced May 2021.
-
M/F-Theory as Mf-Theory
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
In the quest for mathematical foundations of M-theory, the "Hypothesis H" that fluxes are quantized in Cohomotopy theory, implies, on flat but possibly singular spacetimes, that M-brane charges locally organize into equivariant homotopy groups of spheres. Here we show how this leads to a correspondence between phenomena conjectured in M-theory and fundamental mathematical concepts/results in stabl…
▽ More
In the quest for mathematical foundations of M-theory, the "Hypothesis H" that fluxes are quantized in Cohomotopy theory, implies, on flat but possibly singular spacetimes, that M-brane charges locally organize into equivariant homotopy groups of spheres. Here we show how this leads to a correspondence between phenomena conjectured in M-theory and fundamental mathematical concepts/results in stable homotopy, generalized cohomology and Cobordism theory Mf:
Stems of homotopy groups correspond to charges of probe p-branes near black b-branes; stabilization within a stem is the boundary-bulk transition; the Adams d-invariant measures G4-flux; trivialization of the d-invariant corresponds to H3-flux; refined Toda brackets measure H3-flux; the refined Adams e-invariant sees the H3-charge lattice; vanishing Adams e-invariant implies consistent global C3-fields; Conner-Floyd's e-invariant is H3-flux seen in the Green-Schwarz mechanism; the Hopf invariant is the M2-brane Page charge (G7-flux); the Pontrjagin-Thom theorem associates the polarized brane worldvolumes sourcing all these charges. Cobordism in the third stable stem witnesses spontaneous KK-compactification on K3-surfaces; the order of the third stable stem implies 24 NS5/D7-branes in M/F-theory on K3. Quaternionic orientations correspond to unit H3-fluxes near M2-branes; complex orientations lift these unit H3-fluxes to heterotic M-theory with heterotic line bundles. In fact, we find quaternionic/complex Ravenel-orientations bounded in dimension; and we find the bound to be 10, as befits spacetime dimension 10+1.
△ Less
Submitted 5 December, 2023; v1 submitted 2 March, 2021;
originally announced March 2021.
-
The character map in equivariant twistorial Cohomotopy implies the Green-Schwarz mechanism with heterotic M5-branes
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
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…
▽ More
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.
△ Less
Submitted 12 November, 2020;
originally announced November 2020.
-
The character map in (twisted differential) non-abelian cohomology
Authors:
Domenico Fiorenza,
Hisham Sati,
Urs Schreiber
Abstract:
We extend the Chern character on K-theory, in its generalization to the Chern-Dold character on generalized cohomology theories, further to (twisted, differential) non-abelian cohomology theories, where its target is a non-abelian de Rham cohomology of twisted L-infinity algebra valued differential forms. The construction amounts to leveraging the fundamental theorem of dg-algebraic rational homot…
▽ More
We extend the Chern character on K-theory, in its generalization to the Chern-Dold character on generalized cohomology theories, further to (twisted, differential) non-abelian cohomology theories, where its target is a non-abelian de Rham cohomology of twisted L-infinity algebra valued differential forms. The construction amounts to leveraging the fundamental theorem of dg-algebraic rational homotopy theory to a twisted non-abelian generalization of the de Rham theorem. We show that the non-abelian character reproduces, besides the Chern-Dold character, also the Chern-Weil homomorphism as well as its secondary Cheeger-Simons homomorphism on (differential) non-abelian cohomology in degree 1, represented by principal bundles (with connection); and thus generalizes all these to higher (twisted, differential) non-abelian cohomology, represented by higher bundles/higher gerbes (with higher connections). As a fundamental example, we discuss the twisted non-abelian character map on twistorial Cohomotopy theory over 8-manifolds, which can be viewed as a twisted non-abelian enhancement of topological modular forms (tmf) in degree 4. This turns out to exhibit a list of subtle topological relations that in high energy physics are thought to govern the charge quantization of fluxes in M-theory.
△ Less
Submitted 30 August, 2021; v1 submitted 24 September, 2020;
originally announced September 2020.
-
Twistorial Cohomotopy implies Green-Schwarz anomaly cancellation
Authors:
Domenico Fiorenza,
Hisham Sati,
Urs Schreiber
Abstract:
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-Witten's proposal for the extension of the Green-Schwarz mechanism from heterotic string theory to heterotic M-theory. We discuss how this square…
▽ More
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-Witten's 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.
△ Less
Submitted 4 April, 2022; v1 submitted 19 August, 2020;
originally announced August 2020.
-
Proper Orbifold Cohomology
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
The concept of orbifolds should unify differential geometry with equivariant homotopy theory, so that orbifold cohomology should unify differential cohomology with proper equivariant cohomology theory. Despite the prominent role that orbifolds have come to play in mathematics and mathematical physics, especially in string theory, the formulation of a general theory of orbifolds reflecting this uni…
▽ More
The concept of orbifolds should unify differential geometry with equivariant homotopy theory, so that orbifold cohomology should unify differential cohomology with proper equivariant cohomology theory. Despite the prominent role that orbifolds have come to play in mathematics and mathematical physics, especially in string theory, the formulation of a general theory of orbifolds reflecting this unification has remained an open problem. Here we present a natural theory argued to achieve this. We give both a general abstract axiomatization in higher topos theory, as well as concrete models for ordinary as well as for super-geometric and for higher-geometric orbifolds. Our first main result is a fully faithful embedding of the 2-category of orbifolds into a singular-cohesive infinity-topos whose intrinsic cohomology theory is proper globally equivariant differential generalized cohomology, subsuming traditional orbifold cohomology, Chen-Ruan cohomology, and orbifold K-theory. Our second main result is a general construction of orbifold etale cohomology which we show to naturally unify (i) tangentially twisted cohomology of smooth but curved spaces with (ii) RO-graded proper equivariant cohomology of flat but singular spaces. As a fundamental example we present J-twisted orbifold Cohomotopy theories with coefficients in shapes of generalized Tate spheres. According to "Hypothesis H" this includes the proper orbifold cohomology theory that controls non-perturbative string theory.
△ Less
Submitted 28 September, 2020; v1 submitted 3 August, 2020;
originally announced August 2020.
-
Super-exceptional embedding construction of the heterotic M5: Emergence of SU(2)-flavor sector
Authors:
Domenico Fiorenza,
Hisham Sati,
Urs Schreiber
Abstract:
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 t…
▽ More
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 wrap** 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 wrap** 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.
△ Less
Submitted 29 May, 2020;
originally announced June 2020.
-
Twisted Cohomotopy implies twisted String structure on M5-branes
Authors:
Domenico Fiorenza,
Hisham Sati,
Urs Schreiber
Abstract:
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 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.
△ Less
Submitted 17 March, 2021; v1 submitted 25 February, 2020;
originally announced February 2020.
-
Twisted Cohomotopy implies M5-brane anomaly cancellation
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
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.
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.
△ Less
Submitted 2 April, 2021; v1 submitted 18 February, 2020;
originally announced February 2020.
-
Differential cohomotopy versus differential cohomology for M-theory and differential lifts of Postnikov towers
Authors:
Daniel Grady,
Hisham Sati
Abstract:
We compare the description of the M-theory form fields via cohomotopy versus that via integral cohomology. The conditions for lifting the latter to the former are identified using obstruction theory in the form of Postnikov towers, where torsion plays a central role. A subset of these conditions is shown to correspond compatibly to existing consistency conditions, while the rest are new and point…
▽ More
We compare the description of the M-theory form fields via cohomotopy versus that via integral cohomology. The conditions for lifting the latter to the former are identified using obstruction theory in the form of Postnikov towers, where torsion plays a central role. A subset of these conditions is shown to correspond compatibly to existing consistency conditions, while the rest are new and point to further consistency requirements for M-theory. Bringing in the geometry leads to a differential refinement of the Postnikov tower, which should be of independent interest. This provides another confirmation that cohomotopy is the proper generalized cohomology theory to describe these fields.
△ Less
Submitted 14 March, 2021; v1 submitted 21 January, 2020;
originally announced January 2020.
-
Differential Cohomotopy implies intersecting brane observables via configuration spaces and chord diagrams
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
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 h…
▽ More
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.
△ Less
Submitted 3 February, 2020; v1 submitted 22 December, 2019;
originally announced December 2019.
-
Equivariant Cohomotopy implies orientifold tadpole cancellation
Authors:
Hisham Sati,
Urs Schreiber
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 ma…
▽ More
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.
△ Less
Submitted 17 June, 2020; v1 submitted 26 September, 2019;
originally announced September 2019.
-
Six-dimensional gauge theories and (twisted) generalized cohomology
Authors:
Hisham Sati
Abstract:
We consider the global aspects of the 6-dimensional $\mathcal{N}=(1, 0)$ theory arising from the coupling of the vector multiplet to the tensor multiplet. We show that the Yang-Mills field and its dual, when both are abelianized, combine to define a class in twisted cohomology with the twist arising from the class of the $B$-field, in a duality-symmetric manner. We then show that this lifts natura…
▽ More
We consider the global aspects of the 6-dimensional $\mathcal{N}=(1, 0)$ theory arising from the coupling of the vector multiplet to the tensor multiplet. We show that the Yang-Mills field and its dual, when both are abelianized, combine to define a class in twisted cohomology with the twist arising from the class of the $B$-field, in a duality-symmetric manner. We then show that this lifts naturally to a class in twisted (differential) K-theory. Alternatively, viewing the B-field in both $\mathcal{N}=(1,0)$ and $\mathcal{N}=(2,0)$ theories, not as a twist but as an invertible element, leads to a description within untwisted chromatic level two generalized cohomology theories, including forms of elliptic cohomology and Morava K-theory.
△ Less
Submitted 22 August, 2019;
originally announced August 2019.
-
Super-exceptional geometry: origin of heterotic M-theory and super-exceptional embedding construction of M5
Authors:
Domenico Fiorenza,
Hisham Sati,
Urs Schreiber
Abstract:
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…
▽ More
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.
△ Less
Submitted 9 September, 2019; v1 submitted 31 July, 2019;
originally announced August 2019.
-
Twisted Cohomotopy implies level quantization of the full 6d Wess-Zumino term of the M5-brane
Authors:
Domenico Fiorenza,
Hisham Sati,
Urs Schreiber
Abstract:
The full 6d Hopf-Wess-Zumino term in the action functional for the M5-brane is anomalous as traditionally defined. What has been missing is a condition implying the higher analogue of level quantization familiar from the 2d Wess-Zumino term. We prove that the anomaly cancellation condition is implied by the hypothesis that the C-field is charge-quantized in twisted Cohomotopy theory. The proof fol…
▽ More
The full 6d Hopf-Wess-Zumino term in the action functional for the M5-brane is anomalous as traditionally defined. What has been missing is a condition implying the higher analogue of level quantization familiar from the 2d Wess-Zumino term. We prove that the anomaly cancellation condition is implied by the hypothesis that the C-field is charge-quantized in twisted Cohomotopy theory. The proof follows by a twisted/parametrized generalization of the Hopf invariant, after identifying the full 6d Hopf-Wess-Zumino term with a twisted homotopy Whitehead integral formula, which we establish.
△ Less
Submitted 9 October, 2020; v1 submitted 18 June, 2019;
originally announced June 2019.
-
Twisted differential KO-theory
Authors:
Daniel Grady,
Hisham Sati
Abstract:
We provide a systematic approach to twisting differential KO-theory leading to a construction of the corresponding twisted differential Atiyah-Hirzebruch spectral sequence (AHSS). We relate and contrast the degree two and the degree one twists, whose description involves appropriate local systems. Along the way, we provide a complete and explicit identification of the differentials at the $E_2$ an…
▽ More
We provide a systematic approach to twisting differential KO-theory leading to a construction of the corresponding twisted differential Atiyah-Hirzebruch spectral sequence (AHSS). We relate and contrast the degree two and the degree one twists, whose description involves appropriate local systems. Along the way, we provide a complete and explicit identification of the differentials at the $E_2$ and $E_3$ pages in the topological case, which has been missing in the literature and which is needed for the general case. The corresponding differentials in the refined theory reveal an intricate interplay between topological and geometric data, the former involving the flat part and the latter requiring the construction of the twisted differential Pontrjagin character. We illustrate with examples and applications from geometry, topology and physics. For instance, quantization conditions show how to lift differential $4k$-forms to twisted differential KO-theory leading to integrality results, while considerations of anomalies in type I string theory allow for characterization of twisted differential Spin structures.
△ Less
Submitted 22 May, 2019;
originally announced May 2019.
-
Twisted Cohomotopy implies M-theory anomaly cancellation on 8-manifolds
Authors:
Domenico Fiorenza,
Hisham Sati,
Urs Schreiber
Abstract:
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 co…
▽ More
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.
△ Less
Submitted 17 June, 2020; v1 submitted 23 April, 2019;
originally announced April 2019.
-
Ramond-Ramond fields and twisted differential K-theory
Authors:
Daniel Grady,
Hisham Sati
Abstract:
We provide a systematic approach to describing the Ramond-Ramond (RR) fields as elements in twisted differential K-theory. This builds on a series of constructions by the authors on geometric and computational aspects of twisted differential K-theory, which to a large extent were originally motivated by this problem. In addition to providing a new conceptual framework and a mathematically solid se…
▽ More
We provide a systematic approach to describing the Ramond-Ramond (RR) fields as elements in twisted differential K-theory. This builds on a series of constructions by the authors on geometric and computational aspects of twisted differential K-theory, which to a large extent were originally motivated by this problem. In addition to providing a new conceptual framework and a mathematically solid setting, this allows us to uncover interesting and novel effects. Explicitly, we use our recently constructed Atiyah-Hirzebruch spectral sequence (AHSS) for twisted differential K-theory to characterize the RR fields and their quantization, which involves interesting interplay between geometric and topological data. We illustrate this with the examples of spheres, tori, and Calabi-Yau threefolds.
△ Less
Submitted 21 March, 2019;
originally announced March 2019.
-
The Rational Higher Structure of M-theory
Authors:
Domenico Fiorenza,
Hisham Sati,
Urs Schreiber
Abstract:
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 c…
▽ More
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.
△ Less
Submitted 7 March, 2019;
originally announced March 2019.
-
Lift of fractional D-brane charge to equivariant Cohomotopy theory
Authors:
Simon Burton,
Hisham Sati,
Urs Schreiber
Abstract:
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.…
▽ More
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.
△ Less
Submitted 10 November, 2019; v1 submitted 23 December, 2018;
originally announced December 2018.
-
Topological actions via gauge variations of higher structures
Authors:
Hisham Sati,
Matthew Wheeler
Abstract:
In this note we provide a new perspective on the topological parts of several action functionals in string and M-theory. We show that rationally these can be viewed as large gauge transformations corresponding to variations of higher structures, such as String, Fivebrane, and Ninebrane structures.
In this note we provide a new perspective on the topological parts of several action functionals in string and M-theory. We show that rationally these can be viewed as large gauge transformations corresponding to variations of higher structures, such as String, Fivebrane, and Ninebrane structures.
△ Less
Submitted 30 March, 2019; v1 submitted 12 October, 2018;
originally announced October 2018.
-
Differential KO-theory: constructions, computations, and applications
Authors:
Daniel Grady,
Hisham Sati
Abstract:
We provide several constructions in differential KO-theory. First, we construct a differential refinement of the $\hat{A}$-genus and a pushforward leading to a Riemann-Roch theorem. We set up a differential refinement of the Atiyah-Hirzebruch spectral sequence (AHSS) for differential KO-theory and explicitly identify the differentials, including ones which mix geometric and topological data. We hi…
▽ More
We provide several constructions in differential KO-theory. First, we construct a differential refinement of the $\hat{A}$-genus and a pushforward leading to a Riemann-Roch theorem. We set up a differential refinement of the Atiyah-Hirzebruch spectral sequence (AHSS) for differential KO-theory and explicitly identify the differentials, including ones which mix geometric and topological data. We highlight the power of these explicit identifications by providing a characterization of forms in the image of the Pontrjagin character. Along the way, we fill gaps in the literature where K-theory is usually worked out leaving KO-theory essentially untouched. We also illustrate with examples and applications, including higher tangential structures, Adams operations, and a differential Wu formula.
△ Less
Submitted 19 October, 2023; v1 submitted 19 September, 2018;
originally announced September 2018.
-
Gauge enhancement of super M-branes via parametrized stable homotopy theory
Authors:
Vincent Braunack-Mayer,
Hisham Sati,
Urs Schreiber
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 March, 2019; v1 submitted 4 June, 2018;
originally announced June 2018.
-
Real ADE-equivariant (co)homotopy and Super M-branes
Authors:
John Huerta,
Hisham Sati,
Urs Schreiber
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 March, 2019; v1 submitted 15 May, 2018;
originally announced May 2018.
-
Higher T-duality in M-theory via local supersymmetry
Authors:
Hisham Sati,
Urs Schreiber
Abstract:
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 ex…
▽ More
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.
△ Less
Submitted 1 May, 2018;
originally announced May 2018.
-
Higher T-duality of super M-branes
Authors:
Domenico Fiorenza,
Hisham Sati,
Urs Schreiber
Abstract:
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.
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.
△ Less
Submitted 9 April, 2018; v1 submitted 15 March, 2018;
originally announced March 2018.
-
Higher-twisted periodic smooth Deligne cohomology
Authors:
Daniel Grady,
Hisham Sati
Abstract:
Degree one twisting of Deligne cohomology, as a differential refinement of integral cohomology, was established in previous work. Here we consider higher degree twists. The Rham complex, hence de Rham cohomology, admits twists of any odd degree. However, in order to consider twists of integral cohomology we need a periodic version. Combining the periodic versions of both ingredients leads us to in…
▽ More
Degree one twisting of Deligne cohomology, as a differential refinement of integral cohomology, was established in previous work. Here we consider higher degree twists. The Rham complex, hence de Rham cohomology, admits twists of any odd degree. However, in order to consider twists of integral cohomology we need a periodic version. Combining the periodic versions of both ingredients leads us to introduce a periodic form of Deligne cohomology. We demonstrate that this theory indeed admits a twist by a gerbe of any odd degree. We present the main properties of the new theory and illustrate its use with examples and computations, mainly via a corresponding twisted differential Atiyah-Hirzebruch spectral sequence.
△ Less
Submitted 4 February, 2018; v1 submitted 16 December, 2017;
originally announced December 2017.
-
T-duality in rational homotopy theory via $L_\infty$-algebras
Authors:
Domenico Fiorenza,
Hisham Sati,
Urs Schreiber
Abstract:
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 looke…
▽ More
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.
△ Less
Submitted 11 January, 2018; v1 submitted 3 December, 2017;
originally announced December 2017.
-
Twisted differential generalized cohomology theories and their Atiyah-Hirzebruch spectral sequence
Authors:
Daniel Grady,
Hisham Sati
Abstract:
We construct the Atiyah-Hirzebruch spectral sequence (AHSS) for twisted differential generalized cohomology theories. This generalizes to the twisted setting the authors' corresponding earlier construction for differential cohomology theories, as well as to the differential setting the AHSS for twisted generalized cohomology theories, including that of twisted K-theory by Rosenberg and Atiyah-Sega…
▽ More
We construct the Atiyah-Hirzebruch spectral sequence (AHSS) for twisted differential generalized cohomology theories. This generalizes to the twisted setting the authors' corresponding earlier construction for differential cohomology theories, as well as to the differential setting the AHSS for twisted generalized cohomology theories, including that of twisted K-theory by Rosenberg and Atiyah-Segal. In describing twisted differential spectra we build on the work of Bunke-Nikolaus, but we find it useful for our purposes to take an approach that highlights direct analogies with classical bundles and that is at the same time amenable for calculations. We will, in particular, establish that twisted differential spectra are bundles of spectra equipped with a flat connection. Our prominent case will be twisted differential K-theory, for which we work out the differentials in detail. This involves differential refinements of primary and secondary cohomology operations the authors developed in earlier papers. We illustrate our constructions and computational tools with examples.
△ Less
Submitted 17 November, 2017;
originally announced November 2017.
-
Twisted Morava K-theory and connective covers of Lie groups
Authors:
Hisham Sati,
Aliaksandra Yarosh
Abstract:
Twisted Morava K-theory, along with computational techniques, including a universal coefficient theorem and an Atiyah-Hirzebruch spectral sequence, was introduced by Craig Westerland and the first author. We employ these techniques to compute twisted Morava K-theory of all connective covers of the stable orthogonal group and stable unitary group, and their classifying spaces, as well as spheres an…
▽ More
Twisted Morava K-theory, along with computational techniques, including a universal coefficient theorem and an Atiyah-Hirzebruch spectral sequence, was introduced by Craig Westerland and the first author. We employ these techniques to compute twisted Morava K-theory of all connective covers of the stable orthogonal group and stable unitary group, and their classifying spaces, as well as spheres and Eilenberg-MacLane spaces. This extends to the twisted case some of the results of Ravenel and Wilson and of Kitchloo, Laures, and Wilson for Morava K-theory. This also generalizes to all chromatic levels computations by Khorami (and in part those of Douglas) at chromatic level one, i.e. for the case of twisted K-theory. We establish that for natural twists in all cases, there are only two possibilities: either that the twisted Morava homology vanishes, or that it is isomorphic to untwisted homology. We also provide a variant on the twist of Morava K-theory, with mod 2 cohomology in place of integral cohomology.
△ Less
Submitted 11 October, 2020; v1 submitted 14 November, 2017;
originally announced November 2017.
-
Parametrized geometric cobordism and smooth Thom stacks
Authors:
Daniel Grady,
Hisham Sati
Abstract:
We develop a theory of parametrized geometric cobordism by introducing smooth Thom stacks. This requires identifying and constructing a smooth representative of the Thom functor acting on vector bundles equipped with extra geometric data, leading to a geometric refinement of the the Pontrjagin-Thom construction in stacks. We demonstrate that the resulting theory generalizes the parametrized cobord…
▽ More
We develop a theory of parametrized geometric cobordism by introducing smooth Thom stacks. This requires identifying and constructing a smooth representative of the Thom functor acting on vector bundles equipped with extra geometric data, leading to a geometric refinement of the the Pontrjagin-Thom construction in stacks. We demonstrate that the resulting theory generalizes the parametrized cobordism of Galatius-Madsen-Tillman-Weiss. The theory has the feature of being both versatile and general, allowing for the inclusion of families of various geometric data, such as metrics on manifolds and connections on vector bundles, as in recent work of Cohen-Galatius-Kitchloo and Ayala.
△ Less
Submitted 3 September, 2017;
originally announced September 2017.
-
Twisted smooth Deligne cohomology
Authors:
Daniel Grady,
Hisham Sati
Abstract:
Deligne cohomology can be viewed as a differential refinement of integral cohomology, hence captures both topological and geometric information. On the other hand, it can be viewed as the simplest nontrivial version of a differential cohomology theory. While more involved differential cohomology theories have been explicitly twisted, the same has not been done to Deligne cohomology, although exist…
▽ More
Deligne cohomology can be viewed as a differential refinement of integral cohomology, hence captures both topological and geometric information. On the other hand, it can be viewed as the simplest nontrivial version of a differential cohomology theory. While more involved differential cohomology theories have been explicitly twisted, the same has not been done to Deligne cohomology, although existence is known at a general abstract level. We work out what it means to twist Deligne cohomology, by taking degree one twists of both integral cohomology and de Rham cohomology. We present the main properties of the new theory and illustrate its use with examples and applications. Given how versatile Deligne cohomology has proven to be, we believe that this explicit and utilizable treatment of its twisted version will be useful.
△ Less
Submitted 13 November, 2017; v1 submitted 8 June, 2017;
originally announced June 2017.
-
Variations of rational higher tangential structures
Authors:
Hisham Sati,
Matthew Wheeler
Abstract:
The study of higher tangential structures, arising from higher connected covers of Lie groups (String, Fivebrane, Ninebrane structures), require considerable machinery for a full description, especially for connections to geometry and applications. With utility in mind, in this paper we study these structures at the rational level and by considering Lie groups as a starting point for defining each…
▽ More
The study of higher tangential structures, arising from higher connected covers of Lie groups (String, Fivebrane, Ninebrane structures), require considerable machinery for a full description, especially for connections to geometry and applications. With utility in mind, in this paper we study these structures at the rational level and by considering Lie groups as a starting point for defining each of the higher structures, making close connection to $p_i$-structures. We indicatively call these (rational) Spin-Fivebrane and Spin-Ninebrane structures. We study the space of such structures and characterize their variations, which reveal interesting effects whereby variations of higher structures are arranged to systematically involve lower ones. We also study the homotopy type of the gauge group corresponding to bundles equipped with the higher rational structures that we define.
△ Less
Submitted 5 August, 2018; v1 submitted 21 December, 2016;
originally announced December 2016.
