Monoids of self-maps of topological spherical space forms

DOI10.4310/HHA.2021.V23.N2.A8MaRDI QIDQ2240607zbMATH OpenFDO

Authors Daisuke Kishimoto, Nobuyuki Oda

Publication date 4 November 2021

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2010.05535

zbMATH Keywords

equivariant Hopf theoremmonoid of self-mapstopological spherical space form

Mathematics Subject Classification ID

Homotopy equivalences in algebraic topology (55P10) Homotopy groups, general; sets of homotopy classes (55Q05) Finite transformation groups (57S17)

Abstract: A topological spherical space form is the quotient of a sphere by a free action of a finite group. In general, their homotopy types depend on specific actions of a group. We show that the monoid of homotopy classes of self-maps of a topological spherical space form is determined by the acting group and the dimension of the sphere, not depending on a specific action.

Review text

Given a pointed space \(X\), the set of pointed homotopy classes of pointed self-maps of \(X\) is a monoid under the composition of maps. Moreover, this monoid, denoted \(\mathcal{M}(X)\) in this work, has a zero element represented by the homotopy class of the constant map. Calculating \(\mathcal{M}(X)\) for a given space \(X\) is frequently shown to be a difficult task, and very few examples of those calculations are found in the literature. In this work, the authors consider the case of \(X\) being a topological spherical space form. Recall that \(X\) is a topological spherical space form if \(X\) can be described as a quotient \(S^n/G\) where \(G\) is a finite group acting freely on \(S^n\), the \(n\)-dimensional sphere. Notice that if \(n\) is an even number, then \(G\) is isomorphic to \(\mathbb{Z}/2\) and \(X\) is homotopy equivalent to \(\mathbb{R}P^n\), the \(n\)-dimensional real projective space. The main results here (Theorems 1.1 and 1.3) fully describe the monoid \(\mathcal{M}(X)\) for \(X=S^n/G\) in terms of the dimension \(n\) and the algebraic structure of \(\operatorname{End}(G)\), the monoid of group endomorphisms of \(G\). The arguments given are quite different depending on the parity of \(n\): while the odd dimensional case follows from a Hopf degree theorem for topological spherical space forms (Lemma 2.2) and a realization result (Lemma 3.2), the case of even dimensional real projective spaces requires a more elaborated argument since \(\mathcal{M}(\mathbb{R}P^{2r})\) is not a natural submonoid of the multiplicative monoid \(\mathbb{Z}\) (Section 4). Finally, the group of pointed homotopy classes of pointed self-homotopy equivalences of \(X\), denoted \(\mathcal{E}(X)\), consists of the invertible elements of \(\mathcal{M}(X)\). Therefore the results above allow the authors to fully describe the group \(\mathcal{E}(X)\) for \(X\) being a topological spherical space form.

Recommendations

• scientific article; zbMATH DE number 508871
• Self-maps on twisted Eilenberg-MacLane spaces
• Self maps of \(\Sigma ^ k{\mathbb{C}}P^ 3\) for k\(\geq 1\)
• Spherical space forms--Homotopy types and self-equivalences for the groups \(\mathbb Z/a \rtimes \mathbb Z/b\) and \(\mathbb Z/a \rtimes(\mathbb Z/b \times \mathbb Q_{2^i})\)
• Spherical space forms -- homotopy self-equivalences and homotopy types, the case of the groups \(\mathbb Z/a\rtimes (\mathbb Z/b \times TL_2(\mathbb F_p))\)

Cited in

(4)

• On extended weight monoids of spherical homogeneous spaces
• scientific article; zbMATH DE number 508871 (Why is no real title available?)
• Multiplicative structures of monoids of self homotopy equivalences of K(G,1)-spaces
• Self maps of \(\Sigma ^ k{\mathbb{C}}P^ 3\) for k\(\geq 1\)

This page was built for publication: Monoids of self-maps of topological spherical space forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2240607)