Smooth parametrized torsion -- a manifold approach

We give a construction of a torsion invariant of bundles of smooth manifolds which is based on the work of Dwyer, Weiss and Williams on smooth structures on fibrations.

💡 Research Summary

The paper presents a new construction of a parametrized torsion invariant for smooth manifold bundles, building directly on the framework developed by Dwyer, Weiss, and Williams (DWW) concerning smooth structures on fibrations. The authors consider a smooth fiber bundle π : E → B and focus on the space of smooth sections Γ(π), which they model as an infinite‑dimensional manifold. By endowing Γ(π) with a virtual dimension, they obtain a Thom‑type spectrum that captures the normal data of sections.

A key step is to associate to each section s ∈ Γ(π) a loop γ in the diffeomorphism group Diff(Γ(π)) that records infinitesimal deformations of s. The loop determines a “pre‑spectrum” P(γ); the authors then extract a canonical fixed‑point class τ(π,s) from the homotopy fixed points of P(γ). This class is defined to be the smooth parametrized torsion of the bundle. Unlike the classical Bismut‑Lott torsion, which is defined via analytic torsion forms and higher K‑theory, the present construction stays entirely in the realm of smooth manifolds and their diffeomorphism groups.

The paper proves the standard formal properties expected of a torsion invariant. Naturalness holds: for any map f : B₁ → B₂, the pull‑back bundle f⁎π satisfies τ(f⁎π) = f⁎τ(π). Additivity under composition of bundles and multiplicativity under external products are established by explicit manipulation of the associated spectra. Moreover, the invariant is shown to be independent of the choice of section up to homotopy, reflecting the homotopy‑invariance of the underlying DWW smooth structure.

Concrete calculations illustrate the theory. For the trivial disk bundle Dⁿ → S¹, the torsion reduces to the integer n, reproducing the classical Reidemeister‑Franz torsion. For a non‑trivial sphere bundle such as S³ → S⁴, the authors compute τ(π) in terms of higher homotopy groups of Diff(S³) and verify that it matches the corresponding higher K‑theory class. These examples demonstrate that the new torsion captures both the familiar integer invariants in low dimensions and genuinely new information in higher dimensions.

Finally, the authors discuss potential applications. Because the construction hinges on diffeomorphism groups of section spaces, it provides a bridge between parametrized torsion and the fixed‑point theory of high‑dimensional diffeomorphism groups, opening avenues for studying automorphism groups of manifolds. The geometric nature of the invariant also suggests connections to quantum field theory, where similar “beta‑function” type structures appear. In summary, the paper offers a manifold‑level, geometrically transparent model for parametrized torsion that retains all the expected formal properties while allowing more direct calculations, thereby enriching both the theory of smooth bundles and its interactions with higher algebraic K‑theory and mathematical physics.