Showing 1–50 of 65 results for author: Schreiber, U

Identifying Anyonic Topological Order in Fractional Quantum Anomalous Hall Systems

Authors: Hisham Sati, Urs Schreiber

Abstract: Recently observed fractional quantum anomalous Hall materials (FQAH) are candidates for topological quantum hardware, but their required anyon states are elusive. We point out dependence on monodromy in the fragile band topology in 2-cohomotopy. An algebro-topological theorem of Larmore & Thomas (1980) then identifies FQAH anyons over momentum space. Admissible braiding phases are 2C-th roots of u… ▽ More Recently observed fractional quantum anomalous Hall materials (FQAH) are candidates for topological quantum hardware, but their required anyon states are elusive. We point out dependence on monodromy in the fragile band topology in 2-cohomotopy. An algebro-topological theorem of Larmore & Thomas (1980) then identifies FQAH anyons over momentum space. Admissible braiding phases are 2C-th roots of unity, for C the Chern number. This lays the foundation for understanding symmetry-protected topological order in FQAH systems, reducing the problem to computations in equivariant cohomotopy. △ Less

Submitted 30 June, 2025; originally announced July 2025.

Comments: 4+2 pages, a couple of figures

Fractional Quantum Hall Anyons via the Algebraic Topology of Exotic Flux Quanta

Authors: Hisham Sati, Urs Schreiber

Abstract: Fractional quantum Hall systems (FQH), due to their experimentally observed anyonic topological order, are a main contender for future hardware-implementation of error-protected quantum registers ("topological qbits") subject to error-protected quantum operations ("topological quantum gates"), both plausibly necessary for future quantum computing at useful scale, but both remaining insufficiently… ▽ More Fractional quantum Hall systems (FQH), due to their experimentally observed anyonic topological order, are a main contender for future hardware-implementation of error-protected quantum registers ("topological qbits") subject to error-protected quantum operations ("topological quantum gates"), both plausibly necessary for future quantum computing at useful scale, but both remaining insufficiently understood. Here we present a novel non-Lagrangian effective description of FQH anyons, based on previously elusive proper global quantization of effective topological flux in extraordinary non-abelian cohomology theories. This directly translates the system's quantum -observables, -states, -symmetries, and -measurement channels into purely algebro-topological analysis of local systems of Hilbert spaces over the quantized flux moduli spaces. Under the hypothesis -- for which we provide a fair bit of evidence -- that the appropriate effective flux quantization of FQH systems is in 2-Cohomotopy theory (a cousin of Hypothesis H in high-energy physics), the results here are rigorously derived and as such might usefully inform laboratory searches for novel anyonic phenomena in FQH systems and hence for topological quantum hardware. △ Less

Submitted 2 July, 2025; v1 submitted 28 May, 2025; originally announced May 2025.

Comments: 78 pages, various figures; v2: minor additions

Engineering of Anyons on M5-Probes via Flux Quantization

Authors: Hisham Sati, Urs Schreiber

Abstract: These extended lecture notes survey a novel derivation of anyonic topological order (as seen in fractional quantum Hall systems) on single magnetized M5-branes probing Seifert orbi-singularities ("geometric engineering" of anyons), which we motivate from fundamental open problems in the field of quantum computing. The rigorous construction is non-Lagrangian and non-perturbative, based on previou… ▽ More These extended lecture notes survey a novel derivation of anyonic topological order (as seen in fractional quantum Hall systems) on single magnetized M5-branes probing Seifert orbi-singularities ("geometric engineering" of anyons), which we motivate from fundamental open problems in the field of quantum computing. The rigorous construction is non-Lagrangian and non-perturbative, based on previously neglected global completion of the M5-brane's tensor field by flux-quantization consistent with its non-linear self-duality and its twisting by the bulk C-field. This exists only in little-studied non-abelian generalized cohomology theories, notably in a twisted equivariant (and "twistorial") form of unstable Cohomotopy ("Hypothesis H"). As a result, topological quantum observables form Pontrjagin homology algebras of mapping spaces from the orbi-fixed worldvolume into a classifying 2-sphere. Remarkably, results from algebraic topology imply from this the quantum observables and modular functor of abelian Chern-Simons theory, as well as braid group actions on defect anyons of the kind envisioned as hardware for topologically protected quantum gates. △ Less

