Source author record

Hisham Sati

Hisham Sati appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

43works
16topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

43 published item(s)

preprint2026arXiv

Higher-Dimensional Anyons via Higher Cohomotopy

We highlight that integer Heisenberg groups at level 2 underlie topological quantum phenomena: their group algebras coincide with the algebras of quantum observables of abelian anyons in fractional quantum Hall (FQH) systems on closed surfaces. Decades ago, these groups were shown to arise as the fundamental groups of the space of maps from the surface to the 2-sphere -- which has recently been understood as reflecting an effective FQH flux quantization in 2-Cohomotopy. Here we streamline and generalize this theorem using the homotopy theory of H-groups, showing that for $k \in \{1,2,4\}$, the non-torsion part of $π_1 \mathrm{Map}\big({(S^{2k-1})^2, S^{2k}}\big)$ is an integer Heisenberg group of level 2, where we identify this level with 2 divided by the Hopf invariant of the generator of $π_{4k-1}(S^{2k})$. This result implies the existence of higher-dimensional analogs of FQH anyons in the cohomotopical completion of 11D supergravity ("Hypothesis H").

preprint2025arXiv

Fragile Topological Phases and Topological Order of 2D Crystalline Chern Insulators

We apply methods of equivariant homotopy theory, which may not previously have found due attention in condensed matter physics, to classify first the fragile/unstable topological phases of 2D crystalline Chern insulator materials, and second the possible topological order of their fractional cousins. We highlight that the phases are given by the equivariant 2-Cohomotopy of the Brillouin torus of crystal momenta (with respect to wallpaper point group actions) -- which, despite the attention devoted to crystalline Chern insulators, seems not to have been considered before. Arguing then that any topological order must be reflected in the adiabatic monodromy of gapped quantum ground states over the covariantized space of these band topologies, we compute the latter in examples where this group is non-abelian, showing that any potential FQAH anyons must be localized in momentum space. We close with an outlook on the relevance for the search for topological quantum computing hardware. Mathematical details are spelled out in a supplement.

preprint2025arXiv

Identifying Anyonic Topological Order in Fractional Quantum Anomalous Hall Systems

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.

preprint2024arXiv

The Hidden M-Group

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.

preprint2023arXiv

Mysterious Triality and Rational Homotopy Theory

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?

preprint2022arXiv

Equivariant principal infinity-bundles

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.

preprint2022arXiv

Twistorial Cohomotopy implies Green-Schwarz anomaly cancellation

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.

preprint2020arXiv

Equivariant Cohomotopy implies orientifold tadpole cancellation

There are fundamental open problems in the precise global nature of RR-field tadpole cancellation conditions in string theory. Moreover, the non-perturbative lift as M5/MO5-anomaly cancellation in M-theory had been based on indirect plausibility arguments,lacking a microscopic underpinning in M-brane charge quantization. We provide a framework for answering these questions, crucial not only for mathematical consistency but also for phenomenological accuracy of string theory, by formulating the M-theory C-field on flat M-orientifolds in the generalized cohomology theory called Equivariant Cohomotopy. This builds on our previous results for smooth but curved spacetimes, showing in that setting that charge quantization in twisted Cohomotopy rigorously implies a list of expected anomaly cancellation conditions. Here we further expand this list by proving that brane charge quantization in unstable equivariant Cohomotopy implies the anomaly cancellation conditions for M-branes and D-branes on flat orbi-orientifolds. For this we (a) use an unstable refinement of the equivariant Hopf-tom Dieck theorem to derive local/twisted tadpole cancellation, and (b) the lift to super-differential cohomology to establish global/untwisted tadpole cancellation. Throughout, we use (c) the unstable Pontrjagin-Thom theorem to identify the brane/O-plane configurations encoded in equivariant Cohomotopy and (d) the Boardman homomorphism to equivariant K-theory to identify Chan-Paton representations of D-brane charge. We find that unstable equivariant Cohomotopy, but not its image in K-theory, distinguishes D-brane charge from the finite set of types of O-plane charges.

preprint2020arXiv

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

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

preprint2019arXiv

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

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

preprint2015arXiv

Higher abelian gauge theory associated to gerbes on noncommutative deformed M5-branes and S-duality

