arXiv subjects

Hisham Sati

Publications and source records attributed to Hisham Sati.

At least 109 records · Page 6Linked to original sources

arXiv2017

Parametrized geometric cobordism and smooth Thom stacks

We develop a theory of parametrized geometric cobordism by introducing smooth Thom stacks. This requires identifying and constructing a smooth representative of the Thom functor acting on vector bundles equipped with extra geometric data, leading to a geometric refinement of the the Pontrjagin-Thom construction in stacks. We demonstrate that the resulting theory generalizes the parametrized cobordism of Galatius-Madsen-Tillman-Weiss. The theory has the feature of being both versatile and general, allowing for the inclusion of families of various geometric data, such as metrics on manifolds and connections on vector bundles, as in recent work of Cohen-Galatius-Kitchloo and Ayala.

math.AT↗

arXiv2017

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

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

math-ph↗

arXiv2017

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

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

hep-th↗

arXiv2017

Lie n-algebras of BPS charges

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.

math-ph↗

arXiv2015

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.

math-ph↗

arXiv2015

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.

hep-th↗

arXiv2015

Twisted Morava K-theory and E-theory

For an integral cohomology class H of degree n+2 on a space X, we define twisted Morava K-theory K(n)(X; H) at the prime 2, as well as an integral analogue. We explore properties of this twisted cohomology theory, study a twisted Atiyah-Hirzebruch spectral sequence, and give a universal coefficient theorem (in the spirit of Khorami). We extend the construction to define twisted Morava E-theory, and provide applications to string theory and M-theory.

math.AT↗

arXiv2015

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.

hep-th↗

arXiv2015

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.

hep-th↗

arXiv2015

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.

hep-th↗

arXiv2014

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.

hep-th↗

arXiv2014

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.

hep-th↗

arXiv2013

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.

hep-th↗

arXiv2013

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.

hep-th↗

arXiv2012

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.

hep-th↗

arXiv2012

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.

hep-th↗

arXiv2012

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.

hep-th↗

arXiv2012

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.

hep-th↗