Submitted 24 February, 2025; v1 submitted 29 January, 2025; originally announced January 2025.

Comments: 46 pages with many figures, extended lecture notes based on parts of the course "Introduction to Hypothesis H" held at 45th Srni Winter School GEOMETRY AND PHYSICS in Jan 2025; v2: added §6 "Digest for Algebraic Topologists" as presented at ICMS25

Anyons on M5-Probes of Seifert 3-Orbifolds via Flux Quantization

Authors: Hisham Sati, Urs Schreiber

Abstract: We observe that there is a rigorous derivation of (abelian) anyonic quantum states, hence of "topological order", on the 1+2-dimensional fixed locus of M5-probes wrapped over a trivially Seifert-fibered 3-orbifold singularity. Similar statements have previously been conjectured by appeal to the unknown dynamics of "coincident" M5-branes, but neglecting effects of flux-quantization that, as we hi… ▽ More We observe that there is a rigorous derivation of (abelian) anyonic quantum states, hence of "topological order", on the 1+2-dimensional fixed locus of M5-probes wrapped over a trivially Seifert-fibered 3-orbifold singularity. Similar statements have previously been conjectured by appeal to the unknown dynamics of "coincident" M5-branes, but neglecting effects of flux-quantization that, as we highlight, entail anyonic solitons already in the rigorously tractable case of single M5-brane probes. This is possible after globally completing the "self-dual" tensor field on probe M5-branes by flux quantization in the non-abelian cohomology theory called equivariant twistorial Cohomotopy, which is admissible by recent results. △ Less

Submitted 25 November, 2024; originally announced November 2024.

Comments: 15 pages

Journal ref: Letters in Mathematical Physics (2025) 115:36

The Hidden M-Group

Authors: Grigorios Giotopoulos, Hisham Sati, Urs Schreiber

Abstract: Following arguments that the (hidden) M-algebra serves as the maximal super-exceptional tangent space for 11D supergravity, we make explicit here its integration to a (super-Lie) group. This is equipped with a left-invariant extension of the ''decomposed'' M-theory 3-form, such that it constitutes the Kleinian space on which super-exceptional spacetimes are to be locally modeled as Cartan geometri… ▽ More Following arguments that the (hidden) M-algebra serves as the maximal super-exceptional tangent space for 11D supergravity, we make explicit here its integration to a (super-Lie) group. This is equipped with a left-invariant extension of the ''decomposed'' M-theory 3-form, such that it constitutes the Kleinian space on which super-exceptional spacetimes are to be locally modeled as Cartan geometries. As a simple but consequential application, we highlight how to describe lattice subgroups $\mathbb{Z}^{k \leq 528}$ of the hidden M-group that allow to toroidially compactify also the ''hidden'' dimensions of a super-exceptional spacetime, akin to the familiar situation in topological T-duality. In order to deal with subtleties in these constructions, we (i) provide a computer-checked re-derivation of the ''decompose'' M-theory 3-form, and (ii) present a streamlined conception of super-Lie groups, that is both rigorous while still close to physics intuition and practice. Thereby this article highlights modernized super-Lie theory along the example of the hidden M-algebra, with an eye towards laying foundations for super-exceptional geometry. Among new observations is the dimensional reduction of the hidden M-algebra to a ''hidden IIA-algebra'' which in a companion article we explain as the exceptional extension of the T-duality doubled super-spacetime. △ Less

Submitted 18 November, 2024; originally announced November 2024.

Comments: 40 pages

Super-$\mathrm{Lie}_\infty$ T-Duality and M-Theory

Authors: Grigorios Giotopoulos, Hisham Sati, Urs Schreiber

