Tangent Fibrations: Theory & Applications

• Tangent fibrations are constructions that organize tangent data fiberwise, unifying diverse geometric, model-categorical, and algebraic frameworks.
• They preserve tangent structures via pullbacks and display maps, enabling coherent analysis of differential bundles, unit tangent bundles, and parameterized spectra.
• Applications span from differential geometry and higher-order tangent bundles to abstract homotopy theory and algebraic-geometric settings.

“Tangent fibrations” denotes a family of constructions in which tangent data are organized fibrationally rather than attached to a single object. In the literature represented here, the term covers several technically distinct settings: fibrations between tangent categories whose cleavages are compatible with tangent structure; model-categorical tangent bundles whose fibres are stabilizations of retractive over-categories; geometric fibrations associated with unit tangent bundles, frame bundles, and higher-order tangent bundles; and algebraic-geometric situations in which the tangent sheaf controls the structure of a fibration. The unifying pattern is that tangent information is transported, reconstructed, or constrained fibrewise.

1. Tangent fibrations in tangent category theory

In tangent category theory, a tangent fibration is a fibration between tangent categories for which the tangent structures are strictly compatible with the fibrational structure. One formulation is: a fibration

$\Pi : (\mathcal X',T') \to (\mathcal X,T)$

is a tangent fibration if the underlying functor is a strict tangent morphism and the tangent bundle functors preserve the chosen cartesian lifts; equivalently, the pair $(T,T')$ is a morphism of fibrations (Cruttwell et al., 28 Feb 2025). Closely related formulations appear in the fibrational development of differential bundles, where a fibration

$d:(\mathcal X,T)\to(\mathcal B,T')$

is a tangent fibration when $d$ is a strict morphism of tangent categories and $(T,T')$ is a morphism of fibrations (Cockett et al., 2016).

A central consequence is that fibres inherit tangent structure. For an object $A$ in the base, the fibre $\Pi^{-1}(A)$ becomes a tangent category, with fibrewise tangent functor defined by reindexing along the zero section,

$T^A = z^*\circ T' .$

The associated projection, zero morphism, vertical lift, sum, and canonical flip are obtained by combining the total tangent structure with cartesian lifts. This fibrewise construction is one of the main reasons tangent fibrations are useful: it turns a global tangent structure on the total category into a coherent family of tangent categories indexed by the base (Lanfranchi, 2023).

The fibrational viewpoint is tightly connected to pullback technology. In tangent categories, many geometric constructions require pullbacks preserved by the tangent functor and its iterates. The notion of a $T$-pullback formalizes this requirement. Tangent display maps were introduced as the maximal intrinsic class of maps closed under pullback, application of $T$, and composition, and with exactly the pullback stability needed for differential-geometric constructions. If $(T,T')$0 is a tangent display system in $(T,T')$1, then the codomain functor

$(T,T')$2

defines a tangent fibration; in $(T,T')$3, tangent display maps coincide with submersions (Cruttwell et al., 28 Feb 2025).

This framework was already implicit in the theory of differential bundles. In a display tangent category, the category of display differential bundles over a fixed base forms a fibre of a tangent fibration, and these fibres carry stronger structure than tangent categories alone: they are Cartesian differential categories. In that sense, tangent fibrations organize differential bundles as “vertical” differential geometry internal to the ambient tangent category (Cockett et al., 2016).

2. Grothendieck-type correspondences and the formal theory of tangentads

The Grothendieck construction has a nontrivial tangent-categorical analogue. A first, fibrewise construction sends a tangent fibration to an indexed family of tangent categories by taking each fibre $(T,T')$4 together with the reindexing functors

$(T,T')$5

which become strong tangent morphisms. This produces an indexed tangent category

$(T,T')$6

However, this “reduced” construction is not a full equivalence, because the passage from the total tangent functor $(T,T')$7 to the fibrewise tangent functor $(T,T')$8 loses information (Lanfranchi, 2023).

To recover a genuine Grothendieck equivalence, tangent fibrations are reinterpreted as tangent objects in a suitable $(T,T')$9-category of fibrations. In this formalism, tangent categories are tangent objects in $d:(\mathcal X,T)\to(\mathcal B,T')$0, while tangent fibrations are tangent objects in $d:(\mathcal X,T)\to(\mathcal B,T')$1. This yields a full equivalence between tangent fibrations and tangent indexed categories, rather than merely indexed tangent categories: $d:(\mathcal X,T)\to(\mathcal B,T')$2 The distinction is structural: a tangent indexed category retains global tangent data at the level of the indexed object itself, including fibrewise tangent functors $d:(\mathcal X,T)\to(\mathcal B,T')$3, tangent distributors $d:(\mathcal X,T)\to(\mathcal B,T')$4, and fibrewise versions of $d:(\mathcal X,T)\to(\mathcal B,T')$5 satisfying tangent-object axioms in $d:(\mathcal X,T)\to(\mathcal B,T')$6 (Lanfranchi, 2023).

The formal theory of tangentads extends this perspective. In that setting, tangent fibrations are treated as canonical examples of tangentads in the $d:(\mathcal X,T)\to(\mathcal B,T')$7-category $d:(\mathcal X,T)\to(\mathcal B,T')$8. This makes it possible to lift tangent fibrations functorially through constructions of differential objects, differential bundles, and connections. If

$d:(\mathcal X,T)\to(\mathcal B,T')$9

is a Cartesian tangent fibration, then one obtains induced fibrations

$d$0

$d$1

and

$d$2

and the corresponding results extend to vertical, horizontal, and affine variants of connections. A further structural result identifies differential objects with differential bundles over the terminal object via a $d$3-pullback statement, thereby recovering, in the tangentad setting, the classical equivalence between differential objects and bundles over $d$4 (Lanfranchi, 21 Jan 2026).

3. Model-categorical tangent bundles and parameterized spectra

A different use of the phrase appears in abstract homotopy theory. For a left proper combinatorial model category $d$5, one can construct a global tangent bundle

$d$6

whose fibre over an object $d$7 is a model for the stabilization of the retractive over-category at $d$8, namely

$d$9

Here $(T,T')$0 denotes retractive objects over $(T,T')$1, so the fibre models spectra parameterized by $(T,T')$2 (Harpaz et al., 2018).

The construction uses diagrams indexed by $(T,T')$3. An object $(T,T')$4 of $(T,T')$5 consists of a base object $(T,T')$6 and a bi-indexed family $(T,T')$7 over that base, and the projection is evaluation at the basepoint,

$(T,T')$8

The model structure is a left Bousfield localization of the Reedy model structure. Its fibrant objects are the parameterized $(T,T')$9-spectra, characterized by the conditions that $A$0 is a weak equivalence for $A$1 and that each diagonal square is homotopy Cartesian (Harpaz et al., 2018).

This relative model category presents the $A$2-categorical tangent bundle. The key comparison theorem states that if $A$3 is left proper and combinatorial, then the induced map

$A$4

exhibits $A$5 as a tangent bundle to $A$6. In that sense, the model-categorical construction is not merely analogous to a tangent fibration: it is a presentation of the genuine $A$7-categorical tangent bundle (Harpaz et al., 2018).

The global organization is the salient point. Rather than treating each stabilization $A$8 separately, the relative model category $A$9 packages all tangent categories simultaneously. The fibrewise description, the localization forcing the $\Pi^{-1}(A)$0-spectrum conditions, and the comparison with the $\Pi^{-1}(A)$1-categorical Grothendieck construction together make this a homotopical analogue of a tangent fibration (Harpaz et al., 2018).

4. Unit tangent bundles, frame bundles, and great-sphere fibrations

In differential geometry, tangent fibrational structures often arise from unit tangent and frame bundles. For a closed oriented Riemannian manifold $\Pi^{-1}(A)$2, the orthonormal frame bundle

$\Pi^{-1}(A)$3

is a principal $\Pi^{-1}(A)$4-bundle, while the unit tangent bundle

$\Pi^{-1}(A)$5

is the bundle of unit vectors. The frame bundle carries the horizontal–vertical splitting

$\Pi^{-1}(A)$6

induced by the Levi–Civita connection, and the frame flow on $\Pi^{-1}(A)$7 descends to the geodesic flow on $\Pi^{-1}(A)$8. A global Pestov identity on $\Pi^{-1}(A)$9 descends to associated homogeneous fibrations $T^A = z^*\circ T' .$0, and the unit tangent bundle appears as the special case $T^A = z^*\circ T' .$1 (Cekić et al., 18 Nov 2025).

This associated-bundle viewpoint is explicit. For a subgroup

$T^A = z^*\circ T' .$2

one forms

$T^A = z^*\circ T' .$3

and the associated bundle

$T^A = z^*\circ T' .$4

with projections $T^A = z^*\circ T' .$5. The frame-flow generator descends to a vector field $T^A = z^*\circ T' .$6, and the frame-bundle Pestov identity induces the associated identity

$T^A = z^*\circ T' .$7

of which the classical identity on $T^A = z^*\circ T' .$8 is the quotient corresponding to the full stabilizer of a unit vector (Cekić et al., 18 Nov 2025).

A second geometric family relates great sphere fibrations on $T^A = z^*\circ T' .$9 to affine fibrations of $T$0. Central projection from the upper hemisphere to a tangent hyperplane sends a great $T$1-sphere fibration to a fibration of $T$2 by affine $T$3-planes. The resulting affine fibrations are skew or, in a stronger first-order sense, nondegenerate. In the especially important case $T$4, a skew fibration $T$5 arises from a great $T$6-sphere fibration of $T$7 precisely when several equivalent conditions hold, including that the set $T$8 of fibre directions is the complement of a great $T$9-sphere and that there exists a unique $T$0-plane transverse to all fibres (Harrison, 2022).

Great circle fibrations also interact with contact geometry. For a smooth great circle fibration of $T$1, the tangent hyperplane distribution orthogonal to the fibres is contact if and only if the skew part $T$2 of the twisting map is nonsingular at every point. In dimension $T$3, every smooth great circle fibration of $T$4 yields a tight contact structure, but beginning with $T$5 there exist smooth great circle fibrations whose orthogonal distribution is not contact (Gluck et al., 2019).

A metric rigidity phenomenon occurs for Hopf fibrations. The standard Hopf fibrations

$T$6

are the unique Lipschitz-constant minimizers in their homotopy classes, up to isometries of domain and range, among maps with nonzero Hopf invariant. In the circle case, choosing a unit tangent direction along the fibres produces a Hopf vector field, regarded as a section of the unit tangent bundle

$T$7

and these sections are likewise unique Lipschitz minimizers in their homotopy classes (DeTurck et al., 2010).

5. Pushforward constructions, loop spaces, and infinite-rank tangent bundles

A further manifestation of tangent fibrational ideas appears in infinite-dimensional geometry. Given a fibration

$T$8

and a finite-rank bundle $T$9, the pushforward bundle

$(T,T')$00

is an infinite-rank bundle over $(T,T')$01. The tangent bundle to free loop space is the canonical example: $(T,T')$02 where $(T,T')$03 is evaluation and $(T,T')$04 is projection (Larrain-Hubach et al., 2013).

This pushforward description allows the tangent bundle of loop space to be treated by finite-dimensional characteristic-class technology applied fibrewise. The Levi–Civita connection on $(T,T')$05 pushes down to a connection on $(T,T')$06, and the loop-rotation action makes $(T,T')$07 into an $(T,T')$08-space. Equivariant characteristic forms on $(T,T')$09 then restrict on constant loops to the corresponding ordinary forms on $(T,T')$10. One consequence is a restatement of the $(T,T')$11-equivariant Atiyah–Singer index formula as an integral over the $(T,T')$12-orbit cycle $(T,T')$13, with the geometric input packaged into characteristic classes on the infinite-rank tangent bundle (Larrain-Hubach et al., 2013).

The same pushforward mechanism appears in Gromov–Witten theory. For the forgetful map

$(T,T')$14

the cotangent line bundles $(T,T')$15 give infinite-rank pushforwards $(T,T')$16, and the associated string classes

$(T,T')$17

encode gravitational descendants. Ordinary Gromov–Witten invariants are likewise expressed using a combination of leading-order and string Chern characters of pushforward bundles (Larrain-Hubach et al., 2013).

Loop groups and gauge theory supply additional examples. For a compact simply connected Lie group $(T,T')$18, the real cohomology of the based loop group $(T,T')$19 is generated by string and leading-order Chern–Simons classes arising from the fibration $(T,T')$20. In gauge theory, the quotient

$(T,T')$21

is treated as a fibration whose leading-order Pontryagin form recovers Donaldson’s $(T,T')$22-class. The recurring point is that infinite-dimensional tangent-like bundles become tractable when realized as pushforwards along a finite-dimensional fibration (Larrain-Hubach et al., 2013).

6. Higher-order tangent bundles and towers of fibrations

Higher-order tangent bundles provide a literal tower of tangent fibrations. For a manifold $(T,T')$23, the $(T,T')$24-th order tangent bundle $(T,T')$25 sits atop the sequence

$(T,T')$26

with truncation maps

$(T,T')$27

This tower is organized by the canonical almost-tangent structure $(T,T')$28, whose images define the vertical flag

$(T,T')$29

The existence of several nested vertical directions is the geometric reason that higher-order tangent bundles admit more than one natural notion of horizontal structure (Camarinha et al., 24 Jun 2026).

A nonlinear connection on $(T,T')$30 can be encoded by a connection map

$(T,T')$31

satisfying

$(T,T')$32

Its kernel is a horizontal bundle $(T,T')$33, and repeated application of $(T,T')$34 produces the multiconnection

$(T,T')$35

giving splittings

$(T,T')$36

A connection tower is a connection map compatible with every level of the truncation tower, in the sense that for each $(T,T')$37 the component $(T,T')$38 descends from a map on $(T,T')$39 (Camarinha et al., 24 Jun 2026).

This compatibility has strong consequences. A connection tower induces canonical vector bundle structures on each $(T,T')$40, expressed by diffeomorphisms

$(T,T')$41

When $(T,T')$42 is Riemannian with Levi–Civita connection, the tower extends the classical Dombrowski connection map on $(T,T')$43 and produces higher-order Sasaki metrics

$(T,T')$44

The resulting multiconnection determines adapted lifts of vector fields, explicit Lie bracket formulas involving $(T,T')$45, $(T,T')$46, and $(T,T')$47, and explicit geodesic equations on $(T,T')$48 and $(T,T')$49 (Camarinha et al., 24 Jun 2026).

A characterization theorem identifies jet-lift geodesics of the higher-order Sasaki metrics with base geodesics. For every $(T,T')$50,

$(T,T')$51

This places the tower of higher-order tangent bundles among the clearest geometric realizations of the idea that tangent fibrations are not isolated bundles, but nested structures whose levels constrain one another (Camarinha et al., 24 Jun 2026).

7. Algebraic-geometric uses of tangent data in fibrational structures

In algebraic geometry, “tangent fibration” usually does not denote a single formal definition, but tangent data often determines the existence or structure of a fibration. One example is the positivity theory of tangent sheaves on projective klt varieties. If the tangent sheaf is positively curved, then after a finite quasi-etale cover $(T,T')$52 there is a fibration

$(T,T')$53

such that $(T,T')$54 is a locally constant fibration, $(T,T')$55 is an abelian variety, and the fibre is a rationally connected klt variety with positively curved tangent sheaf. If the tangent sheaf is almost nef, there is a flat fibration $(T,T')$56 whose base is a finite quasi-etale quotient of an abelian variety and whose fibres are irreducible, reduced, rationally connected, and klt. In the combined MRC–Albanese form, after a maximally quasi-etale cover one obtains a fibration

$(T,T')$57

which is both the everywhere-defined MRC fibration and the Albanese map (Iwai et al., 2023).

Toric geometry provides another setting in which tangent sheaves interact with fibrations. For a toric fibration

$(T,T')$58

between complete $(T,T')$59-factorial toric varieties, an equivariant reflexive sheaf $(T,T')$60 may be pulled back reflexively to

$(T,T')$61

and stability is analyzed with respect to the adiabatic polarization

$(T,T')$62

For stable and unstable $(T,T')$63, stability and instability are preserved for small $(T,T')$64; in the strictly semistable case, stability of the pullback is governed by the leading $(T,T')$65-term for the pullbacks of Jordan–Hölder subobjects. The tangent sheaf is a principal example because its Klyachko filtrations are explicit, allowing stable perturbations by changing polarization or by suitable blow-ups (Napame et al., 2022).

A different, curve-theoretic use of tangent geometry appears in fibrations by plane quartic curves with canonical moving singularity. These fibrations exist only in characteristic $(T,T')$66, and the geometric generic fibre is a strange quartic: all tangent lines meet in the common point

$(T,T')$67

Depending on the normal form, every tangent line at a smooth point is either a bitangent or a non-ordinary inflection tangent. Two universal families,

$(T,T')$68

classify the corresponding fibrations up to base extension, and a distinguished pencil is described as a purely inseparable double cover of a quasi-elliptic fibration (Hilario et al., 2023).

These algebraic-geometric examples do not supply a single uniform definition of tangent fibration. They do, however, show a recurring mechanism: positivity, stability, or incidence properties of tangent data force the global structure of a fibration, often identifying the base, constraining the fibres, or determining the available deformations.