We enhance the action of higher abelian gauge theory associated to a gerbe on an M5-brane with an action of a torus ${\mathbb T}^n (n\ge 2)$, by a noncommutative ${\mathbb T}^n$-deformation of the M5-brane. The ingredients of the noncommutative action and equations of motion include the deformed Hodge duality, deformed wedge product, and the noncommutative integral over the noncommutative space obtained by strict deformation quantization. As an application we then introduce a variant model with an enhanced action in which we show that the corresponding partition function is a modular form, which is a purely noncommutative geometry phenomenon since the usual theory only has a $\mathbb Z_2$-symmetry. In particular, S-duality in this 6-dimensional higher abelian gauge theory model is shown to be, in this sense, on par with the usual 4-dimensional case.

preprint2015arXiv

Integral group actions on symmetric spaces and discrete duality symmetries of supergravity theories

For $G(\mathbb{R})$ a split, simply connected, semisimple Lie group of rank $n$ and $K$ the maximal compact subgroup of $G$, we give a method for computing Iwasawa coordinates of $G/K$ using the Chevalley generators and the Steinberg presentation. When $G/K$ is a scalar coset for a supergravity theory in dimensions $\geq 3$, we determine the action of the integral form $G(\mathbb{Z})$ on $G/K$. We give explicit results for the action of the discrete $U$--duality groups $SL_2(\mathbb{Z})$ and $E_7(\mathbb{Z})$ on the scalar cosets $SL_2(\mathbb{R})/SO_2(\mathbb{R})$ and $E_{7(+7)}(\mathbb{R})/[SU(8,\mathbb{R})/\{\pm Id\}]$ for type IIB supergravity in ten dimensions and 11--dimensional supergravity in $D=4$ dimensions, respectively. For the former, we use this to determine the discrete U--duality transformations on the scalar sector in the Borel gauge and we describe the discrete symmetries of the dyonic charge lattice. We determine the spectrum--generating symmetry group for fundamental BPS solitons of type IIB supergravity in $D=10$ dimensions at the classical level and we propose an analog of this symmetry at the quantum level. We indicate how our methods can be used to study the orbits of discrete U--duality groups in general.

preprint2015arXiv

Ninebrane structures

String structures in degree four are associated with cancellation of anomalies of string theory in ten dimensions. Fivebrane structures in degree eight have recently been shown to be associated with cancellation of anomalies associated to the NS5-brane in string theory as well as the M5-brane in M-theory. We introduce and describe "Ninebrane structures" in degree twelve and demonstrate how they capture some anomaly cancellation phenomena in M-theory. Along the way we also define certain variants, considered as intermediate cases in degree nine and ten, which we call "2-Orientation" and "2-Spin structures", respectively. As in the lower degree cases, we also discuss the natural twists of these structures and characterize the corresponding topological groups associated to each of the structures, which likewise admit refinements to differential cohomology.

preprint2015arXiv

Super Lie n-algebra extensions, higher WZW models, and super p-branes with tensor multiplet fields

We formalize higher dimensional and higher gauge WZW-type sigma-model local prequantum field theory, and discuss its rationalized/perturbative description in (super-)Lie n-algebra homotopy theory (the true home of the "FDA"-language used in the supergravity literature). We show generally how the intersection laws for such higher WZW-type sigma-model branes (open brane ending on background brane) are encoded precisely in (super-) L-infinity-extension theory and how the resulting "extended (super-)spacetimes" formalize spacetimes containing sigma model brane condensates. As an application we prove in Lie n-algebra homotopy theory that the complete super p-brane spectrum of superstring/M-theory is realized this way, including the pure sigma-model branes (the "old brane scan") but also the branes with tensor multiplet worldvolume fields, notably the D-branes and the M5-brane. For instance the degree-0 piece of the higher symmetry algebra of 11-dimensional spacetime with an M2-brane condensate turns out to be the "M-theory super Lie algebra". We also observe that in this formulation there is a simple formal proof of the fact that type IIA spacetime with a D0-brane condensate is the 11-dimensional sugra/M-theory spacetime, and of (prequantum) S-duality for type IIB string theory. Finally we give the non-perturbative description of all this by higher WZW-type sigma-models on higher super-orbispaces with higher WZW terms in stacky differential cohomology.

