quaternionic projective line$\,\mathbb{H}P^1$
(see also Chern-Weil theory, parameterized homotopy theory)
homotopy theory, (β,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directedβ¦
models: topological, simplicial, localic, β¦
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
A spherical fibration is a fiber bundle of spheres of some dimension (a sphere fiber bundle). Typically this is considered in homotopy theory where one considers fibrations whose fibers have the homotopy type of spheres; and this in turn is often considered in stable homotopy theory after stabilization (hence up to tensoring with trivial spherical fibrations) which makes spherical fibrations models for (β,1)-module bundles for the sphere spectrum regarded as an E-β ring.
Every real vector bundle becomes a spherical fibration in the sense of homotopy theory upon removing its zero section and this construction induces a map from vector bundles and in fact from topological K-theory to spherical fibrations, called the J-homomorphism.
This is closely related to the Thom space/Thom spectrum construction for vector bundles.
For $X$ (the homotopy type of) a topological space, a spherical fibration over it is a fibration $E \to X$ such that each fiber has the homotopy type of a sphere.
Given two spherical fibrations $E_1, E_2 \to X$, there is their fiberwise smash product $E_1 \wedge_X E_2 \to X$.
For $n \in \mathbb{N}$, write $\epsilon^n \colon X \times S^n \to X$ for the trivial sphere bundle of fiber dimension $n$. Two spherical fibrations $E_1, E_2 \to X$ are stably fiberwise equivalent if there exists $n_1, n_2 \in \mathbb{N}$ such that there is a map
over $X$ which is fiberwise a weak homotopy equivalence.
One consider the abelian group
to be the Grothendieck group of stable fiberwise equivalence classes of spherical fibrations, under fiberwise smash product.
There is an associative H-space, $G_n$, of homotopy equivalences of the $(n-1)$-sphere with composition. Then $B G_n$ acts as the classifying space for spherical fibrations with spherical fibre $S^{n-1}$ (Stasheff 63).
There is an inclusion of the orthogonal group $O(n)$ into $G_n$.
Suspension gives a map $G_n \to G_{n+1}$ whose limit is denoted $G$. Then $B G$ classifies stable spherical fibrations.
(β¦)
The Adams conjecture (a theorem) characterizes certain spherical fibrations in the image of the J-homomorphism as trivial.
The long exact sequence in cohomology induced by a spherical fibration is called a Gysin sequence.
See Sullivan model of a spherical fibration.
An original reference is
Treatment of the classifying space for spherical fibrations is in
Reviews include
Raoul Bott, Loring Tu, Chapter 11 of Differential Forms in Algebraic Topology, Graduate Texts in Mathematics 82, Springer 1982 (doi:10.1007/BFb0063500)
Howard Marcum, Duane Randall, The homotopy Thom class of a spherical fibration, Proceedings of the AMS, volume 80, number 2 (pdf)
Per Holm, Jon Reed, section 7 of Structure theory of manifolds, Seminar notes 1971pdf
Oliver Straser, Nena RΓΆttgens, Spivak normal fibrations (pdf)
S. Husseini, Spherical fibrations (pdf)
Discussion in rational homotopy theory (for more see at Sullivan model of a spherical fibration):
Yves FΓ©lix, Steve Halperin and J.C. Thomas, p. 202 of Rational Homotopy Theory, Graduate Texts in Mathematics, 205, Springer-Verlag, 2000
Jesper MΓΈller, Martin Raussen, Rational Homotopy of Spaces of Maps Into Spheres and Complex Projective Spaces, Transactions of the American Mathematical Society Vol. 292, No. 2 (Dec., 1985), pp. 721-732 (jstor:2000242)
Ralph Cohen, Alexander Voronov, Notes on string topology (arXiv:math/0503625)
Yves FΓ©lix, John Oprea, Daniel TanrΓ©, Prop. 2.3 in Lie-model for Thom spaces of tangent bundles, Proc. Amer. Math. Soc. 144 (2016), 1829-1840 (pdf, doi:10.1090/proc/12829)
Last revised on December 1, 2019 at 14:11:45. See the history of this page for a list of all contributions to it.