03.12.41 · modern-geometry / homotopy

Twisted cartesian products and simplicial fibre bundles

shipped3 tiersLean: none

Anchor (Master): May 1967 *Simplicial Objects in Algebraic Topology* (Van Nostrand) §§17--21; Barratt-Gugenheim-Moore 1959 *On semisimplicial fibre-bundles* (Amer. J. Math. 81); Goerss-Jardine 1999 *Simplicial Homotopy Theory* (Birkhäuser) Ch. V

Intuition Beginner

A product space stacks a fibre over every point of a base, all in the same flat way: a cylinder is a circle of identical line segments. A fibre bundle is the same idea with a twist. As you move around the base, the fibre is allowed to shear by an amount that depends on where you are. A Möbius band is a circle of segments that flip as you go around: locally it looks like a product, globally it does not.

The combinatorial recipe for twisting a product into a bundle is a rule that shears each simplex by a group element, modelling fibre bundles purely simplicially. You start with a base simplicial set and a fibre that carries an action of a structure simplicial group. A twisting function assigns to each simplex of the base a group element one dimension down. That element records the shear.

Visual Beginner

On the left, a plain product: a base interval drawn along the bottom with an identical fibre segment standing over each base point, every segment parallel. On the right, the twisted version: the same base, but the fibre over the right end has been rotated relative to the fibre over the left end, and the amount of rotation is written as a group element $g$ on the connecting edge. An arrow labelled " $τ$ " points from a base edge to that group element, showing how the twisting function reads off the shear from each piece of the base.

The picture you should keep: a twisting function is a bookkeeping device that tells each face operator of the total space how much to shear before it copies the base.

Worked example Beginner

Take the smallest interesting base, the simplicial circle $S^{1}$ with one vertex and one non-degenerate edge $e$ . Let the structure group be the constant group $Z /2 = {1, a}$ , with fibre two points on which $a$ swaps the labels. A twisting function has one free choice: the value on $e$ , either $1$ or $a$ .

Choosing $1$ gives the flat product, a pair of disjoint circles. Choosing $a$ shears the two fibre points as you traverse the loop, so the start label and end label disagree. Gluing forces the two points into a single longer circle: a double cover. This is the simplicial Möbius-style twist, and the two choices of twisting value give exactly the two double covers of the circle, the split one and the connected one.

Check your understanding Beginner

Formal definition Intermediate+

Fix a simplicial set $X$ (the base) and a simplicial group $G$ (the structure group) 03.12.39. Write $d_{i}, s_{i}$ for the face and degeneracy operators on each.

Definition (Twisting function). A twisting function is a sequence of maps $τ : X_{n} \to G_{n - 1}$ for $n \geq 1$ satisfying the simplicial-group-valued cochain conditions

$$d_0 \tau(x) = \tau(d_0 x)^{-1}, \tau(d_1 x), \qquad d_i \tau(x) = \tau(d_{i+1} x) \quad (i \geq 1),$$ $$s_i \tau(x) = \tau(s_{i+1} x) \quad (i \geq 0), \qquad \tau(s_0 x) = e.$$

The first relation is the structure equation: it twists the zeroth face by a defect measured one dimension down, and the remaining relations make $τ$ compatible with all the other operators.

Definition (Twisted cartesian product). Let $F$ be a simplicial set with a left $G$ -action, $G_{n} \times F_{n} \to F_{n}$ , compatible with the operators. The twisted cartesian product $E = F \times_{τ} X$ has $E_{n} = F_{n} \times X_{n}$ , all operators agreeing with the ordinary product except the zeroth face:

$$\partial_0(f, x) = \big(\tau(x)\cdot \partial_0 f,; \partial_0 x\big), \qquad \partial_i(f,x) = (\partial_i f, \partial_i x)\ (i>0), \qquad s_i(f,x) = (s_i f, s_i x).$$

The cochain conditions on $τ$ are precisely what make these maps satisfy the simplicial identities, so $E$ is a genuine simplicial set. It is the simplicial model of a fibre bundle with fibre $F$ , base $X$ , and structure group $G$ .

