Searcharxiv⌕ Search

arXiv subjects

Hisham Sati

Publications and source records attributed to Hisham Sati.

At least 73 records · Page 4Linked to original sources
arXiv2022

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.

math.AT↗
arXiv2022

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.

hep-th↗
arXiv2022

Anyonic Defect Branes and Conformal Blocks in Twisted Equivariant Differential (TED) K-theory

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.

hep-th↗
arXiv2021

Fundamental weight systems are quantum states

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.

math.GT↗
arXiv2021

The character map in (twisted differential) non-abelian cohomology

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.

math.AT↗
arXiv2021

Twisted Cohomotopy implies M5-brane anomaly cancellation

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.

hep-th↗
arXiv2021

Differential cohomotopy versus differential cohomology for M-theory and differential lifts of Postnikov towers

We compare the description of the M-theory form fields via cohomotopy versus that via integral cohomology. The conditions for lifting the latter to the former are identified using obstruction theory in the form of Postnikov towers, where torsion plays a central role. A subset of these conditions is shown to correspond compatibly to existing consistency conditions, while the rest are new and point to further consistency requirements for M-theory. Bringing in the geometry leads to a differential refinement of the Postnikov tower, which should be of independent interest. This provides another confirmation that cohomotopy is the proper generalized cohomology theory to describe these fields.

hep-th↗
arXiv2020

Twisted Morava K-theory and connective covers of Lie groups

Twisted Morava K-theory, along with computational techniques, including a universal coefficient theorem and an Atiyah-Hirzebruch spectral sequence, was introduced by Craig Westerland and the first author. We employ these techniques to compute twisted Morava K-theory of all connective covers of the stable orthogonal group and stable unitary group, and their classifying spaces, as well as spheres and Eilenberg-MacLane spaces. This extends to the twisted case some of the results of Ravenel and Wilson and of Kitchloo, Laures, and Wilson for Morava K-theory. This also generalizes to all chromatic levels computations by Khorami (and in part those of Douglas) at chromatic level one, i.e. for the case of twisted K-theory. We establish that for natural twists in all cases, there are only two possibilities: either that the twisted Morava homology vanishes, or that it is isomorphic to untwisted homology. We also provide a variant on the twist of Morava K-theory, with mod 2 cohomology in place of integral cohomology.

math.AT↗
arXiv2020

Twisted Cohomotopy implies level quantization of the full 6d Wess-Zumino term of the M5-brane

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.

hep-th↗
arXiv2020

Proper Orbifold Cohomology

The concept of orbifolds should unify differential geometry with equivariant homotopy theory, so that orbifold cohomology should unify differential cohomology with proper equivariant cohomology theory. Despite the prominent role that orbifolds have come to play in mathematics and mathematical physics, especially in string theory, the formulation of a general theory of orbifolds reflecting this unification has remained an open problem. Here we present a natural theory argued to achieve this. We give both a general abstract axiomatization in higher topos theory, as well as concrete models for ordinary as well as for super-geometric and for higher-geometric orbifolds. Our first main result is a fully faithful embedding of the 2-category of orbifolds into a singular-cohesive infinity-topos whose intrinsic cohomology theory is proper globally equivariant differential generalized cohomology, subsuming traditional orbifold cohomology, Chen-Ruan cohomology, and orbifold K-theory. Our second main result is a general construction of orbifold etale cohomology which we show to naturally unify (i) tangentially twisted cohomology of smooth but curved spaces with (ii) RO-graded proper equivariant cohomology of flat but singular spaces. As a fundamental example we present J-twisted orbifold Cohomotopy theories with coefficients in shapes of generalized Tate spheres. According to "Hypothesis H" this includes the proper orbifold cohomology theory that controls non-perturbative string theory.

math.AT↗
arXiv2020

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

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

hep-th↗
arXiv2020

Equivariant Cohomotopy implies orientifold tadpole cancellation

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

hep-th↗
arXiv2020

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

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

hep-th↗
arXiv2020

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

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

hep-th↗
arXiv2019

Lift of fractional D-brane charge to equivariant Cohomotopy theory

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

math.RT↗
arXiv2019

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

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

hep-th↗