Pith. sign in

REVIEW 4 major objections 4 minor 1 cited by

Graphs of trigonal curves and rigid isotopies of singular real algebraic curves of bidegree $(4,3)$ on a hyperboloid

T0 review · 4 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A real curve of bidegree $(4,3)$ on a hyperboloid is determined up to rigid isotopy by its complex scheme.

desk verdict Fills the gap in an old classification claim, but the proof leans on block-uniqueness results that need a referee to confirm they apply to the cut graphs. read the letter →

arxiv 2412.15795 v2 pith:5YK46JH5 submitted 2024-12-20 math.AG math.CO

V.I. Zvonilov This is my paper · ORCID
classification math.AGmath.CO MSC 14P2514H5014J26
keywords realalgebraiccurvesrigidisotopyhyperboloidtrigonalHirzebruchsurfacesgraphsofNagatatransformationscomplexschemes
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper completes the rigid isotopy classification of nonsingular real algebraic curves of bidegree $(4,3)$ on a hyperboloid. The missing step is a proof that each of the 16 classes of singular curves with a single node or cusp is connected; these classes are the walls that separate the chambers of nonsingular curves. The proof translates each singular curve $C$ into the graph of its image $N(C)$, a proper trigonal curve on the Hirzebruch surface $\Sigma_3$, via a Nagata transformation, and then shows the graph is weakly equivalent to one of a few unique building blocks. If the proof is right, every nonsingular curve is determined up to rigid isotopy by its complex scheme, and the classification begun earlier is finished.

What carries the argument

The central objects are graphs of real trigonal curves: dessins on a disk obtained by pulling back the real projective line through the $j$-invariant map, with vertices colored by critical values $0$, $1$, $\infty$ and edges colored by the intervals between them. Two generic real trigonal curves are rigidly isotopic exactly when their graphs are weakly equivalent, where weak equivalence allows the elementary moves of monochrome modification, bridge creation, $\circ$-in/out, $\bullet$-in/out, and the straightening or creating of a zigzag. Curves of bidegree $(4,3)$ on a hyperboloid are carried by positive Nagata transformations to proper trigonal curves on $\Sigma_3$, with the possible singular fibers listed in Section 4.1. The proof reduces the graphs obtained from the 16 wall classes to blocks—cubic blocks of types I and II and degree-6 blocks—whose uniqueness up to weak equivalence was established in earlier work. The skeleton of a graph, a partially directed embedded graph obtained by contracting pillars, provides the combinatorial language in which these reductions are performed.

What would settle it

Take a curve in one of the listed wall classes, for instance $\alpha^+_{lp}\langle 4\rangle$, and compute the graph of its trigonal image $N(C)$ and the corresponding skeleton; if the skeleton is not equivalent under the moves of Section 6.2 to the one described in Theorem 7, the classification fails. Alternatively, exhibit two bidegree $(4,3)$ curves with the same complex scheme that cannot be joined by a rigid isotopy; the paper predicts none exist.

Watch

Extended reading notes

Core claim

The central claim is that the wall decomposition of the space of bidegree $(4,3)$ curves on a hyperboloid is exactly the one announced earlier: the 16 classes of curves having exactly one non-degenerate double point or one cusp are connected, so no two distinct wall components share a complex scheme. The proof assigns to a singular curve $C$ its proper trigonal image $N(C)$ on the Hirzebruch surface $\Sigma_3$, whose real graph encodes the rigid isotopy class, and reduces that graph to the unique blocks classified in earlier work. Theorems 6 and 7 give the missing arguments for the families $\omega^\pm_{\mathrm{inn}}$ and $\alpha^\pm_{lp}\langle l\rangle$, and Remarks 3 and 5 extend the same reasoning to the remaining wall classes. Consequently Theorem 1 of [1] is established, and Theorem 2 of [1]—that a nonsingular curve is determined up to rigid isotopy by its complex scheme—follows.

Load-bearing premise

The proof depends on previously established uniqueness of certain small building blocks of trigonal-curve graphs; if that uniqueness is wrong or does not apply to the curves coming from bidegree (4,3) on a hyperboloid, the wall-connectivity proofs collapse.

Editorial extensions

