{"id":"687ff302-b6e4-4cc7-be0d-2703d5de4f72","arxiv_id":"1908.09226","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"An element of PSL(2,R) lies in the Veech group of a flat surface with two finite Jenkins-Strebel directions exactly when it preserves those directions and induces an isomorphism between the associated extended origami decompositions.","lead":"This paper provides a combinatorial test for membership in the Veech group of a flat surface: cut the surface into parallelograms along two special directions and compare how the pieces are glued before and after applying a matrix. The test extends the origami method of Schmithüsen from square-tiled surfaces to a wider class of flat surfaces.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Sufficiency of Theorem 3.12 rests on unproved realization and lifting of extended origamis; the KO condition may not ensure a genuine flat surface.","rationale":"We agree with the reader's weakest_assumption. The theorem's necessary direction is supported by standard facts (Lemma 3.3, Lemma 3.4), but the sufficiency direction is the only place where a hidden assumption could invalidate the central claim. The paper asserts rather than proves that any extended origami satisfying KO is realizable and that combinatorial isomorphisms lift to affine maps. The KO condition is introduced precisely to handle area consistency, but the proof of Theorem 3.9 does not demonstrate sufficiency, and the vertex-angle/edge-length compatibility is not addressed. This is not an objection to the paper's novelty or to the plausibility of the result; it is a request for a complete proof. The proposed computational test is a concrete way to check for an actual counterexample in small degree. We do not see a basis for changing the reader's CONDITIONAL verdict, so we mark the verdict UNCHANGED.","tokens_in":16082,"tokens_out":34410,"duration_ms":348467,"concrete_test":"Enumerate all extended origamis with N≤4 satisfying the conditions of Definition 3.8 for a generic angle θ (e.g., θ=1 radian) and all moduli equal (M_i=1), so the KO condition is satisfied automatically. For each such object, compute the angle sum at each vertex from the cycles of the commutator xyx^{-1}y^{-1} acting on Λ̂. If any vertex angle sum is not an integer multiple of π, the construction in Theorem 3.9 does not produce a flat surface carrying a holomorphic quadratic differential, and the reverse direction of Theorem 3.12 is unsound. If no counterexample appears, the test would shift scrutiny to the unproved lifting assertion in Remark 3.13(b), which could be checked by explicitly constructing the affine map for an automorphism of the extended origami.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 3.12) is an iff statement. The forward direction is routine: an affine self-map with derivative A maps the (θ1,θ2)-parallelogram decomposition to a (Aθ1,Aθ2)-decomposition and induces the required isomorphism of P-decompositions. The reverse direction, however, depends entirely on Theorem 3.9: given an extended origami O=(M,Ĝ) satisfying the KO condition, one must construct a genuine flat surface whose P-decomposition is isomorphic to the given data, and any isomorphism of extended origamis must lift to a locally affine homeomorphism with derivative [I] (or A after applying the affine deformation). In the proof of Theorem 3.9 (Section 3.3) the converse is asserted rather than proved: parallelograms are glued 'by the rule given by Ĝ', and it is stated that 'It is clear that flat surfaces with isomorphic P-decompositions are isomorphic.' No verification is supplied that the edge identifications are metrically compatible — that edge lengths match, that the total angle around each vertex is an integer multiple of π so that dz² extends holomorphically, or that the KO cocycle condition KO(1,w)=1 is sufficient (not merely necessary) for a consistent assignment of side lengths. Remark 3.13(b) only sketches the lifting of an extended-origami isomorphism to an affine quasiconformal map; it does not specify the constants in each parallelogram or prove that the map is well-defined at vertices. If either the realization or the lifting step fails, the iff criterion does not follow from the combinatorial data. Thus the sufficiency direction is the load-bearing risk in the paper.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a combinatorial characterization of the Veech group of a flat surface that admits two distinct finite Jenkins-Strebel directions. It defines an 'extended origami' consisting of a finite list of moduli, a signed permutation action of the free group F2, and a cocycle condition KO. Theorem 3.9 claims that a flat surface with two such directions is determined up to isomorphism by its P-decomposition, namely the angle pair (θ1,θ2), a scale factor k, and an extended origami O. The main theorem, Theorem 3.12, states that A ∈ PSL(2,R) lies in the Veech group Γ(R,φ) if and only if Aθ1 and Aθ2 are again Jenkins-Strebel directions and the P-decomposition P(R,φ,(Aθ1,Aθ2)) is isomorphic to the formally transformed decomposition A·P(R,φ,(θ1,θ2)). Section 3.4 extends the statement to surfaces with marked points, and several examples are given, including regular 2n-gon surfaces.","tokens_in":16364,"tokens_out":5167,"duration_ms":46804,"significance":"If established, the result would substantially extend Schmithüsen's combinatorial description of Veech groups from origamis to a much broader class of flat surfaces, and it would turn Veech-group membership into a finite isomorphism check whenever the moduli list is rational. The paper connects this to the Earle-Gardiner parallelogram decomposition and provides instructive examples. It also makes good use of external tools such as Schmithüsen's correspondence and Strebel's existence theorem. However, the central construction on which the sufficiency direction of Theorem 3.12 rests—the realization of an arbitrary extended origami as a genuine flat surface and the lifting of extended-origami isomorphisms to affine maps—is only asserted or sketched in the current manuscript. Because these steps are load-bearing for the main claim, the result is not yet established at the required level of rigor.","major_comments":[{"comment":"The construction of a flat surface from an arbitrary extended origami is asserted rather than proved. The text states 'We glue them by the rule given by Ĝ' and then 'natural coordinates z given by those parallelograms define the quadratic differential φ = dz² on R*' and 'φ is uniquely extended to R', but no verification is supplied that the edge identifications are metrically compatible, that edge lengths match under the permutation Ĝ, that the total angle around each vertex is an integer multiple of π (or 2π in the Abelian case), or that the condition KO(1,w)=1 is sufficient for these compatibility conditions. Since Theorem 3.12's sufficiency direction reduces exactly to this realization statement, this gap is load-bearing for the main theorem.","section":"Section 3.3, Theorem 3.9 (converse direction)"},{"comment":"The lifting of an isomorphism of extended origamis to a locally affine homeomorphism with a specified derivative is only sketched. The proof of Theorem 3.9 asserts 'there exists a locally affine quasiconformal homeomorphism f : R → S with derivative [I]' without constructing it from the data (Φ,σ), and Remark 3.13(b) states that 'we can take' such a map without specifying the affine constants on each parallelogram or proving well-definedness at vertices. This lifting is essential for the claim that isomorphic P-decompositions give isomorphic flat surfaces, and therefore for the reverse implication in Theorem 3.12.","section":"Section 3.3, Theorem 3.9 and Remark 3.13(b)"},{"comment":"The action A·P is defined in Definition 3.10 only for A ∈ PSL(2,Z), whereas Theorem 3.12 states the criterion for arbitrary A ∈ PSL(2,R). Although the formula (Aθ1, Aθ2, ρ_{A,θ1,θ2} k, O) makes formal sense for any A, the paper never defines the action of a general PSL(2,R) element on P-decompositions or specifies what happens to the extended origami when A does not preserve the integer lattice. As written, the notation in Theorem 3.12 is undefined for the claimed generality; the definition must be extended, or the theorem restricted, before the statement is meaningful.","section":"Definition 3.10 and Theorem 3.12"},{"comment":"The definition of an extended origami is incomplete in two respects. First, the set H_Ĝ appearing in the condition 'KO(1,w)=1 for all w ∈ H_Ĝ' is never defined; from context it is presumably the stabilizer of the element 1 ∈ Λ under the F2-action, but it must be stated explicitly because the KO condition is central to the realization theorem. Second, condition (c) says the action is 'transitive with respect to first ingredients', which is imprecise; it should state explicitly that the projected action on Λ is transitive. These ambiguities affect the reproducibility of the main construction.","section":"Definition 3.8"}],"minor_comments":[{"comment":"In the definition of the derivative map, 'Aff+(X,φ)' uses the symbol X that has not been introduced; it should presumably be R.","section":"Definition 2.5(c)"},{"comment":"The proof begins with the typo 'Aa we have already seen'; this should read 'As we have already seen'.","section":"Proof of Theorem 3.9"},{"comment":"The phrase 'Propositioin 2.6' contains a typo; it should be 'Proposition 2.6'. Also, 'moduli ratio is rational' might be more clearly stated as 'the moduli list is rational'.","section":"Proof of Corollary 3.18"},{"comment":"The notation for the permutions x_T and y_T is difficult to parse, especially the expression y_T = (12−3564−); a sentence explaining the sign convention would help.","section":"Example 3.14"},{"comment":"The proof of bijectivity of x and y contains the vague statement 'in the sense of λ ∈ Λ at least'; the argument that the signs are also preserved is not fully written out, although the claim itself appears plausible.","section":"Lemma 3.5"}],"recommendation":"major_revision","confidential_remarks":"The main idea is attractive and the examples suggest the criterion is plausible, but the proof of the realization and lifting theorem (Theorem 3.9) is too sketchy for the central claim. I recommend asking the author to provide a complete proof of the converse direction of Theorem 3.9, including a verification of the vertex angle condition and a construction of the lifted affine map from an isomorphism of extended origamis. The mismatch between Definition 3.10 and Theorem 3.12 needs to be resolved. The paper may be suitable for publication in a specialized journal once these gaps are addressed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper has a good idea and an unproven main theorem. The idea: for flat surfaces with two finite Jenkins-Strebel directions, Veech group membership reduces to an isomorphism check of extended origamis (the parallelogram decomposition plus a signed permutation group). That is a genuine extension of Schmithüsen's origami result, and if it holds, it gives a computable criterion for a larger class. The forward direction is solid. The examples with regular n-gons, marked points, and the L-shaped origami are useful and well chosen.\n\nThe soft spot is the reverse direction. Theorem 3.9 asserts that any extended origami satisfying the KO condition yields a genuine flat surface, and that isomorphic extended origamis lift to an affine quasiconformal map with the prescribed derivative. The proof in §3.3 says 'It is clear that flat surfaces with isomorphic P-decompositions are isomorphic.' That is exactly the step that needs work. One has to verify that the parallelograms can be glued so that edge lengths match, total angles around vertices are integer multiples of π, and dz² extends holomorphically. The KO condition is presumably designed for this, but no verification is supplied. Remark 3.13(b) only sketches the lifting; it doesn't give the local affine constants or check well-definedness at vertices. Since Theorem 3.12 is an iff, this gap is load-bearing. The combinatorial framework alone doesn't close it.\n\nI agree with the conditional verdict. The concern lands on reading the paper. No circularity or data-fitting; the paper cites Earle-Gardiner and Schmithüsen appropriately. The missing argument is fixable, probably by a careful proof that KO controls the gluing and the isomorphism lifting. But as written, the main theorem is not established. I would send it to a serious referee and expect major revision. I wouldn't cite the main theorem yet, but the extended-origami formalism and examples are worth keeping in mind.\n\nThis is for Veech group / flat surface people who want combinatorial tools beyond origamis. A patient reader will get value from the framework even while spotting the gap.","headline":"A real extension of the origami criterion, but the main theorem's sufficiency direction rests on an unproved realization/lifting step in Theorem 3.9.","tokens_in":16920,"tokens_out":3683,"would_cite":false,"duration_ms":34800,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["30F60","32G15"],"pacs":[],"model":"deepseek-v4-flash","headline":"A matrix belongs to a flat surface's Veech group exactly when it sends two Jenkins-Strebel directions to directions with isomorphic P-decompositions.","keywords":["flat surfaces","Veech groups","Jenkins-Strebel directions","origamis","extended origamis","P-decomposition","F2-action","quadratic differentials"],"falsifier":"Build the surface obtained by gluing parallelograms according to an extended origami that satisfies the consistency condition, and check whether the resulting cylinder moduli and vertex set match the prescribed modulus list and the cycles of the commutator; any mismatch falsifies the realization step. Alternatively, exhibit an isomorphism of extended origamis that preserves labels but maps cylinder core curves to curves of different lengths, showing the isomorphism cannot lift to an affine map.","tokens_in":15844,"feed_emoji":"📐","tokens_out":13310,"duration_ms":120493,"temperature":0.7,"pith_summary":"The Veech group of a flat surface records the linear parts of all affine self-maps of the surface, and it is usually hard to compute. This paper proves that if a flat surface of finite analytic type (a compact Riemann surface with finitely many punctures, equipped with a holomorphic quadratic differential) has two distinct Jenkins-Strebel directions (directions in which almost every point lies on a closed geodesic), then membership in the Veech group is a finite combinatorial condition. A matrix $A$ belongs to the Veech group exactly when $A$ sends the two directions to Jenkins-Strebel directions and the surface's P-decomposition—the finite list of parallelograms cut out by the two directions together with the gluing rules, packaged as an extended origami—is isomorphic after applying $A$. This extends the 2004 origami characterization, which used automorphisms of the free group $F_2$, to surfaces whose parallelogram moduli need not be rational. The payoff is that Veech group membership can be decided by comparing finite combinatorial objects rather than by constructing affine maps.","feed_headline":"Two directions turn a Veech group into a finite check","feed_subtitle":"Membership in the Veech group is equivalent to an isomorphism of finite P-decomposition data.","key_machinery":"The load-bearing object is the P-decomposition $\\mathcal{P}(R,\\varphi,(\\theta_1,\\theta_2))=(\\Theta,k,\\mathcal{O})$. Its combinatorial heart is the extended origami $\\mathcal{O}=(M,\\hat{G}