REVIEW 5 minor 13 references
Tensor Nilpotence and the Size of the Bousfield Lattice
T0 review · 0 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For every prime p and each n≥1, a spectrum X_n exists with X_n^{⊗n} ≠ 0 and X_n^{⊗(n+1)} ≃ 0.
desk verdict Strong paper: new spectra with prescribed tensor-nilpotence height, refutes a conjecture, and computes the size of the Bousfield lattice; proofs look right, only minor presentation gaps. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The construction uses the Brown–Peterson spectrum $BP$ and its quotients $BP_{J_n} = BP/(p, v_1^p, \dots, v_n^{p^n})$, which are $E_1$-$BP$-algebras. Inside $BP_{J_n}$, the element $x_i = v_i^{(p-1)p^{i-1}}$ is nonzero but its square is zero. Each $P_S$ is the sequential colimit of suspensions of the $BP_{J_n}$, and at the stages $n\in S$ the transition map is multiplied by $x_n$; at other stages it is a plain quotient map. Non-vanishing is witnessed by products of the $x_i$ over the union of almost disjoint sets. Vanishing relies on Lemma 3.3, which uses Landweber invariance and the $E_4$ ring structure on $BP$ to identify the left and right unit actions of $x_n$ on the relative tensor product $BP_{J_n} \otimes_{BP} BP_{J_n}$; at stages $n\in S\cap T$ the transition map then becomes multiplication by $x_n^2 = 0$, and cofinally many null maps make the colimit zero.
What would settle it
Compute the homotopy ring $\pi_*(BP_{J_n} \otimes_{BP} BP_{J_n})$ and compare the multiplication maps by $\eta_L(x_n)$ and $\eta_R(x_n)$; if they are not homotopic, Lemma 3.3 fails and $P_S \otimes P_T$ for $S\cap T$ infinite may not be zero. A practical place to start would be the $BP$-based Künneth spectral sequence for $BP_{J_1} \otimes_{BP} BP_{J_1}$ at $p=2$.
Extended reading notes
Core claim
The central claim is that for any prime p there is a family of BP-module spectra $P_S$ indexed by infinite subsets $S\subseteq\mathbb{N}$ such that: if $S\cap T$ is infinite then $P_S \otimes P_T \simeq 0$, while if $S_1,\dots,S_n$ are pairwise almost disjoint then $P_{S_1} \otimes \cdots \otimes P_{S_n} \neq 0$. Summing n such spectra yields $X_n = \bigoplus_{i=1}^n P_{S_i}$ with $X_n^{\otimes n} \neq 0$ and $X_n^{\otimes(n+1)} \simeq 0$. These are the first examples of spectra of every finite tensor-nilpotence height at every prime. From the same family, the paper derives that the Bousfield lattice has cardinality exactly $2^{2^{\aleph_0}}$ and that every spectrum is Bousfield equivalent to a sum of countably many spectra.
Load-bearing premise
The vanishing theorem rests on the claim that in the relative tensor product $BP_{J_n} \otimes_{BP} BP_{J_n}$ the left and right actions of $x_n$ agree; this requires $BP$ to be an $E_4$ ring spectrum and a specific Landweber congruence to hold.
Editorial extensions
If this is right
- For each prime $p$ and each integer $n$ there is a $p$-local spectrum of tensor-nilpotence height exactly $n$.
- The retract conjecture of Hovey and Palmieri is false, since it would force $\langle E^{\otimes n}\rangle = \langle E^{\otimes(n+1)}\rangle$ for every spectrum $E$ and every $n\geq 2$.
- The Bousfield lattice has exactly $2^{2^{\aleph_0}}$ elements, so Ohkawa's upper bound is sharp.
- There exist strictly decreasing infinite chains in the Bousfield lattice; in particular the chain $\langle X\rangle > \langle X^{\otimes 2}\rangle > \langle X^{\otimes 3}\rangle > \cdots$ does not stabilize.
- Every spectrum is Bousfield equivalent to a sum of $\aleph_1$-compact spectra, hence to a $(2^{\aleph_0})^+$-compact spectrum.
Reading between the lines
- The same telescope trick with square-zero elements might work in other $E_\infty$- or $E_k$-ring spectra that admit Landweber-type invariance, giving height-$n$ objects in categories other than $BP$-modules.
- The antichain inside the Bousfield lattice below $\langle BP\rangle$ shows that the lattice is not just large but contains a full power-set Boolean algebra of Bousfield classes that are pairwise incomparable.
- A natural next step would be to ask whether the spectra $X_n$ can be replaced by finite or connective spectra of the same heights, which the present construction does not obviously achieve.
- The proof that every spectrum is Bousfield equivalent to a sum of countable spectra suggests that, despite maximal cardinality, the Bousfield lattice is generated by a small set of classes.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs, for each prime p, a family of p-local BP-module spectra P_S indexed by infinite subsets S ⊆ N, using telescopes of the BP-quotients BP/J_n with multiplication by Frobenius-power elements x_i at stages i ∈ S. Theorem 1.1 states that P_S ⊗ P_T ≃ 0 when S ∩ T is infinite, while the tensor product of P_{S_1}, ..., P_{S_n} is nonzero for pairwise almost disjoint S_i. The authors deduce that X_n = ⊕_{i=1}^n P_{S_i} has tensor-nilpotence height exactly n, refuting the Hovey–Palmieri retract conjecture (Corollary 1.2). They further show that the Bousfield lattice has cardinality 2^{2^{ℵ_0}} by embedding P(D), for an almost disjoint family D ⊆ P(N) of size 2^{ℵ_0}, into the Bousfield lattice below ⟨BP⟩, and they prove that every spectrum is Bousfield equivalent to a sum of ℵ_1-compact spectra (Theorem 1.4).
Significance. If correct, this settles a well-known conjecture and a cardinality question in a single stroke. The construction is explicit and the key nonvanishing and vanishing arguments are algebraic and checkable, with no fitted parameters and no reliance on the authors' prior results. The use of Landweber-invariant Frobenius powers x_n that become square-zero in BP/J_n is elegant and likely to be reusable. The paper is carefully organized, and the proofs of the main theorems are largely self-contained from standard BP-theory facts. The residual concern about the E_3-monoidal structure of BP-modules does not, on reading the paper, land: Proposition 3.4 uses the sphere tensor product, and Lemma 3.3 proves the needed equality of the two unit actions algebraically via the Künneth isomorphism and the Landweber congruence.
minor comments (5)
- [Lemma 3.3] The step from equality of images in π_*(BP_{J_n} ⊗ BP_{J_n}) to homotopy of the corresponding multiplication maps is stated as "In particular" without justification; it uses that BP_{J_n} ⊗ BP_{J_n} is an E_1-ring spectrum (the tensor product of E_1-algebras) and that left multiplication by equal elements is homotopic. Please add a sentence making this explicit.
- [Lemma 3.1] The proof of part (1) is compressed: applying the involution c to the inclusion η_R(J_n)Γ ⊆ J_nΓ yields η_L(J_n)Γ ⊆ c(J_nΓ), not directly the reverse inclusion J_nΓ ⊆ η_R(J_n)Γ. An induction on n using the conjugate Landweber congruence would make the equality precise.
- [Observation 4.1(1)] The sentence "ann_E(x) always contains F→0, so determines F up to equivalence" is unclear: the zero map F→0 is always an annihilator and carries no information about F. Please rephrase or remove the clause.
- [Lemma 4.2] The assertion that the collection of pairs (G ∈ Sp_fin, y ∈ C_*G) is countable is not justified in the text; it follows from the countability of finite spectra up to equivalence and of π_*C for ℵ_1-compact C, and this explanation should be included.
- [Proposition 2.4] The passage from nonvanishing of the BP-relative tensor product to nonvanishing of the sphere tensor product is stated in one sentence via geometric realization; for clarity, mention the natural map M ⊗ N → M ⊗_{BP} N and the fact that a zero sphere tensor would make every simplex in the bar construction zero.
Circularity Check
No significant circularity: the construction and proofs are self-contained, built on standard external BP-theory results with no fitted parameters and no load-bearing self-citations.
full rationale
The paper's derivation chain is self-contained against external benchmarks. The spectra P_S are explicitly constructed in Construction 2.3 as telescopes of quotients BP_J_n, with no parameters fitted to the claims being proved. The nonvanishing part (Proposition 2.4) is established by displaying explicit nonzero monomials that are compatible under the transition maps, a direct algebraic verification. The vanishing part (Proposition 3.4) depends on Lemma 3.3, which is proved internally using the Landweber congruence and the Künneth isomorphism of Lemma 3.2; it does not presuppose the vanishing statement. The cited inputs (Basterra–Mandell E_4 structure, Hahn–Wilson quotients, Landweber's theorem, Ravenel's book, Ohkawa's theorem) are independent external results, not prior work of the present author. There is no fitted input called a prediction, no self-citation chain, and no uniqueness theorem imported from the authors' own work. The residual concern about the E_3-monoidal structure is addressed by the algebraic proof of Lemma 3.3, which identifies the two unit actions in homotopy via the ring isomorphism Γ/J_nΓ; the sphere-level tensor product used in Proposition 3.4 does not rely on an unproven symmetry of the BP-relative monoidal structure. The cardinality theorem (Theorem 1.4) is a consequence of the explicit family and established cardinal bounds, not of a circular assumption. Overall, the paper is not circular in any detected way.
Assumptions & free parameters
assumptions (5)
- domain assumption BP admits an E_4 ring structure, so the category of left BP-modules is E_3-monoidal (Recollection 2.1(1), citing Basterra-Mandell).
- domain assumption Landweber's invariance theorem: the ideal I_n = (p,v_1,...,v_{n-1}) in BP_* is invariant, and η_R(v_n) ≡ η_L(v_n) modulo I_n Γ (Recollection 2.1(3)).
- domain assumption For a regular ideal J ⊆ BP_*, the quotient BP_J exists as an E_1-BP-algebra with BP_{J*} = BP_*/J (Recollection 2.1(4), citing Hahn-Wilson).
- domain assumption Ohkawa's theorem: there is a set of Bousfield classes of size at most 2^{2^{ℵ_0}} (referenced in Section 4).
- standard math There exists a family D of infinite coinfinite pairwise almost disjoint subsets of N with |D| = 2^{ℵ_0}, and P(κ) has an antichain of size 2^κ (Section 4, referencing Hodel).
invented entities (1)
-
Spectra P_S indexed by infinite subsets S ⊆ N
independent evidence
Cite this review
Pith. "Pith review of Tensor Nilpotence and the Size of the Bousfield Lattice." pith.science (2026). https://pith.science/paper/Z2XHFXRW
@misc{pith2026260806104,
author = {Pith},
title = {Pith review of: Tensor Nilpotence and the Size of the Bousfield Lattice},
year = {2026},
howpublished = {\url{https://pith.science/paper/Z2XHFXRW}},
note = {Machine review of arXiv:2608.06104}
}
abstract
For each prime $p$ and integer $n \geq 1$, we construct a $p$-local spectrum $X_n$ with $X_n^{\otimes n} \not\simeq 0$ but $X_n^{\otimes (n+1)} \simeq 0$. This refutes the retract conjecture of Hovey-Palmieri. Our construction also allows us to determine the cardinality of the Bousfield lattice to be $2^{2^{\aleph_0}}$, answering a question of Dwyer-Palmieri.
Reference graph
Works this paper leans on
-
[1]
M. Basterra and M. A. Mandell,The multiplication on BP, J. Topol.6(2013), no. 2, 285–310
work page 2013
-
[2]
A. K. Bousfield,The Boolean algebra of spectra, Comment. Math. Helv.54(1979), no. 3, 368–377; correction, ibid.58(1983), 599–600
work page 1979
-
[3]
A. K. Bousfield,The localization of spectra with respect to homology, Topology18(1979), no. 4, 257–281
work page 1979
-
[4]
A. D. Brooke-Taylor, B. L¨ owe, and B. Richter,Inhabitants of interesting subsets of the Bousfield lattice, J. Pure Appl. Algebra222(2018), 2292–2298; arXiv:1702.03245
work page Pith review arXiv 2018
-
[5]
W. G. Dwyer and J. H. Palmieri,The Bousfield lattice for truncated polynomial algebras, Homology Homotopy Appl.10(2008), no. 1, 413–436
work page 2008
-
[6]
W. G. Dwyer and J. H. Palmieri,Ohkawa’s theorem: there is a set of Bousfield classes, Proc. Amer. Math. Soc.129(2001), no. 3, 881–886
work page 2001
-
[7]
J. Hahn and D. Wilson,Quotients of even rings, arXiv:1809.04723
-
[8]
Hodel,Cardinal functions I, in: Handbook of Set-Theoretic Topology, K
R. Hodel,Cardinal functions I, in: Handbook of Set-Theoretic Topology, K. Kunen and J. E. Vaughan (eds.), North-Holland, Amsterdam, 1984, pp. 1–61
work page 1984
Show all 13 references
-
[9]
Hovey and J
M. Hovey and J. H. Palmieri,The structure of the Bousfield lattice, in: Homotopy invariant algebraic structures (Baltimore, MD, 1998), Contemp. Math., vol. 239, Amer. Math. Soc., Providence, RI, 1999, pp. 175–196; arXiv:math/9801103
1998 arXiv
-
[10]
P. S. Landweber,Annihilator ideals and primitive elements in complex bordism, Illinois J. Math.17(1973), 273–284
1973
-
[11]
Lurie,Higher algebra, version dated 18 September 2017, available athttps://www.math.ias.edu/ ~lurie/
J. Lurie,Higher algebra, version dated 18 September 2017, available athttps://www.math.ias.edu/ ~lurie/
2017
-
[12]
Ohkawa,The injective hull of homotopy types with respect to generalized homology functors, Hiroshima Math
T. Ohkawa,The injective hull of homotopy types with respect to generalized homology functors, Hiroshima Math. J.19(1989), no. 3, 631–639
1989
-
[13]
D. C. Ravenel,Complex cobordism and stable homotopy groups of spheres, digital third edition, 31 July 2026, available athttps://www.sas.rochester.edu/mth/sites/doug-ravenel/mybooks/ravenel3rd.pdf
2026
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.