Equivariant principal infinity-bundles

A book that we are finalizing:

on the joint generalization of

  1. equivariant principal bundles

  2. principal ∞-bundles


\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\; What this book is about.

In this book we prove classification results for stable equivariant Γ \Gamma -principal bundles in the case when the underlying homotopy type shapeΓ\shape \, \Gamma of the topological structure group Γ\Gamma is truncated, meaning that its homotopy groups vanish in and above some degree nn. We discuss how this coincides with the classification of equivariant higher non-abelian gerbes and generally of equivariant principal \infty -bundles with structure n n -group ʃΓ\esh \Gamma; and we show how the equivariant homotopy groups of the respective classifying GG-spaces are given by the non-abelian group cohomology of the equivariance group with coefficients in ʃΓ\esh \Gamma.

The result is proven in a conceptually transparent manner as a consequence of a smooth Oka principle which becomes available after faithfully embedding traditional equivariant topology into the singular-cohesive homotopy theory of globally equivariant higher stacks. This works for discrete equivariance groups GG acting properly on smooth manifolds (“proper equivariance”) with resolvable singularities whence we are equivalently describing principal bundles on good orbifolds.

In setting up this proof, we re-develop the theory of equivariant principal bundles from scratch by systematic use of Grothendieck‘s internalization. In particular we prove that all the intricate equivariant local triviality conditions considered in the literature are automatically implied by regarding GG-equivariant principal bundles as principal bundles internal to the B G B G -slice of the ambient cohesive \infty -topos. We also show that these conditions are all equivalent. Generally we find that the characteristic subtle phenomena of equivariant classifying theory all reflect basic modal properties of singular-cohesive homotopy theory (hence of cohesive global equivariant homotopy theory).

An archetypical example is the infinite projective unitary structure group Γ = PU ( ) \Gamma = PU(\mathcal{H}) , in which case we are classifying the degree-3 twists of equivariant KU \KU -theory (related to equivariant “bundle gerbes”), recovering the results of BEJU14, Thm. 1.10, LüUr14, Thm. 15.17. Our general theorem immediately enhances this to the conjugation-equivariant graded projective unitary structure group /2PU() gr\mathbb{Z}/2 \curvearrowright \, PU(\mathcal{H})_{gr} with fixed locus PU() gr /2=PO( )PU(\mathcal{H})_{gr}^{\mathbb{Z}/2} \,=\, PO(\mathcal{H}_{\mathbb{R}}), where we are classifying the twists of equivariant KR-theory in degrees 1 and 3 combined, restricting on “O-planes” to the twists of KO KO -theory in degrees 1 and 2 combined. This is the generality in which equivariant K-theory twists are conjectured to model the B-field in string theory on orbi-orientifolds.

Our focus on the class of truncated structure groups is largely complementary to the classical literature on equivariant classifying spaces, which is mostly concerned with the class of compact Lie structure groups Γ\Gamma. The two classes intersect when Γ=T dK\Gamma = T^d \rtimes K is the extension of a finite group KK by a compact abelian Lie group, i.e., the case of equivariant sheeted torus bundles (“bundle 0-gerbes”). In this case our general classification recovers the results of LMS84, Lem. 1, Thm. 2, May 90, Thm. 3, Thm. 10, Rez16, Thm. 1.2 and generalizes them to the case of non-trivial GG-action on Γ\Gamma.

A classification result for general topological structure groups had previously been claimed in MurSh95 but, as highlighted in GMM17, 3.12, the proof had remained open. Besides proving its classification property for truncated structure groups, we show that the Murayama-Shimakawa construction of MurSh95 generally produces the underlying equivariant homotopy type of the correct equivariant moduli stacks.

While compact Lie structure groups Γ\Gamma have received much attention due to the role of equivariant vector bundles as cocycles of equivariant K-theory, the complementary case of truncated structure groups Γ\Gamma that we discuss will generally be relevant for equivariant bundles in their role as twists of equivariant generalized cohomology theories, since such twists will typically be considered in a finite number of degrees, with ʃΓ\esh \Gamma a truncation of the \infty -group of units of a ring spectrum. This combined twisted \ equivariant enhancement of generalized cohomology theory has previously received little attention (except for a brief note in Lind 14) beyond the example of KU \KU -theory. We mean this book to be laying previously missing foundations.

In particular, the equivariant classifying spaces produced here provide the correct domains for twisted equivariant Chern-Dold character maps, and hence allow the systematic definition and construction of twisted equivariant differential generalized cohomology theories in equivariant generalization of the construction in FSS20. This will be discussed elsewhere.

Related articles:

warning\color{red}\text{warning}: The arXiv version 1 of the book (arXiv:2112.13654v1) has a mistake in Lem. 4.1.30: The injectivity claimed there fails in general (the would-be proof secretly assumes that the GG-action on the n+2n+2-sphere has a fixed point, which contradicts the assumption that the action is free). This injectivity is, instead, to be enforced by restriction to “stable” equivariant bundles. The above pdf version fixes this gap.

Last revised on January 16, 2022 at 06:24:27. See the history of this page for a list of all contributions to it.