pith. sign in

arxiv: 2404.09671 · v4 · pith:2WS6SOGAnew · submitted 2024-04-15 · 🧮 math.AG

Real plane separating (M-2)-curves of degree d and totally real pencils of degree d-3

Matilde Manzaroli This is my paper

Pith reviewed 2026-05-24 02:35 UTC · model grok-4.3

classification 🧮 math.AG MSC 14P25
keywords real plane curvesseparating curvesM-curvesoval arrangementspencils of curvesreal projective planeHarnack curves
0
0 comments X

The pith

Real plane (M-2)-curves of degree d are separating precisely when their ovals are in non-convex position.

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

The paper generalizes a known characterization from degree-five curves to arbitrary degrees. For any d, a non-singular real plane projective (M-2)-curve separates the plane if and only if its ovals lie in non-convex position. The argument places the problem in the setting of totally real pencils of degree d-3 to obtain the uniform statement. A sympathetic reader would care because the result supplies a single topological test that works across all degrees rather than requiring case-by-case analysis.

Core claim

The known fact that a non-singular real plane projective curve of degree five with five connected components is separating if and only if its ovals are in non-convex position holds for all real plane separating (M-2)-curves of degree d.

What carries the argument

Totally real pencils of degree d-3, which supply the context that extends the oval-position criterion from degree five to every d.

If this is right

  • The separating property of these curves reduces to a check on the combinatorial arrangement of their ovals.
  • Explicit constructions of separating (M-2)-curves become available for every degree via the associated pencils.
  • Topological data alone classify which (M-2)-curves divide the plane, uniformly in d.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same pencil technique might classify separating curves with other numbers of components.
  • Explicit equations for degree-six or degree-seven examples could be written down and checked directly against the criterion.
  • The result may link to questions about the real topology of hypersurfaces in higher-dimensional projective spaces.

Load-bearing premise

The topological arrangement of ovals continues to determine the separating property for (M-2)-curves of arbitrary degree in the same manner as the degree-five case, without additional obstructions arising from higher degree or the pencil construction.

What would settle it

An (M-2)-curve of degree six whose ovals are in non-convex position yet fails to separate the real projective plane, or one that separates despite convex oval placement.

Figures

Figures reproduced from arXiv: 2404.09671 by Matilde Manzaroli.

