The first k-invariant of a double loop space is trivial (Q1120152): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: On the homology of the special linear group over a number field / rank
 
Normal rank
Property / cites work
 
Property / cites work: A certain exact sequence / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the theory of obstructions / rank
 
Normal rank

Latest revision as of 14:17, 19 June 2024

scientific article
Language Label Description Also known as
English
The first k-invariant of a double loop space is trivial
scientific article

    Statements

    The first k-invariant of a double loop space is trivial (English)
    0 references
    0 references
    1990
    0 references
    Let X be a connected simple CW-complex and n an integer \(\geq 2\) such that \(\pi_ iX=0\) for \(1<i<n\); the first k-invariant of X is then \(k^{n+1}[X]\in H^{n+1}(k(\pi_ 1X,1);\pi_ nX)\). The main result of this paper is the following theorem: let p be a prime number and assume that X is a connected (2p-2)-fold loop space satisfying \(\pi_ iX=0\) for \(1<i<(2p-2)\), then its first k-invariant fulfills \(L_ pk^{2p- 1}[X]=0\), where \(L_ p\) denotes the product of all primes \(q<p\). In particular when \(p=2\), the theorem asserts that the first k-invariant of a connected double loop space X is trivial: \(k^ 3[X]=0\) in \(H^ 3(K(\pi_ 1X,1);\pi_ 2X)\). Two different proofs are given: the first one is based on the study of the (co)homology suspension for Eilenberg- MacLane spaces, and the second is obtained from known results on classical cohomology operations.
    0 references
    first k-invariant
    0 references
    connected (2p-2)-fold loop space
    0 references
    first k-invariant of a connected double loop space
    0 references
    (co)homology suspension for Eilenberg- MacLane spaces
    0 references
    cohomology operations
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references