Pith. sign in

REVIEW 3 major objections 3 minor 26 references

The fibre of the degree $3$ map, Anick spaces and the double suspension

T0 review · 3 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Kervaire classes control loop-space decompositions of $\Omega S^{2n+1}\{p\}$ at odd primes

desk verdict A valuable equivalence between Kervaire invariant one and loop space decompositions, but the further BW equivalences rely on an atomicity premise invoked in a direction the paper never states. read the letter →

arxiv 1908.05302 v1 pith:3PBV6DYO submitted 2019-08-14 math.AT

Steven Amelotte This is my paper · ORCID
classification math.AT MSC 55P3555P10
keywords loopspacedecompositionKervaireinvariantAnickdoublesuspensionhomotopyfibreH-spaceatomicoddprimarytheory
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

At every odd prime, the strong $p$-primary Kervaire invariant one problem is equivalent to the problem of when the loop space $\Omega S^{2n+1}\{p\}$ admits a nontrivial H-space splitting. This converts a stable homotopy question into an unstable one, so the known nonexistence results for $p \ge 5$ explain indecomposability, and the existence of $\theta_3$ at $p=3$ yields a new decomposition $\Omega S^{55}\{3\} \simeq T^{55}(3) \times \Omega T^{163}(3)$. From that decomposition the paper derives two new cases of the conjecture that the fibre of the double suspension is the double loop space of an Anick space.

What carries the argument

The central objects are Anick's space $T^{2n+1}(p)$ and the classifying space $BW_n$, connected by the Anick fibration $T^{2n+1}(p) \xrightarrow{E} \Omega S^{2n+1}\{p\} \xrightarrow{H} BW_n$. The argument relies on an extension lemma from [15] that promotes a Moore-space map to a map from an Anick space under an H-space exponent condition, and on an atomicity theorem from [14] saying any map $\Omega T^{2np+1}(p) \to BW_n$ that is degree one on the bottom cell is a homotopy equivalence. Together these turn a Kervaire element into a splitting of the fibration and then into the desired H-space decompositions.

What would settle it

Construct a nontrivial H-space decomposition of $\Omega S^{19}\{3\}$ at $p=3$: Theorem 1.1 and the known absence of $\theta_2$ predict that this space is atomic and indecomposable, so such a splitting would falsify the claimed equivalence. Alternatively, exhibit an H-space decomposition of $\Omega S^{2n+1}\{p\}$ for any odd $p$ and any $n$ that is not of the form $p^j$ while no $p$-primary Kervaire invariant one element of order $p$ exists in $\pi^S_{2n(p-1)-2}$.

Watch

Extended reading notes

Core claim

Theorem 1.1 states that for an odd prime $p$, there exists a $p$-primary Kervaire invariant one element $\theta_j \in \pi^S_{2p^j(p-1)-2}$ of order $p$ if and only if there is an H-space homotopy decomposition $\Omega S^{2p^j+1}\{p\} \simeq T^{2p^j+1}(p) \times \Omega T^{2p^{j+1}+1}(p)$. When these hold, there are also H-space equivalences $BW_{p^{j-1}} \simeq \Omega T^{2p^j+1}(p)$ and $BW_{p^j} \simeq \Omega T^{2p^{j+1}+1}(p)$. The proof builds a splitting from the stable element by extending the bottom-cell map through an Anick space, then uses atomicity to upgrade it to a homotopy equivalence. This is the converse of Selick's earlier implication, so the two problems coincide.

Load-bearing premise

The proof rests on the atomicity theorem from [14] that any map $\Omega T^{2np+1}(p) \to BW_n$ which is degree one on the bottom cell is a homotopy equivalence; if that theorem failed in the $p=3$ cases used here, the new decompositions and the $BW_n$ equivalences would not follow.

Editorial extensions

