{"id":"033738bf-6042-4aa6-a21e-9f12b06a3ea4","arxiv_id":"2606.21748","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Every infinite-dimensional subalgebra of a Krichever-Novikov algebra is isomorphic to a finite-codimensional subalgebra of another Krichever-Novikov algebra.","lead":"The paper proves that every infinite-dimensional subalgebra of a Krichever-Novikov algebra is isomorphic to a finite-codimensional subalgebra of another Krichever-Novikov algebra. This structural result is then used to prove non-noetherian properties for enveloping algebras and the Dixmier property for endomorphisms, plus an explicit classification for the Witt algebra case.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's provisional UNVERDICTED status stems from abstract-only review; the abstract itself introduces no inconsistency with the stated claim or definitions. The applications are presented as consequences, so any concern would require the proof details, which are absent here. Hence no adjustment to the reader's verdict is warranted.","tokens_in":1638,"tokens_out":299,"duration_ms":15396,"concrete_test":"Verify that the explicit classification of infinite-dimensional subalgebras of the Witt algebra (final section) is compatible with the main isomorphism statement by checking whether each listed subalgebra is indeed finite-codimensional in some other KN algebra on a curve; this is a direct, finite check on the listed families.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim asserts a structural isomorphism result for infinite-dimensional subalgebras of Krichever-Novikov algebras (vector fields on smooth affine curves). The provided abstract states the result and lists applications (non-noetherian enveloping algebras, Dixmier property except for Witt, explicit Witt classification) without internal contradictions visible at this level. The reader's weakest assumption matches the standard definition of these Lie algebras via the usual bracket on Der(K[C]), and no hidden assumption about characteristic, algebraically closed base field, or codimension finiteness is required to be false for the claim to be stated. No load-bearing gap is detectable from the given material.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper studies Lie subalgebras of Krichever-Novikov algebras, defined as Lie algebras of vector fields on smooth affine curves over a field K. The central claim is that every infinite-dimensional subalgebra is isomorphic to a finite-codimensional subalgebra of another Krichever-Novikov algebra. Applications derived from this include: the universal enveloping algebra of any such subalgebra is non-noetherian; all Krichever-Novikov algebras satisfy the Dixmier property (nonzero endomorphisms are automorphisms) except the Witt algebra; and an explicit classification of the infinite-dimensional subalgebras of the Witt algebra.","tokens_in":1736,"tokens_out":298,"duration_ms":23081,"significance":"If the main structural result holds, it would give a uniform description of infinite-dimensional subalgebras in this class of Lie algebras, directly enabling the listed applications on enveloping algebras and endomorphisms. The explicit Witt classification would also be a concrete contribution to the literature on the Witt algebra.","major_comments":[{"comment":"The abstract states the main theorem and its applications, but the provided manuscript text contains no proofs, derivations, or verification steps for the isomorphism claim or the subsequent results. Without these, the soundness of the central claim cannot be assessed beyond logical coherence of the stated conclusions.","section":"Abstract / Main result"}],"minor_comments":[],"recommendation":"uncertain","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their report and for highlighting the issue with the provided manuscript version. We address the major comment below.","responses":[{"response":"The version of the manuscript sent for review contained only the abstract, which was an error in the submission package. The complete manuscript includes full proofs of the main structural result on infinite-dimensional subalgebras, along with the derivations for the applications to enveloping algebras, the Dixmier property, and the classification for the Witt algebra. We will ensure the revised submission contains the complete text with all proofs and verification steps.","revision_made":"yes","referee_comment":"[Abstract / Main result] The abstract states the main theorem and its applications, but the provided manuscript text contains no proofs, derivations, or verification steps for the isomorphism claim or the subsequent results. Without these, the soundness of the central claim cannot be assessed beyond logical coherence of the stated conclusions."}],"tokens_in":1209,"tokens_out":211,"duration_ms":27769,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The central claim is that every infinite-dimensional subalgebra of a Krichever-Novikov algebra is isomorphic to a finite-codimensional subalgebra of some other Krichever-Novikov algebra. The authors then use this to prove that the universal enveloping algebra of any such subalgebra is not noetherian, that all Krichever-Novikov algebras except the Witt algebra satisfy the Dixmier property, and that the infinite-dimensional subalgebras of the Witt algebra can be listed explicitly.\n\nThe explicit classification of Witt subalgebras is the part that stands out as independently usable. The noetherian and Dixmier statements are direct consequences once the isomorphism is in hand, so they serve mainly to show the main theorem has reach.\n\nThe abstract is internally consistent and the claims do not appear to rest on circular definitions or hidden fitting. The main uncertainty is that the proof strategy is not visible, so it is not possible to judge how much the result depends on the base field being algebraically closed or on other geometric assumptions about the curve. That is a real limitation at this stage but not a contradiction in the stated results.\n\nThe paper is written for people who already work with Krichever-Novikov algebras or with infinite-dimensional Lie algebras of vector fields. Readers outside that small circle will not find much to take away, but inside the circle the classification and the enveloping-algebra consequence are the pieces most likely to be referenced.\n\nI would send it to a referee. The statements are specific enough that a specialist can check them, and the applications give the work a clear purpose beyond the isomorphism itself.","headline":"The isomorphism theorem for infinite-dimensional subalgebras of Krichever-Novikov algebras is the main new result, with the explicit Witt classification and the two applications as the concrete payoffs.","tokens_in":2235,"tokens_out":408,"would_cite":false,"duration_ms":26163,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Every infinite-dimensional subalgebra of a Krichever-Novikov algebra is isomorphic to a finite-codimensional subalgebra of another Krichever-Novikov algebra.","keywords":["Krichever-Novikov algebras","Lie subalgebras","vector fields","Witt algebra","Dixmier property","universal enveloping algebras","infinite-dimensional Lie algebras","affine curves"],"falsifier":"An explicit example of an infinite-dimensional subalgebra inside some Krichever-Novikov algebra that is not isomorphic to any finite-codimension subalgebra of any Krichever-Novikov algebra would disprove the main result.","tokens_in":2521,"feed_emoji":"📐","tokens_out":710,"duration_ms":32224,"temperature":0.7,"pith_summary":"The authors study subalgebras of Krichever-Novikov algebras, which are the Lie algebras formed by vector fields on smooth affine curves over a field. They establish that any infinite-dimensional subalgebra must be isomorphic to a subalgebra of finite codimension inside some other Krichever-Novikov algebra. This structural theorem matters because it reduces complicated subalgebras to more familiar finite-codimension ones, which then permits proofs about their algebraic properties. The result is used to demonstrate that the universal enveloping algebras are never Noetherian and to establish the Dixmier property for most of these algebras, along with a full classification in the Witt algebra case.","feed_headline":"Infinite subalgebras of curve vector fields reduce to finite-codim","feed_subtitle":"The isomorphism implies non-Noetherian enveloping algebras and yields a classification for subalgebras of the Witt algebra.","key_machinery":"The isomorphism that identifies every infinite-dimensional subalgebra of a Krichever-Novikov algebra with a finite-codimension subalgebra of some other Krichever-Novikov algebra.","core_discovery":"Every infinite-dimensional subalgebra of a Krichever-Novikov algebra is isomorphic to a finite-codimensional subalgebra of another Krichever-Novikov algebra. This is applied to show that the universal enveloping algebra of any such subalgebra is not Noetherian, that Krichever-Novikov algebras satisfy the Dixmier property that all their nonzero endomorphisms are automorphisms except for the Witt algebra, and to give an explicit classification of the infinite-dimensional subalgebras of the Witt algebra.","pith_inferences":["The reduction may allow computation of invariants such as cohomology or growth rates by transferring them to finite-codimension cases.","Analogous structural reductions could be sought for Lie algebras of vector fields on higher-dimensional varieties or singular curves.","The Witt algebra classification may provide a template for listing subalgebras in the general curve setting."],"forward_implications":["The universal enveloping algebra of any such infinite-dimensional subalgebra is not Noetherian.","Krichever-Novikov algebras satisfy the Dixmier property that every nonzero endomorphism is an automorphism, except for the Witt algebra.","The infinite-dimensional subalgebras of the Witt algebra admit an explicit classification."],"fun_headline_variants":["Infinite subalgebras of KN algebras isomorphic to finite-codim ones","Every infinite KN subalgebra is finite-codim isomorphic","Subalgebras of curve vector fields reduce to finite-codim ones","Infinite vector field subalgebras are finite-codim isomorphic"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"Krichever-Novikov algebras are defined exactly as the Lie algebras of vector fields on smooth affine curves over a field K, and subalgebras are taken with the standard Lie bracket of vector fields.","fun_headline_variants_meta":{"raw":{"variants":["Infinite subalgebras of KN algebras isomorphic to finite-codim ones","Every infinite KN subalgebra is finite-codim isomorphic","Subalgebras of curve vector fields reduce to finite-codim ones","Infinite vector field subalgebras are finite-codim isomorphic"]},"model":"grok-4.3","cost_usd":0.011671,"raw_usage":{"total_tokens":5079,"prompt_tokens":606,"num_sources_used":0,"completion_tokens":72,"cost_in_usd_ticks":116712000,"prompt_tokens_details":{"text_tokens":606,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":4401,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":606,"tokens_out":72,"duration_ms":28681,"temperature":1.0,"reasoning_tokens":4401,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T12:20:22.747246+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit example of an infinite-dimensional subalgebra inside some Krichever-Novikov algebra that is not isomorphic to any finite-codimension subalgebra of any Krichever-Novikov algebra would disprove the main result.","supporting_citations":[],"review_version":1}