On periodic homotopy and homology equivalences of spaces

Gijs Heuts, Shaul Barkan, Yuqing Shi

Pith reviewed 2026-05-10 16:34 UTC · model grok-4.3

classification 🧮 math.AT math.KT

keywords T(n)-equivalenceparametric equivalencechromatic homotopyv_n-periodic homotopyinfinite loop spacesMorava K-theoryWhitehead towerL_n^f-localization

0 comments

The pith

A parametric T(n)-equivalence, defined via local systems in T(n)-local spectra, yields precise comparisons between T(n)-homology and v_n-periodic homotopy equivalences for spaces.

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

The paper shows that two approaches to the homotopy theory of spaces at chromatic height n, localization at T(n)-homology versus localization at v_n-periodic homotopy groups, differ in general but can be compared exactly once one adopts a stronger notion of equivalence. This notion requires a map of spaces to induce an equivalence on the infinity-category of local systems with coefficients in T(n)-local spectra. The comparisons become sharpest for infinite loop spaces, where they recover a T(n)-local form of a classical result on the Morava K-theory of the Whitehead tower and supply an explicit formula for the L_n^f-localization of Ω^∞E when the spectrum E satisfies L_{n-1}^f E ≃ 0. A reader would care because the two periodic invariants often disagree, and the parametric condition identifies precisely when they can be used interchangeably.

Core claim

We introduce parametric T(n)-equivalence as a map of spaces that induces an equivalence on the ∞-categories of local systems valued in T(n)-local spectra. Building on earlier observations that T(n)-homology and v_n-periodic homotopy yield different localizations, we prove that this parametric condition gives exact comparisons between the two notions. For infinite loop spaces the condition produces a T(n)-local version of Kuhn's theorem on the Morava K-theory of the Whitehead tower; as a corollary we obtain a formula for the L_n^f-localization of Ω^∞E whenever L_{n-1}^f E ≃ 0.

What carries the argument

The parametric T(n)-equivalence, a map inducing an equivalence on the ∞-category of local systems valued in T(n)-local spectra, which supplies the robust comparison between homology and homotopy periodic equivalences.

Load-bearing premise

The newly defined parametric T(n)-equivalence is strong enough that maps satisfying it produce the claimed exact comparisons and the explicit localization formula for infinite loop spaces.

What would settle it

A concrete map of spaces that induces both a T(n)-homology equivalence and a v_n-periodic homotopy equivalence yet fails to induce an equivalence on the ∞-category of T(n)-local systems, or an infinite loop space Ω^∞E with L_{n-1}^f E ≃ 0 whose L_n^f-localization does not match the predicted formula.

read the original abstract

There are at least two ways to approach the homotopy theory of spaces `at chromatic height $n$': one may localize with respect to $T(n)$-homology or with respect to $v_n$-periodic homotopy groups. It was already observed by Bousfield that these two options yield rather different results. We build on his work to prove precise comparison results between the two notions. A crucial concept is a more robust notion of $T(n)$-equivalence that we call `parametric $T(n)$-equivalence': this is a map of spaces that induces an equivalence on $\infty$-categories of local systems valued in $T(n)$-local spectra. Our results are sharpest in the case of infinite loop spaces, where amongst other things we prove a $T(n)$-local version of a result of Kuhn on the Morava $K$-theory of the Whitehead tower. As a corollary of our results we also produce a formula for the $L_n^f$-localization of an infinite loop space $\Omega^\infty E$ of a spectrum satisfying $L_{n-1}^f E \simeq 0$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper sharpens Bousfield's comparison of T(n)-homology and v_n-periodic homotopy with a parametric equivalence notion and derives a concrete L_n^f-localization formula for certain infinite loop spaces.

read the letter

The main thing to know is that this work refines Bousfield's earlier observations by introducing parametric T(n)-equivalences—maps that induce equivalences on ∞-categories of local systems valued in T(n)-local spectra—and uses them to get precise comparison theorems between the two localization approaches. For infinite loop spaces it also gives a T(n)-local version of Kuhn's result on Morava K-theory of the Whitehead tower, plus a corollary formula for the L_n^f-localization of Ω^∞ E when the spectrum E satisfies L_{n-1}^f E ≃ 0. These look like practical tools for chromatic homotopy calculations. The paper does a clean job of building directly on prior results without circularity or heavy new machinery. The parametric definition is motivated specifically to make the comparisons sharp, and the arguments for the tower result and localization formula follow from that setup in a straightforward way. No load-bearing gaps are visible in the logic. The soft spots are minor and mostly about scope. The sharpest statements are for infinite loop spaces, so the general case for arbitrary spaces gets less attention and might need extra work to apply. A few explicit examples or sample computations would make the localization formula easier to use in practice, but these are not central weaknesses. The core claims hold up on the given foundations. This is for people already working in chromatic homotopy theory, particularly those handling localizations at height n or computations with infinite loop spaces and periodic homotopy. A reader who needs comparison tools or a localization formula under the stated nullity condition will get direct value. I would send it to peer review; the contributions are grounded, the motivation is clear, and the results are specific enough to be worth referee time.

Referee Report

0 major / 3 minor