If this is right

  • At $p=3$, the known element $\theta_3$ produces the H-space decomposition $\Omega S^{55}\{3\} \simeq T^{55}(3) \times \Omega T^{163}(3)$, and consequently $BW_9 \simeq \Omega T^{55}(3)$ and $BW_{27} \simeq \Omega T^{163}(3)$, establishing two new cases of the double-suspension conjecture.
  • For all odd primes, a loop-space decomposition of $\Omega S^{2n+1}\{p\}$ exists exactly when a $p$-primary Kervaire invariant one element of order $p$ exists in the corresponding stem, so the nonexistence results for $p \ge 5$ rule out all decompositions except those for $n=1$ and $n=p$.
  • At $p=3$, the nonexistence of $\theta_2$ implies that $\Omega S^{19}\{3\}$ is atomic and indecomposable, while the known $\theta_1$ and $\theta_3$ make $T^7(3)$ and $T^{55}(3)$ homotopy commutative and associative H-spaces, and $\Omega T^{19}(3)$ and $\Omega T^{163}(3)$ have H-space exponent $3$.
  • There is a stable splitting $\Sigma^2 \Omega S^{2n+1}\{p\} \simeq \Sigma^2 (T^{2n+1}(p) \times BW_n)$ for all $n$, so the Kervaire obstruction disappears after two suspensions.
  • A mod-$3$ Anick space $T^{2n+1}(3)$ is homotopy associative if and only if a 3-primary Kervaire invariant one element of order $3$ exists in $\pi^S_{4n-2}$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The equivalence means that the two problems should be attacked together: a construction of a loop-space splitting in a new stem would simultaneously construct a Kervaire element, and a new Kervaire element would immediately give a splitting, so computational searches for either could be rephrased as searches for the other.
  • The stable splitting of $\Omega S^{2n+1}\{p\}$ holds without any Kervaire assumption, suggesting the full conjecture $BW_n \simeq \Omega T^{2np+1}(p)$ is a desuspension problem: the obstruction is not stable but concerns lifting the stable splitting back to the unstable category.
  • Since homotopy associativity of $T^{2n+1}(3)$ is equivalent to the existence of a Kervaire element, the known counterexamples for $n \ne 3^j$ can be read as indirect evidence about which 3-primary Kervaire elements do not exist.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The paper studies the p-local homotopy type of the fibre S^{2n+1}{p} of the degree p map on an odd-dimensional sphere. Its main result, Theorem 1.1, asserts that for an odd prime p the existence of a p-primary Kervaire invariant one element θ_j of order p is equivalent to an H-space decomposition ΩS^{2p^j+1}{p} ≃ T^{2p^j+1}(p) × ΩT^{2p^{j+1}+1}(p), with two further equivalences BW_{p^{j-1}} ≃ ΩT^{2p^j+1}(p) and BW_{p^j} ≃ ΩT^{2p^{j+1}+1}(p). The proof adapts Theriault's argument for the n=p case, using Selick's reformulation of the Kervaire invariant problem, the Gray--Theriault extension lemma, and an atomicity result of Gray and Theriault. For p=3, the existence of θ_3 is used to obtain the new decomposition ΩS^{55}{3} ≃ T^{55}(3) × ΩT^{163}(3) and, as applications, equivalences BW_9 ≃ ΩT^{55}(3) and BW_{27} ≃ ΩT^{163}(3). The paper also derives a stable splitting of ΩS^{2n+1}{p} and a criterion for homotopy associativity of mod 3 Anick spaces.

Significance. If the main theorem is fully justified, it gives a clean and attractive reformulation: the unstable decomposition problem for ΩS^{2n+1}{p} is equivalent to the strong odd-primary Kervaire invariant problem. The p=3 result is concrete and new, providing a decomposition of ΩS^{55}{3} and two new cases of the long-standing conjecture BW_n ≃ ΩT^{2np+1}(p). The paper does not introduce free parameters or fit its conclusion into its assumptions; it relies instead on substantial published theorems, and the logical structure is transparent and mostly follows established arguments. A particular strength is that the equivalence is stated sharply as a bi-conditional, so the reader can see exactly which external inputs are needed. The main concern is that one load-bearing use of the atomicity theorem appears to go in the reverse direction from the quoted statement; this affects the 'furthermore' half of Theorem 1.1 and Corollary 1.2(b).