preprint2015arXiv

The WZW term of the M5-brane and differential cohomotopy

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.

preprint2014arXiv

M-Theory with Framed Corners and Tertiary Index Invariants

The study of the partition function in M-theory involves the use of index theory on a twelve-dimensional bounding manifold. In eleven dimensions, viewed as a boundary, this is given by secondary index invariants such as the Atiyah-Patodi-Singer eta-invariant, the Chern-Simons invariant, or the Adams e-invariant. If the eleven-dimensional manifold itself has a boundary, the resulting ten-dimensional manifold can be viewed as a codimension two corner. The partition function in this context has been studied by the author in relation to index theory for manifolds with corners, essentially on the product of two intervals. In this paper, we focus on the case of framed manifolds (which are automatically Spin) and provide a formulation of the refined partition function using a tertiary index invariant, namely the f-invariant introduced by Laures within elliptic cohomology. We describe the context globally, connecting the various spaces and theories around M-theory, and providing a physical realization and interpretation of some ingredients appearing in the constructions due to Bunke-Naumann and Bodecker. The formulation leads to a natural interpretation of anomalies using corners and uncovers some resulting constraints in the heterotic corner. The analysis for type IIA leads to a physical identification of various components of eta-forms appearing in the formula for the phase of the partition function.

preprint2014arXiv

Topological aspects of the NS5-brane

In this note we investigate certain topological aspects of the effective action of the NS5-brane in type IIA string theory. To facilitate the study of the corresponding partition function, we define a cohomology class whose vanishing is a necessary condition for this function to be well-defined. This leads to various topological conditions, including a twisted Fivebrane structure as well as secondary cohomology operations arising from a K-theoretic description. We explain how these operations also generate the topological part of the action as well as the phase of the partition function. Part of the discussion also applies to the M5-brane.

preprint2013arXiv

A higher stacky perspective on Chern-Simons theory

The first part of this text is a gentle exposition of some basic constructions and results in the extended prequantum theory of Chern-Simons-type gauge field theories. We explain in some detail how the action functional of ordinary 3d Chern-Simons theory is naturally localized ("extended", "multi-tiered") to a map on the universal moduli stack of principal connections, a map that itself modulates a circle-principal 3-connection on that moduli stack, and how the iterated transgressions of this extended Lagrangian unify the action functional with its prequantum bundle and with the WZW-functional. In the second part we provide a brief review and outlook of the higher prequantum field theory of which this is a first example. This includes a higher geometric description of supersymmetric Chern- Simons theory, Wilson loops and other defects, generalized geometry, higher Spin structures, anomaly cancellation, and various other aspects of quantum field theory.

preprint2013arXiv

Extended higher cup-product Chern-Simons theories

The proper action functional of (4k+3)-dimensional U(1)-Chern-Simons theory including the instanton sectors has a well known description: it is given on the moduli space of fields by the fiber integration of the cup product square of classes in degree-(2k+2) differential cohomology. We first refine this statement from the moduli space to the full higher smooth moduli stack of fields, to which the higher order-ghost BRST complex is the infinitesimal approximation. Then we generalize the refined formulation to cup product Chern-Simons theories of nonabelian and higher nonabelian gauge fields, such as the nonabelian String^c-2-connections appearing in quantum-corrected 11-dimensional supergravity and M-branes. We discuss aspects of the off-shell extended geometric pre-quantization (in the sense of extended or multi-tiered QFT) of these theories, where there is a prequantum U(1)-k-bundle (equivalently: a U(1)-(k-1)-bundle gerbe) in each codimension k. Examples we find include moduli stacks for differential T-duality structures as well as the anomaly line bundles of higher electric/magnetic charges, such as the 5-brane charges appearing in heterotic supergravity, appearing as line bundles with connection on the smooth higher moduli stacks of field configurations.

preprint2012arXiv

Duality and cohomology in M-theory with boundary

