The Kervaire invariant one element and the double transfer (Q1804913): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Latest revision as of 04:45, 5 March 2024

scientific article
Language Label Description Also known as
English
The Kervaire invariant one element and the double transfer
scientific article

    Statements

    The Kervaire invariant one element and the double transfer (English)
    0 references
    0 references
    0 references
    12 September 1995
    0 references
    This is a very nice paper in stable homotopy theory because it shows, by an elementary proof, that the prevailing opinion about a central question in the subject was false. The question is whether the element \(h^ 2_ j\) on the 2-line of the Adams spectral sequence survives to give a class in the stable homotopy groups of spheres. One reason for the importance of this question is that, by early work of Browder, existence of such classes is equivalent to the existence of framed manifolds of Kervaire invariant 1. The classes are known to exist for \(j\leq 5\). The prevailing opinion was that (1) these stable homotopy classes exist for all positive integers \(j\) and (2) they factor through the double transfer map \(P\wedge P\to S^ 0\). Part 1 may still be true, but part 2 is shown here to be false. Indeed it is proved that if there is an element in the stable homotopy groups of spheres which is detected by \(h^ 2_ j\) and factors through the double transfer map, then \(j\leq 4\). In particular, the element detected by \(h^ 2_ 5\) does not factor through the double transfer. The proof proceeds as follows. If there were an element in \(\pi_{2^{j+1}-2}(P \wedge P)\) which maps to the desired element of \(\pi_{2^{j+1}-2} (S^ 0)\), then its Hurewicz image in \(BP_ * (P\wedge P)\) must be annihilated by the Adams operation \(\psi^ 3 -1\). It is not difficult to calculate the order of such a class and to see that, since \(\psi^ 3\) is multiplication by \(3^ n\) on \(BP_{2n} (P\wedge P)\), this implies that we must have \(j\leq 4\).
    0 references
    Adams spectral sequence
    0 references
    Kervaire invariant
    0 references
    stable homotopy groups of spheres
    0 references

    Identifiers