Definition (Principal twisted cartesian product). Taking $F = G$ with $G$ acting on itself by left translation gives the principal twisted cartesian product $G \times_{τ} X$ . Every twisted cartesian product with fibre $F$ is the associated bundle of this principal one through the $G$ -action on $F$ .

Key theorem with proof Intermediate+

Theorem (Twisted cartesian products are Kan fibrations). For any twisting function $τ : X \to G$ , the projection $p : F \times_{τ} X \to X$ , $(f, x) \mapsto x$ , is a Kan fibration with fibre $F$ . Moreover the assignment $τ \mapsto (classifying map)$ is a bijection

$${\text{twisting functions } X \to G} ;\longleftrightarrow; {\text{simplicial maps } X \to \overline{W}G},$$

so principal twisted cartesian products over $X$ are classified by maps into the classifying space $\overline{W} G = B G$ of 03.12.39.

Proof. For fibrancy, take a horn $Λ_{k}^{n} \to F \times_{τ} X$ . Its image in $X$ extends over $Δ^{n}$ because we may fill there after composing with a chosen filler, and over the fibre we must fill a horn in $F$ after applying the shear $τ$ . When $F = G$ the filler exists by the horn-filling of a simplicial group, which uses multiplication and inverses; the shear by $τ (x)$ is an isomorphism on $G_{n}$ , so it carries fillers to fillers. For a general $G$ -set fibre $F$ one reduces to the principal case via the associated bundle, since $F \times_{τ} X = (G \times_{τ} X) \times_{G} F$ and the quotient of a Kan fibration by a free action remains a Kan fibration.

For the classification, a map $X \to \overline{W} G$ assigns to an $n$ -simplex of $X$ a tuple $(g_{1}, \dots, g_{n})$ with $g_{i} \in G_{i - 1}$ , and the face relations of $\overline{W} G$ from 03.12.39 read off exactly the cochain conditions when one sets $τ (x) = g_{1}$ and recovers the lower entries from $τ$ of the faces of $x$ . The pullback of the universal principal twisted cartesian product $W G \to \overline{W} G$ along this map returns $G \times_{τ} X$ . Conversely a twisting function builds the tuple by iterating $τ$ on faces, and these two passages are mutually inverse. $□$

Bridge. This theorem is the simplicial origin of classifying-space theory: it builds toward the topological statement that principal $G$ -bundles are classified by homotopy classes of maps into $B G$ , and that fact appears again in the universal-bundle treatment of 03.08.05. The shear by $τ$ is exactly the $G$ -valued cocycle of a bundle written one operator at a time, which is the foundational reason the cochain conditions take the form they do. The bijection with maps into $\overline{W} G$ is dual to the construction of that classifying space in 03.12.39: there one starts from $G$ and produces $\overline{W} G$ ; here one reads $\overline{W} G$ as the moduli object whose points are twisting functions. Putting these together, the universal twisted cartesian product $W G \to \overline{W} G$ is the combinatorial $E G \to B G$ , and the central insight is that pulling it back generalises every principal bundle over a simplicial base.

Exercises Intermediate+

Advanced results Master

The universal twisted cartesian product. Over the base $\overline{W} G$ there is a tautological twisting function $τ_{univ}$ whose value on a simplex $(g_{1}, \dots, g_{n})$ is $g_{1}$ . Its principal twisted cartesian product is $W G = G \times_{τ_{univ}} \overline{W} G$ , and the projection $W G \to \overline{W} G$ is the universal bundle. Since $W G$ is contractible, every principal twisted cartesian product over a simplicial base $X$ arises, uniquely up to the equivalence above, as the pullback of $W G \to \overline{W} G$ along the classifying map. This is the simplicial analogue of pulling a bundle back from $E G \to B G$ .

Serre spectral sequence. A twisted cartesian product is the simplicial object whose filtration by base skeleta produces the Serre spectral sequence of the fibration. The differentials are assembled from the twisting function, so the $E_{2}$ -page $H_{p} (X; H_{q} (F))$ with its local coefficients is read off directly from $τ$ . Barratt, Gugenheim and Moore introduced exactly this machinery to give a combinatorial account of the spectral sequence.

