{"id":"373a7026-7b92-45f2-8220-e70cb0b8f4d4","arxiv_id":"2412.15795","paper_version":2,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The author provides the missing proofs that the 16 rigid-isotopy classes of singular bidegree (4,3) real curves on a hyperboloid with one node or cusp are each connected, completing the classification by complex scheme.","lead":"This paper finishes the proof that real algebraic curves of bidegree (4,3) on a hyperboloid are classified up to rigid isotopy by their complex schemes. It fills in the missing arguments for the 16 singular classes with one node or cusp, using graph encodings of trigonal curves on Hirzebruch surfaces.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 6 assumes weak uniqueness for the degree-6 block with one oval, but the cited [8, Prop. 8, Lemma 1] may not cover the decorated graph coming from a genuine cut.","rationale":"The paper's central claim is the connectedness of the 16 wall classes. The proof scheme is sound: reduce to trigonal graphs and then to a finite inventory of blocks. However, the reduction is only as strong as the inventory. I focused on the degree-6 piece in Theorem 6 rather than on the broader M-curve statements because this is the point where a graph with a genuine cut and two singular endpoints is asserted to be weakly equivalent to an undecorated block. The cited [8, Proposition 8, Lemma 1] describes and classifies blocks of a specific form; the graph produced by Lemma 1 carries extra decoration (cut endpoints, singular vertices) not shown to be immaterial. This is exactly the kind of 'same way as' step the reader flagged; I agree with the reader's weakest assumption but make it sharper. A skeleton enumeration is a concrete, finite check: skeletons are purely combinatorial objects and the elementary moves are local, so the enumeration is feasible and would either confirm the uniqueness or expose a missing case. Since the reader already returned CONDITIONAL, my concern does not change the verdict; it strengthens the reason for demanding the check before full acceptance.","tokens_in":13019,"tokens_out":17878,"duration_ms":164396,"concrete_test":"Enumerate all abstract skeletons (Section 6) of degree 6 with exactly one oval and with a pair of marked boundary vertices representing the singular vertices left by Lemma 1, up to the weak-equivalence moves of Section 4.4. If the enumeration returns exactly one class, matching Figure 15(II), the citation is sufficient and Theorems 6 and 7 stand; if it returns two or more classes, the wall uniqueness proof has an unproved additional constraint and needs a separate argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The weakest link is the quoted block classification, and the paper uses it at a point where it is not obviously applicable. In Theorem 6, after the genuine solid cut of Lemma 1, the graph splits into a cubic graph of type II and a degree-6 graph with one oval. The proof asserts that the degree-6 piece is weakly equivalent to a block and that this block is unique up to weak equivalence via [8, Proposition 8, Lemma 1]. But [8, Proposition 8] is a description of maximally inflected blocks, and [8, Lemma 1] is the M-curve uniqueness statement later invoked for l=5; neither is stated as a weak-uniqueness theorem for a type II degree-6 graph with one oval and two distinguished singular-vertex endpoints on a genuine cut. The cut introduces an extra boundary vertex, and the equivalence class of the decorated graph could in principle depend on the position of the singular vertices relative to the oval. If that degree-6 class is not unique, the wall omega^±_inn is not proved connected; the same inventory is used in Section 7.2, so Theorems 6 and 7 lose their foundation. Theorem 5 supplies a junction, not a uniqueness statement, and Figure 15 illustrates the expected classes but does not prove exhaustion.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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].","tokens_in":13170,"tokens_out":7236,"duration_ms":58958,"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":[{"comment":"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.","section":"Section 7.1 (Theorem 6)"},{"comment":"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.","section":"Lemma 2"},{"comment":"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.","section":"Lemma 1"},{"comment":"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.","section":"Section 7.2 (Theorem 7, items 3–5)"}],"minor_comments":[{"comment":"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.","section":"Introduction and Section 7"},{"comment":"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.","section":"References [1], [3]"},{"comment":"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.","section":"Footnote in Section 7.2"},{"comment":"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.","section":"Figures placement"}],"recommendation":"major_revision","confidential_remarks":"The paper is likely correct in its overall strategy, and the gaps identified are probably repairable. The most serious issue is the unsupported block-uniqueness claim for the degree-6 graph with one oval in Theorem 6, which is the cornerstone of the whole paper. The author should be asked to provide a self-contained proof of that weak uniqueness, or a precise citation with full statement, and to correct the logical slip in Lemma 2. If these points are resolved, the paper would be a solid contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis paper completes the rigid isotopy classification of bidegree (4,3) curves on a hyperboloid by proving the connectedness of the 16 walls, which was asserted in Zvonilov's 1999 paper but left with a gap pointed out in 2003. The new work translates the problem to trigonal curves on Sigma_3 and uses graphs and skeletons. That is the right tool, and the paper does a credible job organizing the 16 cases. The extension of the skeleton machinery to nodal-cuspidal curves is real, and the proof sketches of Lemmas 1-3 can be followed by a specialist. I also like the side remark on genus 4 trigonal curves on a quadratic cone.\n\nThe soft spot is the one the stress test flags. Theorem 6's wall uniqueness for omega^+-_inn depends on asserting that, after the cut of Lemma 1, the degree-6 graph with one oval is weakly equivalent to a block, and that the block is unique by [8, Prop. 8, Lemma 1]. I cannot verify from this paper that those cited statements actually cover the decorated graph with singular endpoints on a genuine cut. The paper does not state the block-uniqueness theorem precisely or show the decorated graph falls under it. If that transfer is invalid, Theorems 6 and 7 lose their foundation. This is a gap in verification rather than a demonstrable error, but it is load-bearing.\n\nOther softer spots: several assertions are delegated (\"proved in the same way as [7, 5.3]\" and \"easy to deduce\"), and some graph moves are shown by figures rather than formal descriptions. For a research preprint aimed at specialists that is tolerable, but a referee should ask for the details.\n\nThe reliance on earlier work by the same author and collaborators is not circular; those results are published and independent. Still, the paper would be stronger if it spelled out the exact block uniqueness claims it needs.\n\nWho is this for? Specialists in real algebraic geometry working on rigid isotopy classifications. The paper deserves a serious referee: the result is important within its niche, and the proof strategy is sound in outline. But it should not be accepted as is; the referee needs to check the block-uniqueness transfer, and the author should be asked to make the delegated arguments explicit.\n\nRecommendation: send to peer review, conditional.","headline":"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.","tokens_in":13799,"tokens_out":3656,"would_cite":false,"duration_ms":30924,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14P25","14H50","14J26"],"pacs":[],"model":"deepseek-v4-flash","headline":"A real curve of bidegree $(4,3)$ on a hyperboloid is determined up to rigid isotopy by its complex scheme.","keywords":["real algebraic curves","rigid isotopy","hyperboloid","trigonal curves","Hirzebruch surfaces","graphs of curves","Nagata transformations","complex schemes"],"falsifier":"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.","tokens_in":12716,"feed_emoji":"","tokens_out":7561,"duration_ms":56742,"temperature":0.7,"pith_summary":"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.","feed_headline":"Hyperboloid curve classification completed: 16 wall classes connected","feed_subtitle":"The missing proofs show every bidegree (4,3) curve is determined up to rigid isotopy by its complex scheme.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Declares the classification theorem and lists the 16 wall classes whose connectivity this paper proves.","marker":"[1]"},{"why":"Identifies the gap in the earlier proof that the wall classes are connected, which the present paper fills.","marker":"[3]"},{"why":"Provides the graph formalism, elementary moves, weak equivalence, and block structure for real trigonal curves.","marker":"[7]"},{"why":"Supplies the uniqueness of blocks of type I of degree 3d and of degree-6 blocks up to weak equivalence, the load-bearing classification used in Theorems 6 and 7.","marker":"[8]"},{"why":"Gives the theory of trigonal curves via Weierstrass equations, dessins, and the singular fiber types used in the Nagata transformations.","marker":"[11]"},{"why":"Supplies the approach for rigid isotopy classification of plane real quintics that the hyperboloid classification adapts.","marker":"[2]"}],"fun_headline_variants":["16 singular hyperboloid curve classes proven connected","Trigonal graphs complete hyperboloid curve classification","Hyperboloid curve classification finished: 16 wall cases","Rigid isotopy classification complete for hyperboloid curves"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["16 singular hyperboloid curve classes proven connected","Trigonal graphs complete hyperboloid curve classification","Hyperboloid curve classification finished: 16 wall cases","Rigid isotopy classification complete for hyperboloid curves"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001037,"raw_usage":{"total_tokens":4325,"prompt_tokens":864,"completion_tokens":3461,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":480,"completion_tokens_details":{"reasoning_tokens":3397}},"tokens_in":480,"tokens_out":3461,"duration_ms":19953,"temperature":1.0,"reasoning_tokens":3397,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T11:05:18.049980+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Rigid isotopy classification of real algebraic curves of bidegree (4, 3) on a hyperboloid,","cited_arxiv_id":null,"evidence_quote":"Declares the classification theorem and lists the 16 wall classes whose connectivity this paper proves."},{"cited_title":"Appendix to: Rigid isotopy classification of real al- gebraic curves of bidegree (4 , 3) on a hyperboloid,","cited_arxiv_id":null,"evidence_quote":"Identifies the gap in the earlier proof that the wall classes are connected, which the present paper fills."},{"cited_title":"On deformation types of real elliptic surfaces,","cited_arxiv_id":null,"evidence_quote":"Provides the graph formalism, elementary moves, weak equivalence, and block structure for real trigonal curves."},{"cited_title":"Maximally inflected real trigonal curves on Hirze- bruch surfaces,","cited_arxiv_id":null,"evidence_quote":"Supplies the uniqueness of blocks of type I of degree 3d and of degree-6 blocks up to weak equivalence, the load-bearing classification used in Theorems 6 and 7."},{"cited_title":"Degtyarev, Topology of algebraic curves","cited_arxiv_id":null,"evidence_quote":"Gives the theory of trigonal curves via Weierstrass equations, dessins, and the singular fiber types used in the Nagata transformations."},{"cited_title":"Degtyarev, I","cited_arxiv_id":null,"evidence_quote":"Supplies the approach for rigid isotopy classification of plane real quintics that the hyperboloid classification adapts."}],"review_version":1}