{"id":"90ba5a46-fb60-49e9-b886-7264807baa50","arxiv_id":"2606.08109","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":2.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Cyclotomic spectra are spectra with circle action and fixed-point structure maps that underlie THH, TC and the recent counterexamples to the telescope conjecture.","lead":"This is an expository survey of cyclotomic spectra, the circle-group-equipped spectra that appear in algebraic K-theory, THH and TC. It supplies the background needed to read the Burklund–Hahn–Levy–Schlank disproof of the telescope conjecture at heights greater than 1.","discovery_kind":"review","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The manuscript’s central claim is that cyclotomic spectra furnish the correct setting in which the BHLS coassembly maps can be stated and compared. All technical machinery (Bökstedt functors, Mandell–May orthogonal spectra, Nikolaus–Scholze ∞-categorical constructions, the Antieau–Nikolaus t-structure, TR, etc.) is developed carefully and with explicit references. No new theorem is proved, so the only possible load-bearing concern would be a mis-statement of a cited result or an internal inconsistency in the definitions. Neither appears. The reader’s observation that BHLS details are deferred is accurate but does not undermine the survey’s correctness or utility. Hence the ACCEPT verdict stands unchanged.","tokens_in":70051,"tokens_out":466,"duration_ms":5154,"concrete_test":"Verify that every numbered definition and theorem cited from BHLS, NS18 or AN21 (e.g., the fiber sequence of Theorem 5.57, the Antieau–Nikolaus heart of Theorem 5.70, and the coassembly maps of Definition 5.6) matches the corresponding statement in the source papers; if any citation is inaccurate the exposition would need correction, but the pedagogical claim would remain intact.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper is a pure exposition of cyclotomic spectra (Definitions 1.4, 4.51, 5.23–5.24) and the coassembly maps that appear in BHLS. Its strongest claim is pedagogical: these objects are the natural home for THH/TC and the coassembly maps of K/TC on Z-actions distinguish L_{T(n+1)} from L_{K(n+1)}. Because the manuscript asserts no original theorems and explicitly defers the Adams operations on BP⟨n⟩ and the local-unipotence hypotheses of BHLS §4 to the companion [Rav26] and the original sources, there is no internal soft spot that could falsify the exposition itself. The reader’s weakest-assumption remark correctly notes the black-box treatment, but that is a feature of the paper’s declared scope rather than a load-bearing flaw.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript is a pure expository account of cyclotomic spectra, developed in three successive languages (classical cyclic objects and Bökstedt functors, orthogonal T-spectra with geometric fixed-point structure maps, and the Nikolaus–Scholze ∞-categorical formulation). It supplies consistent definitions of THH, TC, TR and the associated coassembly maps, and shows how these maps, applied to Z-actions on ring spectra, distinguish L_{T(n+1)} from L_{K(n+1)} for n≥1, thereby explaining the role of cyclotomic spectra in the BHLS disproof of the telescope conjecture. All original technical work (Adams operations on BP⟨n⟩, local unipotence) is deferred to the companion paper [Rav26] and the primary sources.","tokens_in":70232,"tokens_out":701,"duration_ms":7537,"significance":"The paper fills a genuine pedagogical gap: the literature on cyclotomic spectra is scattered across three incompatible formalisms, and the BHLS argument is inaccessible without a unified dictionary. The careful cross-translation of definitions (1.4, 4.51, 5.23–5.24), the explicit roadmap of §1.1, and the self-contained treatment of the Greenlees–May diagram and the Antieau–Nikolaus t-structure make the manuscript a valuable reference for anyone who needs to read BHLS or subsequent work on chromatic redshift. Because the text asserts no new theorems, its value is entirely expository; that value is high.","major_comments":[],"minor_comments":[{"comment":"Throughout: the manuscript systematically uses the non-standard symbols mT, TopC, BPxny, etc. While the author explains the font convention, a short “Notation” paragraph at the end of §1 would help readers who jump into later sections.","section":null},{"comment":"§2.5–2.7: the successive introductions of the cyclic, paracyclic, r-cyclic and epicyclic categories are thorough but dense; a single summary table of objects, morphisms and geometric realisations (already sketched in §2.8) placed earlier would improve navigability.","section":null},{"comment":"§5.11: the surprising definition of coconnectivity in the Antieau–Nikolaus t-structure is stated clearly, yet a one-sentence reminder that the heart consists of p-typical Cartier modules (Definition 5.72) would make the subsequent discussion of TR more self-contained.","section":null},{"comment":"References: a few classical sources (e.g., the original Bökstedt preprint, Connes’ cyclic cohomology papers) appear only by short citation; expanding the bibliographic entries slightly would aid readers new to the subject.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is pure exposition and therefore sits at the edge of what many pure-mathematics journals accept. If the journal’s policy is to publish high-quality surveys that make recent breakthroughs accessible, this paper is an excellent fit; if the journal insists on original theorems, the companion [Rav26] would be the more natural submission. I see no scientific reason to reject."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This is Ravenel’s attempt to get his head around the cyclotomic spectra that sit under the BHLS disproof of the telescope conjecture for n>1. It is pure exposition—no original theorems—and that is exactly what it claims to be.\n\nWhat it does well is organize three decades of definitions into one coherent narrative. You get the classical Bökstedt–Hsiang–Madsen story with FSPs and edgewise subdivision, the orthogonal T-spectra version of Blumberg–Mandell (with geometric fixed points and the Greenlees–May diagram), and the ∞-categorical version of Nikolaus–Scholze (lax equalizers, Tate diagonals, the Antieau–Nikolaus t-structure). The roadmap in §1.1 and the outline in §1.5 make clear how each piece feeds the coassembly maps that BHLS use to separate L_{T(n+1)} from L_{K(n+1)}. The historical asides are useful rather than ornamental, and the citations are careful.\n\nThe soft spots are the ones the author flags himself: the Adams operations on BP⟨n⟩ and the local-unipotence hypotheses of BHLS §4 are deferred to the companion [Rav26], and the Antieau–Nikolaus heart is treated as a black box. That is a deliberate scope choice, not a hidden flaw. The math that is present is standard and correctly attributed; there are no free parameters or circular definitions.\n\nThis is for people who already know some chromatic homotopy or algebraic K-theory and want a single place to see how the cyclotomic package fits together before diving into BHLS or NS18. It is not for beginners and it will not change the field, but it will save a lot of time for the right readers.\n\nI would send it to a serious referee. It is a clean, useful survey of technical material that is currently hard to assemble from the primary sources.","headline":"Solid, historically grounded survey that makes the cyclotomic technology behind BHLS readable; pure exposition with no new theorems, but high pedagogical value for the right audience.","tokens_in":70787,"tokens_out":497,"would_cite":true,"duration_ms":9496,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55P42","19D55","55N20","18N60"],"pacs":[],"model":"grok-4.5","headline":"Cyclotomic spectra equip ordinary spectra with circle actions and fixed-point structure maps so that THH and TC become the natural home for detecting the failure of the telescope conjecture above height 1.","keywords":["cyclotomic spectra","topological Hochschild homology","topological cyclic homology","telescope conjecture","algebraic K-theory","circle actions","coassembly maps","Tate construction"],"falsifier":"An explicit calculation showing that the T(n+1)-localized coassembly map for algebraic K-theory of BP<n> with its Z-action is in fact an equivalence, or that L_{T(n+1)} TC(X) and L_{K(n+1)} TC(X) coincide for the spectra X constructed by BHLS.","tokens_in":70965,"feed_emoji":"🔄","tokens_out":742,"duration_ms":12169,"temperature":0.7,"pith_summary":"This expository paper explains cyclotomic spectra: spectra carrying a circle-group action together with equivariant structure maps that identify the original spectrum with its geometric (or Tate) fixed points under every finite cyclic subgroup after a root reindexing. These objects arise automatically as the topological Hochschild homology of ring spectra and support topological cyclic homology TC, the equalizer of restriction and Frobenius maps on fixed-point towers. The author assembles the classical, equivariant, and infinity-categorical definitions, then shows how coassembly maps for algebraic K-theory and TC applied to integer actions on height-n spectra become equivalences after K(n+1)-localization but fail after T(n+1)-localization. The resulting distinction supplies the counterexamples that disprove the telescope conjecture for chromatic heights greater than 1. A sympathetic reader cares because the same circle-fixed-point package organizes decades of calculations in algebraic K-theory and now separates two localizations that were long expected to coincide.","feed_headline":"Circle actions kill the telescope conjecture above height 1","feed_subtitle":"Expository map of the spectra that let THH and TC separate T(n) from K(n) localizations","key_machinery":"The cyclotomic structure maps (either geometric fixed-point equivalences Phi_p or the equivalent Tate maps phi_p : X to X^{t C_p}) together with the resulting infinity-category CycSp; these turn the Greenlees-May Tate diagram into a fiber sequence that computes TC and make coassembly maps for functors applied to homotopy fixed points under Z the decisive comparison.","core_discovery":"Cyclotomic spectra are the minimal extra structure on T-spectra that makes topological Hochschild homology and topological cyclic homology functorial, computable via fiber sequences, and sensitive enough that their coassembly maps for Z-actions distinguish telescopic localization L_{T(n+1)} from chromatic localization L_{K(n+1)} for every n greater than or equal to 1.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Cyclotomic spectra let TC separate T(n+1) from K(n+1) localizations","T-circle structure on spectra disproves telescope conjecture above height 1","Extra circle actions make TopC distinguish telescopic from chromatic layers","Why cyclotomic spectra turn THH and TC into chromatic height detectors","Minimal T-spectrum structure kills TC conjecture for all heights n≥1"],"cache_read_input_tokens":65664,"weakest_assumption_plain":"The entire account treats the existence and properties of the BHLS counterexamples (Adams operations on truncated Brown-Peterson spectra and the local-unipotence hypotheses that force coassembly failure) as established black boxes whose internal verification is deferred elsewhere.","fun_headline_variants_meta":{"raw":{"variants":["Cyclotomic spectra let TC separate T(n+1) from K(n+1) localizations","T-circle structure on spectra disproves telescope conjecture above height 1","Extra circle actions make TopC distinguish telescopic from chromatic layers","Why cyclotomic spectra turn THH and TC into chromatic height detectors","Minimal T-spectrum structure kills TC conjecture for all heights n≥1"]},"model":"grok-4.5","effort":"low","cost_usd":0.004628,"raw_usage":{"total_tokens":1342,"prompt_tokens":760,"num_sources_used":0,"completion_tokens":105,"cost_in_usd_ticks":46280000,"prompt_tokens_details":{"text_tokens":760,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":477,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":760,"tokens_out":105,"duration_ms":3888,"temperature":1.0,"reasoning_tokens":477,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T18:13:01.899446+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"An explicit calculation showing that the T(n+1)-localized coassembly map for algebraic K-theory of BP<n> with its Z-action is in fact an equivalence, or that L_{T(n+1)} TC(X) and L_{K(n+1)} TC(X) coincide for the spectra X constructed by BHLS.","supporting_citations":[],"review_version":2}