major comments (3)
  1. [Section 2, paragraph beginning 'It remains to show'] The quoted atomicity result from [14] is stated one paragraph earlier as: 'any map ΩT^{2np+1}(p) → BW_n which is degree one on the bottom cell must be a homotopy equivalence.' This applies to maps with domain ΩT and codomain BW. However, the composite used to prove BW_{p^{j-1}} ≃ ΩT^{2p^j+1}(p) has the opposite direction: its domain is BW_{p^{j-1}} and its codomain is ΩT^{2p^j+1}(p). As written, the sentence 'it again follows from the atomicity result in [14]' is therefore not supported by the theorem the paper quotes. If [14] actually contains a symmetric or reverse-direction statement, that statement should be quoted explicitly; if it does not, a separate argument for the reverse implication is needed. Without a repair, the second 'furthermore' equivalence in Theorem 1.1 and Corollary 1.2(b) are not established.
  2. [Corollary 1.2] Corollary 1.2(b), BW_9 ≃ ΩT^{55}(3), is exactly the p^{j-1} case of the reverse-direction equivalence whose proof is called into question in the previous comment. Corollary 1.2(a) and (c) depend only on the forward direction of the atomicity argument and on the decomposition ΩS^{55}{3}, so they are not affected by this particular gap. The status of part (b) should be clarified: either it is supported by a precise statement from [14] that covers maps BW_{p^{j-1}} → ΩT^{2p^j+1}(p), or the proof must be supplemented.
  3. [Section 2, final paragraph of the proof of Theorem 1.1] The proof that the composite ΩT^{2p^{j+1}+1}(p) → ΩS^{2p^j+1}{p} → BW_{p^j} is a homotopy equivalence uses the forward atomicity statement in a way that is consistent with the quoted direction. This part of the argument appears sound, and the construction of the H-space decomposition of ΩS^{2p^j+1}{p} is plausible. However, the succeeding paragraph invokes the same atomicity result for the reverse composite without noting why the direction mismatch is harmless. This should be addressed explicitly rather than by a blanket reference.
minor comments (3)
  1. [Proof of Proposition 4.2] The final sentence concludes that a composite BW_n → E_{2n+1} → BW_n is a homotopy equivalence because it is degree one on the bottom cell. This uses an atomicity or self-map property of BW_n that is not cited or proved; if it is a consequence of [14] or [11], that should be stated explicitly.
  2. [Lemma 2.1] The statement of Lemma 2.1 would be easier to read if it explicitly noted that n is the same parameter as in T^{2n+1}(p), so the reader does not have to infer this from the proof of Theorem 1.1.
  3. [Throughout] There are several typographical and typesetting issues, including malformed arrows in the displayed diagram in the proof of Theorem 1.1 and garbled formatting in several inline symbols. These should be cleaned up before publication.

Circularity Check

0 steps flagged · score 2.0 of 10

No circularity: the claimed equivalence is assembled from independent external theorems, with only a peripheral self-citation.

full rationale

Walking the derivation chain of Theorem 1.1, the paper does not define its conclusion into its assumptions. Condition (a), the existence of a p-primary Kervaire invariant one element, and condition (b), the H-space decomposition of Omega S^{2p^j+1}{p}, are connected through Selick's external reformulation [22]: the homology class b_{2np-2} in Omega S^{2n+1}{p} is spherical exactly when a corresponding p-primary Kervaire invariant one element exists. This criterion is an independent, parameter-free theorem, not a restatement of the present result. The forward direction starts with the assumed theta_j, obtains the spherical class from [22], extends the resulting map over a mod p Moore space, applies Lemma 2.1, and then uses the Gray-Theriault atomicity theorem [14] to promote H composed with Omega s to a homotopy equivalence. The reverse direction takes the bottom cell of the Omega T factor from a given decomposition and identifies its Hurewicz image as the same b-class, again invoking [22]. None of these steps reduces to the theorem being proved; the cited results are externally established and do not depend on the paper's fitted values or prior claims. The only self-citation is the author's paper [1], which appears in Remark 1.3 merely listing known 2-primary decompositions and is not load-bearing for Theorem 1.1 or Corollary 1.2. The skeptic's concern about the direction in which the atomicity result is applied in the BW_{p^{j-1}} equivalence is a potential correctness or citation-direction issue, not a circularity: it does not make the output identical to the input by construction or by a fitted parameter. The stable splitting section also uses existing Cohen-Moore-Neisendorfer and Gray results independently. Overall, no circular step is exhibited, and the appropriate score is low.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no new free parameters or invented entities. It relies on a set of published theorems in unstable homotopy theory, listed above. The central equivalence is conditional on the existence of Kervaire classes, so the key external input is the stable homotopy result on θ_3 for the p=3 applications.

