REVIEW 3 major objections 4 minor 16 references
On The Telescopic Picard Group
T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The paper proves that Pic(Sp_{T(n)}) contains a subgroup Z_p × Z/(a_p(p^n−1)) topologically generated by suspension, and that Kummer theory turns this into a non-Abelian Galois extension of the telescopic sphere.
desk verdict Real advance on the telescopic Picard group with an explicit non-Abelian Galois lift; the main risk is the unverified Gray tensor product universal property beneath the categorical machinery. 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 load-bearing object is the category $Cat_D^{{iso}}$ of stable idempotent-complete categories equipped with a D-asymptotically defined natural isomorphism α: Σ^d ⇒ id, built as a colimit of lax limits of the constant diagram (Cat_perf, Σ^d) along the directed 2-sphere ⃗$S^{2}$. Its key property is an action of the E_1-group $Ω^{2}$ $S^{2}$_D, where $S^{2}$_D = lim_{D→Z/d} $S^{2}$/d; because π_2($S^{2}$_D) ≅ D, this action induces a homomorphism D → π_0 Aut(C) for any C in $Cat_D^{{iso}}$, with the generator acting by suspension. Applying this to the category of v_n-self-maps reformulated from the periodicity theorem yields the map Z_n → Pic(Sp_{T(n)}), and the proof of injectivity proceeds by testing with K(n)-homology for the torsion component and with Morava E-theory with Z_p-action for the p-adic component.
What would settle it
Test the universal property of the lax limit along the directed 2-sphere ⃗$S^{2}$ in Loubaton's model: if the pullback description of Lemma 2.4.6 fails to be a terminal lax cone, the action $Ω^{2}$ $S^{2}$_{Z_n} and the resulting homomorphism Z_n → Pic(Sp_{T(n)}) need not exist. Equivalently, a nonzero degree d in Z/(a_p(p^n−1)) whose constructed Picard spectrum has unshifted K(n)-homology would directly disprove the claimed injectivity.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is that the periodicity theorem can be rephrased as a statement about categories carrying an asymptotically defined natural endomorphism of the identity. The v_n-self-maps of compact spectra of type ≥ n assemble into a category Sp^ω_{v_n} in Cat_{Z_n}^{end}, whose underlying category is Sp^ω_{≥n}; inverting the v_n map localizes it to the compact T(n)-local category Sp^ω_{T(n)}. Since these categories live in Cat_{Z_n}^{iso}, the group $Ω^{2}$ $S^{2}$_{Z_n} acts on them, and the identification π_2($S^{2}$_{Z_n}) ≅ Z_n turns suspension into a group homomorphism Z_n → π_0 Aut(Sp^ω_{T(n)}) ≅ Pic(Sp_{T(n)}). Theorems A and B assert this homomorphism is injective and that the resulting Picard element can be used, via Kummer theory, to build a non-Abelian Galois extension of S_{T(n)} lifting the known K(n)-local extension.
Load-bearing premise
The whole construction rests on Loubaton's model of the Gray tensor product of higher categories truly having the universal property for lax limits and adjunctions used in Sections 2 and 3; the paper itself notes that not all models have been shown to satisfy it.
Editorial extensions
If this is right
- Pic(Sp_{T(n)}) contains a subgroup Z_p × Z/(a_p(p^n−1)) topologically generated by Σ S_{T(n)}, lifting the corresponding subgroup of Pic(Sp_{K(n)}).
- There is an (F_{p^n}^× ⋊ Z/n)-Galois extension of S_{T(n)} that localizes to the K(n)-local Galois extension Y_n, giving the first lift of a non-Abelian Galois extension at arbitrary positive height and prime.
- Adding roots of unity upgrades this to a ((Z_p^× ⊕_{F_p^×} F_{p^n}^×) ⋊ Ẑ)-pro-Galois extension of S_{T(n)}.
- The even Picard group Picev(Sp_{T(n)}) contains a copy of Z_p × Z/(p^n−1).
- Because the constructed subgroup is preserved under K(n)-localization, the telescopic and K(n)-local Picard groups agree on this entire subgroup.
Reading between the lines
- If the higher-categorical framework is sound, the same construction should work for any D-asymptotically defined invertible self-map in a compactly generated stable category, producing Picard subgroups parametrized by π_2(S^2_D) and not only for v_n-self-maps.
- The lifting of a non-Abelian Galois extension suggests the telescopic sphere remembers more of the Morava stabilizer group's arithmetic than previously expected; one could test whether the full pro-Galois extension Y_n^f is uniquely characterized by its K(n)-localization.
- A natural next step is to ask how far this injection falls short of an isomorphism: a computation of the full even telescopic Picard group, or a bounding argument like those used for Pic(Sp_{K(n)}), would settle whether this subgroup is all of Picev(Sp_{T(n)}).
- The injectivity proof for the Z_p-component uses Morava E-theory with a Z_p-action; a proof avoiding that step would indicate that the p-adic component is robust to changes in the chosen model of the Gray tensor product.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies the telescopic Picard group Pic(Sp_T(n)) via a new higher-categorical formalism. It builds categories of asymptotically defined self-maps and endomorphisms of the identity, reformulates the Hopkins-Smith periodicity theorem in this language, and derives an action of Z_n := Z_p × Z/(a_p(p^n−1)) on the category Sp^ω_T(n). It then proves (Theorem A) that the resulting homomorphism Z_n → Pic(Sp_T(n)) is injective, using E_n-homology for the Z_p factor and K(n)-homology for the torsion factor. In Section 6 the paper uses Kummer theory to lift a non-abelian Galois extension of S_K(n) to S_T(n) (Theorem B), and also states a pro-Galois lifting. The proofs are largely explicit and rely on established results: the thick subcategory theorem, the periodicity theorem, and prior work on Kummer theory.
Significance. If correct, Theorem A identifies a subgroup of Pic(Sp_T(n)) matching the known K(n)-local subgroup, and Theorem B gives the first non-abelian Galois lift at arbitrary height and prime. The categorical framework for asymptotically defined endomorphisms is potentially reusable, and the paper makes a credible attempt to compute the relevant Picard elements rather than fitting parameters: the elements come from a single group action whose generator is the suspension, and injectivity is checked by explicit E_n-homology and K(n)-homology computations. The main caveat is foundational: the lax-limit machinery is built on a Gray tensor product model whose universal property is explicitly stated to be unverified, so the central results are conditional on that model behaving as required.
major comments (3)
- [Section 2.1, Definition 2.2.1, Lemmas 2.1.1-2.1.2, Lemma 2.2.3, Proposition 2.4.11] The paper explicitly warns on p. 8 that Campion's universal property for the Gray tensor product has not been shown for all models, and then chooses Loubaton's model because it has useful computational properties. This is a load-bearing gap: Definition 2.2.1 defines lax limits as right adjoints to the diagonal functor, and Lemmas 2.1.1 and 2.1.2 identify Fun_lax via the exponential adjunction of the Gray tensor product; Lemma 2.2.3 uses those identifications to compute lax limits by cell decomposition, and Proposition 2.4.11 builds the adjunction U ⊣ (−)^{vec hN} that underlies Corollary 3.4.14 and hence the group action producing Theorem A. If Loubaton's monoidal structure does not satisfy the universal property, the computed formulas may describe a different functor than the right adjoint needed. The manuscript should either prove that Loubaton's model satisfies Campion's universal property, cite a proof, or explicitly state this as a hypothesis and formulate the main theorems conditionally on it.
- [Section 5.2, Lemma 5.2.4] The proof of injectivity of the Z_p-component is incomplete as written. The sentence 'As ΣEn ≠ En it is enough to check the injectivity for d even' is not an argument. The missing step is that if an odd d lay in the kernel, then 2d would be an even element of the kernel; since the even case is assumed proved and multiplication by 2 is injective on Z_p, d would be zero. The paper should spell out this reduction and also explain why the displayed identification π_*Σ^d E_n ≅ π_*E_n ⊗ ω^{d/2} is valid for even d, and why odd d cannot give an isomorphism by degree parity alone.
- [Section 6.2, proof of Proposition 6.2.8] The claim 'Since this induced isomorphism is a left-inverse of f it follows that f is an isomorphism as well' does not follow: an isomorphism that is a left inverse of f only shows that f is injective. One must additionally prove surjectivity of f. This can be done from Lemma 6.2.9: for b ∈ π_0SW_n^×, the element b·(i(u(b)))^{-1} lies in the nilradical kernel of u, hence is a (p^n−1)-st power, so b is congruent to i(u(b)) modulo (p^n−1)-st powers. Since this identification of the top horizontal map is used to compute Pic^ev(Mod^∧_{SW_n})[p^n−1], the argument should be included.
minor comments (4)
- [Page 1, Figure 1] The figure showing Patrick Stewart and Margot Rose is unrelated to the mathematics and should be removed, together with its caption.
- [Throughout] There are numerous typographical errors, including 'Lubaton' for 'Loubaton', 'shown shown', 'cateogry', 'endomoprhisms', 'intergral', 'euqivalently', 'veritcal', 'abelain', 'straightforwatd', 'constructred', 'restrction', and 'filtraion'. These should be corrected.
- [Section 6.3, Theorem 6.3.1] The phrase 'lifting the Galois extension Y_n of S_K(n)' is slightly abusive because Y_n was originally defined as an F^×_{p^n}-Galois extension of SW_n, not of S_K(n); the text should explicitly explain that the combined (F^×_{p^n} ⋊ Z/n)-extension is obtained from Y_n together with the Z/n-extension SW_n/S_K(n).
- [References] The reference [Lur17] contains the typo 'Thusday' and should be corrected to 'Thursday'.
Circularity Check
No significant circularity: the T(n)-Picard subgroup is built from the external periodicity theorem and checked by K(n)-homology and En-module computations, with only non-circular self-citations.
full rationale
Walked the derivation chain: Theorem A (5.2.1) is not derived from its conclusion. The homomorphism Z_n → Pic(Sp_T(n)) is obtained from a Ω²S²_{Z_n}-action on Cat^{Z_n-iso}_perf (Cor 3.4.14, Cor 4.2.8), whose input is the Hopkins–Smith periodicity theorem reformulated as Theorem 4.2.5. Injectivity is verified by two external functors: K(n)-homology sends the torsion component to distinct shifts of K(n)_* (Cor 5.2.3), and En⊗− with remembered Z_p-action sends the Z_p component to distinct En-modules by the homotopy-group formula π_*Σ^dEn ≃ π_*En ⊗ ω^{d/2} (Lemma 5.2.4). No parameter is fitted to the target subgroup; the asserted subgroup is not an input to the construction. The categorical framework in Section 2 rests on Loubaton's Gray tensor product, and the paper explicitly flags that Campion's universal property has not been verified in all models; that is a stated fragility or assumption, not a circular reduction. The Galois lifting (Theorem B) invokes Kummer theory and the Z/n-Galois extension SW^f_n of S_T(n) from CSY21b, which are prior results by overlapping authors; these are load-bearing but independent, parameter-free theorems that do not assume Theorem A or B. The self-citations (CSY21a mode fact, CSY21b Kummer theory and roots of unity) are either standard consequences or independently proved results and do not make the central claim equivalent to its inputs. Score 2 reflects minor self-citation with no significant circularity.
Assumptions & free parameters
assumptions (6)
- standard math Hopkins-Smith periodicity theorem, including existence and asymptotic uniqueness of v_n-self-maps.
- standard math Thick subcategory theorem of Hopkins-Smith and Ravenel.
- standard math Kummer theory for stable ∞-categories from Carmeli-Schlank-Yanovski (CSY21b).
- domain assumption Loubaton's model of the Gray tensor product for (∞,n)-categories satisfies the required universal properties.
- domain assumption Sp_{T(n)} is compactly generated and its compact objects are retracts of T(n)-localizations of compact type ≥n spectra.
- standard math Galois theory of the K(n)-local sphere via Lubin-Tate theory (DH04, Rog08, Mat16).
Cite this review
Pith. "Pith review of On The Telescopic Picard Group." pith.science (2026). https://pith.science/paper/JIJO4PMS
@misc{pith2026241207716,
author = {Pith},
title = {Pith review of: On The Telescopic Picard Group},
year = {2026},
howpublished = {\url{https://pith.science/paper/JIJO4PMS}},
note = {Machine review of arXiv:2412.07716}
}
abstract
We prove that for any prime $p$ and height $n \ge 1$, the telescopic Picard group $\mathrm{Pic}(\mathrm{Sp}_{Tn})$ contains a subgroup of the form $\mathbb{Z}_p \times \mathbb{Z}/a_p(p^n-1)$, where $a_p = 1$ if $p = 2$ and $a_p = 2$ if $p$ is odd. Using Kummer theory, we obtain an $(\mathbb{F}_{p^n}^\times \rtimes \mathbb{Z}/n)$-Galois extension of $\mathbb{S}_{T(n)}$, obtaining the first example of a lift of a non-Abelian Galois extension of the $K(n)$-local sphere to the telescopic world, at arbitrary positive height and prime. Our proof proceeds by setting up a higher categorical framework for the periodicity theorem, utilizing the symmetries of this framework to construct Picard elements.
Figures
Reference graph
Works this paper leans on
-
[1]
Spherical witt vectors and integral models for spaces.arXiv preprint arXiv:2308.07288,
[Ant23] Benjamin Antieau. Spherical witt vectors and integral models for spaces.arXiv preprint arXiv:2308.07288,
-
[6]
The gray tensor product of (∞,n )-categories
[Cam23a] Timothy Campion. The gray tensor product of (∞,n )-categories. arXiv preprint arXiv:2311.00205,
-
[8]
Complexes of stable∞-categories
[CDW23] Merlin Christ, Tobias Dyckerhoff, and Tashi Walde. Complexes of stable∞-categories. arXiv preprint arXiv:2301.02606,
-
[9]
[CDW24] Merlin Christ, Tobias Dyckerhoff, and Tashi Walde. Lax additivity. arXiv preprint arXiv:2402.12251,
-
[11]
A mini-course on morava stabilizer groups and their cohomology
[Hen17] Hans-Werner Henn. A mini-course on morava stabilizer groups and their cohomology. Algebraic Topology: VIASM 2012–2015, pages 149–178,
work page 2012
-
[13]
[Lur] Jacob Lurie. Higher algebra. [Lur17] Jacob Lurie. Thusday seminar fall 2017/spring 2018: Unstable chromatic homotopy theory - lecture 6,
work page 2017
-
[1965]
Categorical theory of (∞,ω )-categories
56 [Lou24] Félix Loubaton. Categorical theory of (∞,ω )-categories. arXiv preprint arXiv:2406.05425,
-
[1972]
Bounding thek(p− 1)-local exotic picard group atp >3
[BLL+24] Irina Bobkova, Andrea Lachmann, Ang Li, Alicia Lima, Vesna Stojanoska, and Adela YiYu Zhang. Bounding thek(p− 1)-local exotic picard group atp >3. arXiv preprint arXiv:2403.15572,
Show all 16 references
-
[1985]
Picard and brauer groups of k(n)-local spectra via profinite galois descent
[Mor23] Itamar Mor. Picard and brauer groups of k(n)-local spectra via profinite galois descent. arXiv preprint arXiv:2306.05393,
-
[2008]
Presentable (∞,n )-categories
[Ste20] Germán Stefanich. Presentable (∞,n )-categories. arXiv preprint arXiv:2011.03035,
2011 arXiv
-
[2018]
An alternative to spherical witt vectors
[NY24] Thomas Nikolaus and Maria Yakerson. An alternative to spherical witt vectors. arXiv preprint arXiv:2405.09606,
-
[2020]
The exotick(2)-local picard group at the prime2
54 [BBG+22] Agnes Beaudry, Irina Bobkova, Paul G Goerss, Hans-Werner Henn, Viet-Cuong Pham, and Vesna Stojanoska. The exotick(2)-local picard group at the prime2. arXiv preprint arXiv:2212.07858,
-
[2021]
On hopkins’ picard group.arXiv preprint arXiv:2407.20958,
[BSSW24] Tobias Barthel, Tomer M Schlank, Nathaniel Stapleton, and Jared Weinstein. On hopkins’ picard group.arXiv preprint arXiv:2407.20958,
-
[2022]
[BHLS23] Robert Burklund, Jeremy Hahn, Ishan Levy, and Tomer M Schlank.k-theoretic coun- terexamples to ravenel’s telescope conjecture.arXiv preprint arXiv:2310.17459,
-
[2023]
An (∞,n )-categorical pasting theorem
[Cam23b] Timothy Campion. An (∞,n )-categorical pasting theorem. arXiv preprint arXiv:2311.00200,
-
[2024]
A model-independent gray tensor product for (∞, 2)-categories
[CM23] Timothy Campion and Yuki Maehara. A model-independent gray tensor product for (∞, 2)-categories. arXiv preprint arXiv:2304.05965,
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.