Abstract: Super $L_\infty$-algebras unify extended super-symmetry with rational classifying spaces for higher flux densities: The super-invariant super-fluxes which control super $p$-branes and their supergravity target super-spaces are, together with their (non-linear) Bianchi identities, neatly encoded in (non-abelian) super-$L_\infty$ cocycles. These are the rational shadows of flux-quantization laws (in… ▽ More Super $L_\infty$-algebras unify extended super-symmetry with rational classifying spaces for higher flux densities: The super-invariant super-fluxes which control super $p$-branes and their supergravity target super-spaces are, together with their (non-linear) Bianchi identities, neatly encoded in (non-abelian) super-$L_\infty$ cocycles. These are the rational shadows of flux-quantization laws (in ordinary cohomology, K-theory, Cohomotopy, iterated K-theory, etc). We first review, in streamlined form while filling some previous gaps, double-dimensional reduction/oxidation and 10D superspace T-duality along higher-dimensional super-tori. We do so tangent super-space wise, by viewing it as an instance of adjunctions (dualities) between super-$L_\infty$-extensions and -cyclifications, applied to the avatar super-flux densities of 10D supergravity. In particular, this yields a derivation, at the rational level, of the traditional laws of "topological T-duality" from the super-$L_\infty$ structure of type II superspace. At this level, we also discuss a higher categorical analog of T-duality involving M-branes. Then, by considering super-space T-duality along all 1+9 spacetime dimensions while retaining the 11th dimension as in F-theory, we find the M-algebra appearing as the complete brane-charge extension of the fully T-doubled/correspondence super-spacetime. On this backdrop, we recognize the "decomposed" M-theory 3-form on the "hidden M-algebra" as an M-theoretic lift of the Poincaré super 2-form that controls superspace T-duality as the integral kernel of the super Fourier-Mukai transform. This provides the super-space structure of an M-theory lift of the doubled/correspondence space geometry, which controls T-duality. △ Less

Submitted 1 July, 2025; v1 submitted 15 November, 2024; originally announced November 2024.

Comments: 90 pages, some figures; v2: published version

Journal ref: Reviews in Mathematical Physics (2025)

The M-algebra completes the hierarchy of Super-Exceptional Tangent Spaces

Authors: Grigorios Giotopoulos, Hisham Sati, Urs Schreiber

Abstract: The conjectured symmetries of M-theory famously involve (1.) brane-extended super-symmetry (the M-algebra) and (2.) exceptional duality-symmetry (the $\mathfrak{e}_{11}$-algebra); but little attention has been given to their inevitable combination. In this little note, we highlight (by combining results available in the literature) that the $local$ exceptional duality-symmetry (the hyperbolic in… ▽ More The conjectured symmetries of M-theory famously involve (1.) brane-extended super-symmetry (the M-algebra) and (2.) exceptional duality-symmetry (the $\mathfrak{e}_{11}$-algebra); but little attention has been given to their inevitable combination. In this little note, we highlight (by combining results available in the literature) that the $local$ exceptional duality-symmetry (the hyperbolic involutory $\mathfrak{k}_{1,10} \subset \mathfrak{e}_{11}$) acts on the M-algebra, through the "brane-rotating symmetry" $\mathfrak{sl}_{32}$, in a way which extends the known hierarchy of finite-dimensional $n$-exceptional tangent spaces compatibly beyond the traditional bound of $n \leq 7$ all the way to $n = 11$. △ Less

Submitted 18 December, 2024; v1 submitted 5 November, 2024; originally announced November 2024.

Comments: 13 pages; v2: published version

Journal ref: Physics Letters B (2024)

Topological QBits in Flux-Quantized Super-Gravity

Authors: Hisham Sati, Urs Schreiber

Abstract: We first give a brief exposition of our recent realization of anyonic quantum states on single M5-brane probes in 11D super-gravity backgrounds, by non-perturbative quantization of the topological sector of the self-dual tensor field on the 6D worldvolume, after its proper flux-quantization. This opens the prospect of holographic models for topological qbits away from the usual but unrealistic lim… ▽ More We first give a brief exposition of our recent realization of anyonic quantum states on single M5-brane probes in 11D super-gravity backgrounds, by non-perturbative quantization of the topological sector of the self-dual tensor field on the 6D worldvolume, after its proper flux-quantization. This opens the prospect of holographic models for topological qbits away from the usual but unrealistic limit of large numbers of branes. At the same time, the elementary homotopy-theoretic nature of the construction yields a slick expression of topological quantum gates in homotopically-typed programming languages, opening the prospect of topological-hardware aware quantum programming. In view of these results, we end with some more meta-physical remarks on (cohesive) homotopy (type) theory in view of emergent fundamental physics and, possibly, M-theory. △ Less

Submitted 1 November, 2024; originally announced November 2024.

Comments: 16 pages, some figures -- invited contribution to: Arsiwalla, Elshatlawy & Rickles (eds.) "Quantum Gravity and Computation"

Abelian Anyons on Flux-Quantized M5-Branes

Authors: Hisham Sati, Urs Schreiber

Abstract: While fractional quantum Hall systems provide the best experimental evidence yet of (abelian) anyons plausibly necessary for future fault-tolerant quantum computation, like all strongly-coupled quantum systems their physics is not deeply understood. However, generally a promising approach is to (holographically) realize such systems on branes in string/M-theory; and specifically an old argument by… ▽ More While fractional quantum Hall systems provide the best experimental evidence yet of (abelian) anyons plausibly necessary for future fault-tolerant quantum computation, like all strongly-coupled quantum systems their physics is not deeply understood. However, generally a promising approach is to (holographically) realize such systems on branes in string/M-theory; and specifically an old argument by Hellerman & Susskind gives a sketch of fractional quantum Hall states arising via discrete light cone quantization of M5/M9-brane intersections. Here we present a rigorous derivation of abelian anyon quantum states on M5$\perp$MO9-branes ("open M5-branes") on the discrete light cone, after globally completing the traditional local field content on the M5-worldvolume via a flux-quantization law compatible with the ambient 11d supergravity, specifically taken to be in the unstable co-Homotopy cohomology ("Hypothesis H"). The main step in the proof uses a theorem of Okuyama to identify co-Homotopy moduli spaces with configuration spaces of strings with charged endpoints, and identifies their loop spaces with cobordism of framed links that, under topological light cone quantization, turn out to be identified with the regularized Wilson loops of abelian Chern-Simons theory. △ Less

Submitted 21 August, 2024; originally announced August 2024.

Comments: 22 pages

Holographic M-Brane Super-Embeddings

Authors: Grigorios Giotopoulos, Hisham Sati, Urs Schreiber

Abstract: Over a decade before the modern formulation of AdS/CFT duality, Duff et al. had observed a candidate microscopic explanation by identifying the CFT fields with fluctuations of probe p-branes stretched out in parallel near the horizon of their own black brane incarnation. A profound way to characterize these and more general probe p-brane configurations, especially for M5-branes, is expected to be… ▽ More Over a decade before the modern formulation of AdS/CFT duality, Duff et al. had observed a candidate microscopic explanation by identifying the CFT fields with fluctuations of probe p-branes stretched out in parallel near the horizon of their own black brane incarnation. A profound way to characterize these and more general probe p-brane configurations, especially for M5-branes, is expected to be as "super-embeddings" of their super-worldvolumes into target super-spacetime - but no concrete example of these had appeared in the literature. Here we fill this gap by constructing the explicit holographic super-embeddings of probe M5-branes and M2-branes into their corresponding super-AdS backgrounds. △ Less

Submitted 18 March, 2025; v1 submitted 19 August, 2024; originally announced August 2024.

Comments: 28 pages; v2: radial prefactors fixed in (48) and (94), spurious critical radius removed

Flux Quantization on M5-branes

Authors: Grigorios Giotopoulos, Hisham Sati, Urs Schreiber

Abstract: We highlight the need for global completion of the field content in the M5-brane sigma-model analogous to Dirac's charge/flux quantization, and we point out that the superspace Bianchi identities on the worldvolume and on its ambient supergravity background constrain the M5's flux-quantization law to be in a non-abelian cohomology theory rationally equivalent to a twisted form of co-Homotopy. In o… ▽ More We highlight the need for global completion of the field content in the M5-brane sigma-model analogous to Dirac's charge/flux quantization, and we point out that the superspace Bianchi identities on the worldvolume and on its ambient supergravity background constrain the M5's flux-quantization law to be in a non-abelian cohomology theory rationally equivalent to a twisted form of co-Homotopy. In order to clearly bring out this subtle point we give a streamlined re-derivation of the worldvolume 3-flux via M5 "super-embeddings". Finally, assuming the flux-quantization law to actually be in co-Homotopy ("Hypothesis H") we show how this implies Skyrmion-like solitons on general M5-worldvolumes and (abelian) anyonic solitons on the boundaries of "open M5-branes" in heterotic M-theory. △ Less

Submitted 1 May, 2025; v1 submitted 17 June, 2024; originally announced June 2024.

Comments: 44 pages; v4: sign convention on covariant derivative changed, following ftn. 11 of arXiv:2403.16456; v3: published version, abstract shortened and typos fixed; v2: minor additions

Journal ref: J. High Energy Physics vol 2024 no 140 (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 1 May, 2025; v1 submitted 25 March, 2024; originally announced March 2024.

Comments: 62 pages; v4: some minor cosmetic changes, such as changing the sign convention in the covariant derivative (cf. ft. 11); v3: added section 2.1.7 and various minor improvements, published version; v2: fixed lemma 2.48 and added lemma 3.6

Journal ref: J. High Energy Physics vol 2024 no 82 (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 October, 2024; v1 submitted 28 February, 2024; originally announced February 2024.

Comments: 34+6 pages, many figures; v2: published version, commissioned for the Encyclopedia of Mathematical Physics 2nd ed

Journal ref: Enc. Math. Phys 2nd ed., Vol 4 (2025) 281-324

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 18 December, 2024; v1 submitted 20 December, 2023; originally announced December 2023.

Comments: 22 pages; v2: published version

Journal ref: Annales Henri Poincaré (2024)

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.

Comments: 23 pages; v3: published version, with a little more background added to section 3.1; v2: more references added & typos fixed

Journal ref: Annales Henri Poincaré (2024)

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.

Comments: 10 pages, some figures

Higher Topos Theory in Physics

Authors: Urs Schreiber

Abstract: A brief exposition of the point of higher topos theory in (mathematical) physics, commissioned for the Encyclopedia of Mathematical Physics 2nd ed. A brief exposition of the point of higher topos theory in (mathematical) physics, commissioned for the Encyclopedia of Mathematical Physics 2nd ed. △ Less

Submitted 25 December, 2024; v1 submitted 18 November, 2023; originally announced November 2023.

Comments: 11 pages, some figures

Journal ref: Encyclopedia of Mathematical Physics 2nd ed., Vol. 4 (2025) 62-76

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.

Comments: 120 pages, various figures

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.

Comments: 79 pages, various figures; v2: Section 3.4 added, proof of first step in item 3 in thm. 3.23 fixed

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.

Comments: 88 pages, various figures

Journal ref: Comm. Math. Phys. vol 405 no 172 (2024)

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.

Comments: 45 pages

Journal ref: Comm. Math. Phys. Vol. 405 No. 67 (2024)

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.

Comments: 47 pages, various figures; v2: published version with some typos fixed

Journal ref: Rev. Math. Phys., Vol. 35, No. 03, 2350001 (2023)

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.

Comments: 31+8 pages, various figures

Journal ref: Rev. Math. Phys. 2023

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.

Comments: 21 pages; 1 figure; v2: bound sharpened

Journal ref: Letters in Mathematical Physics, vol 113 no 112 (2023)

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.

Comments: 99 pages, various figures; v2: p. 7 added with more on brane charges vanishing at infinity (published version)

Journal ref: Rev. Math. Phys., Vol. 35, No. 10, 2350028 (2023)

The Character Map in Equivariant Twistorial Cohomotopy

Authors: Hisham Sati, Urs Schreiber

Abstract: The fundamental notion of non-abelian generalized cohomology gained recognition in algebraic topology as the non-abelian Poincaré-dual to "factorization homology", and in theoretical physics as providing flux-quantization for non-linear Gauss laws. However, already the archetypical example -- unstable Cohomotopy, first studied almost a century ago by Pontrjagin -- may remain underappreciated as a… ▽ More The fundamental notion of non-abelian generalized cohomology gained recognition in algebraic topology as the non-abelian Poincaré-dual to "factorization homology", and in theoretical physics as providing flux-quantization for non-linear Gauss laws. However, already the archetypical example -- unstable Cohomotopy, first studied almost a century ago by Pontrjagin -- may remain underappreciated as a cohomology theory. In illustration and amplification of its cohomological nature, we construct the non-abelian generalization of the Chern character map on $\mathbb{Z}_2$-equivariantized 7-Cohomotopy -- in fact on its "twistorial" version classified by complex projective 3-space -- essentially by computing its equivariant Sullivan model, and we highlight some interesting integral cohomology classes which are extracted this way. We end with an outlook on the application of this result to the rigorous deduction of anyonic quantum states on M5-branes wrapped over Seifert 3-orbifolds. △ Less

Submitted 27 November, 2024; v1 submitted 12 November, 2020; originally announced November 2020.

Comments: 59 pages; v2: title shortened and abstract, intro & outro re-written for applied algebraic topologists, physics application split off by request from journal, now relegated to arXiv:2411.16852

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.

Comments: 124 pages; v2: one more example and further references added; v3: several improvements and more details, expanded introduction

Journal ref: World Scientific (2023)

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.

Comments: 30 pages; v2: exposition of real homotopy theory slightly expanded, final version published in RMP

Journal ref: Reviews in Mathematical Physics Vol. 34, No. 05 (2022) 2250013

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.

Comments: 13 pages; v2 has more background and explanations added, to appear in JMP

Journal ref: J. Math. Phys. 62, 042301 (2021)

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.

Comments: 20 pages; v1: this is a revised version of Sections 2.5 and 4.5 in v1 of arXiv:1904.10207, which do not appear in the final version there; v2: main section 3 considerably expanded, analogous argument in Sec. 4.1 of arXiv:1910.04166 pointed out, appendix with supplementary proofs added

Journal ref: Lett. Math. Phys. 111 Nr. 120 (2021)

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.

Comments: 46 pages: v2: orbi-orientifold group extension made more explicit, published version

Journal ref: J. Geom. Phys. (2020)

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.

Comments: 46 pages, v2: some comments and references added

Journal ref: J. High Energ. Phys. 2020, 107 (2020)

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.

Comments: 22 pages; v2 fixes a missing theta7-summand in intermediate formulas and has two remarks added, for clarification; v3 fixes typos and makes the slicing over the homotopy fiber space of chi_8 more explicit

Journal ref: Comm. Math. Phys. 2020

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.

Comments: 55 pages; v2: proof of fluxed tadpole cancellation added; v3: exposition reorganized, discussion of M5 brane backgrounds postponed to a subsequent article arXiv:2002.07737, title and abstract adjusted accordingly; v4: published version

Journal ref: Commun. Math. Phys. 377(3), 1961-2025 (2020)

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.

Comments: 47 pages, Python code attached as ancillary file; v2: minor polishing & role of table of marks explicit; v3: physics application brought to the forefront, title changed

Journal ref: J. Geom. Phys., Vol. 161, March 2021, 104034

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.

Comments: 57 pages, various figures, v2: minor corrections, v3: published version

Journal ref: Communications in Mathematical Physics 2019

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.

Comments: 87 pages, various figures, v2: minor polishing, v3: published version

Journal ref: Communications in Mathematical Physics 2019

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.

Comments: 51 pages, 2 figures, v2 has some typos fixed

Journal ref: Adv. in Math. and Theor. Phys., Vol. 24, No. 3 (2020), pp. 621-708

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.

Comments: A few inaccuracies fixed and one example added; 24 pages

Journal ref: Geometry, Topology and Maths. Physics Journal; Volume 1 (2018); special volume in tribute of Jim Stasheff and Dennis Sullivan

The stack of Yang-Mills fields on Lorentzian manifolds

Authors: Marco Benini, Alexander Schenkel, Urs Schreiber

Abstract: 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. Ho… ▽ More 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}$. △ Less

Submitted 23 March, 2018; v1 submitted 5 April, 2017; originally announced April 2017.

Comments: 50 pages, final version published in Communications in Mathematical Physics

MSC Class: 70S15; 18F20; 18G55

Journal ref: Commun. Math. Phys. 359, 765-820 (2018)

M-theory from the Superpoint

Authors: John Huerta, Urs Schreiber

Abstract: 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 duali… ▽ More 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. △ Less

Submitted 25 June, 2018; v1 submitted 6 February, 2017; originally announced February 2017.

Comments: v2: minor corrections, improved exposition. To appear in Letters in Mathematical Physics

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

Authors: Igor Khavkine, Urs Schreiber

Abstract: 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 p… ▽ More 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) △ Less

Submitted 22 January, 2017; originally announced January 2017.

Comments: 68 pages, xypic commutative diagrams

MSC Class: 51K10; 58A03; 58A20

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

Authors: Domenico Fiorenza, Hisham Sati, Urs Schreiber

Abstract: 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 infi… ▽ More 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. △ Less

Submitted 31 March, 2017; v1 submitted 20 November, 2016; originally announced November 2016.

Comments: 44 pages; v2: added more discussion of double dimensional reduction via cyclic L-infinity cohomology; v3: added derivation of Buscher rules for RR-fields, expanded on role of curved L-infinity algebras in double dimensional reduction

Journal ref: ATMP Volume 22 (2018) Number 5

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

Authors: Domenico Fiorenza, Hisham Sati, Urs Schreiber

Abstract: 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… ▽ More 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. △ Less

Submitted 16 January, 2017; v1 submitted 10 June, 2016; originally announced June 2016.

Comments: 19 pages; v2 has some prefactors fixed, role of the rational free loop space made more explicit, exposition improved, v3 is the published version, has background material added on a) parameterized spectra, b) rational homotopy theory and c) spinors

