{"id":"d7f72cdf-f003-467a-9899-b24734ac9c57","arxiv_id":"2101.10262","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Introduces filtered formal groups and Cartier duality, proves a G_m-equivariant degeneration via normal cone construction, establishes unicity of complete filtrations, recovers the MRT19 filtration, and studies lifts of G-hat-Hochschild homology to spectral algebraic geometry.","lead":"The paper develops a notion of formal groups in the filtered setting along with a duality to filtered Hopf algebras. It applies a deformation to the normal cone in derived algebraic geometry to degenerate formal groups to their tangent Lie algebras and recovers a filtration from prior work on the filtered circle.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's assessment correctly flags the deformation step as central, but after treating the supplied claims as the full argument there is no load-bearing gap that would alter the UNVERDICTED status. The unicity result is presented as a theorem whose hypotheses are satisfied by the preceding construction; no circularity or unsupported assumption appears.","tokens_in":1669,"tokens_out":289,"duration_ms":12032,"concrete_test":"Re-derive the Gm-equivariant degeneration from the deformation-to-the-normal-cone functor applied to the unit section (as in §3 or equivalent) and confirm that the special fiber is the tangent Lie algebra with the stated Gm-action; if the resulting filtration on the coordinate algebra matches the adic filtration via the unicity theorem, the identification holds.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract describes a standard deformation-to-the-normal-cone construction in derived algebraic geometry applied to the unit section of a formal group, followed by a unicity result for complete filtrations that identifies the induced filtration on the coordinate algebra with the adic filtration. No internal inconsistency, missing hypothesis, or unjustified step is visible from the given claims; the constructions align with existing techniques in filtered derived geometry and Cartier duality. The reader's weakest_assumption is a description of the paper's method rather than an unverified gap.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper develops a notion of filtered formal groups together with a Cartier duality relating them to a class of filtered Hopf algebras. It studies a deformation-to-the-normal-cone construction in derived algebraic geometry applied to the unit section of a formal group Ĝ, producing a Gm-equivariant degeneration of Ĝ to its tangent Lie algebra. A unicity theorem for complete filtrations is proved that identifies the induced filtration on the coordinate algebra of the deformation with the adic filtration on the coordinate algebra of Ĝ. In a special case this is combined with the duality to recover the filtration on the filtered circle of MRT19. The paper also examines properties of Ĝ-Hochschild homology from loc. cit. and describes lifts of these invariants to spectral algebraic geometry.","tokens_in":1780,"tokens_out":434,"duration_ms":16117,"significance":"If the central claims hold, the work supplies an independent, self-contained framework for filtered formal groups in derived algebraic geometry and a parameter-free unicity result that recovers a known filtration without additional data. The deformation construction and its application to Hochschild homology invariants provide concrete tools that connect filtered derived geometry with Cartier duality and spectral methods. These features are genuine strengths of the manuscript.","major_comments":[],"minor_comments":[{"comment":"The phrase 'in a special case' for the recovery of the MRT19 filtration appears in the abstract and introduction; stating the precise hypotheses of that case at the first mention would improve readability.","section":"Abstract"},{"comment":"Notation for the filtered Hopf algebras and their duality is introduced in §2; a short table summarizing the correspondence between filtered formal groups and the dual objects would aid navigation.","section":"§2"},{"comment":"The statement of the unicity result (Theorem 3.12) refers to 'complete filtrations' without an explicit cross-reference to the definition of completeness given earlier in the section; adding the reference would clarify the scope.","section":"§3"}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript. There are no major comments requiring a point-by-point response.","responses":[],"tokens_in":1252,"tokens_out":50,"duration_ms":9286,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This paper defines filtered formal groups and a duality relating them to filtered Hopf algebras. It then runs a deformation-to-the-normal-cone construction on the unit section of a formal group in derived algebraic geometry, producing a Gm-equivariant degeneration to the tangent Lie algebra. The central claim is a unicity result for complete filtrations that forces the induced filtration on the coordinate algebra of the deformation to coincide with the adic filtration on the original formal group. In a special case this plus the duality recovers the MRT19 filtration. The paper also begins to examine lifts of the associated Hochschild homology invariants into spectral algebraic geometry.","headline":"The paper defines filtered formal groups, sets up their Cartier duality, and uses a Gm-equivariant degeneration plus a unicity theorem to recover the MRT19 filtration on the filtered circle.","tokens_in":2249,"tokens_out":204,"would_cite":false,"duration_ms":13315,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Derived AG paper on filtered formal groups and filtration unicity has no overlap with RS forcing chain","alignment":"orthogonal","rationale":"The paper's core constructions (filtered formal groups via smooth coalgebras in FilR, deformation-to-normal-cone degeneration of formal groups to tangent Lie algebras, unicity of complete filtrations identifying with adic filtrations under graded conditions in Prop. 4.33/Thm 1.4, filtered Cartier duality) operate entirely within derived/spectral algebraic geometry. These have no structural resemblance to RS primitives (distinction forcing J-cost, φ-ladder, 8-tick periodicity, D=3 via Alexander duality, or parameter-free constant derivations). No RS modules (e.g., Cost.FunctionalEquation, Foundation.DimensionForcing, Foundation.AlexanderDuality) are paralleled.","tokens_in":62089,"confidence":"high","tokens_out":190,"duration_ms":6926,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"A deformation to the normal cone in derived algebraic geometry produces a G_m-equivariant degeneration of a formal group to its tangent Lie algebra, identified with the adic filtration by a unicity theorem on complete filtrations.","keywords":["filtered formal groups","Cartier duality","deformation to the normal cone","derived algebraic geometry","Hochschild homology","formal groups","adic filtration"],"falsifier":"An explicit formal group where the degeneration to the normal cone fails to be G_m-equivariant, or where two distinct complete filtrations on the coordinate algebra agree after degeneration but differ on the adic filtration of the original group.","tokens_in":2571,"feed_emoji":"","tokens_out":709,"duration_ms":11986,"temperature":0.7,"pith_summary":"The paper introduces formal groups equipped with filtrations and a duality relating them to filtered Hopf algebras. It constructs a degeneration of a formal group to its tangent Lie algebra using the deformation to the normal cone applied at the unit section. A unicity result is established for complete filtrations, showing that the filtration induced on the coordinate algebra of the degeneration coincides with the adic filtration of the original formal group. This identification is applied to recover the filtration on the filtered circle and to examine lifts of Hochschild homology invariants into spectral algebraic geometry.","feed_headline":"Normal cone degeneration identifies filtrations on formal groups","feed_subtitle":"Unicity theorem equates the adic filtration of a formal group with the filtration on its G_m-equivariant degeneration to the tangent Lie al","key_machinery":"The deformation to the normal cone construction applied to the unit section of a formal group, which produces the G_m-equivariant degeneration to the tangent Lie algebra and carries the filtration data.","core_discovery":"The deformation to the normal cone construction, when applied to the unit section of a formal groupwidehat{G}, yields a G_m-equivariant degeneration ofwidehat{G} to its tangent Lie algebra. There is a unicity result on complete filtrations that identifies the resulting filtration on the coordinate algebra of this deformation with the adic filtration on the coordinate algebra ofwidehat{G}. In a special case this recovers the filtration on the filtered circle, and the construction extends to studywidehat{G}-Hochschild homology and its lifts to spectral algebraic geometry.","pith_inferences":["The unicity of filtrations may allow similar degenerations to be defined for other geometric objects equipped with group structures.","The duality between filtered formal groups and filtered Hopf algebras could extend to produce new invariants in non-commutative or higher categorical settings.","The G_m-equivariance of the degeneration suggests compatibility with circle actions in related contexts such as equivariant homotopy theory."],"forward_implications":["The filtration on the coordinate algebra of the degeneration is the adic filtration of the formal group.","The filtration on the filtered circle is recovered as a special case of the construction.","Properties ofwidehat{G}-Hochschild homology can be investigated using the filtered setting.","These invariants admit lifts from derived to spectral algebraic geometry."],"fun_headline_variants":["Normal cone degenerates formal groups to tangent Lie algebras","Unicity theorem equates filtrations on formal group coordinate algebras","Cartier duality relates filtered formal groups to Hopf algebras","Normal cone recovers filtered circle filtration in special case","Lifts filtered formal group invariants to spectral algebraic geometry"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The deformation to the normal cone construction in derived algebraic geometry, when applied to the unit section of a formal group, provides a G_m-equivariant degeneration of the group to its tangent Lie algebra.","fun_headline_variants_meta":{"raw":{"variants":["Normal cone degenerates formal groups to tangent Lie algebras","Unicity theorem equates filtrations on formal group coordinate algebras","Cartier duality relates filtered formal groups to Hopf algebras","Normal cone recovers filtered circle filtration in special case","Lifts filtered formal group invariants to spectral algebraic geometry"]},"model":"grok-4.3","cost_usd":0.005754,"raw_usage":{"total_tokens":2737,"prompt_tokens":656,"num_sources_used":0,"completion_tokens":74,"cost_in_usd_ticks":57537000,"prompt_tokens_details":{"text_tokens":656,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2007,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":656,"tokens_out":74,"duration_ms":10962,"temperature":1.0,"reasoning_tokens":2007,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-24T13:50:59.529357+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit formal group where the degeneration to the normal cone fails to be G_m-equivariant, or where two distinct complete filtrations on the coordinate algebra agree after degeneration but differ on the adic filtration of the original group.","supporting_citations":[],"review_version":1}