English

Tautological classes and higher signatures

Geometric Topology 2025-01-17 v3 Algebraic Topology

Abstract

For a bundle of oriented closed smooth nn-manifolds π:EX\pi: E \to X, the tautological class κLk(E)H4kn(X;Q)\kappa_{\mathcal{L}_k} (E) \in H^{4k-n}(X;\mathbb{Q}) is defined by fibre integration of the Hirzebruch class Lk(TvE)\mathcal{L}_k (T_v E) of the vertical tangent bundle. More generally, given a discrete group GG, a class uHp(BG;Q)u \in H^p(B G;\mathbb{Q}) and a map f:EBGf:E \to B G, one has tautological classes κLk,u(E,f)H4k+pn(X;Q)\kappa_{\mathcal{L}_k ,u}(E,f) \in H^{4k+p-n}(X;\mathbb{Q}) associated to the Novikov higher signatures. For odd nn, it is well-known that κLk(E)=0\kappa_{\mathcal{L}_k}(E)=0 for all bundles with nn-dimensional fibres. The aim of this note is to show that the question whether more generally κLk,u(E,f)=0\kappa_{\mathcal{L}_k,u}(E,f)=0 (for odd nn) depends sensitively on the group GG and the class uu. For example, given a nonzero cohomology class uH2(Bπ1(Σg);Q)u \in H^2 (B \pi_1 (\Sigma_g);\mathbb{Q}) of a surface group, we show that always κLk,u(E,f)=0\kappa_{\mathcal{L}_k,u}(E,f)=0 if g2g \geq 2, whereas sometimes κLk,u(E,f)0\kappa_{\mathcal{L}_k,u}(E,f)\neq 0 if g=1g=1. The vanishing theorem is obtained by a generalization of the index-theoretic proof that κLk(E)=0\kappa_{\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.

Keywords

Cite

@article{arxiv.2403.02755,
  title  = {Tautological classes and higher signatures},
  author = {Johannes Ebert},
  journal= {arXiv preprint arXiv:2403.02755},
  year   = {2025}
}

Comments

Final version, to appear in Journal of Topology and Analysis

R2 v1 2026-06-28T15:09:29.057Z