Diagrams and the second homotopy group (Q819554): Difference between revisions
From MaRDI portal
Changed an Item |
Normalize DOI. |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.4310/CAG.2005.v13.n4.a7 / rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0306088 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963098250 / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.4310/CAG.2005.V13.N4.A7 / rank | |||
Normal rank |
Latest revision as of 04:05, 10 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Diagrams and the second homotopy group |
scientific article |
Statements
Diagrams and the second homotopy group (English)
0 references
29 March 2006
0 references
An old conjecture of \textit{J. H. C. Whitehead} [Ann. Math. 42, 409--428 (1941; JFM 67.0738.04)] asks if \(K\) is a 2-dimensional connected \(CW\)-complex with non-zero \(\pi_2\), and \(L\) is formed by adding cells of dimension \(\leq 2\), then is \(\pi_2(L)\) nonzero? This is still unsolved. A more general problem asks to give a description of \(\pi_2(L)\) in terms of \(\pi_2(K)\). Suppose \(L+K\cup e^1\cup e^2\), \(t\) is the new generator determined by \(e^1\), and the attaching map for \(e^2\) represents a word \(w\) in \(\pi_1(K)*\langle t\rangle\). Under the two assumptions (1) \(\pi_1(K)\) is torsion-free and (more technical) (2) the \(t\)-shape of \(w\) is amenable, the authors succeed in proving that there is a \(\mathbb Z\pi_1(L)\) module isomorphism between \(\pi_2(L)\) and \(\mathbb Z\pi_1(L)\otimes_{\mathbb Z_{\pi_1(K)}}\pi_2(K)\). They also give interesting examples to show that the two hypotheses (1) and (2) are both necessary.
0 references
second homotopy group
0 references