{"id":"548db16c-b32d-4b9b-90ac-3b400e97a106","arxiv_id":"2510.11991","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A projective log Calabi–Yau surface with reduced boundary, ample boundary support and a G_m-action is exactly a tropical mutation surface with a single shear, and its complexity equals the number of distinct roots of f.","lead":"This paper analyzes surfaces built from a lattice with one 'shear' mutation: the affine open piece is {x1 x2 = f(y)} for a polynomial f. It classifies these surfaces, computes their invariants, and proves that any log Calabi–Yau surface with a circle action and an ample boundary divisor arises this way.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 6.6's reduction to a single boundary divisor ('by an elementary transformation') is unproved; without it the converse classification does not exclude surfaces requiring multiple mutations.","rationale":"The reader's weakest_assumption identifies exactly the same load-bearing step: the unproved reduction in Theorem 6.6 from log canonical centers on (at most) two boundary divisors to centers on a single divisor. I agree that this is the only bridge between the general cluster-type surface with G_m-action and the single-shear classification. The remainder of the paper (Sections 3–5, 7–8) is internally consistent and provides strong supporting computations for the forward direction, but the converse theorem is precisely where the paper's central claim is least secure. The gap is a missing argument, not an observed contradiction, so the appropriate verdict remains CONDITIONAL rather than REJECT. The proposed concrete test — a two-center blowup checked against the Cox-ring presentation of Theorem 8.5 — would either exhibit a counterexample or force the elementary transformation to be written explicitly, settling whether the concern lands. I do not find any independent evidence that would make the assertion obviously correct: the paper gives no reference, no diagram, and no worked example of the elementary transformation.","tokens_in":24185,"tokens_out":6030,"duration_ms":57913,"concrete_test":"Construct the simplest two-center configuration: let T be a toric surface with two adjacent boundary divisors D_1,D_2, choose a G_m-invariant point on each (e.g., torus-invariant points), and let π:Y→T be the blowup at both points, with B_Y the total transform of the toric boundary. Check whether (Y,B_Y) satisfies the hypotheses of Theorem 6.6 (Q-factorial, index one, K_Y+B_Y=0, B_Y supports an ample divisor, G_m action). If it does, compute its Cox ring using the T-variety presentation and compare with Theorem 8.5: a single-shear surface has a Cox ring with n+2γ generators and exactly γ relations of the special form w_{n+2i-1}w_{n+2i} + α_i w_1^{c_1}...w_j^{c_j} − w_{j+1}^{−c_{j+1}}...w_n^{−c_n}=0. If the two-center blowup has a different class group or a different number/nature of Cox-ring relations, it is not a single-shear tropical pair, and the 'elementary transformation' fails. If","verdict_should_be":"UNCHANGED","load_bearing_attack":"The weakest point is the proof of Theorem 6.6 (Section 6). After establishing that (X,B) is cluster type via a crepant birational map φ:(T,B_T) ⇢ (X,B) from a toric pair, the proof states: 'there are at most two divisors of B containing log canonical centers of φ. By an elementary transformation, we can assume we extracted log canonical center from single irreducible divisor from B.' No proof, lemma, or reference is provided for this 'elementary transformation.' This step is load-bearing: it is exactly what reduces a priori multiple extracted centers to the single-shear data of M_s. Proposition 6.3 constructs tropical mutation pairs only as s collinear blowups along one toric divisor; if two boundary divisors carry centers, the inverse operation would involve collinear blowups along two boundary components, requiring more than one shear/mutation. The theorem's conclusion — that every such pair is a single-shear tropical mutation pair — therefore rests entirely on this asserted reduction. The 'at most two' bound may follow from G_m-invariance, but the existence of a transformation to a one-divisor model is not established, and it could alter Q-factoriality, the index-one property, or ampleness of the boundary support.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies rank-two shearing polyptych lattices M_s with a single mutation. It classifies detropicalizations as affine surfaces U_f = Spec K[x_1,x_2,y^{±1}]/(x_1x_2 - f(y)) with deg f = s (Theorem 3.8), constructs projective compactifications X_f(P) with tropical mutation boundary B (Section 4), proves that the pair (X_f(P),B) is a G_m-surface carrying a 1-complement whose support is ample, that it is of cluster type, and that its complexity equals the number of distinct roots of f (Corollary 5.11). The paper also constructs a global family degenerating X_f(P) to the two toric models (Theorem 7.4), and gives explicit Cox ring presentations for X_f(P) together with a criterion for toricity (Theorem 8.5). The converse statement (Theorem 6.6) claims that every normal projective Q-factorial index-one log Calabi-Yau surface pair with reduced boundary, ample boundary support, and a nontrivial G_m-action arises from the single-shear construction in M_s.","tokens_in":24424,"tokens_out":12806,"duration_ms":110177,"significance":"If the main theorems hold, the paper gives a concrete and useful dictionary between polyptych lattices with one shear and a class of G_m-surfaces: the moduli of detropicalizations is a quotient A^{s-1}/D_{2s}, the complexity is the number of distinct roots, and the Cox ring presentations are explicit and computable. The forward direction is well structured and uses prior work on polyptych lattices in a natural way. The converse Theorem 6.6 is the most original claim, as it attempts to characterize the single-shear construction geometrically. However, the proof of that converse contains a key unproved reduction, and several supporting steps in Proposition 6.4 are sketched rather than demonstrated. The significance of the paper is therefore currently conditional on completing this argument.","major_comments":[{"comment":"The proof asserts: 'there are at most two divisors of B containing log canonical centers of φ. By an elementary transformation, we can assume we extracted log canonical center from single irreducible divisor from B.' No lemma, proof, or reference is given for this 'elementary transformation.' This step is load-bearing: it is exactly what reduces a priori multiple extracted log canonical centers to the single-shear data of M_s. If the reduction fails, the pair could require several mutations and would not be captured by M_s. Moreover, it is not explained why the transformation preserves the hypotheses (Q-factoriality, index-one property, ampleness of boundary support, and G_m-action). This gap must be closed with a complete argument or a precise citation.","section":"§6, proof of Theorem 6.6"},{"comment":"The proof of Proposition 6.4 contains several non-obvious steps that are merely asserted: (i) the dlt modification is obtained by blowing up boundary nodes; (ii) after resolving interior singularities and contracting all (-1)-curves in fibers, the relative minimal model S→P^1 is a Hirzebruch surface and (S,B_S) is a toric pair; (iii) 'the only curves preserved under the G_m-action are the zero section, the infinity section, and the ruling curves.' Each of these requires justification or a reference, since Proposition 6.4 is an essential input to Theorem 6.6. In particular, the classification of G_m-equivariant rational surface fibrations with a boundary supporting an ample divisor is not immediate.","section":"§6, Proposition 6.4"},{"comment":"The proof of Proposition 3.2 states that for an isomorphism Φ: A_f → A_g, 'Hence Φ(y)=c y^{±1}' from a degree argument. For an arbitrary ring isomorphism of the hypersurface ring, the image of y could a priori be a more general rational function. The conclusion is plausible, but the justification given is not sufficient. Since Theorem 3.8 (the moduli classification) relies on this normal form and its uniqueness up to the D_{2s}-action, the argument should be completed using, for instance, the unit group or the induced automorphism of the surface U_f.","section":"§3, Proposition 3.2 and Theorem 3.8"},{"comment":"The complexity computation in the proof of Corollary 5.11 has a sign/direction error as written. The text says 'ψ corresponds to blow up the interior ... which increases the complexity by exactly this amount,' but in the displayed factorization ψ: (X~_f(P),B~) → (X_f(P),B) is the resolution morphism, hence a contraction. The increase happens for ψ^{-1}, not ψ. If the direction is read correctly and the contraction of the interior exceptional curves decreases complexity by s-γ, the final value γ is consistent. This should be rewritten to avoid the apparent arithmetic contradiction and to make the count of exceptional curves explicit.","section":"§5, Corollary 5.11(5)"}],"minor_comments":[{"comment":"There are frequent notational inconsistencies and typos. For example, Theorem 1.1 writes 'As−1' where A^{s-1} is intended; the relation in Theorem 1.5 is missing '=0'; and in the statement of Theorem 8.5 one reads 'with c1,...,cj nonnegative and cj+1,...cn' where the condition c_{j+1},...,c_n<0 is omitted. These should be corrected.","section":"General notation"},{"comment":"The definition of M_s writes an element as ((x,y),(x',y)) with x+x'=min{0,sy}. The sentence 'M_s is self-dual, every tropical point p∈Sp(M_s) is represented by itself' is unclear and should be expanded, since the self-duality is used later.","section":"Definition 2.11"},{"comment":"The proof that the kernel of the surjection is generated by x_1x_2-f(y) is too terse. It cites [5, Theorem 6.20] but the 'same argument applies verbatim' to arbitrary f is not fully justified. A direct argument or a more precise reference would help.","section":"Proof of Proposition 3.1"},{"comment":"The claim that log canonicity of the pair follows from 'openness of log Calabi-Yau pairs' is vague. Since the boundary divisibility and the degeneration are central, a precise argument or reference should be supplied.","section":"Proof of Theorem 4.3(4)"},{"comment":"The phrase 'a toric variety is uniquely determined by its ray structure' should say 'the normal fan' or 'the fan generated by the rays'; as written it is imprecise, though the intended point is understandable.","section":"Proof of Proposition 6.2(2)"}],"recommendation":"major_revision","confidential_remarks":"For the editor: the paper contains substantial useful material on the forward direction—classification of detropicalizations, complexity, cluster type, toric degenerations, and Cox rings—and these parts are plausible. The advertised converse Theorem 6.6 is not established in the current text: the single-divisor reduction is asserted without proof, and Proposition 6.4 has further unsupported structural claims. I therefore recommend major revision rather than rejection, as the gap may be repairable within the paper's framework. I would also ask the editor to ensure that the referee has access to [9] and [5], since several arguments are delegated to those preprints."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take. The paper develops the geometry of rank-two shearing polyptych lattices and gets several genuinely new results: the moduli quotient A^{s-1}/D_{2s} for detropicalizations (Thm 3.8), the complexity formula (Cor 5.11), and the explicit global degeneration family (Thm 7.4). The Cox ring presentation (Thm 8.5) is clean, though the author honestly notes it follows from Hausen–Süß and Altmann–Petersen; that's correct, so I wouldn't count it as the main novelty. The structural theorems in Sections 3–5 look internally consistent, and the computations I checked support them. Credit where due: the moduli computation is a nice piece of work, and connecting complexity to the number of distinct roots of f is sharp and useful.\n\nNow the soft spots. Theorem 6.6 makes a strong claim: every index-one log CY surface pair with G_m action and ample boundary is a single-shear tropical mutation pair. The proof reduces to the two-chart case, and at the crucial point it says there are at most two boundary divisors containing log canonical centers, and \"by an elementary transformation\" you can assume there is just one. That is exactly the step that forces a single mutation. I could not find a proof or a reference for that transformation, and it is not obvious. Without it, the converse does not exclude surfaces where log canonical centers lie on two boundary divisors and the inverse operation would require more than one shear. So the stress-test note lands. Proposition 6.4 also moves to a Hirzebruch surface by contracting (-1)-curves but does not explicitly verify the crepant condition needed for cluster type; that is a lesser issue because it only feeds into the theorem, but it is part of the same sketch.\n\nThe author shows good awareness in Remark 6.5 of what fails when Q-factoriality is dropped. The dependence on unpublished preprints [5,9] is not circular and is normal in this area.\n\nWho is this for: people working on polyptych lattices, cluster-type surfaces, and log CY pairs with torus actions. The main theorem needs to be made solid, but the rest of the paper is valuable.\n\nRecommendation: send to peer review. A good referee should demand a proof of the \"elementary transformation\" (or a counterexample) and a justification of the crepant assertion in Prop 6.4. If the author fills that gap, this becomes a strong paper.","headline":"Solid core results on single-shear polyptych surfaces, but the headline converse theorem rests on an unproved reduction step that a referee should demand be fixed.","tokens_in":24997,"tokens_out":2916,"would_cite":true,"duration_ms":26633,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14M25","14E30","14E15"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every normal projective Q-factorial index-one log Calabi–Yau surface pair with reduced boundary supporting an effective ample divisor and a nontrivial G_m-action is a tropical mutation surface pair built from a single shear.","keywords":["polyptych lattice","tropical mutation surface","single shear","log Calabi–Yau pair","cluster type","complexity","Cox ring","toric degeneration"],"falsifier":"Compute the Cox ring of a Q-factorial index-one log Calabi–Yau surface pair with a two-component reduced boundary, ample boundary support, and a G_m-action fixing both boundary components. If that Cox ring is not a complete intersection with relations of the form w_{2i−1}w_{2i} = w_1^{c_1}⋯w_j^{c_j} − α_i w_{j+1}^{−c_{j+1}}⋯w_n^{−c_n} for some α_i∈K*, some degree-s polynomial f, and some polytope P, then the surface cannot be a tropical mutation surface and Theorem 6.6 is false.","tokens_in":23996,"feed_emoji":"📐","tokens_out":12359,"duration_ms":101023,"temperature":0.7,"pith_summary":"This paper is trying to establish that the class of log Calabi–Yau surface pairs with a nontrivial one-dimensional torus action and a reduced boundary supporting an ample divisor is exactly the class of tropical mutation surface pairs built from a rank-two lattice with a single shear. If that is right, then every such surface is encoded by two pieces of combinatorial data: a degree-s polynomial f(y) with constant term 1, and an integral polytope P in the sheared polyptych lattice M_s. The affine part of the surface is always U_f = Spec K[x1,x2,y^{±1}]/(x1x2−f(y)), and P says how to compactify it; from these data the paper reads off the singularities, the complexity (the number of distinct roots of f), a P1-family of toric degenerations, and a presentation of the Cox ring. A sympathetic reader should care because this turns a birational-geometric class — surfaces that are cluster-type generalizations of toric surfaces — into a concrete polytopal calculus.","feed_headline":"One shear builds every Gm log Calabi–Yau surface","feed_subtitle":"A polynomial f(y) and one polytope determine the surface's singularities, complexity, Cox ring, and toric degenerations.","key_machinery":"The load-bearing object is the shearing polyptych lattice M_s, a rank-two lattice with two charts glued by the piecewise-linear mutation µ(x,y) = (−x,y) for y≥0 and (sy−x,y) for y≤0; the single integer s is the shear. Its detropicalized algebra is A_f = K[x1,x2,y^{±1}]/(x1x2−f(y)) for a degree-s polynomial f with constant term 1; the adapted basis of this algebra replaces monomials in toric geometry. A convex integral polytope P in M_s selects a projective compactification X_f(P) with boundary B(P), whose facets correspond to boundary divisors. The chart images P1 and P2 of P are exactly the polytopes of the two toric degenerations, so the shear is the only piece of non-toric data.","core_discovery":"At the center of the paper is a classification (Theorem 6.6): let (X,B) be a normal projective Q-factorial index-one log Calabi–Yau surface pair whose reduced boundary B supports an effective ample divisor and admits a nontrivial action of the multiplicative group G_m. Then (X,B) is a tropical mutation surface pair: it is isomorphic to (X_f(P),B(P)) for some polynomial f of degree s with constant term 1 and some convex integral polytope P in the rank-two shearing polyptych lattice M_s. The affine part of X_f(P) is always the hypersurface U_f = Spec K[x1,x2,y^{±1}]/(x1x2−f(y)), whose two charts are glued by a piecewise-linear shear. The paper also establishes that these pairs are exactly of c","pith_inferences":["The single-divisor reduction used in the proof suggests a hierarchy the paper leaves implicit: allowing log canonical centers on two distinct boundary components should correspond to a polyptych lattice with two shears, making the present theorem the base case of a classification by number of mutations.","The explicit moduli space A^{s-1}/D_{2s} invites a direct computational check: enumerate pairs (f,P) for small s and compare the resulting Cox rings and class groups with the outputs of toric blow-up constructions; a mismatch would pinpoint exactly where the converse needs an extra mutation.","Because the construction packages each surface with a P1-family joining two toric degenerations, the same packaging can be used as a test for future degeneration arguments: any flat degeneration of such a surface with two toric limits should be governed by the divisorial fan S_f, not just by the limiting polytopes."],"forward_implications":["The moduli space of affine tropical mutation surfaces with shear s is the quotient A^{s-1}/D_{2s}; for fixed s, the isomorphism type is controlled by finitely many coefficients of f up to roots of unity and reversal.","For any polytope P, the pair (X_f(P),B(P)) is a log Calabi–Yau cluster-type pair, its boundary supports an effective ample divisor, and G_m acts on it; the complexity of the pair is the number of distinct roots of f.","Each X_f(P) sits in a flat projective family over P1 whose fibers over 0 and ∞ are the toric varieties of the two chart polytopes, with the general fiber equal to X_f(P); the family is described by a divisorial fan on P1×P1.","The Cox ring of X_f(P) is a complete intersection generated by n+2γ variables with γ quadric relations of the form w_{2i−1}w_{2i} = monomial − α_i·monomial; from this presentation, X_f(P) is toric only for f equivalent to (y+1)^s and one of two explicit coefficient patterns for the tropical points defining P."],"fun_headline_variants":["Single shear classifies every Gm log CY surface pair","One shear, one polynomial: all Gm log CY surfaces","Theorem 6.6: one shear builds every Gm log CY pair","Detropicalization f(y) controls all Gm log CY surfaces","One shear: all Gm log CY surfaces"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise, asserted without proof in Section 6, is that after a dlt modification and a cluster-type crepant birational map from a toric pair, the extracted log canonical centers can be moved by an elementary transformation onto a single irreducible boundary divisor; if that move fails, the surface would require multiple mutations and would not be captured by M_s.","fun_headline_variants_meta":{"raw":{"variants":["Single shear classifies every Gm log CY surface pair","One shear, one polynomial: all Gm log CY surfaces","Theorem 6.6: one shear builds every Gm log CY pair","Detropicalization f(y) controls all Gm log CY surfaces","One shear: all Gm log CY surfaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001423,"raw_usage":{"total_tokens":5593,"prompt_tokens":768,"completion_tokens":4825,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":512,"completion_tokens_details":{"reasoning_tokens":4744}},"tokens_in":512,"tokens_out":4825,"duration_ms":29693,"temperature":1.0,"reasoning_tokens":4744,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T10:00:32.470669+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Cox ring of a Q-factorial index-one log Calabi–Yau surface pair with a two-component reduced boundary, ample boundary support, and a G_m-action fixing both boundary components. If that Cox ring is not a complete intersection with relations of the form w_{2i−1}w_{2i} = w_1^{c_1}⋯w_j^{c_j} − α_i w_{j+1}^{−c_{j+1}}⋯w_n^{−c_n} for some α_i∈K*, some degree-s polynomial f, and some polytope P, then the surface cannot be a tropical mutation surface and Theorem 6.6 is false.","supporting_citations":[],"review_version":1}