nLab fibration theory

The axioms

The notion of fibration theory was created by James Wirth in his PhD thesis in 1965. It allows classification of what would now be called \infty-bundles.

The axioms

A fibration theory EE is an assignment of a category E(B)E(B) to each topological space BB and a contravariant functor f *:E(C)E(B)f^*:E(C) \to E(B) to each continuous map f:BCf:B \to C such that id *id^* is the identity functor. EE is required to satisfy the following

How can id *id^* be an identity functor when that is not contravariant? Maybe each f *f^* is a covariant functor but the mapping ff *f \mapsto f^* is a contravariant functor? But then it's automatic that id *=idid^* = id (and furthermore that (f;g) *=f *g *(f ; g)^* = f^* \circ g^*). —Toby

David Roberts: whoops! I didn’t pick that up. I think you are partly right: it should be some sort of contravariant assignment ff *f\mapsto f^*, but maybe not functorial (since I believe that category should be replaced as I said below). The protoypical example, AFAICS, is assigning the category of locally homotopy trival fibrations over the given space. It is not spelled out in detail in the paper.

  1. For a numerable open cover U=U iU = \coprod U_i of a space BB and a system of objects (morphisms) E iE_i over each U iU_i such that E iE_i and E jE_j agree over U iU jU_i\cap U_j, then there is a unique common extension of the E iE_i over BB

    What makes an open cover ‘numerable’? —Toby

    David Roberts: A cover is numerable if it admits a subordinate partition of unity. Numerable open covers form a site. The axiom is there to link locally homotopically trivial fibrations and Dold fibrations (see theorem 2.3 in Wirth-Stasheff, due to Dold.)

    Also, the uniqueness should at least be demoted to unique-up-to-isomorphism.

  2. If ϕ\phi is a morphism in E(B)E(B) such that each restriction ϕ| U i\phi|_{U_i} for a numerable open cover UU of BB is a homotopy equivalence, then ϕ\phi is a homotopy equivalence. If HE(I×B)H\in E(I\times B), then the restrictions H| {t}×BH|_{\{t\}\times B} are homotopy equivalent (for objects) or homotopic (for morphisms)

  3. (Mapping cylinder axiom) If ϕ:FFE(B)\phi:F \to F' \in E(B) is a homotopy equivalence, then there is an object M(ϕ)E(I×B)M(\phi)\in E(I\times B) which serves as a mapping cylinder for ϕ\phi. That is, M(ϕ)M(\phi) restricts to FF at t=0t=0 and to FF' at t=1t=1 with a characterising homotopy equivalence ψ M:M(ϕ)I×F\psi_M:M(\phi) \to I\times F' which restricts to {0}×ϕ\{0\}\times\phi, respectively {1}×id\{1\}\times id.

David Roberts: The axioms are just copied from Wirth–Stasheff JHRS 1(1) 2006, p 273. They need to be clarified a little, as the notion of homotopy and homotopic are undefined. We could ask that E(B)E(B) is a category of fibrant objects or a Quillen model category or (,1)(\infty,1)-category or a category with an interval objects or something. One could even ask for a subcategory of TopTop which is closed under some conditions. In that instance, something needs to be said about the compatibility of homotopies etc with the functors f *f^*.

Toby: I know that you're just copying things, so maybe you don't know the answers to my questions, but so far I don't even understand the parts that I should be able to understand!

Last revised on June 26, 2009 at 06:41:08. See the history of this page for a list of all contributions to it.