Self-closeness numbers of rational mapping spaces

DOI10.1007/S40062-023-00332-3MaRDI QIDQ6148307zbMATH OpenOpenAlexFDO

Authors Yichen Tong

Publication date 11 January 2024

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

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

zbMATH Keywords

Brown-Szczarba modelmapping spacerational homotopy theoryself-closeness numberself-closeness number of a minimal Sullivan algebra

Mathematics Subject Classification ID

Homotopy equivalences in algebraic topology (55P10) Classification of homotopy type (55P15) Rational homotopy theory (55P62)

Abstract: For a closed connected oriented manifold $M$ of dimension $2n$, it was proved by Mo ller and Raussen that the components of the mapping space from $M$ to $S^{2n}$ have exactly two different rational homotopy types. However, since this result was proved by the algebraic models for the components, it is unclear whether other homotopy invariants distinguish their rational homotopy types or not. The self-closeness number of a connected CW complex is the least integer $k$ such that any of its self-map inducing an isomorphism in $p{i}_{\ast }$ for $\ast lek$ is a homotopy equivalence, and there is no result on the components of mapping spaces so far. For a rational Poincar'e complex $X$ of dimension $2n$ with finite $p{i}_1$, we completely determine the self-closeness numbers of the rationalized components of the mapping space from $X$ to $S^{2n}$ by using their Brown-Szczarba models. As a corollary, we show that the self-closeness number does distinguish the rational homotopy types of the components. Since a closed connected oriented manifold is a rational Poincar'e complex, our result partially generalizes that of Mo ller and Raussen.

Review text

For a pointed connected CW complex \(X\), let \([X,X]\) denote the monoid consisting of all pointed homotopy classes of self-maps \(f:X\to X\) whose multiplication is induced from the composition of maps. Let \(\mathcal{E}(X)\subset [X,X]\) denote the group of self-homotopy equivalences of \(X\). For each integer \(n\geq 0\), let \(\mathcal{A}^n_{\#}(X)\subset [X,X]\) denote the subset consisting of all \(f\in [X,X]\) inducing isomorphisms on the homotopy groups \(\pi_k(\cdot )\) for any \(k\leq n\). Note that \(\mathcal{A}^n_{\#}(X)\) is a monoid such that there is the following filtration of submonoids \[ \mathcal{A}^1_{\#}(X)\supset \mathcal{A}^2_{\#}(X)\supset\cdots \supset \mathcal{A}^n_{\#}(X)\supset \mathcal{A}^{n+1}_{\#}(X)\supset \cdots \mathcal{A}^{\infty}_{\#}(X)=\mathcal{E}(X). \] Recall that \(\mathcal{A}^n_{\#}(X)=\mathcal{E}(X)\) if \(\dim X=n\). Then the self-closeness number \(\mathrm{N}\mathcal{E}(X)\) is defined as \(\mathrm{N}\mathcal{E}(X)=\min \{n:\mathcal{A}^n_{\#}(X)=\mathcal{E}(X)\}. \) By the Hopf degree theorem, for a closed oriented manifold \(M\) of dimension \(m\), the mapping degree gives a one-to-one correspondence the path component of \(\mbox{Map}(M,S^m)\) and \(\mathbb{Z}\), and we denote by \(\mbox{Map}(M,S^m;k)\) the path component of degree \(k\). It is known that the rational homotopy type of path components \(\{\mbox{Map}(M,S^m;k):k\in \mathbb{Z}\}\) is two and they are represented by \(\mbox{Map}(M,S^m;1)\) and \(\mbox{Map}(M,S^m;0)\). \par In this paper, the author considers the problem whether the self-closeness number distinguishes the rational homotopy type of \(\{\mbox{Map}(M,S^m;k):k=0,1\}\) or not (for \(m\) even). In particular, he computes the self-closeness number of them for a rational Poincaré complex \(X\) of dimension \(2n\) with finite \(\pi_1\), and he obtains the following result: \begin{align*} N\mathcal{E}(\mbox{Map}(X,S^{2n};1)_{(0)}) &=4n-1 \\ N\mathcal{E}(\mbox{Map}(X,S^{2n};0)_{(0)}) &= \begin{cases} 2n & \mbox{ if }X\mbox{ is primitive,} \\ d(X) & \mbox{ if }X\mbox{ is not primitive,} \end{cases} \end{align*} where \(d(X)\) denotes the least integer \(d\) such that \(H^d(X;\mathbb{Q})\not= 0\) with \(d\geq n\). As an application, he proves that the self-closeness number distinguishes the rational homotopy types of \(\mbox{Map}(X,S^{2n};k)\) for \(k=0,1\), when \(X\) is a rational Poincaré complex of dimension \(2n\) with finite \(\pi_1\). \par The proof is based on standard techniques of rational homotopy theory (Sullivan model, etc.), the Brown-Szczarba models for \(\mbox{Map}(X,S^{2n})\) and the computation of the self-closeness number \(N\mathcal{E}(\Lambda V,d)\) of a minimal Sullivan algebra \((\Lambda V,d)\).

Recommendations

• Self-closeness numbers of non-simply-connected spaces
• Self-closeness number and weak homotopy decomposition
• RELATIVE SELF-CLOSENESS NUMBERS
• (Co)homology self-closeness numbers of simply-connected spaces
• Rational Homotopy of the Space of Self-Maps of Complexes with Finitely Many Homotopy Groups

Cites work

• (Co)homology self-closeness numbers of simply-connected spaces
• 4-manifolds \(X\) over \(BS\text{U}(2)\) and the corresponding homotopy types Map\((X,BS\text{U}(2))\)
• Applications of Bundle Map Theory
• Certain numbers on the groups of self-homotopy equivalences
• Cohomology of the classifying spaces of \(U(n)\)-gauge groups over the 2-sphere
• Comparing the homotopy types of the components of \(\text{Map} (S^4, B\text{SU}(2))\)
• scientific article; zbMATH DE number 3505857 (Why is no real title available?)
• scientific article; zbMATH DE number 3098660 (Why is no real title available?)
• Infiniteness of A_-types of gauge groups
• Note on the Homotopy Properties of the Components of the Mapping Space X s p
• On path-components of the mapping spaces \(M(\mathbb {S}^m,\mathbb {F}P^n)\)
• On products in homotopy groups
• On Spaces of Maps of n-Manifolds Into the n-Sphere
• On the cohomology of the classifying space of the gauge group over some 4-complexes
• On the rational homotopy type of function spaces
• PATH-COMPONENTS OF FUNCTION SPACES
• Rational Homotopy of Spaces of Maps Into Spheres and Complex Projective Spaces
• RELATIVE SELF-CLOSENESS NUMBERS
• Self-closeness numbers of finite cell complexes
• Self-closeness numbers of non-simply-connected spaces
• Self-homotopy equivalences and cofibrations
• Self-maps of spaces in fibrations
• THE HOMOTOPY PROBLEM FOR THE COMPONENTS IN THE SPACE OF MAPS ON THE n-SPHERE
• The homotopy theory of function spaces: A survey
• The topology of spaces of maps between real projective spaces

This page was built for publication: Self-closeness numbers of rational mapping spaces

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