Figure 1
Figure 1. Figure 1: Arrangement of a triplet (P2 (R),C(R), S1 ∪S2 ∪S3) as in Definition 1.3, where the Si are the three segments. The interested reader can find one of the possible constructions of a real plane separating quintic with five connected components in [Vir07, Section 2, [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: (P2 (R) \ J,C5(R),L0(R)∪L1(R)). The arrows denote the fixed complex orientation of the ovals of C(R), and the dots • denote the points of tangency and the intersection point of the fixed lines L0 and L1, which are in bold [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: (P2 (R),C(R),L(R)) of Example 2.4. Double arrows denote O, simple arrows the fixed complex orientation of C(R) and • the points in f −1 (p). let us suppose that there exists a separating morphism f : C → P 1 C of degree 6 such that f has degree 2 when restricted to a negative oval of C(R). Then, fix some p ∈ P1 (R) and apply Theorem 2.1, taking as D0 the line passing through the two points of f −1 (p) belo… view at source ↗
read the original abstract

It is well known that a non-singular real plane projective curve of degree five with five connected components is separating if and only if its ovals are in non-convex position. In this article, this property is set into a different context and generalised to all real plane separating (M-2)-curves.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript generalizes the known fact that a nonsingular real plane projective curve of degree 5 with five connected components is separating if and only if its ovals are in non-convex position. It extends this characterization to all real plane separating (M-2)-curves of arbitrary degree d by associating them with totally real pencils of degree d-3.

Significance. If the claimed equivalence holds, the result supplies a uniform topological criterion (non-convex position of ovals) for the separating property across all degrees for the (M-2) class, linking it to the existence of a totally real pencil of degree d-3. This would strengthen the dictionary between topology of real curves and algebraic constructions in real algebraic geometry.

major comments (2)
  1. [pencil construction (likely §3 or §4)] The central generalization rests on the claim that every non-convex (M-2) configuration arises from a totally real pencil of degree d-3 without additional reality obstructions for d>5. The manuscript must verify this explicitly (e.g., by exhibiting the root interlacing or reality conditions for the pencil and showing they are satisfied precisely when the ovals are non-convex).
  2. [main theorem statement and proof] The converse direction (separating implies non-convex ovals via the pencil) requires showing that the pencil construction does not exclude any separating (M-2) curves that satisfy the topological criterion; a counter-example or missing case for d=6 would falsify the claim.
minor comments (2)
  1. [Introduction] Define (M-2)-curve and separating curve at the first use; the abstract assumes familiarity but the body should state the definitions explicitly for readers outside the immediate subfield.
  2. [Notation and setup] Clarify the precise relation between the pencil of degree d-3 and the curve of degree d (e.g., via the equation of the curve as a linear combination or resultant).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comments. We agree that the pencil construction and the converse direction in the main theorem require more explicit verification to fully support the claimed generalization, and we will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [pencil construction (likely §3 or §4)] The central generalization rests on the claim that every non-convex (M-2) configuration arises from a totally real pencil of degree d-3 without additional reality obstructions for d>5. The manuscript must verify this explicitly (e.g., by exhibiting the root interlacing or reality conditions for the pencil and showing they are satisfied precisely when the ovals are non-convex).

    Authors: We agree that an explicit verification of the reality conditions is necessary for the generalization beyond degree 5. In the revised manuscript we will add a dedicated subsection detailing the root interlacing conditions for the pencil of degree d-3 and prove that these conditions hold if and only if the ovals lie in non-convex position, thereby confirming the absence of further obstructions for d>5. revision: yes

  2. Referee: [main theorem statement and proof] The converse direction (separating implies non-convex ovals via the pencil) requires showing that the pencil construction does not exclude any separating (M-2) curves that satisfy the topological criterion; a counter-example or missing case for d=6 would falsify the claim.

    Authors: The proof of the main theorem constructs the pencil in both directions and claims exhaustiveness. To address the concern about possible exclusions, the revised version will include an explicit verification for d=6, confirming that every separating (M-2) curve whose ovals are non-convex is realized by the construction. Should any counter-example appear in this check, the statement will be adjusted accordingly. revision: yes

Circularity Check

0 steps flagged

No circularity: generalization rests on external d=5 fact and independent pencil construction

full rationale

The paper explicitly treats the degree-five separating iff non-convex ovals statement as a known external fact and frames its contribution as placing that fact in a new context via totally real pencils of degree d-3. No equation or argument reduces the claimed generalization to a fitted parameter, a self-citation chain, or a definitional renaming; the derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the externally known degree-five characterization plus standard background results in real algebraic geometry about components and separating behavior.

axioms (1)
  • standard math A non-singular real plane projective curve of degree five with five connected components is separating if and only if its ovals are in non-convex position
    The paper explicitly starts from this well-known fact and generalizes it.

pith-pipeline@v0.9.0 · 5570 in / 1211 out tokens · 51390 ms · 2026-05-24T02:35:43.694311+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

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

  1. Copositive Matrices with Ordered Off-Diagonal Entries

    math.OC 2026-05 unverdicted novelty 7.0

    Copositive matrices with nondecreasing off-diagonal entries admit a PSD plus nonnegative decomposition, which implies exactness of a natural relaxation for separable quadratic optimization over the simplex.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    L. Ahlfors. Open R iemann surfaces and extremal problems on compact subregions. Comment. Math. Helv. , 24:100--134, 1950

    work page 1950

  2. [2]

    Coppens and J

    M. Coppens and J. Huisman. Pencils on real curves. Math. Nachr. , 286(8-9):799--816, 2013

    work page 2013

  3. [3]

    M. Coppens. The separating gonality of a separating real curve. Monatsh. Math. , 170:1--10, 2013

    work page 2013

  4. [4]

    M. Coppens. Pencils on separating (M-2) -curves. Annali di Matematica Pura ed Applicata (1923 -) , 193(4):961--973, 2014

    work page 1923

  5. [5]

    A. I. Degtyarev and V. M. Kharlamov. Topological properties of real algebraic varieties: R okhlin's way. Russ. Math. Surv. , 55(4):735--814, 2000

    work page 2000

  6. [6]

    P. A. Griffiths J. Harris E. Arbarello, M. Cornalba. Geometry of Algebraic Curves, Volume I . Grundlehren der mathematischen Wissenschaften. Springer New York, NY, 1985

    work page 1985

  7. [7]

    T. Fiedler. Pencils of lines and the topology of real algebraic curves. Math. USSR Izvestiya 21, 121-170 , 1983

    work page 1983

  8. [8]

    A. Gabard. Sur la repr \'e sentation conforme des surfaces de R iemann \`a bord et une caract \'e risation des courbes s \'e parantes. Comment. Math. Helv. , 81(4):945--964, 2006

    work page 2006

  9. [9]

    D. A. Gudkov and E. I. Shustin. Classification of non-singular 8th order curves on ellipsoid . In Methods of the qualitative theory of differential equations , pages 104--107(Russian). Gor'kov. Gos. Univ., Gorki, 1980

    work page 1980

  10. [10]

    A. Harnack. \" U ber vieltheiligkeit der ebenen algebraischen Curven . In Math. Ann., 10: 189-199, , volume 1060 of Lecture Notes in Math. , pages 187--200. 1876

    work page

  11. [11]

    J. Huisman. On the geometry of algebraic curves having many real components. Rev. Mat. Complut. , 14(1):83--92, 2001

    work page 2001

  12. [12]

    J. Huisman. Non-special divisors on real algebraic curves and embeddings into real projective spaces. Annali di Matematica Pura ed Applicata , 182(1):21--35, 2003

    work page 2003

  13. [13]

    U ber Fl \

    F. Klein. \"U ber Fl \"a chen dritter Ordnung . Math. Ann. 6, pag. 551--581 , 1873

    work page

  14. [14]

    Kummer and E

    M. Kummer and E. Shamovich. Real fibered morphisms and Ulrich sheaves . J. Algebraic Geom. , 29(1):167 -- 198, 2020

    work page 2020

  15. [15]

    Kummer and K

    M. Kummer and K. Shaw. The separating semigroup of a real curve. Annales de la Facult \'e des sciences de Toulouse: Math \'e matiques , 29(1):79--96, 2020

    work page 2020

  16. [16]

    Kummer, C

    M. Kummer, C. Le Texier, and M. Manzaroli. Real-Fibered Morphisms of del Pezzo Surfaces and Conic Bundles . Discrete & Computational Geometry , 69:849--872, 2023

    work page 2023

  17. [17]

    Manzaroli

    M. Manzaroli. Real algebraic curves of bidegree (5,5) on the quadric ellipsoid. St. Petersburg Math. J. , 32(2):279--306, 2021

    work page 2021

  18. [18]

    Manzaroli

    M. Manzaroli. R eal algebraic curves on real del P ezzo surfaces. International Mathematics Research Notices , 2022(2):1350--1413, 2022

    work page 2022

  19. [19]

    Manzaroli

    M. Manzaroli. Obstructions for the existence of separating morphisms and totally real pencils. to appear in ASFT , 2023

    work page 2023

  20. [20]

    Mikhalkin

    G. Mikhalkin. Topology of curves of degree 6 on cubic surfaces in R P ^3 . J. Algebraic Geom. , 7(2):219--237, 1998

    work page 1998

  21. [21]

    N. M. Mishachev. Complex orientations of plane M -curves of odd degree. Funct Anal Its Appl , 9:342--343, 1975

    work page 1975

  22. [22]

    S. Y. Orevkov. Riemann existence theorem and construction of real algebraic curves. Ann. Fac. Sci. Toulouse Math. (6) , 12(4):517--531, 2003

    work page 2003

  23. [23]

    S. Y. Orevkov. Algebraically unrealizable complex orientations of plane real pseudoholomorphic curves. Geom. and Funct. Anal. , (31):930--947, 2021

    work page 2021

  24. [24]

    V. A. Rokhlin. Complex orientations of real algebraic curves. Funct Anal Its Appl , 8:331--334, 1974

    work page 1974

  25. [25]

    Totally real pencils of cubics with respect to sextics

    S. Fiedler-Le Touz \'e . Totally real pencils of cubics with respect to sextics. arXiv:1303.4341 , 2013

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  26. [26]

    O. Y. Viro. Introduction to topology of real algebraic varieties. 2007

    work page 2007