assumptions (5)
  • domain assumption Extension lemma (Lemma 2.1): For an odd prime p, if X is an H-space with p^k · π_{2np^k-1}(X; Z/p^{k+1}Z) = 0 for all k ≥ 1, then any map P^{2n}(p) → X extends to a map T^{2n+1}(p) → X.
    Cited from Anick-Gray [3] and Gray-Theriault [15]. Used in the proof of Theorem 1.1 to extend the Moore space map \hat{e} to the Anick space T^{2p^{j+1}+1}(p).
  • domain assumption Atomicity of Ω T^{2np+1}(p) and BW_n: a map Ω T^{2np+1}(p) → BW_n that is degree one on the bottom cell is a homotopy equivalence.
    Cited from Gray-Theriault [14]. Used twice in Section 2 to identify H∘Ωs as an equivalence and to prove BW_{p^{j-1}} ≃ ΩT^{2p^j+1}(p).
  • domain assumption Selick's reformulation: the homology class b_{2np-2} in H_{2np-2}(Ω S^{2n+1}{p}) is spherical iff π^S_{2n(p-1)-2} contains a p-primary Kervaire invariant one element of order p.
    Cited from Selick [22]. This is the bridge between the unstable spherical class and the stable Kervaire element used in both directions of Theorem 1.1.
  • domain assumption Existence of the 3-primary Kervaire class θ_3 ∈ π^S_106 of order 3.
    Cited from Ravenel [18,19]. This is an input for Corollary 1.2, not for the general equivalence, but it is load-bearing for the p=3 applications.
  • domain assumption Gray's construction of the classifying space BW_n and the fibration BW_n → Ω^2 S^{2np+1} → S^{2np-1}.
    Cited from Gray [11]. Used in Section 2 to construct the lift j' and in the proof of Proposition 4.2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The fibre of the degree $3$ map, Anick spaces and the double suspension." pith.science (2026). https://pith.science/paper/3PBV6DYO

@misc{pith2026190805302,
  author       = {Pith},
  title        = {Pith review of: The fibre of the degree $3$ map, Anick spaces and the double suspension},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3PBV6DYO}},
  note         = {Machine review of arXiv:1908.05302}
}
abstract

Let $S^{2n+1}\{p\}$ denote the homotopy fibre of the degree $p$ self map of $S^{2n+1}$. For primes $p \ge 5$, work of Selick shows that $S^{2n+1}\{p\}$ admits a nontrivial loop space decomposition if and only if $n=1$ or $p$. Indecomposability in all but these dimensions was obtained by showing that a nontrivial decomposition of $\Omega S^{2n+1}\{p\}$ implies the existence of a $p$-primary Kervaire invariant one element of order $p$ in $\pi_{2n(p-1)-2}^S$. We prove the converse of this last implication and observe that the homotopy decomposition problem for $\Omega S^{2n+1}\{p\}$ is equivalent to the strong $p$-primary Kervaire invariant problem for all odd primes. For $p=3$, we use the $3$-primary Kervaire invariant element $\theta_3$ to give a new decomposition of $\Omega S^{55}\{3\}$ analogous to Selick's decomposition of $\Omega S^{2p+1}\{p\}$ and as an application prove two new cases of a long-standing conjecture stating that the fibre of the double suspension $S^{2n-1} \longrightarrow \Omega^2S^{2n+1}$ is homotopy equivalent to the double loop space of Anick's space.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

  1. [14]

    Gray and S

    B. Gray and S. Theriault, On the double suspension and the mod- p Moore space, Contemp. Math. 399 (2006), 101–121

    work page 2006

  2. [1]

    Amelotte, A homotopy decomposition of the fibre of the squaring map on Ω 3S17, Homology, Homotopy and Applications 20 (2018), 141–154

    S. Amelotte, A homotopy decomposition of the fibre of the squaring map on Ω 3S17, Homology, Homotopy and Applications 20 (2018), 141–154

    work page 2018

  3. [2]

    Anick, Differential algebras in topology , Research Notes in Mathematics, AK Peters, 1993

    D. Anick, Differential algebras in topology , Research Notes in Mathematics, AK Peters, 1993

    work page 1993

  4. [3]

    Anick and B

    D. Anick and B. Gray, Small H-spaces related to Moore spaces , Topology 34 (1995), 859–881

    work page 1995

  5. [4]

    H. E. A. Campbell, F. R. Cohen, F. P. Peterson and P. S. Seli ck, The space of maps of Moore spaces into spheres , Proc. of John Moore Conf. on Alg. Top. and Alg. K-Theory, 72–1 00, Ann. Math. Studies vol. 113, Princeton Univ. Press, Princeton, 1987

    work page 1987

  6. [5]

    F. R. Cohen, Two-primary analogues of Selick’s theorem and the Kahn–Pri ddy theorem for the 3-sphere, Topol- ogy 23 (1984), 401–421

    work page 1984

  7. [6]

    F. R. Cohen, J. C. Moore and J. A. Neisendorfer, Torsion in homotopy groups , Ann. Math. 109 (1979), 121–168

    work page 1979

  8. [7]

    F. R. Cohen, J. C. Moore and J. A. Neisendorfer, The double suspension and exponents of the homotopy groups of spheres , Ann. Math. 110 (1979), 549–565

    work page 1979