We consider geometric and analytical aspects of M-theory on a manifold with boundary Y. The partition function of the C-field requires summing over harmonic forms. When Y is closed Hodge theory gives a unique harmonic form in each de Rham cohomology class, while in the presence of a boundary the Hodge-Morrey-Friedrichs decomposition should be used. This leads us to study the boundary conditions for the C-field. The dynamics and the presence of the dual to the C-field gives rise to a mixing of boundary conditions with one being Dirichlet and the other being Neumann. We describe the mixing between the corresponding absolute and relative cohomology classes via Poincaré duality angles, which we also illustrate for the M5-brane as a tubular neighborhood. Several global aspects are then considered. We provide a systematic study of the extension of the E8 bundle and characterize obstructions. Considering Y as a fiber bundle, we describe how the phase looks like on the base, hence providing dimensional reduction in the boundary case via the adiabatic limit of the eta invariant. The general use of the index theorem leads to a new effect given by a gravitational Chern-Simons term CS on Y whose restriction to the boundary would be a generalized WZW model. This suggests that holographic models of M-theory can be viewed as a sector within this index-theoretic approach.

preprint2012arXiv

Geometry of Spin and Spin^c structures in the M-theory partition function

We study the effects of having multiple Spin structures on the partition function of the spacetime fields in M-theory. This leads to a potential anomaly which appears in the eta-invariants upon variation of the Spin structure. The main source of such spaces are manifolds with nontrivial fundamental group, which are also important in realistic models. We extend the discussion to the Spin^c case and find the phase of the partition function, and revisit the quantization condition for the C-field in this case. In type IIA string theory in ten dimensions, the mod 2 index of the Dirac operator is the obstruction to having a well-defined partition function. We geometrically characterize manifolds with and without such an anomaly and extend to the case of nontrivial fundamental group. The lift to KO-theory gives the alpha-invariant, which in general depends on the Spin structure. This reveals many interesting connection to positive scalar curvature manifolds and constructions related to the Gromov-Lawson-Rosenberg conjecture. In the twelve-dimensional theory bounding M-theory, we study similar geometric questions, including choices of metrics and obtaining elements of K-theory in ten dimensions by pushforward in K-theory on the disk fiber. We interpret the latter in terms of the families index theorem for Dirac operators on the M-theory circle and disk. This involves superconnections, eta-forms, and infinite-dimensional bundles, and gives elements in Deligne cohomology in lower dimensions. We illustrate our discussion with many examples throughout.

preprint2012arXiv

Multiple M5-branes, String 2-connections, and 7d nonabelian Chern-Simons theory

The worldvolume theory of coincident M5-branes is expected to contain a nonabelian 2-form/nonabelian gerbe gauge theory that is a higher analog of self-dual Yang-Mills theory. But the precise details -- in particular the global moduli / instanton / magnetic charge structure -- have remained elusive. Here we deduce from anomaly cancellation a natural candidate for the holographic dual of this nonabelian 2-form field, under AdS7/CFT6-duality. We find this way a 7-dimensional nonabelian Chern-Simons theory of String 2-connection fields, which, in a certain higher gauge, are given locally by non-abelian 2-forms with values in an affine Kac-Moody Lie algebra. We construct the corresponding action functional on the entire smooth moduli 2-stack of field configurations, thereby defining the theory globally, at all levels and with the full instanton structure, which is nontrivial due to the twists imposed by the quantum corrections. Along the way we explain some general phenomena of higher nonabelian gauge theory that we need.

preprint2012arXiv

The E8 moduli 3-stack of the C-field in M-theory

The higher gauge field in 11-dimensional supergravity -- the C-field -- is constrained by quantum effects to be a cocycle in some twisted version of differential cohomology. We argue that it should indeed be a cocycle in a certain twisted nonabelian differential cohomology. We give a simple and natural characterization of the full smooth moduli 3-stack of configurations of the C-field, the gravitational field/background, and the (auxiliary) E8-field. We show that the truncation of this moduli 3-stack to a bare 1-groupoid of field configurations reproduces the differential integral Wu structures that Hopkins-Singer had shown to formalize Witten's argument on the nature of the C-field. We give a similarly simple and natural characterization of the moduli 2-stack of boundary C-field configurations and show that it is equivalent to the moduli 2-stack of anomaly free heterotic supergravity field configurations. Finally we show how to naturally encode the Horava-Witten boundary condition on the level of moduli 3-stacks, and refine it from a condition on 3-forms to a condition on the corresponding full differential cocycles.

