{"id":"ae8d7711-3567-4a71-9b30-bbe7369c590a","arxiv_id":"2608.01444","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"All but five explicit holonomy signatures are realizable on closed surfaces; the five are three torus cases (no cones with nontrivial holonomy, (3π/2,5π/2), (π,3π) with holonomy 2Z4) and two genus-two cases (6π and (3π,5π) with holonomy 2Z4).","lead":"This paper proves a complete classification of which holonomy signatures, the cone angles and rotational holonomy data of seamless parametrizations, can actually occur on closed oriented surfaces. Only five explicit families are impossible; all other Gauss-Bonnet admissible signatures are realizable.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Completeness of Theorem 3.10 is only as trustworthy as the external Gendron–Tahar classification (S7), a dependence the paper explicitly acknowledges.","rationale":"The reader's weakest assumption—the completeness of the external Gendron–Tahar classification (S7)—is exactly the concern I identify as most load-bearing. The paper's internal proof appears sound: the Reduction Lemma, the dictionary between holonomy signatures and primitive k-differentials, and the low-genus cases are carefully argued. The only point where the global classification depends on an unverified external input is (S7), and the authors explicitly flag this both in §2.3 ('What we take purely on trust is that the list stops there') and in §6.3(1). This is a legitimate limitation, but it does not invalidate the paper under normal standards: (S7) is a published theorem by Gendron–Tahar, and the paper quotes it precisely. The reader already accounted for this by giving MODERATE confidence rather than HIGH. I therefore do not change the verdict. The concrete test I propose—running the paper's own constructive machinery on the first open case (genus 2, k=4)—is a practical way to spot-check the completeness of (S7) and could reveal a real counterexample if one exists.","tokens_in":27545,"tokens_out":24003,"duration_ms":216201,"concrete_test":"Run Algorithm 4.5 (with the base meshes of Lemma 4.3) on the complete list of genus-2 signatures with d=1 (i.e., primitive 4-differentials) and n ≤ 4, i.e., all profiles μ with sum 8, entries > -4, and at most 4 cones. For each profile not in the (S7) exceptional list, attempt to produce a certified quadrangulation of N = 2g-2+n squares. If every such profile yields a witness, the completeness of (S7) is supported in the lowest open case; if any profile yields no witness, check whether a quadrangulation with extra regular vertices exists; if none exists, that profile is an additional empty stratum and Theorem 3.10 is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 3.10 claims a complete classification: every admissible holonomy signature not in the five families of Table 1 is realizable. For every genus g ≥ 1 this positive half is proved by reducing realizability to non-emptiness of a stratum of primitive k-differentials (Theorem 3.6) and then invoking the external Gendron–Tahar classification (S7) in §3.4. If (S7)'s list of empty strata is incomplete, then there exist additional unrealizable signatures outside Table 1, and Theorem 3.10 is false. The paper does not verify (S7): §2.3 says 'What we take purely on trust is that the list stops there,' and §6.3(1) lists removing this dependence as an open problem. The genus-one half is reproved independently (Proposition 3.8) and the genus-two k=2 case is the classical Masur–Smillie theorem, so the unverified part is precisely the non-emptiness of primitive k-differential strata for k=4 (all g≥2) and k=2 (g≥3). This is the single most load-bearing assumption of the paper's central claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper gives a complete classification of realizable holonomy signatures on closed oriented surfaces. A holonomy signature records cone angles (multiples of π/2) and the rotational holonomy ρ: H1(M\\C) → Z4 of a seamless parametrization. The main theorem (Theorem 3.10) states that a Gauss–Bonnet admissible signature is realizable unless it belongs to one of five explicit families in Table 1: three torus families (no cones with im ρ ≠ 0; a 3π/2 and 5π/2 pair; a π and 3π pair with im ρ = 2Z4) and two genus-two families (a single 6π cone with im ρ = 2Z4; a 3π and 5π pair with im ρ = 2Z4). The proof proceeds via a dictionary between seamless parametrizations and meromorphic 4-differentials (Lemmas 2.3, 2.5, 2.6), a Reduction Lemma showing that mapping-class orbits are classified by im ρ (Theorem 3.4), and a reduction of realizability to non-emptiness of primitive k-differential strata (Theorem 3.6). Genus 0 is handled by Troyanov's theorem, genus 1 by an Abel–Jacobi argument, and genus ≥ 1 by the external Gendron–Tahar classification quoted as (S7). Section 4 develops explicit square-tiled witnesses and a certificate theorem for output meshes; Section 5 analyzes the region outside the previous gcd sufficient condition; Section 6 treats boundary/feature-aligned surfaces and fixed conformal structures.","tokens_in":27829,"tokens_out":13614,"duration_ms":131336,"significance":"If correct, this settles a question that had been open since the sufficient gcd-type condition of Shen–Zhu–Capouellez–Panozzo–Campen–Zorin. The structural insight is strong: for fixed cone angles, only the subgroup im ρ ≤ Z4 matters, reducing what naively looks like 4^{2g} cases to at most three. The dictionary with primitive k-differentials is clean and explains the known torus exception as an empty stratum. Two of the five exceptional families (the genus-two entries) appear to be new and are plausible and interesting. The paper is unusually transparent: it states exactly which external theorem supplies non-emptiness for g ≥ 1, explicitly flags what is not proved (termination of Algorithm 4.5, the d = 2 base meshes beyond genus 8, the figure-eight move lemma), and frames these as open problems. The constructive part provides explicit minimal square-tiled witnesses whenever the algorithm returns, with a certificate theorem that makes each output self-verifying. These are genuine strengths.","major_comments":[],"minor_comments":[{"comment":"The completeness of the classification for g ≥ 1 is exactly the completeness of the quoted external list (S7). The paper acknowledges this in §2.3, but the title and abstract say 'complete answer' without immediate qualification. Please add a sentence at the statement of Theorem 3.10 making explicit that, for g ≥ 1, the non-emptiness direction is contingent on the Gendron–Tahar classification (S7), and perhaps restate (S7) as a displayed theorem rather than as a black box in text. This is not an objection to using a published theorem, but it is the single most load-bearing input and should be unmissable where the theorem is stated.","section":"Theorem 3.10, §2.3"},{"comment":"The abstract says the non-emptiness half is 'made constructive' by an explicit one-vertex square-tiled surface in every genus plus a local surgery. This overstates what is proved: the base mesh of Lemma 4.3 covers d = 1 and d = 4 in every genus, but for d = 2 bases are only recorded for 2 ≤ g ≤ 8, and Algorithm 4.5 has no termination proof, as Remark 4.7 itself clearly states. Suggest a wording such as 'made constructive on a finite range, with a certificate theorem for every output' or similar.","section":"Abstract, §4, Remark 4.7"},{"comment":"The d = 2 base meshes for 2 ≤ g ≤ 8 are said to be 'recorded' but are not displayed or listed in the paper. Since Theorem 4.6 makes each output a certificate, it would be helpful to include the gluing arrays in an appendix or ancillary file so a reader can reproduce the search and verify the claims, especially given that the construction is one of the paper's advertised contributions.","section":"Algorithm 4.5, §4.3"},{"comment":"The sentence 'Over all 3058 admissible feature-aligned signatures whose corner count fits in four squares, Corollary 6.6 never applies' appears to be a computational claim. Please provide the enumeration data, the code, or a reproducible description of how this number was obtained. As written, it is not checkable from the paper.","section":"§6.1, Corollary 6.6"},{"comment":"The notation 'imeρ' for the holonomy of the double is hard to read and not defined formally. Please introduce a symbol such as \\widetilde{\\rho} and state its domain explicitly. Also, in the displayed formula after Lemma 6.5, the inclusion 'imeρ ⊇ ⟨imρ, 2a mod 4⟩' deserves a short explanation of why the new loops contribute 2a mod 4.","section":"Notation, Lemma 6.5"},{"comment":"The letter D is used for the gcd of a lifted vector in Lemma 3.2 and later for the subgroup generated by the cone orders. This is a minor clash; consider using G or c for the gcd. The proof itself is sound, but the notation makes the argument slightly harder to follow.","section":"Lemma 3.2, Step 1"}],"recommendation":"minor_revision","confidential_remarks":"The paper is by an author of the earlier paper [14] that posed the problem; the present work uses [14] only as the source of the question and as a comparative sufficient condition, and the main proof reduces to Gendron–Tahar rather than to the author's own prior results, so I do not see a circularity concern. The main risk is external dependence on (S7), but that is a published theorem and is explicitly acknowledged. I would not require a proof of (S7) for acceptance; a clear statement of the dependence suffices. The manuscript fits the journal's scope well. The constructive claims in the abstract should be calibrated to what is actually proved, and the d = 2 base meshes and enumeration data should be made available for reproducibility."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: this paper answers a long-standing question and mostly earns its claim, but the completeness of the headline theorem is only as solid as the external classification it leans on, and the author says so plainly. That is the one thing to keep in mind.\n\nWhat is genuinely new is the structure. The Reduction Lemma collapses the mapping class group orbits to im(rho) alone, so at most three signatures survive per angle multiset instead of 4^(2g). The dictionary to primitive k-differententials turns realizability into a stratum non-emptiness question, and unwinding that gives the five unrealizable families. The genus-one cases are reproved independently via Abel–Jacobi, and the explicit square-tiled construction with the certificate theorem is a nice bonus: outputs are self-certifying gluings whose genus, cone orders, and im(rho) can be read off the dart pairing. I also credit the paper for saying what it does not prove: §2.3 takes (S7) on trust, and §6.3 lists the open gaps.\n\nThe soft spots are real but mostly peripheral. The load-bearing one is (S7): every non-emptiness statement for g≥1 passes through the Gendron–Tahar list, and if that list is incomplete, Theorem 3.10 is false. The paper does not verify it; the stress test is accurate about that. I do not think this is a fatal flaw—external theorems get cited all the time—but it means the central claim is conditional, and a referee should push on it. The other gaps are disclosed and minor by comparison: the constructive iteration lacks a termination proof, the abstract overstates by suggesting a theorem for all genera when §4.3 says no such theorem is proved, d=2 base meshes exist only up to genus 8, and the figure-eight move has no general lemma.\n\nThe citation pattern is fine. [14] is the author's own prior work, but it is used as the source of the question and of a sufficient condition, not as black-box support for the new claims. The central argument is coherent, and the honest qualifiers are where I would put them.\n\nBottom line: if you work on seamless parametrizations, flat cone metrics, or k-differential strata, this is worth a careful read. It deserves a serious referee—ideally someone who knows the Gendron–Tahar classification from the inside. I would send it out and ask the author to address the S7 dependence explicitly, not reject it.","headline":"A real answer to a real open question, with a clean reduction and a five-family classification, but the completeness of the main theorem is explicitly conditional on the external Gendron–Tahar classification.","tokens_in":28275,"tokens_out":2151,"would_cite":true,"duration_ms":23526,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K20","30F30","32G15"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves a complete classification of which holonomy signatures—cone angles plus rotational holonomy—are realizable by seamless parametrizations of closed surfaces: every Gauss–Bonnet-admissible signature except five explicit famili","keywords":["holonomy signature","seamless parametrization","quadrangulation","meromorphic 4-differentials","primitive k-differentials","moduli strata","mapping class group","flat cone metrics"],"falsifier":"Find a genus $g\\ge 1$ profile $\\mu$ of a primitive $k$-differential that satisfies the Gauss-Bonnet degree and pole bounds but is not one of $(1,-1)$, the empty genus-one profiles, or $(4),(3,1)$ for $k=2$, and whose stratum is empty. By the paper's own dictionary that would yield a sixth unrealizable holonomy signature and refute Theorem 3.10. A more targeted check: verify that no genus-two quad mesh with one $6\\pi$ cone and $\\operatorname{im}\\rho=2\\mathbb{Z}_4$ exists at any size—the paper claims none because the reduced stratum $Q(4)$ is empty.","tokens_in":2077,"feed_emoji":"🔷","tokens_out":2077,"duration_ms":72185,"temperature":0.7,"pith_summary":"The paper settles, for closed oriented surfaces, which holonomy signatures are realizable: which cone-angle data plus rotational holonomy can actually be carried by a seamless parametrization, equivalently by a quadrangulation. The answer is that every Gauss-Bonnet-admissible signature is realizable except five explicit families: on the torus, no cones with non-zero holonomy, cones $3\\pi/2$ and $5\\pi/2$ with any holonomy, and cones $\\pi$ and $3\\pi$ with holonomy $2\\mathbb{Z}_4$; on genus two, a single $6\\pi$ cone or a $3\\pi/5\\pi$ pair with holonomy $2\\mathbb{Z}_4$. The proof shows that realizability is the same as non-emptiness of a stratum of primitive $k$-differentials, where the holonomy subgroup $\\operatorname{im}\\rho$ determines $k=4/d$, then reads off the known classification of empty strata. A separate construction produces explicit minimal square-tiled witnesses for most signatures. This matters because a signature is exactly the data a quadrangulation prescribes, so the result tells practitioners whether a parametrization exists before trying to build one.","feed_headline":"All but five holonomy signatures are realizable","feed_subtitle":"A reduction from $4^{2g}$ cases to three, via 4-differentials, closes the quadrangulation existence question.","key_machinery":"The load-bearing machinery is the dictionary pairing seamless parametrizations with flat $\\mathbb{Z}_4$ cone metrics and then with meromorphic 4-differentials: a signature with $\\operatorname{im}\\rho=d\\mathbb{Z}_4$ is realizable iff the stratum of primitive $(4/d)$-differentials with orders $m_i/d$ is non-empty (Theorem 3.6). The Reduction Lemma (Theorem 3.4) supplies the input that for fixed cone angles and genus $g\\ge 1$, two signatures are mapping-class equivalent iff their $\\operatorname{im}\\rho$ agree, cutting the problem to three cases per angle multiset. Lemma 2.6 is the identity that primitivity is measured by $\\operatorname{im}\\rho$: $q=\\eta^d$ exactly when $\\operatorname{im}\\rho\\su","core_discovery":"The central discovery is Theorem 3.10: for a closed oriented surface of any genus, a holonomy signature $(g,m,\\rho)$ is realizable if and only if it is not one of five families: (1) torus with no cone points and $\\operatorname{im}\\rho\\neq 0$; (2) torus with cones of angles $3\\pi/2$ and $5\\pi/2$; (3) torus with cones $\\pi$ and $3\\pi$ and $\\operatorname{im}\\rho=2\\mathbb{Z}_4$; (4) genus-two surface with one cone of angle $6\\pi$ and $\\operatorname{im}\\rho=2\\mathbb{Z}_4$; (5) genus-two surface with cones $3\\pi$ and $5\\pi$ and $\\operatorname{im}\\rho=2\\mathbb{Z}_4$. Two mechanisms carry the proof. First, the Reduction Lemma (Theorem 3.4) shows that for fixed cone angles the mapping class group orb","pith_inferences":["Because realizability depends only on the subgroup $\\operatorname{im}\\rho$, a practical pre-check for quad meshing could decide existence from cone angles plus whether the cross field is globally a vector field, a pair of line fields, or a genuine four-prong field—without knowing the full holonomy character.","If the termination gap in the constructive algorithm were closed—if every cone of valence $w$ on a genus $\\ge 2$ mesh always carries a loop of the needed gap—the classification would become fully constructive and independent of the cited stratum classification.","The boundary doubling discussion suggests that the real-stratum analogue, $k$-differentials invariant under a prescribed anti-holomorphic involution, is likely non-empty whenever Gauss-Bonnet and the parity constraint allow, which would make feature-aligned parametrization existence unconditional.","At a fixed conformal structure, holonomy is not free but Abel-Jacobi computed; the paper's topological answer implies that failures there come from the defined locus being empty, not from the pointwise criterion itself."],"forward_implications":["The gcd condition of the prior sufficient criterion is not necessary: the entire region where the gcd of the cone orders is not $1$ is now settled, with exactly four unrealizable signatures there.","If some cone angle is an odd multiple of $\\pi/2$, the holonomy $\\rho$ is irrelevant: all signatures with those cone angles form a single mapping class group orbit, so realizability depends only on the cone angles.","A genus-two surface whose cross field splits globally into two line fields (holonomy $2\\mathbb{Z}_4$) cannot be quadrangulated with a single $6\\pi$ cone or with a $3\\pi/5\\pi$ pair.","Every other Gauss-Bonnet-admissible signature is realizable in every genus, and the positive half is witnessed by explicit one-vertex square-tiled surfaces together with a local surgery that splits one cone into two prescribed cones, often attaining the minimal square count $2g-2+n$.","On surfaces with boundary, the Reduction Lemma holds with boundary turnings included in the subgroup, so a boundary component carrying an odd number of odd-angle corners forces $\\mathbb{Z}_4$ holonomy and makes the holonomy along homology loops irrelevant."],"supporting_citations":[{"why":"Source of the realizability question and the gcd sufficient condition that the paper sharpens to a complete answer.","marker":"[14]"},{"why":"Proves the torus admits no 3,5-quadrangulation; recovered here as the $3\\pi/2,5\\pi/2$ exceptional family.","marker":"[7]"},{"why":"Supplies (S7), the classification of empty primitive $k$-differential strata that is the main non-emptiness input for $g\\ge 1$.","marker":"[6]"},{"why":"Classifies empty quadratic strata, giving $Q(4)$ and $Q(1,3)$ behind the two new genus-two exceptional families.","marker":"[13]"},{"why":"Provides existence of flat cone metrics with prescribed cone angles on the sphere, used for the genus-zero case.","marker":"[15]"},{"why":"Gives the Abel-Jacobi criterion at a fixed conformal structure, which the paper compares with its topological realizability criterion.","marker":"[11]"}],"fun_headline_variants":["Only five holonomy signatures fail on closed surfaces","Every genus: only five holonomy signatures fail","Complete answer: all but five quadrangulation signatures exist","Reduction to three cases settles holonomy signature question","Five exceptional families block full holonomy signature realizability"],"cache_read_input_tokens":30208,"weakest_assumption_plain":"The whole five-family answer for genus $g\\ge 1$ rests on the external classification of empty primitive $k$-differential strata being complete; if that classification has missed any empty stratum, the paper's list is missing a corresponding unrealizable signature. The paper itself says it takes the completeness of that list 'purely on trust.'","fun_headline_variants_meta":{"raw":{"variants":["Only five holonomy signatures fail on closed surfaces","Every genus: only five holonomy signatures fail","Complete answer: all but five quadrangulation signatures exist","Reduction to three cases settles holonomy signature question","Five exceptional families block full holonomy signature realizability"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000674,"raw_usage":{"total_tokens":3357,"prompt_tokens":1025,"completion_tokens":2332,"prompt_tokens_details":{"cached_tokens":896},"prompt_cache_hit_tokens":896,"prompt_cache_miss_tokens":129,"completion_tokens_details":{"reasoning_tokens":2257}},"tokens_in":129,"tokens_out":2332,"duration_ms":46027,"temperature":1.0,"reasoning_tokens":2257,"cache_read_input_tokens":896,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T00:12:29.855415+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a genus $g\\ge 1$ profile $\\mu$ of a primitive $k$-differential that satisfies the Gauss-Bonnet degree and pole bounds but is not one of $(1,-1)$, the empty genus-one profiles, or $(4),(3,1)$ for $k=2$, and whose stratum is empty. By the paper's own dictionary that would yield a sixth unrealizable holonomy signature and refute Theorem 3.10. A more targeted check: verify that no genus-two quad mesh with one $6\\pi$ cone and $\\operatorname{im}\\rho=2\\mathbb{Z}_4$ exists at any size—the paper claims none because the reduced stratum $Q(4)$ is empty.","supporting_citations":[{"cited_title":"There is no triangulation of the torus with vertex degrees 5, 6, ..., 6, 7 and related results: Geometric proofs for combinatorial theorems","cited_arxiv_id":"1207.3605","evidence_quote":"Proves the torus admits no 3,5-quadrangulation; recovered here as the $3\\pi/2,5\\pi/2$ exceptional family."},{"cited_title":"Diff\\'erentielles \\`a singularit\\'es prescrites","cited_arxiv_id":"1705.03240","evidence_quote":"Supplies (S7), the classification of empty primitive $k$-differential strata that is the main non-emptiness input for $g\\ge 1$."},{"cited_title":"Masur, J","cited_arxiv_id":null,"evidence_quote":"Classifies empty quadratic strata, giving $Q(4)$ and $Q(1,3)$ behind the two new genus-two exceptional families."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the Abel-Jacobi criterion at a fixed conformal structure, which the paper compares with its topological realizability criterion."}],"review_version":1}