{"id":"14a0d295-bc78-4807-917a-a01ad1a295a2","arxiv_id":"2608.02180","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new proof that algebraic K-theory raises chromatic height by at most one, obtained by descent from the Lubin–Tate spectrum.","lead":"Algebraic K-theory cannot increase chromatic height by more than one, a result previously proved by Clausen–Mathew–Naumann–Noel. This paper gives a new proof of that bound passing through the Lubin–Tate spectrum and Galois descent, using Hahn–Wilson's Quillen–Lichtenbaum theorem.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Most load-bearing concern: the proof descends from E_n to S_{T(n)} entirely through the unpublished Burklund–Clausen–Levy theorem (Thm 2). If that T(n)-local algebraic-closure statement is false or only true K(n)-locally, Propositions 7 and 8 collapse.","rationale":"The reader identified Theorem 2 as the weakest assumption, and I agree. Without it the proof has no bridge from E_n to S_{T(n)}. My own re-reading found no internal algebraic error in the reductions: Proposition 5's use of smashing finite localization and [LT19] is standard; Proposition 6 follows from Hahn–Wilson plus [ABM26, 8.3] if the stated map exists; Proposition 8's filtered-colimit argument is justified by compactness of the sphere; Proposition 9 is a standard norm/descent statement, and Proposition 10's Galois descent is the usual one for finite faithful Galois extensions in T(n)-local spectra. The reliance on Theorem 2 is therefore the single load-bearing point. It is an external dependency, not a contradiction with known mathematics; however, because the theorem is unpublished and stronger than the known K(n)-local closure statement, the proof is appropriately conditional. I would not reject the paper, but I would not accept it as unconditional until Theorem 2 is available.","tokens_in":5671,"tokens_out":29033,"duration_ms":240465,"concrete_test":"Obtain the Burklund–Clausen–Levy proof and verify the exact statement used here: that the canonical map L_{T(n)}(colim_R R) -> E_n is an equivalence in CAlg(Sp_{T(n)}), with the colimit over T(n)-local (not K(n)-local) finite Galois extensions of S_{T(n)}. As an analytical check, test the theorem in the lowest new case n=1 at an odd prime: compute the homotopy of L_{T(1)} of the colimit of all finite T(1)-local Galois extensions of L_{T(1)}S and compare with KU_p^∧. If the two differ, or if the BCL proof only gives a K(n)-local equivalence, Propositions 7–8 do not follow.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central descent step is Theorem 2 (Burklund–Clausen–Levy): L_{T(n)}(colim_R R) ≃ E_n, where R runs over T(n)-local finite Galois extensions of S_{T(n)}. This is the only link between the vanishing for E_n and the existence of a finite Galois extension R with L_{T(m)}K(R)=0. Proposition 7 uses A_n := colim_R R and L_{T(n)}A_n ≃ E_n to transfer the vanishing from E_n to A_n via Proposition 5. Proposition 8 then uses K-theory's preservation of filtered colimits to pick a single R with vanishing. If Theorem 2 is incorrect, or if the colimit is actually meant in the K(n)-local category, or if the equivalence is only after K(n)-localization, both propositions fail and the induction cannot start. The paper explicitly acknowledges 'Our proof relies on this unpublished result' and offers only a weaker consequence in Remark 3 using the known K(n)-local closure. This is an external dependency rather than an internal inconsistency, but it is the most fragile assumption in the proof. The rest of the reduction (telescopic fracture, finite Galois descent via Prop 9, module argument) follows known patterns and I found no clear internal error.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper gives a new proof of the Clausen–Mathew–Naumann–Noel redshift upper bound: if C is an L^f_n-local perfect stable category, then L_{T(m)}K(C)=0 for all m≥n+2. The proof is by induction on n. The base case uses Hahn–Wilson's Quillen–Lichtenbaum theorem to obtain vanishing for a suitable E_3 form of BP⟨n⟩, then transfers this vanishing to the Lubin–Tate spectrum E_n through an E_3 map. The key new step is a descent from E_n to the T(n)-local sphere: the unpublished Burklund–Clausen–Levy theorem (Theorem 2) identifies the T(n)-localization of the colimit of all T(n)-local finite Galois extensions of S_{T(n)} with E_n. Since algebraic K-theory preserves filtered colimits, this forces one finite Galois extension R to have vanishing T(m)-localized K-theory. A general vanishing descent principle (Proposition 9) then passes from R back to S_{T(n)}, and the telescopic fracture square plus the induction hypothesis gives vanishing for L^f_n S and, by a module argument, for every L^f_n-local category.","tokens_in":6000,"tokens_out":39557,"duration_ms":299838,"significance":"If the proof is correct, this is a genuinely new proof of a known theorem. It avoids the Land–Mathew–Meier–Tamme purity theorem and instead derives the upper bound from the Quillen–Lichtenbaum theorem and Galois descent. The vanishing descent principle (Proposition 9) is likely to be of independent interest. The internal reductions are well structured and, apart from the external dependency discussed below, appear coherent. However, the proof is not self-contained at its most strategically important point: the descent from E_n to S_{T(n)} rests entirely on an unpublished theorem. This makes the present version conditional in a way that a journal proof should not be.","major_comments":[{"comment":"The proof of the main theorem depends pivotally on Theorem 2, cited to unpublished work of Burklund–Clausen–Levy: L_{T(n)}(colim_R R) ≃ E_n. This is the only statement that connects the vanishing for E_n to a finite Galois extension R of S_{T(n)}. Propositions 7 and 8 both use this statement: without it, the induction cannot start. The paper itself says 'Our proof relies on this unpublished result', and Remark 3 offers only a weaker K(n)-local variant. If Theorem 2 is incorrect, or is only valid K(n)-locally, then Propositions 7 and 8 collapse. Since this is load-bearing, the manuscript must supply a proof, a publicly available reference, or at least a precise and checkable statement; otherwise the main theorem is conditional.","section":"Theorem 2 and Remark 3"},{"comment":"The step from the vanishing of colim_R L_{T(m)}K(R) to the existence of a single R with L_{T(m)}K(R)=0 uses the fact that K(R) is a ring spectrum and that the maps in the colimit are ring maps. The paper only states that algebraic K-theory preserves filtered colimits and that T(m)-localization preserves colimits. It does not explicitly justify that L_{T(m)}K(R) is a commutative ring spectrum and that the unit argument is compatible with the colimit. If T(m)-localization is being treated as a smashing monoidal localization, this should be stated; otherwise the passage from the colimit to a single R is missing a step.","section":"Proposition 8"}],"minor_comments":[{"comment":"The notation dMod_R^{dbl} is used without definition; presumably it means the full subcategory of dualizable objects in the T(n)-local R-module category. Please define it explicitly.","section":"Notation 4 and Proposition 8"},{"comment":"The introduction says 'T(n)-local filtered colimit' while the proof says 'filtered colimit in spectra'. These are not formally the same; please reconcile the wording and specify exactly in which category the colimit is taken.","section":"Introduction and Theorem 2"},{"comment":"The sentence 'T(m)-localization vanishes on bounded above spectra' is not by itself enough to deduce L_{T(m)}K(BP⟨n⟩)=0 from Theorem 1; one also needs that T(m)-localization annihilates L^f_{n+1}-local spectra for m≥n+2. This is standard, but it would help to spell it out.","section":"Proposition 6"},{"comment":"In the 'if' direction, the map C^{hG}→C should be specified as evaluation at a point, and it should be explicitly noted that both K-theory and Z-localization are applied to the induced ring map. The current wording is terse.","section":"Proposition 9"},{"comment":"The equivalence Sp_{T(n)} ≃ (dMod_R)^{hG} is cited with 'see for example [BMCSY25, Proposition 3.11]'. Please also spell out how passing to dualizable objects gives an equivalence with (dMod_R^{dbl})^{hG}, since this is used to apply Proposition 9.","section":"Proposition 10"}],"recommendation":"major_revision","confidential_remarks":"The central proof strategy is attractive and the internal reductions appear sound. The main risk is the unpublished Burklund–Clausen–Levy theorem. If the editor can verify that this theorem is available and correct, the paper could become acceptable after a revision that makes the dependency explicit and fills in the small presentation gaps. Without such verification, the paper should not be published as a proof of Theorem A."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper gives a new proof of the redshift upper bound, Theorem A, originally proved by Clausen–Mathew–Naumann–Noel. The theorem itself is not new, and the paper says so plainly. What is new is the route: instead of the Land–Mathew–Meier–Tamme purity theorem, it descends from the Lubin–Tate spectrum E_n using a T(n)-local algebraic closure statement. That proof architecture is genuinely different, and the vanishing descent principle (Prop 9) looks like a useful standalone tool.\n\nThe proof is clearly structured and mostly follows known patterns: telescopic fracture, K-theory of pullbacks, the module argument at the end. I checked the subtle claim that A_n is L^f_n-local; that's correct because T(n)-local spectra are L^f_n-local and localization is smashing. The use of Elmanto–Nardin–Yang's Mitchell trick is appropriate. I also appreciate the explicit acknowledgement that the argument relies on the unpublished Burklund–Clausen–Levy theorem (Thm 2), and the disclosure about ChatGPT for the proof of Prop 9 — neither of those affects mathematical content, but both are honest.\n\nThe soft spot is exactly what the stress test says: the descent from E_n to S_{T(n)} goes through Theorem 2, a filtered colimit of T(n)-local finite Galois extensions whose T(n)-localization is E_n. If that theorem is wrong, or only true K(n)-locally, then Propositions 7 and 8 fall apart and the induction can't start. This is an external dependency, not an internal inconsistency, and the paper correctly notes that without it you only get the L_n-local version. It's the single most fragile assumption, and a referee needs to scrutinize it. Everything after that is routine and I found no internal errors.\n\nWho is this for? People working in chromatic K-theory who care about alternative routes to known theorems and about the vanishing descent principle. It is not a new result, but it's a serious methodological contribution. The reliance on unpublished work makes it conditional, but conditional does not mean wrong.\n\nIf I were the editor, I would send it to a referee who can assess both the BCL theorem's status and the Galois descent. It deserves a serious referee, not a desk reject. I'd probably read it for my own work but wouldn't cite it until the BCL input is public.","headline":"New route to the CMNN redshift upper bound, but the descent step rests entirely on an unpublished Burklund–Clausen–Levy theorem.","tokens_in":6441,"tokens_out":1022,"would_cite":false,"duration_ms":11107,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["19D99","55P42"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves the redshift upper bound for algebraic K-theory — that K-theory raises chromatic height by at most one — by descent from the Lubin–Tate spectrum, avoiding the earlier purity-based argument.","keywords":["algebraic K-theory","chromatic redshift","Lubin–Tate spectrum","telescopic localization","Galois descent","Quillen–Lichtenbaum","truncated Brown–Peterson spectrum","vanishing descent"],"falsifier":"Check the unpublished algebraic-closure theorem: compute L_{T(n)}(colim_R S_{T(n)} R) and see whether it is E_n for some small n (e.g., n=2). Alternatively, find a finite group G and a G-equivariant perfect category C with L_Z K(C)=0 but L_Z K(C^{hG}) != 0; that would disprove Proposition 9, the vanishing descent principle. If either check goes against the paper, the proof of the redshift bound fails at that step.","tokens_in":5530,"feed_emoji":"","tokens_out":6410,"duration_ms":43925,"temperature":0.7,"pith_summary":"Algebraic K-theory attaches to any ring or category a spectrum that organizes its hidden multiplicative structure; chromatic height is a measure of periodicity in stable homotopy. This paper establishes that if a category is local with respect to the finite-height étale filtration L^f_n, then its K-theory vanishes at all higher chromatic heights above n+1 — the redshift upper bound. The argument is new: it descends from the Lubin–Tate spectrum (the K(n)-local algebraic closure of the sphere) through T(n)-local Galois extensions, using a Quillen–Lichtenbaum-type vanishing for truncated Brown–Peterson spectra. This provides a second proof of a theorem originally established via the purity theorem, and the method is more direct and potentially more flexible.","feed_headline":"New proof: K-theory raises chromatic height by at most one","feed_subtitle":"The argument descends from Lubin–Tate spectra, bypassing the 2024 purity theorem for a simpler route.","key_machinery":"The load-bearing mechanism is the chain of descent from E_n to the sphere: the identification of E_n as the T(n)-local algebraic closure of S_{T(n)} (an unpublished result the paper cites), combined with the vanishing descent principle of Proposition 9, which states that for any finite group G and any G-equivariant perfect category, Z-localized K-theory vanishes on fixed points iff it vanishes on the whole category. The telescopic fracture square for L^f_n R then mediates between T(n)-local and finite-local behavior. These fit together to convert vanishing at one specially chosen spectrum into vanishing for all L^f_n-local categories.","core_discovery":"The central claim is Theorem A: for every perfect category C that is L^f_n-local, L_{T(m)}K(C)=0 for all m≥n+2. The proof proceeds by induction on n. The base case uses a Quillen–Lichtenbaum-type result for a form of the truncated Brown–Peterson spectrum, which implies vanishing for the Lubin–Tate spectrum E_n. An unpublished theorem identifying E_n as the T(n)-local algebraic closure of the sphere (i.e., the T(n)-localization of the colimit of its finite Galois extensions) then propagates the vanishing to a single finite Galois extension. A general vanishing descent principle (Proposition 9) lifts the result from that extension back to the T(n)-local sphere, and the telescopic fracture squa","pith_inferences":["The proof's modularity hints that the same descent chain from E_n could yield lower bounds or intermediate chromatic information if the Quillen–Lichtenbaum input is strengthened.","If the unpublished algebraic-closure theorem can be replaced by the K(n)-local version (as the paper notes), the argument applies to L_n-local categories, which might cover a wider class of inputs.","The vanishing descent principle might be tested independently on a toy example (e.g., a finite group acting on a bounded category) to gauge its generality before relying on it for the main theorem.","The paper's use of an unpublished result is a reminder that the proof is provisional; the weakest premise is external, not internal."],"forward_implications":["If correct, the redshift upper bound L_{T(m)}K(C)=0 for m≥n+2 holds for all L^f_n-local perfect categories, confirming the original theorem via an independent route.","The proof does not use the purity theorem, showing that the vanishing phenomenon is not peculiar to that framework.","The vanishing descent principle is a standalone tool that may apply to other localizing invariants beyond K-theory, such as THH or TC.","The reliance on the unpublished algebraic-closure theorem means the result is contingent on that statement being correct; once published, the argument becomes fully self-contained.","The method suggests that redshift upper bounds might be provable from Galois descent alone, without purity-type input."],"fun_headline_variants":[],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The argument stands on the unpublished result that the T(n)-localization of the filtered colimit of the finite Galois extensions of the T(n)-local sphere is the Lubin–Tate spectrum E_n; if that identification fails, the descent from E_n to the sphere collapses.","fun_headline_variants_meta":{"error":"'choices'"},"cache_creation_input_tokens":0},"created_at":"2026-08-04T12:49:56.726416+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check the unpublished algebraic-closure theorem: compute L_{T(n)}(colim_R S_{T(n)} R) and see whether it is E_n for some small n (e.g., n=2). Alternatively, find a finite group G and a G-equivariant perfect category C with L_Z K(C)=0 but L_Z K(C^{hG}) != 0; that would disprove Proposition 9, the vanishing descent principle. If either check goes against the paper, the proof of the redshift bound fails at that step.","supporting_citations":[],"review_version":1}