Beyond groups: twisted products over arbitrary fibrations. Every minimal Kan fibration is isomorphic to a twisted cartesian product, and a general Kan fibration is fibre-homotopy equivalent to one. So twisting functions are not a special case but a normal form: the structure-group description captures all fibrations up to the homotopy theory of 03.12.25.

Synthesis. Twisted cartesian products are the bridge from simplicial algebra to bundle theory, and several earlier threads converge here. The classifying space $\overline{W} G$ of 03.12.39 is the foundational reason twisting functions exist: this is exactly the moduli object whose simplices are the cochain data of a shear. The geometric realisation of 03.12.25 sends a twisted cartesian product to an honest topological fibre bundle, so the combinatorial construction generalises the classical associated-bundle construction, and the universal $W G \to \overline{W} G$ is dual to the topological $E G \to B G$ . Putting these together, the central insight is that a single normal form — shear the zeroth face by a group element — simultaneously models every principal bundle, supplies the Serre spectral sequence, and recovers the classification theorem as the statement that pullback along the classifying map is a bijection on equivalence classes.

Full proof set Master

Proposition (Cochain conditions force the simplicial identities). Let $τ : X_{n} \to G_{n - 1}$ be a sequence of maps. The sheared operators on $E = F \times_{τ} X$ satisfy all the simplicial identities if and only if $τ$ satisfies the twisting-function cochain conditions.

Proof. The operators $\partial_{i}, s_{i}$ for $i \geq 1$ agree with the product structure, so every identity not involving $\partial_{0}$ holds because it holds in $F \times X$ . The remaining identities are those relating $\partial_{0}$ to the other operators. Consider $\partial_{0} \partial_{1} = \partial_{0} \partial_{0}$ on $E_{2}$ . Writing $(f, x) \in E_{2}$ , the left side gives $τ (d_{1} x) \cdot \partial_{0} \partial_{1} f$ in the fibre coordinate, while the right side, applying the shear twice, gives $d_{0} (τ (x)) \cdot τ (d_{0} x) \cdot \partial_{0} \partial_{0} f$ . Since $\partial_{0} \partial_{1} f = \partial_{0} \partial_{0} f$ in $F$ , the two agree for all $f$ if and only if $τ (d_{1} x) = d_{0} (τ (x)) \cdot τ (d_{0} x)$ , which rearranges to the structure equation $d_{0} τ (x) = τ (d_{0} x)^{- 1} τ (d_{1} x)$ . The identities $\partial_{0} \partial_{i} = \partial_{i - 1} \partial_{0}$ for $i \geq 2$ yield $d_{i} τ = τ d_{i + 1}$ in the same way, and the identities relating $\partial_{0}$ to degeneracies yield $s_{i} τ = τ s_{i + 1}$ together with the normalisation $τ s_{0} = e$ . Each simplicial identity is equivalent to one cochain condition, so the full set of identities holds exactly when all the cochain conditions hold. $□$

Proposition (Pullback of the universal bundle). For a simplicial map $φ : X \to \overline{W} G$ , the pullback $\varphi^(WG)$ is isomorphic to the principal twisted cartesian product $G \times_{τ} X$ where $τ (x) = pr_{1} (φ (x))$ is the first coordinate of the image tuple.*

Proof. The pullback has $n$ -simplices ${(w, x) : w \in WG_n,\ \varphi(x) = p(w)} $w i t h$ p : WG \to \overline{W}G $t h e p r o j ec t i o n . A s im pl e x$ w \in WG_n$ is a tuple $(g_{0}, g_{1}, \dots, g_{n})$ and $p (w) = (g_{1}, \dots, g_{n})$ , so fixing $x$ the fibre is the set of choices of $g_{0} \in G_{n}$ , identifying $φ^{*} (W G)_{n}$ with $G_{n} \times X_{n}$ . Comparing the face operator $\partial_{0}$ on $W G$ , which shears the leading coordinate by the universal twisting value, with the projection $pr_{1} φ$ shows $\partial_0(g_0, x) = (\tau(x)\cdot \partial_0 g_0, \partial_0 x) $, e x a c tl y t h e tw i s t e df a ceo f$ G \times_\tau X$. The other operators match on the nose, giving the claimed isomorphism. $□$

