{"id":"8956f0e3-947d-40b2-9e60-9d8917ccbe1d","arxiv_id":"2412.07716","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For all primes p and heights n, Pic(Sp_{T(n)}) contains Z_p × Z/(a_p(p^n−1)), lifting the known K(n)-local subgroup.","lead":"This paper proves that the telescopic Picard group contains a subgroup isomorphic to the p-adic integers times a finite cyclic group, for every prime and height. It also constructs the first non-Abelian Galois extension of the telescopic sphere, a milestone in chromatic homotopy theory.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The categorical framework depends on Loubaton's Gray tensor product, whose defining universal property the paper admits is unverified; if that property fails, the lax-limit adjunctions behind Theorem A lose their basis.","rationale":"The reader's weakest_assumption is exactly the point I would flag as most load-bearing. The entire categorical machine—lax fixed points, self-map categories, asymptotically defined isomorphisms, and the Ω²S²_D action—is built on the Gray tensor product and on lax limits computed through it. Theorem A's homomorphism Z_n → Pic(Sp_{T(n)}) comes from Corollary 4.2.8, which applies Corollary 3.4.14 to Sp^ω_{vn}[v_n^{-1}]; Corollary 3.4.14 is a formal consequence of the constructions in Sections 2 and 3. Therefore an unverified universal property at the base is load-bearing, not peripheral. The paper explicitly acknowledges the gap in Section 2.1, so this is not a manufactured objection. I am not claiming the theorem is false; a model comparison, or a proof of the required adjunctions in Campion's model, would resolve the concern. The secondary point about Lemma 5.2.4 is less serious: the reduction to even d is justified by parity and by the stated action on homotopy groups, and the continuity claim can be supplied from the continuous group action. The CONDITIONAL verdict remains appropriate.","tokens_in":39139,"tokens_out":28647,"duration_ms":280908,"concrete_test":"Verify in Loubaton's model the two exponential adjunctions actually used: for I = ⃗S1 and I = ⃗S2, Fun_lax(I, −) is right adjoint to I ×_lax −, and the Fubini-type equivalence Fun_lax(J, Fun_lax(I, D)) ≃ Fun_lax(I ×_lax J, D) of Lemma 2.1.2 holds. If these hold, the lax-limit computations of Sections 2.3–2.4 and hence Proposition 3.2.8 are valid in the chosen model; if not, the universal-property gap invalidates the construction of the Picard homomorphism.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 2.1 states that Campion's universal property for the Gray tensor product has not been shown to hold for all models, and the paper then chooses Loubaton's model because it has useful computational properties. The central construction needs more than computation: Definition 2.2.1 defines lax limits as right adjoints to the diagonal in Fun_lax(−, C); Lemma 2.1.1 and Lemma 2.1.2 use the exponential adjunction of the Gray tensor product; Lemma 2.2.3 uses pushout pasting. These feed directly into Section 3: the description of Cat^{Z/d-end}_perf in Corollary 3.2.4, the adjunction U ⊣ (−)^{⃗hN[d]} in Proposition 3.2.8, the power/root adjunctions, and finally the Ω²S²_D-action in Corollary 3.4.14 that produces the homomorphism Z_n → Pic(Sp_{T(n)}). If Loubaton's monoidal structure does not satisfy the universal property, or if the specific lax-limit formulas in Section 2.4 fail in that model, the right adjoints and the group action are not guaranteed to exist. The paper's own caution in Section 2.1 makes this the least secure load-bearing point, not a stylistic issue.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":39405,"tokens_out":14223,"duration_ms":125602,"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":[{"comment":"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":"Section 2.1, Definition 2.2.1, Lemmas 2.1.1-2.1.2, Lemma 2.2.3, Proposition 2.4.11"},{"comment":"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":"Section 5.2, Lemma 5.2.4"},{"comment":"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.","section":"Section 6.2, proof of Proposition 6.2.8"}],"minor_comments":[{"comment":"The figure showing Patrick Stewart and Margot Rose is unrelated to the mathematics and should be removed, together with its caption.","section":"Page 1, Figure 1"},{"comment":"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":"Throughout"},{"comment":"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).","section":"Section 6.3, Theorem 6.3.1"},{"comment":"The reference [Lur17] contains the typo 'Thusday' and should be corrected to 'Thursday'.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The main mathematical risk is the unverified Gray tensor product universal property in Section 2.1; if the author can supply a proof or a precise conditional statement, the paper would be substantially strengthened. The paper also relies on several unpublished preprints [Lou24, Cam23a, Cam23b], which is normal in this area but should be kept in mind. The inclusion of the Star Trek figure appears inappropriate in a research article and should be addressed editorially."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, Theorem A: Pic(Sp_{T(n)}) contains a subgroup Z_p × Z/(a_p(p^n−1)), topologically generated by the suspension. That lifts the known Z/(p−1) subgroup and, more importantly, lifts the corresponding subgroup of Pic(Sp_{K(n)}). Second, Theorem B: the first lift of a non-Abelian Galois extension from K(n)-local to T(n)-local — an (F_{p^n}^× ⋊ Z/n)-Galois extension of S_{T(n)}, at arbitrary height and prime. Burklund–Clausen–Levy have announced a general finite-Galois lift, but this is an explicit, independent construction.\n\nWhat is actually new: the framework of asymptotically defined endomorphisms of the identity, built out of lax limits along directed spheres. It rephrases the periodicity theorem as the existence of a certain object in Cat^{Z_n-end}_{perf} with underlying category Sp^ω_{T(n)}, and then reads off Picard elements from an Ω²S²_{Z_n}-action. The paper is honest in method: no parameter fitting; the results come from periodicity, the thick subcategory theorem, and Kummer theory. The injectivity proof splits cleanly — K(n)-homology for the torsion part, an E_n-tensor computation for the Z_p part — and the checks are explicit.\n\nNow the soft spots, in proportion. The load-bearing one is the one the paper itself flags in Section 2.1: the framework uses Loubaton's Gray tensor product, and Campion's universal property has not been shown to hold for all models. The lax-limit formulas, the U ⊣ (−)^{⃗hN[d]} adjunction, and the power/root adjunctions all flow through that model. If the universal property fails there, the right adjoints producing the Z_n-action are not guaranteed. That is a genuine fragility, not a stylistic nit. It is not hidden — the paper says it — but a referee should push on what is proven inside Loubaton's model and whether the constructions survive passage to a model with the universal property. The stress-test note gets this right.\n\nMinor: Lemma 5.2.4's reduction to even d is valid but terse; the zig-zag checks in Sections 2.4 and 3.2 are waved through as 'straightforward'; and the Star Trek figure should not be in an arXiv submission. The self-citations to CSY21 are fine — the inputs are cited theorems, not the conclusions.\n\nThis paper is for chromatic homotopy theorists working on Picard groups and Galois theory. It deserves a serious referee: the main theorem is a substantial within-field advance, and the categorical framework is worth engaging even while the foundation needs tightening.","headline":"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.","tokens_in":39953,"tokens_out":3467,"would_cite":true,"duration_ms":30039,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55P42","55P60","55N22"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["telescopic Picard group","chromatic homotopy theory","T(n)-local spectra","v_n-self-maps","lax limits","higher categories","Kummer theory","Morava stabilizer group"],"falsifier":"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.","tokens_in":38938,"feed_emoji":"🔭","tokens_out":8410,"duration_ms":70700,"temperature":0.7,"pith_summary":"This paper proves that the telescopic Picard group Pic(Sp_{T(n)}), the group of invertible T(n)-local spectra up to equivalence, always contains a subgroup isomorphic to Z_p × Z/(a_p(p^n−1)), where a_p = 1 for p = 2 and a_p = 2 for odd p, topologically generated by the suspension of the T(n)-local sphere. This is exactly the subgroup previously known in the K(n)-local Picard group, so Theorem A lifts the K(n)-local picture into the telescopic world. Using Kummer theory, the paper then upgrades a torsion element of this subgroup into an (F_{p^n}^× ⋊ Z/n)-Galois extension of S_{T(n)}, the first lift of a non-Abelian Galois extension of the K(n)-local sphere at arbitrary height and prime. The result matters because the telescopic Picard group was mostly unknown beyond a small Z/(p−1) factor, and because the proof establishes a reusable higher-categorical formalism for periodicity phenomena.","feed_headline":"Pic(Sp_{T(n)}) contains a Z_p × Z/(a_p(p^n−1)) subgroup","feed_subtitle":"It lifts the K(n)-local Picard subgroup and yields the first non-Abelian Galois extension of the telescopic sphere.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Provides the periodicity theorem that v_n-self-maps exist on compact type ≥ n spectra and are asymptotically unique; this is the input to the reformulation in Theorem C.","marker":"[HS98, Theorem 9]"},{"why":"Supplies the Kummer theory short exact sequence used to lift even Picard elements to Galois extensions, including the torsion element from Theorem A.","marker":"[CSY21b, Proposition 3.23]"},{"why":"Gives the model of the Gray tensor product and lax limits on which the categorical framework of Sections 2 and 3 depends.","marker":"[Lou24, Construction 2.3.1.17]"},{"why":"Describes lax fixed points as lax equalizers, giving the concrete model of categories of self-maps used in Proposition 3.1.3.","marker":"[NS18, Proposition II.1.5]"},{"why":"Identifies Morava E-theory as the Galois closure of the K(n)-local sphere, supplying the Galois group and the extension theory used in Section 6.","marker":"[DH04, Theorem 5]"},{"why":"Classifies G-Galois extensions of the K(n)-local sphere by continuous homomorphisms, which is the classification underpinning the construction of Y_n.","marker":"[Mat16, Theorem 10.9]"},{"why":"Gives the description of π_* Σ^d E_n as π_*E_n ⊗ ω^{d/2} with Z_p-action, used to prove injectivity on the Z_p-component in Lemma 5.2.4.","marker":"[Hea15, Lemma 1.3.1]"}],"fun_headline_variants":["Pic(Sp_Tn) contains Z_p × Z/(a_p(p^n−1)) subgroup","Non-Abelian Galois lift to telescopic world at all heights","Telescopic Picard subgroup from periodicity symmetries","First lift of non-Abelian Galois extension to telescopic sphere"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Pic(Sp_Tn) contains Z_p × Z/(a_p(p^n−1)) subgroup","Non-Abelian Galois lift to telescopic world at all heights","Telescopic Picard subgroup from periodicity symmetries","First lift of non-Abelian Galois extension to telescopic sphere"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000936,"raw_usage":{"total_tokens":4010,"prompt_tokens":956,"completion_tokens":3054,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":572,"completion_tokens_details":{"reasoning_tokens":2972}},"tokens_in":572,"tokens_out":3054,"duration_ms":22370,"temperature":1.0,"reasoning_tokens":2972,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T18:33:35.609145+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}