REVIEW 3 major objections 4 minor 1 cited by
Separating semigroup of genus 4 curves
T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The separating semigroup of every smooth real genus 4 curve is now known.
desk verdict Good classification paper, but the quadratic cone case is asserted rather than proved. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (3)
- [§1, p.2 and §3.2 (Propositions 3.5, 3.6)] 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.
- [§3.3, Eq. (3)] 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.
- [§3.3, Lemmas 3.7 and 3.8] 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.
minor comments (4)
- [Title] The title contains an unintended space: 'SEP ARA TING' should be 'Separating'.
- [Table 1 and throughout] 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.
- [§4, hyperelliptic case] 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.
- [§2, Lemma 2.1] 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.
Circularity Check
No significant circularity: the genus-4 separating semigroup table is derived from independent rigid-isotopy classifications and prior residue/orientation lemmas, not from its own conclusion.
full rationale
The paper's derivation of Theorem 1 is not circular. The target object, Sep(C), is computed from model curves using Abel's theorem, Poincaré residues, Riemann-Roch, and two imported inputs: the rigid-isotopy classification of real genus-4 sextics on quadrics from Degtyarev-Zvonilov [1] for ellipsoids and hyperboloids, and Lemma 2.1 = [4, Thm. 3.2], a theorem about D-orientations versus complex orientations. Neither input is defined in terms of separating semigroups, nor fitted to Table 1; both are external, parameter-free statements with proofs in other publications. The self-citation [4] is genuine evidence and is not equivalent to the semigroup table. The only weak point is coverage: for the quadratic cone, the completeness of the rigid-isotopy list is asserted by 'The same arguments can be easily adapted to the case when X is a quadratic cone' (Introduction, p.2) with a pointer to [5, p.14], and Propositions 3.5 and 3.6 rely on that deformation statement. That is an omitted proof or completeness risk, not a circular reduction: the semigroup formulas still follow for curves satisfying the stated deformation hypothesis, and Table 1 is not encoded in the inputs by construction. No fitted parameter is renamed as a prediction, and no equation reduces to the theorem being proved.
Assumptions & free parameters
assumptions (4)
- domain assumption Lemma 2.1: the D-orientation cannot coincide with the complex orientation at all points of P \ D (imported from Orevkov's earlier paper).
- domain assumption Complete rigid-isotopy classification of smooth real genus 4 sextics on real quadrics, including the cone case, is taken from Degtyarev-Zvonilov and a footnote in Zvonilov.
- domain assumption Background properties of separating semigroups from Kummer-Shaw: M-curve case Sep = N^(g+1), interlacing divisors give separating morphisms, and non-special divisors allow semigroup closure.
- standard math Standard theorems: Riemann-Roch, Abel's theorem, and the implicit function theorem.
Cite this review
Pith. "Pith review of Separating semigroup of genus 4 curves." pith.science (2026). https://pith.science/paper/EREGU2HO
@misc{pith2026241202460,
author = {Pith},
title = {Pith review of: Separating semigroup of genus 4 curves},
year = {2026},
howpublished = {\url{https://pith.science/paper/EREGU2HO}},
note = {Machine review of arXiv:2412.02460}
}
abstract
A rational function on a real algebraic curve $C$ is called separating if it takes real values only at real points. Such a function defines a covering $\mathbb R C\to\mathbb{RP}^1$. Let $c_1,\dots,c_r$ be connected components of $\mathbb R C$. M. Kummer and K. Shaw defined the separating semigroup of $C$ as the set of all sequences $(d_1(f),\dots,d_r(f))$ where $f$ is a separating function and $d_i(f)$ is the degree of the restriction of $f$ to $c_i$. In the present paper we describe the separating semigroups of all genus 4 curves. For the proofs we consider the canonical embedding of $C$ into a quadric $X$ in $\mathbb P^3$ and apply Abel's theorem to 1-forms obtained as Poincar\'e residues at $C$ of certain meromorphic 2-forms on $X$.
Figures
Forward citations
Cited by 1 Pith paper
-
On finiteness properties of separating semigroup of real curve
For each genus g, the set of all separating semigroups of real curves of genus g is finite.
Reference graph
Works this paper leans on
-
[1]
A. I. Degtyarev, V. I. Zvonilov, Rigid isotopy classification of real algebraic curves of bid egree (3,3) on quadrics, Mat. Zametki 66:6 (1999), 810–815 (Russian); English transl., Math. Notes 66 (1999), 670–674
work page 1999
- [2]
-
[3]
S. Yu. Orevkov, Separating semigroup of hyperelliptic curves and of genus 3 curves, Algebra i Analiz 31 (2019), no. 1, 108–113 (Russian); English transl., St. Peters burg Math. J. 31 (2020), 81–84
work page 2019
-
[4]
S. Yu. Orevkov, Algebraically unrealizable complex orientations of plane real pseudoholomor- phic curves , GAF A – Geom. Funct. Anal. 31 (2021), 930–947
work page 2021
-
[5]
V. I. Zvonilov, Graphs of trigonal curves and rigid isotopies of singular re al algebraic curves of bidegree (4,3) on a hyperboloid , arxiv:2412.15795. Steklov Mathematical Institute, Gubkina 8, Moscow, Russia IMT, l’universit´e Paul Sabatier, 118 route de Narbonne, Toulouse, France E-mail address : orevkov@math.ups-tlse.fr
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.