The group of self-homotopy equivalences of A_n^2-polyhedra

DOI10.1515/JGTH-2018-0203MaRDI QIDQ778130zbMATH OpenOpenAlexFDO

Authors Cristina Costoya, David Méndez, Antonio Viruel

Publication date 1 July 2020

Published in Journal of Group Theory (Search for Journal in Brave)

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

zbMATH Keywords

self homotopy equivalencesWhitehead exact sequence

Mathematics Subject Classification ID

Homotopy equivalences in algebraic topology (55P10)

Abstract: Let $X$ be a finite type $A_n^2$-polyhedron, $ngeq2$. In this paper we study the quotient group $mathcalE(X)/mathcal{E}_{\ast }(X)$, where $mathcalE(X)$ is the group of self-homotopy equivalences of $X$ and $mathcal{E}_{\ast }(X)$ the subgroup of self-homotopy equivalences inducing the identity on the homology groups of $X$. We show that not every group can be realised as $mathcalE(X)$ or $mathcalE(X)/mathcal{E}_{\ast }(X)$ for $X$ an $A_n^2$-polyhedron, $nge3$, and specific results are obtained for $n=2$.

Review text

Let \(n\geq 2\) be an integer. An \(A^{2}_{n}\)-polyhedron, \(X\), is a \(CW\) complex which is \((n+2)\)-dimensional and \((n-1)\)-connected. Let \(\mathcal{E}(X)\) denote the group of homotopy classes of self homotopy equivalences of \(X\) and \(\mathcal{E}_{*}(X)\) be those homotopy equivalences that act trivially on the homology of \(X\). This paper is concerned with the following question: what kind of groups may be realized as the quotient \(\mathcal{E}(X)/\mathcal{E}_{*}(X)\)? The main result on this is the following \textbf{Theorem 1.1. } Let \(X\) be a finite type \(A^{2}_{n}\)-polyhedron and \(n\geq 3\). Then \(\mathcal{E}(X)/\mathcal{E}_{*}(X)\) is either trivial or has elements of even order. In case \(n=2\) the authors prove \textbf{ Theorem 1.3. } Let \(X\) be an \(A^{2}_{2}\)-polyhedron of finite type such that \(\mathcal{E}(X)/\mathcal{E}_{*}(X)\) is a non-trivial finite group of odd order. Then \begin{enumerate} \item \(\text{rank }H_{4} (X)\leq 1\), \item \(\pi_{3}(X)\) and \(H_{3}(X)\) are \(2\)-groups and \(H_{2}(X)\) is an elementary abelian \(2\)-group, \item \(\text{rank }H_{3}(X)\leq \frac{1}{2}\text{rank }H_{2}(X)(\text{rank }H_{2}(X)+1)-\text{rank }H_{4} (X)\leq\text{rank }\pi_{3}(X)\), \item the natural action of \(\mathcal{E}(X)/\mathcal{E}_{*}(X)\) on \(H_{2}(X)\) induces a faithful representation in \(\mathrm{Aut}(H_{2}(X))\). \end{enumerate}

Recommendations

• \(A^ 4_ n\)-polyhedra with free homology
• Realisability of the group of self-homotopy equivalences and local homotopy theory
• The ring of stable homotopy classes of self-maps of \(A_n^2\)-polyhedra
• Realizability of the group of rational self-homotopy equivalences
• A REMARK ON THE GROUP OF SELF-HOMOTOPY EQUIVALENCES

Cites work

• A certain exact sequence
• Combinatorial homotopy and 4-dimensional complexes
• Every finite group is the group of self-homotopy equivalences of an elliptic space
• scientific article; zbMATH DE number 4173903 (Why is no real title available?)
• scientific article; zbMATH DE number 4155443 (Why is no real title available?)
• scientific article; zbMATH DE number 194040 (Why is no real title available?)
• scientific article; zbMATH DE number 877845 (Why is no real title available?)
• scientific article; zbMATH DE number 3294681 (Why is no real title available?)
• Problems on mapping spaces and related subjects
• Problems on self-homotopy equivalences
• Realization problems for the group of homotopy classes of self- equivalences
• Spaces of homotopy self-equivalences. A survey
• THE GROUP OF SELF-HOMOTOPY EQUIVALENCES OF A SIMPLY CONNECTED AND 4-DIMENSIONAL CW-COMPLEX
• Unipotency and nilpotency in homotopy equivalences

Cited in

(6)

• \(A^ 4_ n\)-polyhedra with free homology
• The ring of stable homotopy classes of self-maps of \(A_n^2\)-polyhedra
• Realisability of the group of self-homotopy equivalences and local homotopy theory
• scientific article; zbMATH DE number 4190707 (Why is no real title available?)
• scientific article; zbMATH DE number 3864099 (Why is no real title available?)
• A primer on the group of self-homotopy equivalences: a rational homotopy theory approach

This page was built for publication: The group of self-homotopy equivalences of \(A_n^2\)-polyhedra

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