If this is right

  • The complete rigid isotopy classification of nonsingular bidegree $(4,3)$ curves on a hyperboloid follows: every chamber is determined by its complex scheme.
  • The 16 wall classes with a single node or cusp are connected, so the wall list in [1] is exactly correct and no wall has two disconnected pieces with the same complex scheme.
  • The same graph-and-skeleton machinery yields the rigid isotopy classification of nonsingular real trigonal curves of genus 4 on a quadratic cone, stated in the footnote to Lemma 3.
  • Rigid isotopy classes of almost generic real trigonal curves are in canonical bijection with equivalence classes of abstract skeletons (Theorem 4), a statement usable independently of the hyperboloid application.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Beyond the paper, the same Nagata-to-trigonal reduction should apply to other bidegrees $(m,3)$ on a hyperboloid, where wall connectivity would be read from the corresponding block decompositions.
  • The paper's reliance on quoted block uniqueness suggests that an independent verification of the uniqueness of type-I blocks of degree $3d$ and of the degree-6 blocks would automatically certify the hyperboloid classification.
  • The skeleton construction in Section 6 could be turned into a computational test that decides rigid isotopy for small bidegrees by checking skeleton equivalence, an extension the paper does not pursue.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. This paper addresses the rigid isotopy classification of nonsingular real algebraic curves of bidegree (4,3) on a hyperboloid. The author's earlier work [1] asserted that such curves are determined up to rigid isotopy by their complex scheme, but a gap was pointed out in [3]. The present paper proposes to fill this gap by proving the connectedness of the 16 walls in the space of singular curves with a single node or cusp, using the theory of real trigonal curves on the Hirzebruch surface Σ3 and their associated graphs (dessins), blocks, and skeletons. The main results are Theorem 6, which asserts the uniqueness of the walls ω±_inn, and Theorem 7, which asserts the uniqueness of the walls α±_lp<l> for 0≤l≤5; Remarks 3 and 5 claim the same arguments cover the remaining walls. The proof strategy is to reduce each wall to a graph of a trigonal curve, cut the graph into blocks, and invoke classification results from earlier work [7], [8].

Significance. If the proofs are completed, the paper would achieve a complete rigid isotopy classification of a nontrivial family of real algebraic curves, resolving a previously identified gap. The approach via trigonal curves, graphs, and skeletons is natural and synthesizes a substantial body of earlier work. The paper is, however, not self-contained at the crucial points: the key uniqueness statements for the blocks of degree 6 are not proved or precisely cited, and one step in the proof of Lemma 2 appears to contradict the statement of the theorem it cites. These gaps are local and potentially repairable, so the contribution is promising but not yet at publishable standard.

major comments (4)
  1. [Section 7.1 (Theorem 6)] The proof asserts that after the cut of Lemma 1 the degree-6 graph with one oval is weakly equivalent to a block and that this block is unique up to weak equivalence by [8, Proposition 8, Lemma 1]. As the manuscript stands, [8, Proposition 8] concerns maximally inflected blocks and [8, Lemma 1] is invoked in Theorem 7 for M-curves and (M−1)-curves; neither is shown to state a weak-uniqueness theorem for the degree-6 decorated graph with one oval and two singular-vertex endpoints obtained from a genuine solid cut. Since the cut introduces an extra boundary vertex, the weak equivalence class of the decorated graph is not obviously independent of the positions of the singular vertices relative to the oval. If this uniqueness is not proved, the connectedness of ω±_inn is not established, and the same block inventory is used in Section 7.2 for Theorem 7.
  2. [Lemma 2] The proof contains the sentence "the block is of type II and by Theorem 5 has at most one oval." This does not follow from Theorem 5, which states that a type II block with at least two ovals is weakly equivalent to a graph with a junction; the theorem imposes no upper bound on the number of ovals. The argument needs a separate justification that in the present situation the block cannot have two ovals, or a different argument producing a jump near a zigzag. Without this, Lemma 2, and hence the reduction in Lemma 3, is unsupported.
  3. [Lemma 1] The proof is only a sketch: the construction of the cut relies on "making monochrome modifications if necessary" and "stop in an intermediate position, when an imaginary monochrome vertex and, thus, the desired cut arise." This is not a rigorous existence proof; it needs a precise deformation argument showing that the intermediate position exists and yields a genuine solid cut in all cases covered by the lemma. Since Theorem 6 builds directly on Lemma 1, this gap is load-bearing.
  4. [Section 7.2 (Theorem 7, items 3–5)] The uniqueness claims for l=1, 2, and 3 are established only through a sequence of skeleton transformations (referring to Figures 8–10, 16, 17) without verifying that each transformation is applicable to the particular skeleton at hand, e.g., that the preconditions for applying transformation 8(h), or transformation 9 to edges e'1 and e3, are satisfied. The use of [7, 6.4.2] to permute blocks also requires that the hypotheses of that result hold for the decorated blocks arising after cuts and skeleton operations. As written, these steps are asserted rather than demonstrated, leaving the uniqueness of the walls α±_lp<l> for l=1, 2, 3 incomplete.