preprint2012arXiv

Twisted differential String and Fivebrane structures

In the background effective field theory of heterotic string theory, the Green-Schwarz anomaly cancellation mechanism plays a key role. Here we reinterpret it and its magnetic dual version in terms of differential twisted String- and differential twisted Fivebrane-structures that generalize the notion of Spin-structures and Spin-lifting gerbes and their differential refinement to smooth Spin-connections. We show that all these structures can be encoded in terms of nonabelian cohomology, twisted nonabelian cohomology, and differential twisted nonabelian cohomology, extending the differential generalized abelian cohomology as developed by Hopkins and Singer and shown by Freed to formalize the global description of anomaly cancellation problems in higher gauge theories arising in string theory. We demonstrate that the Green-Schwarz mechanism for the H_3-field, as well as its magnetic dual version for the H_7-field define cocycles in differential twisted nonabelian cohomology that may be called, respectively, differential twisted Spin(n)-, String(n)- and Fivebrane(n)-structures on target space, where the twist in each case is provided by the obstruction to lifting the classifying map of the gauge bundle through a higher connected cover of U(n) or O(n). We show that the twisted Bianchi identities in string theory can be captured by the (nonabelian) L-infinity-algebra valued differential form data provided by the differential refinements of these twisted cocycles.

preprint2011arXiv

Constraints on heterotic M-theory from s-cobordism

We interpret heterotic M-theory in terms of h-cobordism, that is the eleven-manifold is a product of the ten-manifold times an interval is translated into a statement that the former is a cobordism of the latter which is a homtopy equivalence. In the non-simply connected case, which is important for model building, the interpretation is then in terms of s-cobordism, so that the cobordism is a simple-homotopy equivalence. This gives constraints on the possible cobordisms depending on the fundamental groups and hence provides a characterization of possible compactification manifolds using the Whitehead group-- a quotient of algebraic K-theory of the integral group ring of the fundamental group-- and a distinguished element, the Whitehead torsion. We also consider the effect on the dynamics via diffeomorphisms and general dimensional reduction, and comment on the effect on F-theory compactifications.

preprint2011arXiv

Corners in M-theory

M-theory can be defined on closed manifolds as well as on manifolds with boundary. As an extension, we show that manifolds with corners appear naturally in M-theory. We illustrate this with four situations: The lift to bounding twelve dimensions of M-theory on Anti de Sitter spaces, ten-dimensional heterotic string theory in relation to twelve dimensions, and the two M-branes within M-theory in the presence of a boundary. The M2-brane is taken with (or as) a boundary and the worldvolume of the M5-brane is viewed as a tubular neighborhood. We then concentrate on (variant) of the heterotic theory as a corner and explore analytical and geometric consequences. In particular, we formulate and study the phase of the partition function in this setting and identify the corrections due to the corner(s). The analysis involves considering M-theory on disconnected manifolds, and makes use of the extension of the Atiyah-Patodi-Singer index theorem to manifolds with corners and the b-calculus of Melrose.

preprint2011arXiv

Geometric and topological structures related to M-branes II: Twisted String and String^c structures

The actions, anomalies, and quantization conditions allow the M2-brane and the M5-brane to support, in a natural way, structures beyond Spin on their worldvolumes. The main examples are twisted String structures. This also extends to twisted String^c structures, which we introduce and relate to twisted String structures. The relation of the C-field to Chern-Simons theory suggests the use of the String cobordism category to describe the M2-brane.

preprint2011arXiv

On global anomalies in type IIB string theory

We study global gravitational anomalies in type IIB string theory with nontrivial middle cohomology. This requires the study of the action of diffeomorphisms on this group. Several results and constructions, including some recent vanishing results via elliptic genera, make it possible to consider this problem. Along the way, we describe in detail the intersection pairing and the action of diffeomorphisms, and highlight the appearance of various structures, including the Rochlin invariant and its variants on the mapping torus.

preprint2011arXiv

On the geometry of the supermultiplet in M-theory