Connections Master

The simplicial group and its classifying functor 03.12.39 supply the structure group $G$ and the target $\overline{W} G$ ; a twisting function is precisely a simplicial map into that classifying space, and the universal twisted cartesian product $W G \to \overline{W} G$ is the bundle built there made into a fibration.

Simplicial sets and geometric realisation 03.12.25 provide the ambient category and the functor that turns a twisted cartesian product into a topological fibre bundle; the one-line mention of twisting in that unit is unpacked here into the full construction.

The universal bundle 03.08.05 is the topological object this unit models combinatorially: the classification of principal twisted cartesian products by maps into $\overline{W} G$ is the simplicial form of classification by maps into $B G$ .

The principal bundle 03.05.01 is the geometric notion whose cocycle data the twisting function encodes operator by operator, so a twisting function is a simplicial transition cocycle for a principal bundle.

Historical & philosophical context Master

Twisting functions and twisted cartesian products were introduced by Barratt, Gugenheim and Moore in their 1959 paper On semisimplicial fibre-bundles ^{[Barratt-Gugenheim-Moore 1959]}, where they sought a purely combinatorial model of a fibre bundle that would let the Serre spectral sequence be derived without recourse to point-set topology. May's 1967 lectures ^{[May 1967]} systematised the construction and tied it to the $\overline{W}$ classifying functor, making the bijection between twisting functions and maps into $\overline{W} G$ a centrepiece of the simplicial theory.

The philosophical lesson is that bundle data, classically presented through local trivialisations and transition cocycles, can be repackaged as a single shear of one face operator. The continuous gluing of a bundle becomes a discrete rule that is finite in each dimension, so questions about fibrations become questions about group-valued cochains. This is the same move that made simplicial groups automatically fibrant: replacing topological pathology with algebra. It anticipated the later view, central to derived algebraic geometry, that a bundle is a map into a moduli object, with $\overline{W} G$ the first such moduli object built by hand.

Bibliography Master

@article{bgm1959,
  author = {Barratt, Michael G. and Gugenheim, Victor K. A. M. and Moore, John C.},
  title = {On semisimplicial fibre-bundles},
  journal = {Amer. J. Math.},
  volume = {81},
  pages = {639--657},
  year = {1959}
}

@book{may-simplicial,
  author = {May, J. Peter},
  title = {Simplicial Objects in Algebraic Topology},
  publisher = {Van Nostrand},
  year = {1967}
}

@book{goerss-jardine1999,
  author = {Goerss, Paul G. and Jardine, John F.},
  title = {Simplicial Homotopy Theory},
  publisher = {Birkh{\"a}user},
  year = {1999}
}

Prerequisites

03.12.39
03.12.25

Tier anchors

beginner: May 1967 *Simplicial Objects in Algebraic Topology* (Van Nostrand) §17 informal; Friedman 2012 *An elementary illustrated introduction to simplicial sets* survey
intermediate: May 1967 *Simplicial Objects in Algebraic Topology* (Van Nostrand) §§17--19; Goerss-Jardine 1999 *Simplicial Homotopy Theory* (Birkhäuser) Ch. V
master: May 1967 *Simplicial Objects in Algebraic Topology* (Van Nostrand) §§17--21; Barratt-Gugenheim-Moore 1959 *On semisimplicial fibre-bundles* (Amer. J. Math. 81); Goerss-Jardine 1999 *Simplicial Homotopy Theory* (Birkhäuser) Ch. V

References

May — Simplicial Objects in Algebraic Topology (1967) · §§17--21
Barratt-Gugenheim-Moore — On semisimplicial fibre-bundles (1959) · Amer. J. Math. 81, pp. 639--657
Goerss-Jardine — Simplicial Homotopy Theory (1999) · Ch. V, §3

Estimated time

beginner: 16m
intermediate: 44m
master: 82m