Tautological classes and higher signatures
Johannes Ebert
TL;DR
The paper analyzes when tautological higher-signature classes κ_{ℒ_k,u}(E,f) vanish for odd-dimensional fibres, proving a nuanced dependence on the group G and the class u. It develops an index-theoretic framework using twisted odd signatures to establish vanishing results, and leverages Gallatius–Randal-Williams theory and Thom–Madsen constructions to prove nontriviality via product formulas. In particular, it shows κ_{ℒ_k,u}(E,f)=0 for odd n when G is a surface group with nonzero u∈H^2(BΓ_g;Q) for g≥2, while nonvanishing can occur for g=1; it then extends to a broad nontriviality theorem by combining base nonzero κ-classes with odd-dimensional factors. The results illuminate how higher signatures interact with the topology of classifying spaces and the diffeomorphism groups of even-dimensional manifolds, revealing delicate dependence on G and u.
Abstract
For a bundle of oriented closed smooth $n$-manifolds $π: E \to X$, the tautological class $κ_{\mathcal{L}_k} (E) \in H^{4k-n}(X;\mathbb{Q})$ is defined by fibre integration of the Hirzebruch class $\mathcal{L}_k (T_v E)$ of the vertical tangent bundle. More generally, given a discrete group $G$, a class $u \in H^p(B G;\mathbb{Q})$ and a map $f:E \to B G$, one has tautological classes $κ_{\mathcal{L}_k ,u}(E,f) \in H^{4k+p-n}(X;\mathbb{Q})$ associated to the Novikov higher signatures. For odd $n$, it is well-known that $κ_{\mathcal{L}_k}(E)=0$ for all bundles with $n$-dimensional fibres. The aim of this note is to show that the question whether more generally $κ_{\mathcal{L}_k,u}(E,f)=0$ (for odd $n$) depends sensitively on the group $G$ and the class $u$. For example, given a nonzero cohomology class $u \in H^2 (B π_1 (Σ_g);\mathbb{Q})$ of a surface group, we show that always $κ_{\mathcal{L}_k,u}(E,f)=0$ if $g \geq 2$, whereas sometimes $κ_{\mathcal{L}_k,u}(E,f)\neq 0$ if $g=1$. The vanishing theorem is obtained by a generalization of the index-theoretic proof that $κ_{\mathcal{L}_k}(E)=0$, while the nontriviality theorem follows with little effort from the work of Galatius and Randal-Williams on diffeomorphism groups of even-dimensional manifolds.