Journal ref: J.Geom.Phys. 114 (2017) 91-108

Higher prequantum geometry

Authors: Urs Schreiber

Abstract: This is a survey of motivations, constructions and applications of higher prequantum geometry. In section 1 we highlight the open problem of prequantizing local field theory in a local and gauge invariant way, and we survey how a solution to this problem exists in higher differential geometry. In section 2 we survey examples and problems of interest. In section 3 we survey the abstract cohesive ho… ▽ More This is a survey of motivations, constructions and applications of higher prequantum geometry. In section 1 we highlight the open problem of prequantizing local field theory in a local and gauge invariant way, and we survey how a solution to this problem exists in higher differential geometry. In section 2 we survey examples and problems of interest. In section 3 we survey the abstract cohesive homotopy theory that serves to make all this precise and tractable. △ Less

Submitted 22 January, 2016; originally announced January 2016.

Comments: expanded version of my contribution to Catren, Anel (eds.) "New Spaces in Mathematics and Physics" (ercpqg-espace.sciencesconf.org). arXiv admin note: contained in arXiv:1310.7930

MSC Class: 81T70; 81T30

Lie n-algebras of BPS charges

Authors: Hisham Sati, Urs Schreiber

Abstract: We uncover higher algebraic structures on Noether currents and BPS charges. It is known that equivalence classes of conserved currents form a Lie algebra. We show that at least for target space symmetries of higher parameterized WZW-type sigma-models this naturally lifts to a Lie (p+1)-algebra structure on the Noether currents themselves. Applied to the Green-Schwarz-type action functionals for su… ▽ More We uncover higher algebraic structures on Noether currents and BPS charges. It is known that equivalence classes of conserved currents form a Lie algebra. We show that at least for target space symmetries of higher parameterized WZW-type sigma-models this naturally lifts to a Lie (p+1)-algebra structure on the Noether currents themselves. Applied to the Green-Schwarz-type action functionals for super p-brane sigma-models this yields super Lie (p+1)-algebra refinements of the traditional BPS brane charge extensions of supersymmetry algebras. We discuss this in the generality of higher differential geometry, where it applies also to branes with (higher) gauge fields on their worldvolume. Applied to the M5-brane sigma-model we recover and properly globalize the M-theory super Lie algebra extension of 11-dimensional superisometries by 2-brane and 5-brane charges. Passing beyond the infinitesimal Lie theory we find cohomological corrections to these charges in higher analogy to the familiar corrections for D-brane charges as they are lifted from ordinary cohomology to twisted K-theory. This supports the proposal that M-brane charges live in a twisted cohomology theory. △ Less