Summary. The paper introduces parametric T(n)-equivalence for maps of spaces, defined as those inducing equivalences on ∞-categories of local systems valued in T(n)-local spectra. Building on Bousfield, it proves precise comparisons between T(n)-homology equivalences and v_n-periodic homotopy equivalences. For infinite loop spaces it establishes a T(n)-local version of Kuhn's result on the Morava K-theory of the Whitehead tower, and as a corollary derives a formula for the L_n^f-localization of Ω^∞E when L_{n-1}^f E ≃ 0.

Significance. If the derivations hold, the work refines comparisons between chromatic localizations at height n and supplies new tools for infinite loop spaces. The parametric notion strengthens the framework without introducing free parameters or circularity, and the localization formula is a concrete, potentially computable output. Explicit dependence on prior results (Bousfield, Kuhn) is a strength.

minor comments (3)

Abstract and §1: the notation L_n^f and L_{n-1}^f is introduced without a brief definition or forward reference; add one sentence or citation for accessibility.
§2 (definition of parametric T(n)-equivalence): the ∞-categorical formulation is technically dense; a short concrete example of a map that is a standard T(n)-equivalence but not parametric would clarify the distinction.
Theorem 5.1 (T(n)-local Kuhn result): the statement is clear, but the proof sketch omits how the infinite-loop-space structure interacts with the local-system ∞-category; a one-paragraph outline would help.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, assessment of significance, and recommendation of minor revision. No major comments appear in the report, so we have no specific points to address point-by-point at this stage. We will incorporate any minor suggestions during revision.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper introduces the parametric T(n)-equivalence as a new definition (equivalences on ∞-categories of local systems valued in T(n)-local spectra) and explicitly builds comparison results, a T(n)-local Kuhn statement on Whitehead towers of infinite loop spaces, and an L_n^f-localization formula for Ω^∞E under the hypothesis L_{n-1}^f E ≃ 0 upon Bousfield's and Kuhn's prior theorems. No step reduces a claimed prediction or theorem to a fitted parameter, self-citation chain, or definitional tautology; all load-bearing arguments invoke external results in chromatic homotopy theory whose independence is not undermined by the present constructions. The central claims therefore retain independent mathematical content.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract introduces the new definition of parametric T(n)-equivalence but provides no information on free parameters, background axioms, or invented entities. Full paper required for complete audit.

pith-pipeline@v0.9.0 · 5494 in / 1207 out tokens · 88876 ms · 2026-05-10T16:34:15.138264+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

6 extracted references · 3 canonical work pages

[1]

Poincaré–Birkhoff–Witt Theorems in Higher Algebra

[ABH25] O. Antolín-Camarena, L. Brantner, and G. Heuts. “Poincaré–Birkhoff–Witt Theorems in Higher Algebra”. In:arXiv preprint arXiv:2501.03116(2025). [BM11] M. Basterra and M. A. Mandell. “Homology of𝐸 𝑛 ring spectra and iterated THH”. In: Algebraic & Geometric Topology11.2 (2011), pp. 939–981. [BM25] D. L. B. Brantner and A. Mathew. “Deformation theory ...

work page arXiv 2025
[2]

𝐾-theoretic counterexamples to Ravenel’s telescope conjecture

American Mathematical Society, Providence, RI, 1999, pp. 85–89. [Bur+23] R. Burklund, J. Hahn, I. Levy, and T. M. Schlank. “𝐾-theoretic counterexamples to Ravenel’s telescope conjecture”. In:arXiv preprint arXiv:2310.17459(2023). [CSY21] S. Carmeli, T. M. Schlank, and L. Yanovski. “Ambidexterity and height”. In:Advances in Mathematics385 (2021), p. 107763...

work page arXiv 1999
[3]

Springer-Verlag, Berlin, 1995, pp. xiv +

1995
[4]

Homotopy localization nearly preserves fibrations

[FS95] E. D. Farjoun and J. Smith. “Homotopy localization nearly preserves fibrations”. In:Topol- ogy34.2 (1995), pp. 359–376. [Heu21] G. Heuts. “Lie algebras and𝑣 𝑛-periodic spaces”. In:Annals of Mathematics193.1 (2021), pp. 223–301. 25 [Heu24] G. Heuts. “Koszul duality and a conjecture of Francis–Gaitsgory”. In:arXiv preprint arXiv:2408.06173(2024). [HL...

work page arXiv 1995
[5]

Nondurable𝐾-theory equivalence and Bousfield localiza- tion

[LS01] L. Langsetmo and D. Stanley. “Nondurable𝐾-theory equivalence and Bousfield localiza- tion”. In:𝐾-Theory24.4 (2001), pp. 397–410. [Lur17] J. Lurie. “Higher Algebra”. Available at the author’s homepagehttp://www.math.ias. edu/~lurie

2001
[6]

The Morava𝐾-theories of Eilenberg-MacLane spaces and the Conner-Floyd conjecture

[RW80] D. C. Ravenel and W. S. Wilson. “The Morava𝐾-theories of Eilenberg-MacLane spaces and the Conner-Floyd conjecture”. In:Am. J. Math.102 (1980), pp. 691–748. 26

1980