Diagrams and the second homotopy group (Q819554): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
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
Normal 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
    0 references
    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

    Identifiers