The massless supermultiplet of eleven-dimensional supergravity can be generated from the decomposition of certain representation of the exceptional Lie group F4 into those of its maximal compact subgroup Spin(9). In an earlier paper, a dynamical Kaluza-Klein origin of this observation is proposed with internal space the Cayley plane, OP2, and topological aspects are explored. In this paper we consider the geometric aspects and characterize the corresponding forms which contribute to the action as well as cohomology classes, including torsion, which contribute to the partition function. This involves constructions with bilinear forms. The compatibility with various string theories are discussed, including reduction to loop bundles in ten dimensions.

preprint2011arXiv

Twisted topological structures related to M-branes II: Twisted Wu and Wu^c structures

Studying the topological aspects of M-branes in M-theory leads to various structures related to Wu classes. First we interpret Wu classes themselves as twisted classes and then define twisted notions of Wu structures. These generalize many known structures, including Pin^- structures, twisted Spin structures in the sense of Distler-Freed-Moore, Wu-twisted differential cocycles appearing in the work of Belov-Moore, as well as ones introduced by the author, such as twisted Membrane and twisted String^c structures. In addition, we introduce Wu^c structures, which generalize Pin^c structures, as well as their twisted versions. We show how these structures generalize and encode the usual structures defined via Stiefel-Whitney classes.

preprint2010arXiv

Anomalies of E8 gauge theory on String manifolds

In this note we revisit the subject of anomaly cancelation in string theory and M-theory on manifolds with String structure and give three observations. First, that on String manifolds there is no E8 x E8 global anomaly in heterotic string theory. Second, that the description of the anomaly in the phase of the M-theory partition function of Diaconescu-Moore-Witten extends from the Spin case to the String case. Third, that the cubic refinement law of Diaconescu-Freed-Moore for the phase of the M-theory partition function extends to String manifolds. The analysis relies on extending from invariants which depend on the Spin structure to invariants which instead depend on the String structure. Along the way, the one-loop term is refined via the Witten genus.

preprint2010arXiv

Geometric and topological structures related to M-branes

We consider the topological and geometric structures associated with cohomological and homological objects in M-theory. For the latter, we have M2-branes and M5-branes, the analysis of which requires the underlying spacetime to admit a String structure and a Fivebrane structure, respectively. For the former, we study how the fields in M-theory are associated with the above structures, with homotopy algebras, with twisted cohomology, and with generalized cohomology. We also explain how the corresponding charges should take values in Topological Modular forms. We survey background material and related results in the process.

preprint2010arXiv

Hypermatrix factors for string and membrane junctions

The adjoint representations of the Lie algebras of the classical groups SU(n), SO(n), and Sp(n) are, respectively, tensor, antisymmetric, and symmetric products of two vector spaces, and hence are matrix representations. We consider the analogous products of three vector spaces and study when they appear as summands in Lie algebra decompositions. The Z3-grading of the exceptional Lie algebras provide such summands and provides representations of classical groups on hypermatrices. The main natural application is a formal study of three-junctions of strings and membranes. Generalizations are also considered.

preprint2010arXiv

M-theory, the signature theorem, and geometric invariants

The equations of motion and the Bianchi identity of the C-field in M-theory are encoded in terms of the signature operator. We then reformulate the topological part of the action in M-theory using the signature, which leads to connections to the geometry of the underlying manifold, including positive scalar curvature. This results in a variation on the miraculous cancellation formula of Alvarez-Gaumé and Witten in twelve dimensions and leads naturally to the Kreck-Stolz s-invariant in eleven dimensions. Hence M-theory detects diffeomorphism type of eleven-dimensional (and seven-dimensional) manifolds, and in the restriction to parallelizable manifolds classifies topological eleven-spheres. Furthermore, requiring the phase of the partition function to be anomaly-free imposes restrictions on allowed values of the s-invariant. Relating to string theory in ten dimensions amounts to viewing the bounding theory as a disk bundle, for which we study the corresponding phase in this formulation.

preprint2010arXiv

Twisted topological structures related to M-branes

