The action of the mapping class group on metrics of positive scalar curvature (Q2122063): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q122789316, #quickstatements; #temporary_batch_1707252663060
Import241208061232 (talk | contribs)
Normalize DOI.
 
(4 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s00208-021-02235-1 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3186325788 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1912.08613 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Spin cobordism / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3140226 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinite loop spaces and positive scalar curvature / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3445969 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Gromov-Lawson-Chernysh surgery theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinite loop spaces and positive scalar curvature in the presence of a fundamental group / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5228020 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The classification of simply connected manifolds of positive scalar curvature / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable moduli spaces of high-dimensional manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abelian quotients of mapping class groups of highly connected manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher simple homotopy theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Differential Topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Harmonic spinors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Twisted spin cobordism and positive scalar curvature / rank
 
Normal rank
Property / cites work
 
Property / cites work: The stability theorem for smooth pseudoisotopies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Le théorème de Barden-Mazur-Stallings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cobordism of odd-dimensional diffeomorphisms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Surgery and duality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4693151 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homotopy theory of infinite dimensional manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Structure of Manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the structure of manifolds with positive scalar curvature / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quelques propriétés globales des variétés différentiables / rank
 
Normal rank
Property / cites work
 
Property / cites work: Geometrical Connectivity I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Metrics of positive scalar curvature and generalised Morse functions, part I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cobordism invariance of the homotopy type of the space of positive scalar curvature metrics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Metrics of positive scalar curvature and generalised Morse functions, Part II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Differential Topology / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S00208-021-02235-1 / rank
 
Normal rank

Latest revision as of 03:25, 17 December 2024

scientific article
Language Label Description Also known as
English
The action of the mapping class group on metrics of positive scalar curvature
scientific article

    Statements

    The action of the mapping class group on metrics of positive scalar curvature (English)
    0 references
    0 references
    5 April 2022
    0 references
    The diffeomorphism group of a manifold acts on the space of positive scalar curvature (psc) metrics and, thus, induces an action of its mapping class group, \(\pi_0(Diff(M))\), by homotopy classes of homotopy self-equivalences of \(\mathcal{R}^+(M)\), giving a group homomorphism: \[ \pi_0(\mathsf{Diff(M)}) \longrightarrow \pi_0(h\mathsf{Aut}(\mathcal{R}^+(M)) ). \] The work under review displays sufficient conditions under which the previous map factors through a certain cobordism group \(\Omega_d\) of closed \(n\)-dimensional manifolds. For this, it is first required that the dimension of the manifold be \(n\geq 6\) and, secondly, that both the manifolds and cobordisms involved be spin or, else, enriched by a tangential structure. The key to the aforementioned factorization and, perhaps, the most important result of the paper (see Theorem G and its generalization Theorem 3.6), is the construction of a functor from the cobordism category (spin or with a tangential structure) to the homotopy category of spaces. This functor is completely determined by the following: on objects it sends a (cobordism class of a) manifold to \(\mathcal{R}^+(M) \in h\mathsf{Top}\), while a morphism, given by a cobordism \(W\) from \(M_0\) to \(M_1\), is sent to an automorphism \(\mathcal{S}_W\) of surgery-theoretic nature. The definition of \(\mathcal{S}_W\) relies on handle decompositions, specially on Hatcher-Igusa's 2-index theorem, and on the geometric deformation/construction of psc-metrics due to V. Chernysh and M. Walsh, which themselves can be seen as a refinement of the Surgery Theorem of Gromov-Lawson and Schoen-Yau. In this way, a diffeomorphism \(f \in \mathsf{Diff(M)}\) gives rise to its mapping torus \(T_f \in \Omega_d(M)\) which then gives the automorphism \(\mathcal{S}_{T_f}\). This factorization is presented as a rigidity result once the cobordism group is -first of all- abelian and, also, rather small and known in certain cases (see Theorem B). Furthermore, the functor \(\mathcal{S}_W\) is not just a diffeomorfism invariant of the cobordism \(W\) but an invariant of the cobordism (with corners) class of it. The paper has a detailed exposition of the categories involved while often relying on the technical details of \textit{M. Walsh} [Metrics of positive scalar curvature and generalised Morse functions. I. Providence, RI: American Mathematical Society (AMS) (2011; Zbl 1251.53001); Proc. Am. Math. Soc. 141, No. 7, 2475--2484 (2013; Zbl 1285.57016); Trans. Am. Math. Soc. 366, No. 1, 1--50 (2014; Zbl 1294.53040)], which it subtly refines. However, it is not without its geometric merit. In particular, it is shown that if a spin diffeomorphism \(f\) of the \(n\)-sphere, \(n\geq 6\), sends the round metric \(g_0\) to an homotopic one, \(f^*g_0\), then the automorphism \(f^*\) is necessarily trivial, i.e., homotopic to the identity in \(\mathsf{Aut}(\mathcal{R}^+(\mathcal{S}^n))\). This last result generalizes to simply-connected spin manifolds of dimension at least \(7\), (see Corollary C and Proposition D).
    0 references
    cobordism
    0 references
    positive scalar curvature (psc)
    0 references
    mapping class group
    0 references
    concordan
    0 references
    moduli space of metrics
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references