{"id":"2f7c9d6e-ed26-4ccf-b569-9d7cdc5732a6","arxiv_id":"2412.02460","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For every smooth real genus 4 curve, the paper determines the set of all degree tuples realized by separating maps to the projective line.","lead":"This paper gives the complete list of possible degree sequences, called separating semigroups, for real algebraic curves of genus 4. The list depends only on the type of quadric, the number of real components, and how many components are ovals.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The cone case of Theorem 1 rests on an unproved rigid-isotopy classification; if the quadratic cone admits a separating genus-4 sextic whose rigid isotopy class is not represented in Figure 1, Table 1 could miss a separating semigroup.","rationale":"The paper's core construction survives first scrutiny: with C of bidegree (3,3), a plane section D has class H = K_X + C, so the Poincare residue setup is consistent, and the Abel-theorem/interlacing mechanism of Lemma 2.3 is a coherent independent argument. The table is not fed back into the proofs, and the self-cited Lemma 2.1 is imported from a separate published theorem, so circularity is not a concern. The mechanical problems noted by the reader (the inconsistent (r,l) labels in equation (3) and the omitted proofs of Lemmas 3.7 and 3.8) are real but do not appear to change the mathematical claim if the labels are corrected and the topological lemmas are true. The genuinely load-bearing point is the completeness of the input classification, especially for the cone. The manuscript itself flags this reliance in the Introduction with 'the same arguments can be easily adapted' and a footnote to an unpublished preprint, so this is a self-identified gap under the page-facing rule. The smooth-quadric classification is published, and the cone adaptation is likely achievable, so this does not justify rejection; it does justify a CONDITIONAL verdict pending independent verification of the cone classification. The check above would settle the concern directly.","tokens_in":9426,"tokens_out":29615,"duration_ms":312557,"concrete_test":"Blow up the apex of the quadratic cone to obtain the Hirzebruch surface F2, then enumerate rigid isotopy classes of smooth real genus-4 sextics on the cone by classifying their proper transforms on F2 (away from the exceptional section) with the appropriate divisor class and real structure. For each class with (r,l) = (3,0), (3,2), or (5,4), test whether it is Aut-equivalent to the corresponding model in Figure 1. If a missing class appears, compute its separating semigroup using the paper's §3.2 method; if the resulting semigroup differs from the Table 1 entry, Theorem 1 is false. If no missing class exists, the concern is resolved and the CONDITIONAL verdict can be upgraded.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1 asserts a complete description of Sep(C) for all separating genus 4 curves. For ellipsoids and hyperboloids, completeness of the rigid-isotopy enumeration is imported from Degtyarev-Zvonilov. For the quadratic cone, however, the reader is asked to accept that 'the same arguments can be easily adapted' (Introduction, p.2), with only a footnote pointer to [5, p.14] as support. This is not a proof, and the failure mode is real: the cone has a singular real locus with an apex, so a component of RC bounds a smooth disk (an oval) only if the disk avoids the apex; whether a sextic winds around the apex is a rigid-isotopy invariant that is not captured by (r,l) alone in the text. The later deformation arguments in Propositions 3.5 and 3.6 explicitly rely on the assertion that any other curve with the same (r,l) is obtained from the model by a continuous deformation and that a line L (resp. a plane section D) can be deformed along with it. If the cone classification has an additional class with the same (r,l) but a different arrangement of components relative to the apex, the semigroup computed by those propositions need not equal the Table 1 entry. Since this gap is at the level of the theorem's coverage, not a local algebraic computation, it is the most load-bearing assumption in the paper.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper computes the separating semigroup Sep(C) for every smooth real genus 4 curve C, completing the genus 4 case after earlier work on M-curves and genus 3 curves. The proof embeds a non-hyperelliptic genus 4 curve C canonically into a real quadric X (ellipsoid, hyperboloid, or quadratic cone), uses Abel's theorem and Poincaré residues to construct separating morphisms, and relies on a rigid-isotopy classification of genus 4 sextics on quadrics to reduce to the six model curves in Figure 1. The resulting classification, Theorem 1 and Table 1, states that Sep(C) depends only on the quadric type, b0(RC), and the number of ovals. The paper also gives a new proof of the known description for hyperelliptic curves.","tokens_in":9604,"tokens_out":6574,"duration_ms":74693,"significance":"If Theorem 1 is correct, this is a definitive and useful result: the separating semigroup, an invariant introduced by Kummer and Shaw, is completely described for all genus 4 curves, and the answer is surprisingly simple, depending only on the topology of the real locus and the type of the ambient quadric. The approach via canonical embeddings, Poincaré residues, and interlacing divisors is natural and the explicit table gives ready-to-use statements. The paper also provides a self-contained proof for hyperelliptic curves. The main value is in the completeness of the genus 4 classification, which is exactly where the manuscript has a load-bearing gap: the quadratic-cone case rests on an unproved assertion of a rigid-isotopy classification, and a displayed homology-class formula appears to be mislabeled.","major_comments":[{"comment":"Theorem 1 for quadratic cones depends on the assertion that all smooth real genus 4 sextics on the cone with given (r,l) are rigid-isotopic to the model curves in Figure 1. The text says 'The same arguments can be easily adapted to the case when X is a quadratic cone' and refers to a footnote in [5, p.14], but no proof or precise classification statement is given. This is not a harmless omission: the cone has a singular real locus with an apex, and whether a component of RC bounds a disk avoiding the apex is a rigid-isotopy invariant that is not determined by (r,l) alone. Propositions 3.5 and 3.6 explicitly use the deformation claim that every curve with the same (r,l) is obtained from the model by a continuous deformation and that a line L or section D can be deformed along with it. If the cone admits a separating genus 4 sextic whose arrangement with respect to the apex is not represented in Figure 1, the semigroup computed by those propositions need not equal the Table 1 entry, so the completeness of Theorem 1 would fail. Please either supply a proof of the cone classification or give an exact reference with the statement, including the behavior relative to the apex.","section":"§1, p.2 and §3.2 (Propositions 3.5, 3.6)"},{"comment":"Equation (3) lists the homology class of RC in H1(RX) for hyperboloids in the cases (r,l) = (3,3), (3,1), and (1,1), but Table 1 contains no hyperboloid rows with these labels; the hyperboloid rows are (1,0), (3,0), (3,2), and (5,4). Moreover, in the proofs immediately following, Proposition 3.9 uses the class 3a+b for (r,l) = (1,0) and Proposition 3.10 uses the class a+b for (r,l) = (3,0), which contradict the labels in (3). This is not merely a typographical issue, because the intersection computations (e.g., (4)) rely on the correct class. The equation should be corrected and all subsequent computations checked against the corrected labels.","section":"§3.3, Eq. (3)"},{"comment":"Lemmas 3.7 and 3.8 are stated with the note 'we omit the proofs', yet Lemma 3.7 is used in Proposition 3.12 to deform a real plane section along a rigid isotopy while keeping it real and irreducible, and Lemma 3.8 is used to determine linking of lines with components. These are not immediate from the definitions, especially the real irreducibility statement in Lemma 3.7. Since Proposition 3.12 is part of the proof of Theorem 1 for hyperboloids, please include proofs or at least a detailed justification, or provide a precise reference.","section":"§3.3, Lemmas 3.7 and 3.8"}],"minor_comments":[{"comment":"The title contains an unintended space: 'SEP ARA TING' should be 'Separating'.","section":"Title"},{"comment":"The notation 'N3_0' is used for the set of triples of nonnegative integers but is never defined; please define it or write N0^3 consistently.","section":"Table 1 and throughout"},{"comment":"In the sentence 'Then RC ∪ U has two connected components', the symbol ∪ is likely a typo for ∩; the intended statement should be about the two components of RC in the affine chart U.","section":"§4, hyperelliptic case"},{"comment":"Lemma 2.1 is imported from the author's own paper [4, Thm. 3.2] and is used as a black box; this is acceptable, but it would help readers if the statement were accompanied by a brief indication of where in [4] the proof can be found.","section":"§2, Lemma 2.1"}],"recommendation":"major_revision","confidential_remarks":"The main mathematical idea is sound and the paper is likely correct after filling the cone classification gap and fixing the homology labels. The current version, however, asserts rather than proves a load-bearing classification for the quadratic cone; this is the kind of gap that a referee should insist on closing, because Theorem 1's completeness claim is at stake. The paper is within scope for a journal in real algebraic geometry and would be a good contribution once the missing classification is supplied or precisely cited."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The stress-test note is right: the cone case is the load-bearing gap in an otherwise solid paper. The new result is the full genus-4 separating semigroup table, and the residue-and-interlacing method is a genuine extension of the author's earlier work. Lemma 2.3 handles the delicate base-point cases, and the hyperelliptic reproof is a nice bonus. But Theorem 1 covers the quadratic cone by assertion, not proof: 'the same arguments can be easily adapted' sends the reader to a footnote in another paper, not to a verified enumeration. If the cone admits a rigid-isotopy class not captured by (r,l), Table 1 could miss a semigroup. That is load-bearing, because the deformation arguments in Props. 3.5 and 3.6 assume every other curve with the same (r,l) is connected to the model by a continuous path. I do not see a way to patch this without writing down the cone classification explicitly.\n\nThe rest is in decent shape. The dependence on Lemma 2.1 is not circular; it is an independent published theorem. The imports from Degtyarev–Zvonilov for ellipsoids and hyperboloids are appropriate, but the cone adaptation is the author's own unproved claim.\n\nMinor issues: equation (3) lists (r,l) = (3,1) and (1,1) where Table 1 has (3,0) and (1,0). Likely a typo, but confusing. Lemmas 3.7 and 3.8 are stated without proof and used later; they are plausible, but a referee should ask for proofs or a citation. Also, the paper should state explicitly which rigid-isotopy statements are imported and which are new.\n\nThe result is important enough to deserve peer review, and the method is sound. The referee should focus on the cone classification and the two omitted lemmas. If those get fixed, this is publishable.","headline":"Good classification paper, but the quadratic cone case is asserted rather than proved.","tokens_in":10225,"tokens_out":3667,"would_cite":false,"duration_ms":36874,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14P25","14H50"],"pacs":[],"model":"deepseek-v4-flash","headline":"The separating semigroup of every smooth real genus 4 curve is now known.","keywords":["separating semigroup","real algebraic curves","genus 4","real quadric surfaces","Poincaré residue","Abel's theorem","rigid isotopy","sextic curves"],"falsifier":"Search the known rigid-isotopy classes for a smooth separating genus 4 sextic on a quadric with the same $(X,r,l)$ as a row of Table 1 that admits a separating morphism with a degree vector not of the listed form — for example, a hyperboloid curve with $(r,l)=(3,2)$ and a separating morphism whose middle degree is $1$, which Proposition 3.11 forbids.","tokens_in":9106,"feed_emoji":"📐","tokens_out":9625,"duration_ms":95716,"temperature":0.7,"pith_summary":"This paper proves that the separating semigroup of every smooth real curve of genus 4 has an explicit, complete description. A separating rational function is real-valued exactly on the real locus, and its restriction to each real component has a degree; the semigroup collects all possible degree vectors. The paper shows that for genus 4 these vectors are controlled by just three pieces of data: the real quadric containing the canonical model, the number of real components, and the number of ovals. It gives a table of the resulting semigroups and proves the table by a uniform argument using plane sections, Poincaré residues, and Abel's theorem. If correct, this closes the genus 4 case and gives a concrete sense of which real covering degrees can occur.","feed_headline":"Genus 4 curve separating semigroups fully classified","feed_subtitle":"Quadric type, component count, and oval count fix all possible real covering degrees.","key_machinery":"The carrying mechanism is the $D$-orientation: for a real plane section $D=D_0+D_1$ of the quadric, the Poincaré residue of a meromorphic 2-form with divisor $D-C$ orients $\\mathbb{R}C\\setminus\\mathbb{R}D$ in a chess-board pattern that flips across $\\mathbb{R}C\\cup\\mathbb{R}D_1$. Lemma 2.1 says that a separating morphism cannot have a fiber whose points all sit in the part where the $D$-orientation agrees with the complex orientation. Applying Abel's theorem to infinitesimal deformations of a divisor in a linear system converts this sign constraint into an interlacing condition on the fiber points, which forces the possible degree vectors. The rigid-isotopy models of Figure 1 then show these necessary conditions are also sufficient, yielding exactly the table.","core_discovery":"The central claim, Theorem 1, is that for every smooth separating real genus 4 curve the semigroup $\\mathrm{Sep}(C)$ is exactly one of the entries of Table 1, depending only on the quadric $X$ (ellipsoid, hyperboloid, or quadratic cone), the number $r=b_0(\\mathbb{R}C)$ of real components, and the number $l$ of ovals. For instance, on an ellipsoid with $r=3,l=3$ the semigroup is $(1,2,1)+\\mathbb{N}_0^3$, while on a hyperboloid with $r=1,l=0$ it is $3+\\mathbb{N}_0$; M-curves always give $\\mathbb{N}^5$. The paper also reproves the hyperelliptic case, where a non-maximal curve has $\\mathrm{Sep}(C)=\\{2\\}\\cup(4+\\mathbb{N}_0)$. The proof is constructive: separating morphisms are produced as pencils of plane sections, and the obstruction to other degree vectors is read off from the sign behavior of Poincaré-residue 1-forms along the real locus.","pith_inferences":["The same residue-and-interlacing argument might apply to separating semigroups of curves of other genera whose canonical models lie on surfaces with a pencil of real sections, though the paper only treats genus 4.","The table format suggests a testable rigidity statement: for genus 4, the separating semigroup is an invariant of the pair $(\\mathbb{R}X,\\mathbb{R}C)$ up to rigid isotopy; one could try to verify this directly on explicit sextic equations.","Since the table depends only on $(X,r,l)$ and not on finer complex orientations, one might look for higher-genus analogues where this independence fails."],"forward_implications":["For a genus 4 M-curve, every positive 5-tuple occurs: $\\mathrm{Sep}(C)=\\mathbb{N}^5$.","For a non-maximal hyperelliptic genus 4 curve, exactly the vectors in $\\{2\\}\\cup(4+\\mathbb{N}_0)$ occur.","On a quadratic cone with three real components and no ovals, the semigroup is $\\{(1,1,1)\\}\\cup((1,2,1)+\\mathbb{N}_0^3)$, so the symmetric triple $(1,1,1)$ is possible only in addition to the shifted family.","On a hyperboloid with one real component and no ovals, every degree at least 3 occurs via a separating morphism.","In the non-hyperelliptic cases with $r=3$, the middle component always has degree at least 2 in every separating morphism, except for the cone with no ovals where $(1,1,1)$ also occurs."],"supporting_citations":[{"why":"Supplies the complete rigid-isotopy classification of smooth real genus 4 sextics on ellipsoids and hyperboloids, used to reduce to the model curves of Figure 1.","marker":"[1]"},{"why":"Defines the separating semigroup, proves the M-curve case, and provides the interlacing criterion (Prop. 2.11) and non-special divisor extension (Prop. 3.2) used in every construction.","marker":"[2]"},{"why":"Gives the earlier hyperelliptic and genus 3 semigroup results that the paper extends and reproves in Section 4.","marker":"[3]"},{"why":"Supplies the $D$-orientation and Poincaré-residue technique, including the key restriction Lemma 2.1 (Thm. 3.2 there), on which the proof is built.","marker":"[4]"},{"why":"Supports adapting the rigid-isotopy classification to the quadratic cone, the third surface case in Theorem 1.","marker":"[5]"}],"fun_headline_variants":["All genus 4 separating semigroups classified","Separating semigroups for genus 4: complete list","Genus 4 curves: separating semigroups pinned down","Every genus 4 curve's separating semigroup now known","Full classification of separating semigroups for genus 4"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification depends on the imported rigid-isotopy classification of smooth real sextics of genus 4 on each quadric being complete, including the quadratic cone, so that every separating curve is represented by one of the model curves in Figure 1; a missing class could have a semigroup outside Table 1.","fun_headline_variants_meta":{"raw":{"variants":["All genus 4 separating semigroups classified","Separating semigroups for genus 4: complete list","Genus 4 curves: separating semigroups pinned down","Every genus 4 curve's separating semigroup now known","Full classification of separating semigroups for genus 4"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000205,"raw_usage":{"total_tokens":1395,"prompt_tokens":946,"completion_tokens":449,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":562,"completion_tokens_details":{"reasoning_tokens":369}},"tokens_in":562,"tokens_out":449,"duration_ms":4638,"temperature":1.0,"reasoning_tokens":369,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T23:26:24.485157+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Search the known rigid-isotopy classes for a smooth separating genus 4 sextic on a quadric with the same $(X,r,l)$ as a row of Table 1 that admits a separating morphism with a degree vector not of the listed form — for example, a hyperboloid curve with $(r,l)=(3,2)$ and a separating morphism whose middle degree is $1$, which Proposition 3.11 forbids.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the complete rigid-isotopy classification of smooth real genus 4 sextics on ellipsoids and hyperboloids, used to reduce to the model curves of Figure 1."},{"cited_title":"Kummer, K","cited_arxiv_id":null,"evidence_quote":"Defines the separating semigroup, proves the M-curve case, and provides the interlacing criterion (Prop. 2.11) and non-special divisor extension (Prop. 3.2) used in every construction."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the earlier hyperelliptic and genus 3 semigroup results that the paper extends and reproves in Section 4."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the $D$-orientation and Poincaré-residue technique, including the key restriction Lemma 2.1 (Thm. 3.2 there), on which the proof is built."},{"cited_title":"Graphs of trigonal curves and rigid isotopies of singular real algebraic curves of bidegree $(4,3)$ on a hyperboloid","cited_arxiv_id":"2412.15795","evidence_quote":"Supports adapting the rigid-isotopy classification to the quadratic cone, the third surface case in Theorem 1."}],"review_version":1}