On the group \(aut_\sharp(X_{1} \times \ldots \times X_{n})\) (Q2577134): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.topol.2003.07.023 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1983063758 / rank | |||
Normal rank |
Revision as of 22:03, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the group \(aut_\sharp(X_{1} \times \ldots \times X_{n})\) |
scientific article |
Statements
On the group \(aut_\sharp(X_{1} \times \ldots \times X_{n})\) (English)
0 references
16 December 2005
0 references
Let \(\text{aut}_\sharp (A) \) be the subgroup of the group of based homotopy self-equivalence classes of a CW complex A which induce the identity automorphism on the first \(N\) homotopy groups, where \(N\) is larger than the dimension of \(A\). The author shows that the product decomposition \[ \text{aut}_\sharp (X_1\times X_2)= \text{aut}_{{X_1}\sharp }(X_1\times X_2). \text{aut}_{{X_2}\sharp } (X_1\times X_2), \] represented by maps over \(X_1\) and over \(X_2\), respectively, can be extended to the \(n\)-fold product of groups \[ \text{aut}_\sharp (X_1\times \dots \times X_n)= \text{aut}_{{\Pi _n}\sharp }(X _1\times \dots \times X_n)\dots \text{aut}_{{\Pi _1}\sharp } (X _1\times \dots \times X_n), \] where \(\Pi _i\) misses out \(X_i\) from \(X_1\times \dots \times X_n\). Moreover each \(\text{aut}_{{\Pi _i}\sharp }(X _1\times \dots \times X_n)\) is the semidirect product of \(\text{aut}_\sharp (X_i) \) with another group. A second decomposition gives \(\text{aut}_\sharp (X_1\times \dots \times X_n)= L(X_1,\dots ,X_n).U(X_1,\dots ,X_n)\) a product of groups, where \(L(X_1,\dots ,X_n)\) and \(U(X_1,\dots ,X_n)\) are defined in an analogous way to lower triangular and upper triangular unipotent matrices, indeed they induce such ``matrices'' with identity automorphisms on the diagonals on the automorphism groups of \(\pi _j(X_1\times \dots \times X_n)\) (\(j>1\)). Moreover \(L(X_1,\dots ,X_n)\) is the semidirect product of \(\text{aut}_\sharp (X_1)\times \dots \times \text{aut}_\sharp (X_n) \) with the subgroup of \(L(X_1,\dots ,X_n)\) for which each composite \(X_k\to X _1\times \dots \times X_n\to X_k\) is the identity.
0 references
self-homotopy equivalences
0 references