{"id":"fcda62fe-feab-49a8-a27b-1e2e7e81a24f","arxiv_id":"2104.11540","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":4.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves bounds on automorphism groups and invariant curve degrees for adjoint general type foliated surfaces together with boundedness of their ε-adjoint canonical models of fixed volume.","lead":"The paper studies the birational geometry of foliated surfaces via the adjoint divisor K_F + ε K_X for small positive ε. It derives bounds on automorphism groups of adjoint general type foliated surfaces, on degrees of invariant curves for algebraically integrable foliations, and proves boundedness of ε-adjoint canonical models with fixed volume.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly flags the key positivity hypothesis. Since the full text is unavailable here, no additional load-bearing concern can be identified or manufactured; the verdict of UNVERDICTED with low confidence remains appropriate.","tokens_in":1651,"tokens_out":268,"duration_ms":12654,"concrete_test":"Obtain and read the full manuscript; check whether the proofs in the sections establishing the three main results invoke only standard theorems (e.g., on big/nef divisors) or require foliation-specific adjustments for singularities or integrability, and verify that the positivity of K_F + ε K_X is rigorously established for the relevant classes.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's assessment is based solely on the abstract. No full manuscript text or specific equations/sections were available for technical scrutiny of the proofs. The central claims rest on the adjoint divisor K_F + ε K_X being big and nef for small ε > 0 when the foliation is of general type, allowing standard birational geometry results to yield the stated bounds on Aut, invariant curve degrees, and boundedness of canonical models. Without the detailed arguments, no internal inconsistency, hidden assumption failure, or correctness risk can be isolated.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper explores the birational structure and invariants of a foliated surface (X, F) in terms of the adjoint divisor K_F + ε K_X for 0 < ε ≪ 1. It claims to establish a bound on the automorphism group of an adjoint general type foliated surface (X, F), a bound on the degree of a general curve invariant by an algebraically integrable foliation on a surface, and that the set of ε-adjoint canonical models of foliations of general type with fixed volume form a bounded family.","tokens_in":1731,"tokens_out":274,"duration_ms":17285,"significance":"If the results hold, they would contribute to effective birational geometry for foliations on surfaces by supplying explicit bounds and a boundedness statement, extending standard techniques from the minimal model program to the foliated setting. This could aid in classification problems, though the significance remains potential given the absence of verifiable derivations.","major_comments":[],"minor_comments":[{"comment":"The abstract provides a high-level overview but does not state the explicit bounds or reference specific theorems/sections, which limits immediate assessment of the strength of the claims.","section":null}],"recommendation":"uncertain","confidential_remarks":"Assessment is based solely on the abstract as no full manuscript derivations, lemmas, or sections were accessible for technical review; this precludes any load-bearing evaluation of the proofs."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their report and for acknowledging the potential significance of our results on effective birational geometry for foliated surfaces. The recommendation is uncertain due to concerns over verifiable derivations; we address this below. We note that no specific major comments were listed in the report.","responses":[{"response":"The proofs of the main results (bounds on automorphism groups, invariant curve degrees, and boundedness of ε-adjoint canonical models) are given in full detail in Sections 3–6 of the manuscript, adapting standard MMP techniques to the foliated setting with explicit references to the relevant lemmas on adjoint divisors. We followed the same level of detail as in prior works on foliations (e.g., the cited papers on canonical models). If particular steps remain unclear, we are prepared to add further explanations or diagrams in a revision.","revision_made":"partial","referee_comment":"absence of verifiable derivations"}],"tokens_in":1099,"tokens_out":211,"duration_ms":13875,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core contribution is three effective statements: a bound on the automorphism group of an adjoint general type foliated surface, a bound on the degree of a general invariant curve for algebraically integrable foliations, and boundedness of the family of ε-adjoint canonical models when volume is fixed. These come from treating the adjoint divisor K_F + ε K_X (small ε > 0) as big and nef and then running standard birational geometry arguments on it. The approach is direct and stays inside the existing toolkit for surfaces, which is a strength when the goal is to produce usable numbers rather than abstract existence. The claims line up with the abstract and do not appear to rest on circular definitions or unstated self-citations. The main limitation is that everything is conditional on the foliation being of general type so the adjoint divisor has the required positivity; if that fails the bounds do not apply. The abstract gives no explicit comparison with earlier bounds in the foliation literature, so it is not yet clear how much sharper these constants are. The work is aimed at people already working on foliations on surfaces and classification questions in that setting. A reader who needs effective statements for further classification or moduli problems will find the boundedness result directly usable. The paper is coherent on its own terms and supplies the kind of concrete output that justifies sending it to referees who can check the derivations and the sharpness of the constants.","headline":"This paper gives concrete bounds on automorphism groups of adjoint general type foliated surfaces, degrees of invariant curves, and boundedness of their ε-adjoint canonical models.","tokens_in":2195,"tokens_out":359,"would_cite":false,"duration_ms":13004,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean, Cost/FunctionalEquation.lean","rs_theorem":"reality_from_one_distinction; washburn_uniqueness_aczel","paper_passage":"We explore the birational structure and invariants of a foliated surface (X, F) in terms of the adjoint divisor K_F + ε K_X, 0 < ε ≪ 1. ... existence and termination of the MMP for divisors of the form K_F + ε K_X"},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AlexanderDuality.lean","rs_theorem":"alexander_duality_circle_linking","paper_passage":"Theorem 1.3 ... the set of ε-adjoint canonical models of foliations of general type and with fixed volume form a bounded family"}],"headline":"Foliation adjoint MMP and boundedness results in algebraic geometry share no machinery with RS forcing chain","alignment":"orthogonal","rationale":"The paper develops an adjoint MMP for K_F + ε K_X on rank-1 foliations of surfaces, proves existence/termination, ε-adjoint canonical models, volume lower bounds, automorphism bounds, and boundedness of models with fixed volume. All results rely on classical birational geometry (cone theorem, negativity lemma, ACC for thresholds) plus foliation-specific singularity analysis. RS framework (reality_from_one_distinction, Jcost uniqueness via Aczél, AlexanderDuality_circle_linking forcing D=3, 8-tick periodicity, φ-ladder constants) derives spacetime and constants from a single distinction with zero adjustable parameters; the paper invokes none of these structures, theorems, or cost functions.","tokens_in":65729,"confidence":"high","tokens_out":403,"duration_ms":7529,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"For adjoint general type foliated surfaces the automorphism group is finite and ε-adjoint canonical models form a bounded family.","keywords":["foliated surfaces","adjoint divisor","birational geometry","automorphism groups","bounded families","general type foliations","invariant curves"],"falsifier":"An explicit example of an adjoint general type foliated surface with infinite automorphism group, or an unbounded collection of ε-adjoint canonical models with the same volume, would disprove the main results.","tokens_in":2539,"feed_emoji":"","tokens_out":619,"duration_ms":13870,"temperature":0.7,"pith_summary":"The authors study the birational geometry of foliated surfaces (X, F) through the adjoint divisor K_F + ε K_X for small ε > 0. They prove that the automorphism group of an adjoint general type foliated surface is finite. They bound the degree of a general curve invariant by an algebraically integrable foliation. They also show that the set of ε-adjoint canonical models of foliations of general type with fixed volume is a bounded family. These results matter because they give effective control over the geometry and classification of such foliated surfaces, extending classical results from algebraic surfaces to the foliated case.","feed_headline":"Adjoint general type foliations have finite automorphism groups","feed_subtitle":"The adjoint divisor yields bounds on automorphisms, invariant curve degrees and boundedness of canonical model families.","key_machinery":"The adjoint divisor K_F + ε K_X, which is big and nef for small ε on adjoint general type foliated surfaces and carries the birational structure and invariants.","core_discovery":"The central claim is that the adjoint divisor K_F + ε K_X allows the application of standard techniques from birational geometry to foliated surfaces of adjoint general type, yielding a bound on the automorphism group, a bound on the degree of invariant curves for algebraically integrable foliations, and boundedness of the family of ε-adjoint canonical models with fixed volume.","pith_inferences":["This framework may allow similar bounds in higher dimensions for foliated varieties.","The results could imply effective finiteness theorems for moduli spaces of such foliations.","Applications might include classification of foliations with given invariants."],"forward_implications":["The automorphism group of an adjoint general type foliated surface is finite.","The degree of a general invariant curve under an algebraically integrable foliation on a surface is bounded.","The ε-adjoint canonical models of general type foliations with fixed volume form a bounded family.","These bounds provide effective generation results for the birational geometry of foliated surfaces."],"fun_headline_variants":["Adjoint divisor bounds aut groups of foliated surfaces","Finite aut groups from adjoint general type on foliations","Bounded families for adjoint general type foliation models","Degree bound for curves invariant under foliations","Adjoint divisor yields aut and curve degree bounds"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The foliation must be of adjoint general type so that the adjoint divisor K_F + ε K_X is big and nef for sufficiently small ε.","fun_headline_variants_meta":{"raw":{"variants":["Adjoint divisor bounds aut groups of foliated surfaces","Finite aut groups from adjoint general type on foliations","Bounded families for adjoint general type foliation models","Degree bound for curves invariant under foliations","Adjoint divisor yields aut and curve degree bounds"]},"model":"grok-4.3","cost_usd":0.005255,"raw_usage":{"total_tokens":2476,"prompt_tokens":533,"num_sources_used":0,"completion_tokens":71,"cost_in_usd_ticks":52549500,"prompt_tokens_details":{"text_tokens":533,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1872,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":533,"tokens_out":71,"duration_ms":20979,"temperature":1.0,"reasoning_tokens":1872,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-24T13:50:58.221435+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit example of an adjoint general type foliated surface with infinite automorphism group, or an unbounded collection of ε-adjoint canonical models with the same volume, would disprove the main results.","supporting_citations":[],"review_version":1}