Submitted 12 January, 2017; v1 submitted 30 July, 2015; originally announced July 2015.

Comments: 19 pages, v2: references added, details of the main computation spelled out

Journal ref: J. High Energ. Phys. (2017) 2017: 87

The WZW term of the M5-brane and differential cohomotopy

Authors: Domenico Fiorenza, Hisham Sati, Urs Schreiber

Abstract: We combine rational homotopy theory and higher Lie theory to describe the WZW term in the M5-brane sigma model. We observe that this term admits a natural interpretation as a twisted 7-cocycle on super-Minkowski spacetime with coefficients in the rational 4-sphere. This exhibits the WZW term as an element in twisted cohomology, with the twist given by the cocycle of the M2-brane. We consider integ… ▽ More We combine rational homotopy theory and higher Lie theory to describe the WZW term in the M5-brane sigma model. We observe that this term admits a natural interpretation as a twisted 7-cocycle on super-Minkowski spacetime with coefficients in the rational 4-sphere. This exhibits the WZW term as an element in twisted cohomology, with the twist given by the cocycle of the M2-brane. We consider integration of this rational situation to differential cohomology and differential cohomotopy. △ Less

Submitted 24 June, 2015; originally announced June 2015.

Comments: 12 pages

Journal ref: J. Math. Phys. 56, 102301 (2015)

