Some rational homology computations for diffeomorphisms of odd-dimensional manifolds

We calculate the rational cohomology of the classifying space of the diffeomorphism group of the manifolds \(U_{g,1}^n:= \#^g(S^n \times S^{n+1})\setminus \mathrm{int}{D^{2n+1}}\), for large \(g\) and \(n\), up to approximately degree \(n\). The answer is that it is a free graded commutative algebra...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org 2023-12
Hauptverfasser: Ebert, Johannes, Reinhold, Jens
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We calculate the rational cohomology of the classifying space of the diffeomorphism group of the manifolds \(U_{g,1}^n:= \#^g(S^n \times S^{n+1})\setminus \mathrm{int}{D^{2n+1}}\), for large \(g\) and \(n\), up to approximately degree \(n\). The answer is that it is a free graded commutative algebra on an appropriate set of Miller--Morita--Mumford classes. Our proof goes through the classical three-step procedure: (a) compute the cohomology of the homotopy automorphisms, (b) use surgery to compare this to block diffeomorphisms, (c) use pseudoisotopy theory and algebraic \(K\)-theory to get at actual diffeomorphism groups.
ISSN:2331-8422
DOI:10.48550/arxiv.2203.03414