{"id":"e8ba3d6d-e7c4-48b7-bdde-23ac28ecb186","arxiv_id":"2501.09633","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"At p=2, L-theory of rings with anti-involution is claimed to have no chromatic redshift and to satisfy a chromatic purity theorem.","lead":"This paper proves that, at the prime 2, chromatically localized quadratic L-theory of an E1-ring with anti-involution depends only on the ring's own chromatic localization, and consequently L-theory does not exhibit chromatic redshift. Readers interested in Hermitian K-theory or chromatic homotopy would care because it extends the redshift and purity story from algebraic K-theory to L-theory and links chromatically localized Grothendieck-Witt theory to K-theory.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.11's proof is invalid: bounded-above spectra need not have bounded-above C2-fixed points; Corollary 3.12 and Theorems A/B rest on this gap.","rationale":"The reader correctly identifies Lemma 3.11 as the central load-bearing step. The proof as written is genuinely invalid: the assertion that bounded-above spectra have bounded-above homotopy fixed points is false, with HF_2 under the trivial C2-action being an explicit counterexample. Since Corollary 3.12 feeds directly into Theorems A, B, D, and E, the central argument is not established by the submitted text. I do not fully endorse the reader's formulation that the lemma is false because bounded-above spectra are not T(n)-acyclic: the failure is specifically in the boundedness of homotopy fixed points, and the lemma's conclusion may well be true via a different proof, e.g., using T(n)-local semiadditivity. The paper has real strengths: it is clearly organized, builds carefully on the Calmès et al. and Land programs, and gives a coherent reduction of the main theorems to a small number of lemmas. The additional reliance on the unpublished [HNS02] for normal L-theory formulas and for the geometric-fixed-point input in Theorem G raises the verification burden but is secondary to the Lemma 3.11 gap. On balance, the reader's REJECT verdict is justified: the main results are not proven by the argument presented, even though the target statements remain plausible and worth repairing.","tokens_in":28369,"tokens_out":47994,"duration_ms":523724,"concrete_test":"Test the proof of Lemma 3.11 by computing the homotopy fixed point spectral sequence for X = HF_2 with the trivial C2-action: the E_2 term contains H^s(C2; F_2) = F_2 for every s ≥ 0, with no differentials, so (HF_2)^{hC2} is not bounded above; this directly disproves the proof's key assertion. Then independently compute L_{T(1)}((HF_2)^{tC2}) and, more tellingly, L_{T(1)}((τ_{≤N} T(1))^{tC2}) for a small N; if either is nonzero, Lemma 3.11 is actually false, while if both are zero, the lemma may still be true but requires a replacement proof before Theorems A and B can be accepted.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is Lemma 3.11, used in Corollary 3.12 to identify T(n)-local L-theory with T(n)-local normal L-theory, and hence in Theorems A, B, D, and E. The proof's key inference is that if X is bounded above then so is X^{hC2}. This is false. Example: take X = HF_2 with the trivial C2-action. The homotopy fixed point spectral sequence has E_2^{s,t} = H^s(C2; π_t X), so E_2^{s,0} = H^s(C2; F_2), which is F_2 for every s ≥ 0; there are no differentials to kill these classes, so (HF_2)^{hC2} has nonzero homotopy in all nonnegative degrees and is not bounded above. A separate inference, that X ⊗ T(n) vanishes for bounded-above X, is at least unstated and is not automatic from the definition of T(n). Thus the asserted vanishing of X^{tC2} ⊗ T(n) is not justified. The text supplies no substitute argument, such as an appeal to T(n)-local semiadditivity, that would establish the lemma. Since Corollary 3.12 is proved only from Proposition 3.10 plus Lemma 3.11, and the main theorems pass through Corollary 3.12, the central claims are not established by the argument as written. I am not claiming Lemma 3.11 is necessarily false; the issue is that the proof is invalid and no replacement is supplied.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops additive Hermitian K-theory in the Calmès–Harpaz–Hebestreit–Steimle framework and applies it to chromatically localized L-theory at p=2. Its main results are Theorem A, which asserts a T(n)-local purity statement for quadratic L-theory of E1-rings with anti-involution; Theorem B, which asserts that T(n)-acyclic rings have T(n)-acyclic quadratic L-theory and hence that L-theory does not exhibit chromatic redshift; Theorems C–F, which extend these statements to idempotent complete Poincaré categories and to GW-theory, including a chromatic analogue of the homotopy limit problem; and Theorem G, a whiteshift statement for Tate L-theory. The proof strategy is to identify T(n)-local L-theory with T(n)-local normal L-theory via Corollary 3.12, and then to apply Land et al.'s purity theorem for K-theory, Land's connective L-theory results, and the unpublished [HNS02] normal L-theory and real THH results.","tokens_in":28682,"tokens_out":47071,"duration_ms":455120,"significance":"If the results are correct, they would constitute a substantial advance: L-theoretic analogues of chromatic purity, a proof of the absence of L-theoretic redshift, higher chromatic vanishing of quadratic L-theory, and a GW-theory analogue of the homotopy limit problem. The paper is clearly organized and makes good use of the additive Poincaré-category formalism, filtered colimits, Poincaré–Karoubi sequences, and T(n)-local semiadditivity. However, the central argument depends on a lemma whose proof is invalid as written, on a further indexing inconsistency in the proof of Theorem B, and on an unpublished manuscript; the significance of the paper is therefore conditional on repairs to these points.","major_comments":[{"comment":"The proof of Lemma 3.11 is invalid. It claims that if X is bounded above, then so is X^{hC2}; this is false: for X = HF_2 with the trivial C2-action, the homotopy fixed point spectral sequence gives π_s((HF_2)^{hC2}) = H^s(C2; F_2) = F_2 for every s ≥ 0, so the fixed points are not bounded above. The proof also implicitly uses that bounded-above spectra are T(n)-acyclic, which is false, since S^0 is bounded above and L_{T(n)}S^0 = T(n) ≠ 0. Consequently the asserted vanishing of X^{tC2} ⊗ T(n) is not established, and no substitute argument such as one based on T(n)-local semiadditivity is supplied. Since Corollary 3.12 follows from Proposition 3.10 and Lemma 3.11 and is used in the proof of Theorem A(1) and hence in Theorems B, C, D, and E, the main theorems are not supported as written.","section":"Section 3, Lemma 3.11"},{"comment":"The proofs of Theorem B and Theorem G rely essentially on the unpublished manuscript [HNS02] of Harpaz, Nikolaus, and Shah. Theorem 3.1 supplies the normal L-theory formula used to derive Corollary 3.3 and the final step of Theorem B, and Theorem G uses the [HNS02] identification of A with the C2-geometric fixed points of real THR. Since [HNS02] is cited as 'in preparation' and no public version or precise statement of the needed theorems is given, these dependencies are not checkable. The authors should provide a preprint reference or include the necessary statements and proofs in the paper.","section":"Section 3, Theorem 3.1; Theorem G"},{"comment":"There is an indexing inconsistency in the proof of Theorem B. The theorem is stated in the paper's own terminology as: if A has height ≤ n, then L(A, Ϙ) has height ≤ n. By Definition 1.1, 'height ≤ n' means T(i)-acyclicity for all i > n, i.e. T(n+1)-acyclicity. The proof, however, localizes at T(n) and cites [Lan22, Corollary 15] for vanishing of T(n)-local L-theory of the connective cover. The case n=0 is also said to be immediate from Theorem A(1), which for n=0 concerns HQ-locally, not T(1)-locally. Either the statement should be the introduction's version (if A is T(n)-acyclic, then L(A) is T(n)-acyclic), or the proof must localize at T(n+1) throughout; as written, the logical chain does not match the stated height condition.","section":"Section 3, proof of Theorem B"}],"minor_comments":[{"comment":"The reference to 'Proposition 3.8' should presumably be to 'Corollary 3.8'.","section":"Section 3.1, proof of Theorem A(1)"},{"comment":"The reference to 'Lemma 3.8' should presumably be to 'Corollary 3.8'.","section":"Theorem E, proof"},{"comment":"The reference [HNS02] is dated 2002 and listed as 'in preparation'; the current status and arXiv identifier, if available, should be given.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is potentially important, and the overall strategy is plausible, but the central proof chain currently fails at Lemma 3.11 and at the indexing in Theorem B, and it relies on an unpublished source. I would ask the authors for a corrected proof of Lemma 3.11, a repair of the Theorem B localization statements, and a public reference for [HNS02] before the paper can be accepted. If Lemma 3.11 turns out to be false, the main theorems would be in doubt and rejection would be the appropriate outcome."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper states genuinely new theorems: L-theoretic chromatic purity and no-redshift for all E1-rings with anti-involution at p=2, plus consequences for GW-theory and descent. That is a real extension of Land's connective result and Land et al.'s K-theory purity, and the organization is clear. The additive Poincaré category setup and Propositions 3.5–3.8 look competent, and the paper gives a useful categorical framework for chromatically localized Hermitian K-theory. Credit where it is due: this is not a frivolous paper, and the statements are worth having if the proofs can be fixed.\n\nThe soft spot is load-bearing. Lemma 3.11 claims that for any bounded-above spectrum X with C2-action, X^{tC2} ⊗ T(n) = 0 for n ≥ 1. The proof is invalid. Homotopy orbits do not vanish merely because X is bounded above; being bounded above does not imply T(n)-acyclicity, and the same error appears in the fixed-point part. The claim that X^{hC2} is bounded above when X is, is simply false: take X = HF2 with trivial C2-action, whose homotopy fixed points have nonzero homotopy in all nonnegative degrees. So the lemma is unsupported as written, and I suspect it is actually false in that generality. Corollary 3.12, and through it Theorems A, B, D, and E, all depend on this lemma. That is not a minor gap; it is the pivot of the proof. The paper also leans on the unpublished [HNS02] for the normal L-theory formula and for Theorem G, which is a verification burden though not automatically a flaw.\n\nThe central idea may still be right, and a repaired argument might go through with a different lemma or a more careful connectivity statement. But as it stands, the proof does not establish the advertised theorems. This is a paper for specialists in Hermitian K-theory and chromatic homotopy, not for a general audience. I would send it to a serious referee, with the clear instruction that Lemma 3.11 must be fixed or replaced before the main claims can be accepted. My own verdict is skeptical until that happens.","headline":"The target results are worthwhile and the proof strategy is a sensible adaptation of Land et al., but the main theorems rest on an unproved and likely false lemma about Tate constructions, so the paper needs major repair before it can be accepted.","tokens_in":29236,"tokens_out":1888,"would_cite":false,"duration_ms":21045,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["19G38","55P42","55P91"],"pacs":[],"model":"deepseek-v4-flash","headline":"At the prime 2, this paper proves that quadratic L-theory is chromatically pure—its $T(n)$-local part depends only on the $T(n)$-local ring—and therefore does not exhibit chromatic redshift.","keywords":["chromatic purity","quadratic L-theory","Hermitian K-theory","Poincaré categories","chromatic redshift","Grothendieck-Witt theory","Tate construction","prime 2"],"falsifier":"Compute the $T(n)$-localization of the Tate construction $X^{tC_2}$ for a bounded-above spectrum $X$ with a $C_2$-action, such as an Eilenberg-MacLane spectrum with a sign action; a nonzero answer for any $n\\ge 1$ would falsify Lemma 3.11 and collapse the proof of the main theorems. Alternatively, any $T(n)$-acyclic ring with involution whose quadratic L-theory is not $T(n)$-acyclic would falsify Theorem B.","tokens_in":28103,"feed_emoji":"🧮","tokens_out":15799,"duration_ms":133187,"temperature":0.7,"pith_summary":"This paper tries to establish that, at the prime $p=2$, quadratic L-theory is chromatically pure: for an $E_1$-ring $A$ with anti-involution $\\sigma$, the $T(n)$-local part of the quadratic L-theory of $(A,\\sigma)$ depends only on the $T(n)$-localization of the ring, not on higher chromatic information. It further claims that an $E_1$-ring that is $T(n)$-acyclic has $T(n)$-acyclic quadratic L-theory for every compatible Poincaré structure, so L-theory does not display the chromatic redshift phenomenon that algebraic K-theory exhibits. From this the paper derives that the higher chromatically localized quadratic L-theory of every idempotent complete Poincaré category vanishes, and that $T(n+1)$-local Grothendieck-Witt theory is determined by $T(n+1)$-local K-theory together with its duality. A reader should care because L-theory is the obstruction term linking Grothendieck-Witt theory to K-theory; if it cannot grow in chromatic height, Hermitian trace methods can be used to probe the chromatic behaviour of hermitian invariants.","feed_headline":"Quadratic L-theory is chromatically pure at p=2","feed_subtitle":"At each height, L-theory depends only on the ring's layer; higher layers vanish, enabling Hermitian trace methods.","key_machinery":"The workhorse is the additive (♭-additive) version of Poincaré categories, in which the quadratic functor takes values in group-like spaces rather than spectra, together with its additive L-theory $L^\\oplus$. A comparison theorem identifies $L^\\oplus$ with stable L-theory after stabilization, and a Morita-theoretic reduction to a single generator lets every idempotent complete Poincaré category be treated as a filtered colimit of rings with involution. The proof then runs on two rails: an identification of $T(n)$-local L-theory with $T(n)$-local normal L-theory, and pre-existing purity and vanishing results for K-theory and for connective L-theory that kill the error terms in the Poincaré-Karoubi fibre sequences. The step that makes the normal-L identification work is Lemma 3.11, which asserts that the Tate construction of a bounded-above spectrum with $C_2$-action is $T(n)$-acyclic for $n\\ge 1$, killing the cofibre $(\\tau_{<0}\\mathcal{L}(C,\\vartheta))^{tC_2}$ after $T(n)$-localization.","core_discovery":"On the paper's own terms, the central discovery is Theorem A and Theorem B. For every $E_1$-ring with anti-involution $(A,\\sigma)$ and every $n\\ge 0$, the map $(A,\\sigma)\\to (\\mathbb{L}_{T(n)}A,\\mathbb{L}_{T(n)}\\sigma)$ induces an equivalence on $T(n)$-local quadratic L-theory; and if $A$ is $T(n)$-acyclic, then $L(\\operatorname{Perf}(A),\\vartheta)$ is $T(n)$-acyclic for every Poincaré structure $\\vartheta$ whose duality is compatible with $\\sigma$. The paper concludes that L-theory does not exhibit chromatic redshift: the chromatic height of quadratic L-theory never exceeds the height of the underlying ring. A filtered-colimit argument then extends this from rings to all idempotent complete Poincaré categories, yielding vanishing of $T(n)$-local quadratic L-theory for $n\\ge 1$, and a chromatic analogue of the homotopy limit problem for GW-theory: under $T(n+1)$-acyclicity of endomorphism spectra, $T(n+1)$-local GW-theory is the $C_2$-homotopy fixed points of $T(n+1)$-local K-theory.","pith_inferences":["If the paper is right, L-theory is a height-preserving hermitian invariant, so any chromatic redshift visible in GW-theory must be inherited entirely from the K-theory term in the fibre sequence $K(C)_{hC_2}\\to GW(C)\\to L(C)$.","The argument is tied to $p=2$, so a natural extension is to ask whether the same purity and vanishing hold at odd primes, where the 2-local inputs in the $n=1$ case are no longer available.","Because the normal-L-theory identification rests on unpublished material, the theorems' public strength is conditional on that source; a concrete computation of $T(n)$-local L-theory for a ring like $ku$ or $tmf$ with a duality would independently test the predicted collapse of the fibre sequence."],"forward_implications":["Quadratic L-theory of any idempotent complete Poincaré category is $T(n)$-acyclic for every $n\\ge 1$, so the higher chromatic layers of L-theory are empty.","For an $E_1$-ring with anti-involution, $T(n)$-local quadratic L-theory depends only on the $T(n)$-local ring, so computations may be performed after telescopic localization.","When endomorphism spectra are $T(n+1)$-acyclic, $T(n+1)$-local GW-theory is the $C_2$-homotopy fixed points of $T(n+1)$-local K-theory, giving GW-theory the same descent behaviour as K-theory at that height.","For an $E_\\infty$-ring with trivial involution of height exactly $n$, the symmetric (Tate) L-theory also has height exactly $n$, a whiteshift that pairs with K-theory's redshift."],"supporting_citations":[{"why":"Supplies the chromatic purity theorem for algebraic K-theory whose proof strategy the paper adapts, including the vanishing of K-theory on $T(n)$-acyclic inputs and the Karoubi-sequence lemmas.","marker":"[Lan+20]"},{"why":"Provides the vanishing of $T(n)$-local quadratic L-theory for connective rings with involution and the reduction to the discrete case that Theorem B needs.","marker":"[Lan22]"},{"why":"Provides the foundations of GW- and L-theory for stable Poincaré categories, including the cofibre sequence linking K-theory, GW-theory, and L-theory.","marker":"[Cal+20b]"},{"why":"Supplies the map from L-theory to normal L-theory and the cofibre sequence involving the connective truncation of normal L-theory used to identify local L-theory with local normal L-theory.","marker":"[Cal+22]"},{"why":"Supplies the unpublished normal L-theory formula and the geometric-fixed-point identification used for Theorem G and for reduction to the connective case.","marker":"[HNS02]"},{"why":"Provides the additive (♭-additive) L-theory and the comparison theorem identifying additive L-theory with stable L-theory after stabilization.","marker":"[HS21]"}],"fun_headline_variants":["L-theory stays chromatically pure at p=2","No chromatic redshift: L-theory purity at p=2","Hermitian trace methods probe L-theory purity","GW-theory reduces to K-theory and duality","Higher chromatic layers of L-theory vanish"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a bounded-above spectrum with a $C_2$-action always has a $T(n)$-acyclic Tate construction for $n\\ge 1$ (Lemma 3.11), together with the unpublished normal L-theory formula cited as [HNS02]; remove either and the identification of $T(n)$-local L-theory with $T(n)$-local normal L-theory, on which Theorems A, B, D, and E rest, no longer goes through.","fun_headline_variants_meta":{"raw":{"variants":["L-theory stays chromatically pure at p=2","No chromatic redshift: L-theory purity at p=2","Hermitian trace methods probe L-theory purity","GW-theory reduces to K-theory and duality","Higher chromatic layers of L-theory vanish"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000219,"raw_usage":{"total_tokens":1477,"prompt_tokens":1015,"completion_tokens":462,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":631,"completion_tokens_details":{"reasoning_tokens":386}},"tokens_in":631,"tokens_out":462,"duration_ms":5000,"temperature":1.0,"reasoning_tokens":386,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T19:50:26.891165+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the $T(n)$-localization of the Tate construction $X^{tC_2}$ for a bounded-above spectrum $X$ with a $C_2$-action, such as an Eilenberg-MacLane spectrum with a sign action; a nonzero answer for any $n\\ge 1$ would falsify Lemma 3.11 and collapse the proof of the main theorems. Alternatively, any $T(n)$-acyclic ring with involution whose quadratic L-theory is not $T(n)$-acyclic would falsify Theorem B.","supporting_citations":[],"review_version":1}