{"id":"aabbc3b7-4cb3-4c95-803d-d4d625f9ae9e","arxiv_id":"2607.00652","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The automorphism group of a non-normal rigid affine surface is finite-dimensional precisely when there is no non-trivial additive group action.","lead":"This paper extends a known characterization of finite-dimensional automorphism groups from normal affine surfaces to non-normal ones. A smart generalist might read it to see how symmetry groups of algebraic surfaces behave when singularities are present.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's UNVERDICTED verdict stems directly from the absence of proof details. With no manuscript text available to locate a specific gap in the extension step, the assessment remains unchanged; no new load-bearing concern can be isolated.","tokens_in":1521,"tokens_out":217,"duration_ms":13677,"concrete_test":"Obtain the full manuscript and check whether the proof of the extension (likely in the main theorem section following the normal-case citation) explicitly verifies that the definitions of rigidity and finite-dimensionality carry over verbatim or require only minor adjustments that preserve the iff statement.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The full manuscript text is referenced as available but not supplied in the provided context, so no concrete technical detail of the extension argument (e.g., how rigidity or finite-dimensionality is redefined or how the G_a-action equivalence is proved for non-normal surfaces) can be examined. The reader's weakest assumption therefore cannot be tested or confirmed as load-bearing.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript extends the theorem of Perepechko and Zaidenberg, which characterizes finite-dimensional automorphism groups of normal affine surfaces by the absence of non-trivial Ga-actions, to the setting of non-normal affine surfaces. The central claim is that the same equivalence holds without the normality assumption.","tokens_in":1585,"tokens_out":248,"duration_ms":10355,"significance":"If the extension is valid, the result supplies a uniform criterion for finite-dimensionality of Aut(X) that applies to all affine surfaces, normal or not. This would strengthen the link between rigidity (no Ga-action) and the structure of automorphism groups in the broader category of affine surfaces.","major_comments":[],"minor_comments":[{"comment":"The abstract states the extension but provides no indication of how the definitions of rigidity and finite-dimensionality are adapted to non-normal surfaces or how the proof avoids new obstructions at singularities; a brief outline in the introduction would clarify the scope of the extension.","section":null}],"recommendation":"uncertain","confidential_remarks":"The manuscript appears to rely on a recent result by an overlapping author (Perepechko); the citation pattern should be checked for appropriate disclosure of overlap."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for summarizing our extension of the Perepechko-Zaidenberg theorem to non-normal affine surfaces. The central claim is that finite-dimensionality of Aut(X) is equivalent to the absence of non-trivial Ga-actions, and this holds without assuming normality.","responses":[],"tokens_in":973,"tokens_out":73,"duration_ms":11739,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The punchline is that the paper states the same criterion now applies to non-normal affine surfaces: Aut(X) is finite-dimensional if and only if X admits no nontrivial Ga-action.\n\nWhat is new is the non-normal setting. The prior result covered only normal surfaces, so this completes the statement for all affine surfaces.\n\nIt does the job of making the extension explicit and tying it to the existing literature on rigidity and Ga-actions.\n\nThe soft spots are clear from the available information. Only the abstract is here, so there is no way to inspect the proof, the handling of singularities, or whether the definitions of finite-dimensionality and rigidity transfer without extra work. The weakest assumption in the extension is that no new obstructions arise from non-normality, but that cannot be checked. The citation to the overlapping prior result is standard and not a problem on its own.\n\nThis paper is for algebraic geometers who classify affine surfaces or study their automorphism groups. A reader who already knows the normal case will see the value right away.\n\nIt deserves a serious referee to examine the actual argument. I would send it to peer review.","headline":"This extends the 2023 Perepechko-Zaidenberg equivalence on finite-dimensional automorphism groups from normal affine surfaces to the non-normal case.","tokens_in":2034,"tokens_out":307,"would_cite":false,"duration_ms":20009,"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":"The automorphism group of a non-normal affine surface is finite-dimensional if and only if it admits no non-trivial additive group action.","keywords":["automorphism group","affine surface","non-normal","rigid","finite-dimensional","additive group action","algebraic geometry"],"falsifier":"Finding a non-normal affine surface with no non-trivial additive group action whose automorphism group is nevertheless infinite-dimensional would disprove the claim.","tokens_in":2424,"feed_emoji":"","tokens_out":501,"duration_ms":22520,"temperature":0.7,"pith_summary":"This paper extends a previous result on normal affine surfaces to the non-normal case. It establishes that the automorphism group is finite-dimensional precisely when the surface has no non-trivial action by the additive group. A reader would care because this provides a criterion for when these groups are finite-dimensional without requiring the surface to be normal. The extension relies on rigidity to ensure the properties transfer.","feed_headline":"Aut groups of non-normal rigid affine surfaces are finite-dimensional","feed_subtitle":"The group is finite-dimensional precisely when the surface has no non-trivial additive group action, extending the normal case.","key_machinery":"The equivalence between finite-dimensionality of the automorphism group and absence of non-trivial Ga-actions on the surface, extended from normal to non-normal cases using rigidity.","core_discovery":"The authors extend the equivalence established for normal affine surfaces: the automorphism group of a non-normal affine surface is finite-dimensional if and only if the surface admits no non-trivial action of the additive group of the base field. This is shown for rigid non-normal affine surfaces.","pith_inferences":["This suggests the criterion may hold for other classes of surfaces beyond affine ones.","Further work could test if rigidity is necessary or if the result generalizes to higher dimensions."],"forward_implications":["The result classifies non-normal rigid affine surfaces with finite-dimensional automorphism groups.","It broadens the applicability of the criterion to surfaces that are not normal.","Automorphism groups remain finite-dimensional under the no non-trivial additive action condition even without normality."],"fun_headline_variants":["Non-normal rigid affine surfaces have finite-dim aut groups","Aut groups finite-dimensional for non-normal rigid affine surfaces","Finite-dimensional aut groups for non-normal rigid affine surfaces","Aut groups finite-dim on rigid non-normal affine surfaces"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The definitions and properties of rigidity and finite-dimensionality extend to non-normal surfaces without introducing new obstructions that would break the equivalence.","fun_headline_variants_meta":{"raw":{"variants":["Non-normal rigid affine surfaces have finite-dim aut groups","Aut groups finite-dimensional for non-normal rigid affine surfaces","Finite-dimensional aut groups for non-normal rigid affine surfaces","Aut groups finite-dim on rigid non-normal affine surfaces"]},"model":"grok-4.3","cost_usd":0.010262,"raw_usage":{"total_tokens":4440,"prompt_tokens":455,"num_sources_used":0,"completion_tokens":61,"cost_in_usd_ticks":102624500,"prompt_tokens_details":{"text_tokens":455,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3924,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":455,"tokens_out":61,"duration_ms":26795,"temperature":1.0,"reasoning_tokens":3924,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-02T06:19:19.049157+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Finding a non-normal affine surface with no non-trivial additive group action whose automorphism group is nevertheless infinite-dimensional would disprove the claim.","supporting_citations":[],"review_version":1}