Show all 26 references
  1. [8]

    F. R. Cohen, J. C. Moore and J. A. Neisendorfer, Decompositions of loop spaces and applications to exponent s, Alg. Top., Proc. Sympos., Univ. Aarhus, Aarhus, 1978, 1–12, Lecture Notes in Math., 763, Springer, Berlin, 1979

    1978

  2. [9]

    F. R. Cohen and P. S. Selick, Splittings of two function spaces , Quart. J. Math. Oxford 41 (1990), 145–153

    1990

  3. [10]

    Gray, On the sphere of origin of infinite families in the homotopy gr oups of spheres , Topology 8 (1969), 219–232

    B. Gray, On the sphere of origin of infinite families in the homotopy gr oups of spheres , Topology 8 (1969), 219–232

    1969

  4. [11]

    Gray, On the iterated suspension , Topology 27 (1988), 301–310

    B. Gray, On the iterated suspension , Topology 27 (1988), 301–310

    1988

  5. [12]

    Gray, EHP spectra and periodicity

    B. Gray, EHP spectra and periodicity. I. Geometric constructions , Trans. Amer. Math. Soc. 340 (1993), 595–616

    1993

  6. [13]

    Gray, Abelian properties of Anick spaces , Mem

    B. Gray, Abelian properties of Anick spaces , Mem. Amer. Math. Soc. 246 (2017)

    2017

  7. [15]

    Gray and S

    B. Gray and S. Theriault, An elementary construction of Anick’s fibration , Geom. Topol. 14 (2010), 243–275

    2010

  8. [16]

    J. A. Neisendorfer, 3-primary exponents , Math. Proc. Cambridge Philos. Soc. 90 (1981), 63–83

    1981

  9. [17]

    J. A. Neisendorfer, Properties of certain H-spaces, Quart. J. Math. Oxford 34 (1983), 201–209

    1983

  10. [18]

    D. C. Ravenel, The non-existence of odd primary Arf invariant elements in s table homotopy , Math. Proc. Cambridge Philos. Soc. 83 (1978), 429–443

    1978

  11. [19]

    D. C. Ravenel, Complex Cobordism and Stable Homotopy Groups of Spheres , second ed., AMS Chelsea Publishing, vol. 347, Amer. Math. Soc., Providence, RI, 2004

    2004

  12. [20]

    P. S. Selick, Odd primary torsion in π k(S3), Topology 17 (1978), 407–412

    1978

  13. [21]

    P. S. Selick, A decomposition of π ∗ (S2p+1; Z/p Z), Topology 20 (1981), 175–177

    1981

  14. [22]

    P. S. Selick, A reformulation of the Arf invariant one mod p problem and applications to atomic spaces , Pac. J. Math. 108 (1983), 431–450

    1983

  15. [23]

    P. S. Selick, Space exponents for loop spaces of spheres , Fields Inst. Commun. 19, Amer. Math. Soc., 1998, 279–283

    1998

  16. [24]

    Theriault, Properties of Anick’s spaces , Trans

    S. Theriault, Properties of Anick’s spaces , Trans. Amer. Math. Soc. 353 (2001), 1009–1037

    2001

  17. [25]

    Theriault, The 3-primary classifying space of the fiber of the double suspens ion, Proc

    S. Theriault, The 3-primary classifying space of the fiber of the double suspens ion, Proc. Amer. Math. Soc. 136 (2008), 1489–1499

    2008

  18. [26]

    Theriault, A case when the fiber of the double suspension is the double loo ps on Anick’s space , Can

    S. Theriault, A case when the fiber of the double suspension is the double loo ps on Anick’s space , Can. Math. Bull. 53 (2010), 730–736. E-mail address : steven.amelotte@rochester.edu

    2010

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.