nLab simplicial principal bundle

Redirected from "simplicial fiber bundles".
Contents

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

Simplicial groups model all ∞-groups in ∞Grpd. Accordingly principal ∞-bundles in ∞Grpd (a discrete \infty-bundle) should be modeled by Kan complexes EXE \to X equipped with a principal action by a simplicial group. It is suficient to assume the action to be strict. This yields the notion of simplicial principal bundles .

Definition

Definition

(strict principal simplicial bundle)

A strict simplicial principal bundle is…

Definition

(weakly principal simplicial bundle)

For GG a simplicial group, a Kan fibration PXP \to X of Kan complexes equipped with a GG-action on PP over XX

P×G ρ P X \array{ P \times G && \overset{\rho}{\longrightarrow} && P \\ & \searrow && \swarrow \\ && X }

is a weakly GG-principal simplicial bundle if the shear map

P×G(p 1,ρ)P× XP P \times G \overset{ (p_1, \rho) }{\longrightarrow} P \times_X P

(to the fiber product of PP with itself over XX) is a simplicial weak equivalence.

(e.g. NSS 12b, Def. 3.79)

Properties

General

Proposition

A simplicial GG-principal bundle PXP \to X is necessarily a Kan fibration.

Proof

This appears as (May, Lemma 18.2).

Twisted cartesian products

Proposition

Let EBE \to B be a twisted cartesian product of the simplicial set BB with a simplicial group GG. Then with respect to the canonical GG-action this is a simplicial principal bundle.

This is (May, prop. 18.4).

Remark

It is simplicial principal bundles of this form that one is mainly interested in. These are the objects that are classified by the evident classifying space W¯G\overline{W} G. This is discussed below.

The universal simplicial GG-principal bundle

Recall from generalized universal bundle that a universal GG-principal simplicial bundle should be a principal bundle EGBG\mathbf{E}G \to \mathbf{B}G such that every other GG-principal simplicial bundle PXP \to X arises up to equivalence as the pullback of EG\mathbf{E}G along a morphism XBGX \to \mathbf{B}G.

A standard model for the delooping Kan complex BG\mathbf{B}G for GG a simplicial group goes by the simplicial set, W¯G. \overline{W} G \,.

This is described at simplicial group - delooping. The following establishes a model for the universal simplicial bundle over this model of BG\mathbf{B}G.

Definition

For GG a simplicial group, define the simplicial set WGW G to be the decalage of W¯G\overline{W}G

WGDecW¯G. W G \coloneqq Dec \overline{W}G \,.

By the discussion at homotopy pullback this means that for X X_\bullet any Kan complex, an ordinary pullback diagram

P WG X g W¯G \array{ P_\bullet &\to& W G \\ \downarrow && \downarrow \\ X_\bullet &\stackrel{g}{\to}& \overline{W}G }

in sSet exhibits P P_\bullet as the homotopy pullback in sSet QuillensSet_{Quillen} / (∞,1)-pullback in ∞Grpd

P * X g W¯G, \array{ P_\bullet &\to& * \\ \downarrow &\swArrow& \downarrow \\ X_\bullet &\stackrel{g}{\to}& \overline{W}G } \,,

i.e. as the homotopy fiber of the cocycle gg.

Definition

We call P :=X × gWGP_\bullet := X_\bullet \times^g W G the simplicial GG-principal bundle corresponding to gg.

Properties

Proposition

Let {ϕ:X nG (n1)}\{\phi : X_n \to G_{(n-1)}\} be the twisting function corresponding to g:X W¯Gg : X_\bullet \to \overline{W}G by the above discussion.

Then the simplicial set P :=X × gWGP_\bullet := X_\bullet \times_{g} W G is explicitly given by the formula called the twisted Cartesian product X × ϕG X_\bullet \times^\phi G_\bullet:

its cells are

P n=X n×G n P_n = X_n \times G_n

with face and degeneracy maps

  • d i(x,g)=(d ix,d ig)d_i (x,g) = (d_i x , d_i g) if i>0i \gt 0

  • d 0(x,g)=(d 0x,ϕ(x)d 0g)d_0 (x,g) = (d_0 x, \phi(x) d_0 g)

  • s i(x,g)=(s ix,s ig)s_i (x,g) = (s_i x, s_i g).

References

Here are some pointers on where precisely in the literature the above statements can be found.

One useful reference is

There the abbreviation PCTP ( principal twisted cartesian product ) is used for what above we called just twisted Cartesian products.

The fact that every PTCP X× ϕGXX \times_\phi G \to X defined by a twisting function ϕ\phi arises as the pullback of WGW¯GW G \to \overline{W}G along a morphism of simplicial sets XW¯GX \to \overline{W}G can be found there by combining

  1. the last sentence on p. 81 which asserts that pullbacks of PTCPs X× ϕGXX \times_\phi G \to X along morphisms of simplicial sets f:YXf : Y \to X yield PTCPs corresponding to the composite of ff with ϕ\phi;

  2. section 21 which establishes that WGW¯GW G \to \bar W G is the PTCP for some universal twisting function r(G)r(G).

  3. lemma 21.9 states in the language of composites of twisting functions that every PTCP comes from composing a cocycle YW¯GY \to \bar W G with the universal twisting function r(G)r(G). In view of the relation to pullbacks in item 1, this yields the statement in the form we stated it above.

An explicit version of the statement that twisted Cartesian products are nothing but pullbacks of a generalized universal bundle is on page 148 of

On page 239 there it is mentioned that

GWGW¯G G \to W G \to \overline{W}G

is a model for the loop space object fiber sequence

G*BG. G \to * \to \mathbf{B}G.

One place in the literature where the observation that WGW G is the decalage of W¯G\overline{W}G is mentioned fairly explicitly is page 85 of

  • John Duskin, Simplicial methods and the interpretation of “triple” cohomology, number 163 in Mem. Amer. Math. Soc., 3, Amer. Math. Soc. (1975)

Discussion of topological simplicial principal bundles is in

Discussion of principal simplicial bundles in more general categories of simplicial presheaves (presenting (infinity,1)-toposes):

Last revised on November 28, 2023 at 14:04:20. See the history of this page for a list of all contributions to it.