Studying the M-branes leads us naturally to new structures that we call Membrane-, Membrane^c-, String^K(Z,3)- and Fivebrane^K(Z,4)-structures, which we show can also have twisted counterparts. We study some of their basic properties, highlight analogies with structures associated with lower levels of the Whitehead tower of the orthogonal group, and demonstrate the relations to M-branes.

preprint2009arXiv

OP2 bundles in M-theory

Ramond has observed that the massless multiplet of eleven-dimensional supergravity can be generated from the decomposition of certain representation of the exceptional Lie group F4 into those of its maximal compact subgroup Spin(9). The possibility of a topological origin for this observation is investigated by studying Cayley plane, OP2, bundles over eleven-manifolds Y. The lift of the topological terms gives constraints on the cohomology of Y which are derived. Topological structures and genera on Y are related to the corresponding ones on the total space M. The latter, being 27-dimensional, might provide a candidate for `bosonic M-theory'. The discussion leads to a connection with an octonionic version of Kreck-Stolz elliptic homology theory.

preprint2008arXiv

L-infinity algebra connections and applications to String- and Chern-Simons n-transport

We give a generalization of the notion of a Cartan-Ehresmann connection from Lie algebras to L-infinity algebras and use it to study the obstruction theory of lifts through higher String-like extensions of Lie algebras. We find (generalized) Chern-Simons and BF-theory functionals this way and describe aspects of their parallel transport and quantization. It is known that over a D-brane the Kalb-Ramond background field of the string restricts to a 2-bundle with connection (a gerbe) which can be seen as the obstruction to lifting the PU(H)-bundle on the D-brane to a U(H)-bundle. We discuss how this phenomenon generalizes from the ordinary central extension U(1) -> U(H) -> PU(H) to higher categorical central extensions, like the String-extension BU(1) -> String(G) -> G. Here the obstruction to the lift is a 3-bundle with connection (a 2-gerbe): the Chern-Simons 3-bundle classified by the first Pontrjagin class. For G = Spin(n) this obstructs the existence of a String-structure. We discuss how to describe this obstruction problem in terms of Lie n-algebras and their corresponding categorified Cartan-Ehresmann connections. Generalizations even beyond String-extensions are then straightforward. For G = Spin(n) the next step is "Fivebrane structures" whose existence is obstructed by certain generalized Chern-Simons 7-bundles classified by the second Pontrjagin class.

preprint2006arXiv

E8 Gauge Theory and Gerbes in String Theory

The reduction of the E8 gauge theory to ten dimensions leads to a loop group, which in relation to twisted K-theory has a Dixmier-Douady class identified with the Neveu-Schwarz H-field. We give an interpretation of the degree two part of the eta-form by comparing the adiabatic limit of the eta invariant with the one loop term in type IIA. More generally, starting with a G-bundle, the comparison for manifolds with String structure identifies G with E8 and the representation as the adjoint, due to an interesting appearance of the dual Coxeter number. This makes possible a description in terms of a generalized WZW model at the critical level. We also discuss the relation to the index gerbe, the possibility of obtaining such bundles from loop space, and the symmetry breaking to finite-dimensional bundles. We discuss the implications of this and we give several proposals.

preprint2005arXiv

Flux Quantization and the M-Theoretic Characters

In a previous work, hep-th/0501245, we introduced characters and classes built out of the M-theory four-form and the Pontrjagin classes, which we used to express the Chern-Simons and the one-loop terms in a way that makes the topological structures behind them more transparent. In this paper we further investigate such classes and the corresponding candidate generalized cohomology theories. In particular, we study the flux quantization conditions that arise in this context.

preprint2005arXiv

Type IIB String Theory, S-Duality, and Generalized Cohomology

In the presence of background Neveu-Schwarz flux, the description of the Ramond-Ramond fields of type IIB string theory using twisted K-theory is not compatible with S-duality. We argue that other possible variants of twisted K-theory would still not resolve this issue. We propose instead a possible path to a solution using elliptic cohomology. We also discuss T-duality relation of this to a previous proposal for IIA theory, and higher-dimensional limits. In the process, we obtain some other results which may be interesting on their own. In particular, we prove a conjecture of Witten that the 11-dimensional spin cobordism group vanishes on K(Z,6), which eliminates a potential new theta-angle in type IIB string theory.