Quantum Gauge Field Theory in Cohesive Homotopy Type Theory

Authors: Urs Schreiber, Michael Shulman

Abstract: We implement in the formal language of homotopy type theory a new set of axioms called cohesion. Then we indicate how the resulting cohesive homotopy type theory naturally serves as a formal foundation for central concepts in quantum gauge field theory. This is a brief survey of work by the authors developed in detail elsewhere. We implement in the formal language of homotopy type theory a new set of axioms called cohesion. Then we indicate how the resulting cohesive homotopy type theory naturally serves as a formal foundation for central concepts in quantum gauge field theory. This is a brief survey of work by the authors developed in detail elsewhere. △ Less

Submitted 31 July, 2014; originally announced August 2014.

Comments: In Proceedings QPL 2012, arXiv:1407.8427

Journal ref: EPTCS 158, 2014, pp. 109-126

Quantization via Linear homotopy types

Authors: Urs Schreiber

Abstract: In the foundational logical framework of homotopy-type theory we discuss a natural formalization of secondary integral transforms in stable geometric homotopy theory. We observe that this yields a process of non-perturbative cohomological quantization of local pre-quantum field theory; and show that quantum anomaly cancellation amounts to realizing this as the boundary of a field theory that is gi… ▽ More In the foundational logical framework of homotopy-type theory we discuss a natural formalization of secondary integral transforms in stable geometric homotopy theory. We observe that this yields a process of non-perturbative cohomological quantization of local pre-quantum field theory; and show that quantum anomaly cancellation amounts to realizing this as the boundary of a field theory that is given by genuine (primary) integral transforms, hence by linear polynomial functors. Recalling that traditional linear logic has semantics in symmetric monoidal categories and serves to formalize quantum mechanics, what we consider is its refinement to linear homotopy-type theory with semantics in stable infinity-categories of bundles of stable homotopy types (generalized cohomology theories) formalizing Lagrangian quantum field theory, following Nuiten and closely related to recent work by Haugseng and Hopkins-Lurie. For the reader interested in technical problems of quantization we provide non-perturbative quantization of Poisson manifolds and of the superstring; and find insight into quantum anomaly cancellation, the holographic principle and motivic structures in quantization. For the reader inclined to the interpretation of quantum mechanics we exhibit quantum superposition and interference as existential quantification in linear homotopy-type theory. For the reader inclined to foundations we provide a refinement of the proposal by Lawvere for a formal foundation of physics, lifted from classical continuum mechanics to local Lagrangian quantum gauge field theory. △ Less

Submitted 27 February, 2014; originally announced February 2014.

Comments: 89 pages; these are expanded talk notes for three talks that I gave in February 2014 at Paris Diderot and at ESI in Vienna, one together with Joost Nuiten

MSC Class: 03-06; 18F99; 19-06; 55-02; 81-02

Classical field theory via Cohesive homotopy types

Authors: Urs Schreiber

Abstract: A brief survey of how classical field theory emerges synthetically in cohesive homotopy type theory. Extended Conference Abstract submitted to the proceedings of the Conference on Type Theory, Homotopy Theory and Univalent Foundations in Barcelona, Fall 2013 A brief survey of how classical field theory emerges synthetically in cohesive homotopy type theory. Extended Conference Abstract submitted to the proceedings of the Conference on Type Theory, Homotopy Theory and Univalent Foundations in Barcelona, Fall 2013 △ Less

Submitted 5 November, 2013; originally announced November 2013.

Comments: 4 pages