minor comments (4)
  1. [Introduction and Section 7] The paper refers to "16 classes" of singular curves but never lists them explicitly; the reader must reconstruct the list from [1] and [3]. A table naming the walls and indicating which theorem or remark proves the connectedness of each would greatly improve accessibility.
  2. [References [1], [3]] References [1] and [3] are in Russian and published in a local journal; the paper should state explicitly the relevant assertions and notation from [1] that are used, so that the main theorem is checkable without access to those sources.
  3. [Footnote in Section 7.2] The parenthetical footnote about rigid isotopy classification of nonsingular real trigonal curves of genus 4 on a quadratic cone is a side remark that is not used in the main proof; it should be moved to a separate remark or removed to avoid distracting from the main argument.
  4. [Figures placement] Several figures (e.g., Figures 8 and 9) are referenced before they appear; placing figures closer to their first mention would help the reader follow the skeleton transformations.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the wall-uniqueness proof reduces to independent block-uniqueness theorems, not to its own conclusion.

full rationale

The paper's central claim is the connectedness/uniqueness of 16 wall classes of singular bidegree (4,3) curves on a hyperboloid. The proof reduces this, via positive Nagata transformations (Section 7) and the graph-equivalence correspondence between rigid isotopies and weak equivalence of trigonal-curve graphs (Section 4.4 and the proposition after Theorem 1), to uniqueness statements about blocks and skeletons. The load-bearing block-uniqueness inputs are quoted from published prior work, for example 'The latter are unique up to weak equivalence by [8, Proposition 8, Lemma 1]' in the proof of Theorem 6, and 'By [8, Proposition 10, Lemma 1] for any d ≥ 1 there exists a unique, up to weak equivalence, block Γ ⊂ D of type I and of degree 3d' in Section 6.4. These are parameter-free classification theorems about maximally inflected trigonal curves on Hirzebruch surfaces, with stated assumptions that do not include the target result; they are not restatements of, or fitted to, the bidegree (4,3) wall classification. The paper adds genuine intermediate content—Lemmas 1–3 and Theorem 5—and derives the wall uniqueness from that content plus the cited block results. Even if some cited uniqueness statement is misapplied to a decorated graph carrying a genuine cut or singular endpoints, that would be an applicability or correctness gap in the reduction, not circularity, since the conclusion is not assumed as a premise. No fitted parameter is renamed as a prediction, and no wall class is defined in terms of the graph class whose uniqueness is quoted. Accordingly, no circular step is exhibited.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No numerical parameters are fitted; the paper is a proof in algebraic geometry. The mathematical objects introduced or extended, such as skeletons, cuts, junctions, and blocks, are combinatorial constructions for the proof rather than postulated entities with independent physical evidence. No new particles, forces, dimensions, or conserved quantities appear.

assumptions (4)
  • domain assumption Graph equivalence classes classify deformation and rigid isotopy classes of generic real trigonal curves.
    Section 4.4: Theorem 1 is stated with proof delegated to [7, 5.3], and the weak-equivalence statement for rigid isotopy is said to be 'easy to deduce from [7]'.
  • domain assumption Every non-hyperbolic nonsingular trigonal curve is rigidly isotopic to a maximally inflected one, including the nodal-cuspidal extension without imaginary singularities.
    Sections 4.5 and 4.6: Theorem 2 is cited from [13]/[7], and Theorem 3 is stated as 'easy to check' from [8, Theorem 3].
  • domain assumption Blocks of type I and II are unique up to weak equivalence, and for each d there is a unique block of type I of degree 3d.
    Sections 7.1 and 7.2: Theorems 6 and 7 reduce wall uniqueness to [8, Proposition 8, Lemma 1] and [7, 6.4.2].
  • domain assumption There is a canonical bijection between rigid isotopy classes of almost generic real trigonal curves and equivalence classes of abstract skeletons.
    Section 6.3: Theorem 4 is stated as an extension of [8, Theorem 2]; the proof is not reproduced.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Graphs of trigonal curves and rigid isotopies of singular real algebraic curves of bidegree $(4,3)$ on a hyperboloid." pith.science (2026). https://pith.science/paper/5YK46JH5

@misc{pith2026241215795,
  author       = {Pith},
  title        = {Pith review of: Graphs of trigonal curves and rigid isotopies of singular real algebraic curves of bidegree $(4,3)$ on a hyperboloid},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5YK46JH5}},
  note         = {Machine review of arXiv:2412.15795}
}
read the original abstract

A rigid isotopy of real algebraic curves of a certain class is a path in the space of curves of this class. The paper's study completes the rigid isotopic classification of nonsingular real algebraic curves of bidegree (4,3) on a hyperboloid, begun by the author in earlier works. There are given the missing proofs of the uniqueness of the connected components for 16 classes of real algebraic curves of bidegree (4,3) having a single node or a cusp. The main technical tools are graphs of real trigonal curves on Hirzebruch surfaces.

Figures

Figures reproduced from arXiv: 2412.15795 by the authors.

Figure 1
Figure 1. Elementary moves of graphs [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
Figure 3
Figure 3. Removing/creating adjacent jump and zigzag [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗
Figure 4
Figure 4. Removing/creating a pair of adjacent zigzags [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
Figures from the paper (13 more)
Figure 5
Figure 5. Figure 5: Passage of a nodal point through a cusp [PITH_FULL_IMAGE:figures/full_fig_p010_5.png]
Figure 6
Figure 6. Figure 6: Passage of a nodal point through a point [PITH_FULL_IMAGE:figures/full_fig_p010_6.png]
Figure 7
Figure 7. Figure 7: Cubic blocks endpoints of I1 into monochrome vertices, or by preserving these endpoints as essential vertices. In what follows, we always assume that Ij is part of an edge of the graph Γj , or Ij contains one ◦-vertex, or it ends at singular vertices (and then contains…
Figure 8
Figure 8. Figure 8: Elementary moves of skeletons 6.2 Equivalence of abstract skeletons Two abstract skeletons are called equivalent if, up to a homeomorphism f : D → D they can be related by a finite sequence of isotopies and the following elementary moves, cf. 4.4: – elementary modifica…
Figure 9
Figure 9. Figure 9: A junction with the type II cubic block Theorem 4. There is a canonical bijection between the set of rigid isotopy classes of almost generic real trigonal curves and the set of equivalence classes of abstract skeletons. 6.4 Weak equivalence of blocks By [8, Proposition…
Figure 10
Figure 10. Figure 10: A junction with a block of degree 6 [PITH_FULL_IMAGE:figures/full_fig_p017_10.png]
Figure 11
Figure 11. Figure 11: ω + inn is clear that in this case rigidly isotopic curves correspond to rigidly isotopic ones. 7.1 Curves ω ± inn A curve C ∈ ω ± inn is hyperbolic. Its real scheme can be obtained by combining the real schemes ⟨(3, 2)⟩ and ⟨(1, 1)⟩ of nonsingular branches of the cur…
Figure 12
Figure 12. Figure 12: Solid cut bold edge β1 with some •-vertex b. Let β2, β3 be other bold edges adjacent to b (see [PITH_FULL_IMAGE:figures/full_fig_p018_12.png]
Figure 13
Figure 13. Figure 13: α + lp < l > branch (3, 2), bounded by singular points, which has an odd intersection multiplicity with the line y = 0 – for the classes ω ± out; on the image of the branch (1, 1) – for the class ˜ω). Therefore, the same arguments prove the connectedness of these clas…
Figure 14
Figure 14. Figure 14: γ + out Proof. The singular points of N(C) correspond to the singular vertices of its graph. Let one of the singular vertices s be non-isolated. If it is connected by a real dotted edge to a (non-singular) ×-vertex, then s can be turned into an isolated vertex using t…
Figure 15
Figure 15. Figure 15: Blocks of degree 6 up to weak equivalence [PITH_FULL_IMAGE:figures/full_fig_p021_15.png]
Figure 16
Figure 16. Figure 16: A junction with the cubic block of type I [PITH_FULL_IMAGE:figures/full_fig_p022_16.png]
Figure 17
Figure 17. Figure 17: The skeleton of the graph Γ with l = 1 by singular points, that has odd intersection multiplicity with the line y = 0; for the classes α ± ov < l >, the point p is on an oval). Therefore, the same arguments prove connectedness of these classes as well. References [1] …

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Separating semigroup of genus 4 curves

    math.AG 2024-12 conditional novelty 6.0 of 10

    For every smooth real genus 4 curve, the paper determines the set of all degree tuples realized by separating maps to the projective line.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · cited by 1 Pith paper

  1. [1]

    Rigid isotopy classification of real algebraic curves of bidegree (4, 3) on a hyperboloid,

    V. I. Zvonilov, “Rigid isotopy classification of real algebraic curves of bidegree (4, 3) on a hyperboloid, ”Vestn. Syktyvkar. Univ. Ser. 1 Mat. Mekh. Inform., 3, 81–88 (1999) (in Russian)

    work page 1999

  2. [3]

    Appendix to: Rigid isotopy classification of real al- gebraic curves of bidegree (4 , 3) on a hyperboloid,

    V. I. Zvonilov, “Appendix to: Rigid isotopy classification of real al- gebraic curves of bidegree (4 , 3) on a hyperboloid, ”Vestn. Syktyvkar. Univ. Ser. 1 Mat. Mekh. Inform., 5, 239–242 (2003) (in Russian)

    work page 2003

  3. [7]

    On deformation types of real elliptic surfaces,

    A. Degtyarev, I. Itenberg, V. Kharlamov, “On deformation types of real elliptic surfaces, ”Amer. J. Math. 130 (6), 1561–1627 (2008)

    work page 2008

  4. [8]

    Maximally inflected real trigonal curves on Hirze- bruch surfaces,

    V. I. Zvonilov, “Maximally inflected real trigonal curves on Hirze- bruch surfaces, ”In: Contemporary Mathematics, Topology, Geometry, and Dynamics V.A.Rokhlin-Memorial. 772, United States of America: American Mathematical Society, 331–345 (2021). 23

    work page 2021

  5. [2]

    Degtyarev, I

    A. Degtyarev, I. Itenberg, V. Kharlamov, Real Enriques surfaces (In- ternational Mathematics Research Notices, rnaa169. https://dx.doi. org/10.1093/imrn/rnaa169 Accessed 2020)

    work page doi:10.1093/imrn/rnaa169 2020

  6. [4]

    Complex topological characteristics of real algebraic curves,

    V. A. Rokhlin, “Complex topological characteristics of real algebraic curves, ”Russian Math. Surveys, 33 (5), 85–98 (1978)

    work page 1978

  7. [5]

    Progress in the topology of real algebraic varieties over the last six years,

    O. Ya. Viro, “Progress in the topology of real algebraic varieties over the last six years, ”Russian Math. Surveys, 41 (3), 55–82 (1986)

    work page 1986

  8. [6]

    Complex topological invariants of real algebraic curves on a hyperboloid and on an ellipsoid,

    V. I. Zvonilov, “Complex topological invariants of real algebraic curves on a hyperboloid and on an ellipsoid, ”St. Petersburg Math. J., 3 (5), 1023–1042 (1992)

    work page 1992

Show all 14 references
  1. [9]

    Klein, Gesammelte mathematische Abhandlungen, B

    F. Klein, Gesammelte mathematische Abhandlungen, B. 2 (Berlin, 1922)

    1922

  2. [10]

    On rational surfaces I. Irreducible curves of arithmetic genus 0 or 1,

    M. Nagata, “On rational surfaces I. Irreducible curves of arithmetic genus 0 or 1, ”Memoirs of the College of Science, Univ. of Kyoto, Series A, Mathematics, XXXII (3), 351–370 (1960)

    1960

  3. [11]

    Degtyarev, Topology of algebraic curves

    A. Degtyarev, Topology of algebraic curves. An approach via dessins d’enfants (De Gruyter Studies in Mathematics, Berlin: Walter de Gruyter & Co., 44, 2012)

    2012

  4. [12]

    Rigid isotopy classification of generic rational curves of degree 5 in the real projective plane,

    A. Jaramillo Puentes, “Rigid isotopy classification of generic rational curves of degree 5 in the real projective plane, ”Geom. Dedicata 211, 1–70 (2021)

    2021

  5. [13]

    Real trigonal curves and real elliptic surfaces of type I,

    A. Degtyarev, I. Itenberg, V. Zvonilov, “Real trigonal curves and real elliptic surfaces of type I, ”J. Reine Angew. Math., 686, 221–246 (2014)

    2014

  6. [14]

    Rigid isotopies of trinomial curves with the maximal number of ovals,

    V. I. Zvonilov, “Rigid isotopies of trinomial curves with the maximal number of ovals, ”Vestn. Syktyvkar. Univ. Ser. 1 Mat. Mekh. Inform., 6, 45–66 (2006) (in Russian). 24

    2006

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.