Recognition: 2 theorem links
· Lean TheoremGeometry of weak contact conics to irreducible quartics with 2 nodes and 1 cusp via rational elliptic surfaces and Zariski pairs
Pith reviewed 2026-05-11 02:18 UTC · model grok-4.3
The pith
Weak contact conics to irreducible quartics with two nodes and one cusp correspond bijectively to integral sections of a canonically associated rational elliptic surface.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For every irreducible quartic Q with two nodes and one cusp, and for each smooth point zo lying on Q, the conics C such that every intersection point of C and Q has even multiplicity and zo lies on both curves are in bijective correspondence with the integral sections of the rational elliptic surface that canonically arises from Q and zo. The correspondence is obtained by blowing up the plane at the singular points of Q together with zo and resolving the resulting configuration so that the proper transform yields an elliptic surface whose sections encode the desired contact conics.
What carries the argument
the rational elliptic surface canonically arising from the quartic Q and the smooth point zo, whose integral sections parametrize the weak contact conics
If this is right
- All such contact conics for a given quartic can be found by enumerating the integral sections on its associated elliptic surface.
- Explicit Zariski pairs of degree 7 and degree 8 are obtained by adjoining to each such conic a line through two singular points of the quartic.
- The even-multiplicity intersection condition is equivalent to the corresponding section being integral on the elliptic surface.
Where Pith is reading between the lines
- The same surface-construction technique could be tested on quartics with different combinations of nodes and cusps to see whether similar bijections hold.
- The new Zariski pairs supply concrete examples for computational checks of topological versus algebraic equivalence of plane curves.
- Arithmetic properties of the integral sections might translate into bounds on the number of such contact conics for a fixed quartic.
Load-bearing premise
The integral sections of the rational elliptic surface built from the quartic and the chosen smooth point stand in exact one-to-one correspondence with the geometrically defined weak contact conics that meet the even-multiplicity and smooth-point conditions.
What would settle it
A single weak contact conic to such a quartic that does not arise from any integral section of the associated rational elliptic surface, or conversely an integral section whose corresponding curve fails to have even multiplicities at every intersection point.
read the original abstract
Let $\mathcal{Q}$ be an irreducible quartic with two nodes and one cusp as its singularities and let $\mathcal{C}$ be a conic such that the intersection multiplicity at each point of $\mathcal{C} \cap \mathcal{Q}$ is even and $\mathcal{C} \cap \mathcal{Q}$ contain at least one smooth point $z_o$ of $\mathcal{Q}$. In this paper, for every $\mathcal{Q}$ we find all possible conics $\mathcal{C}$ as above via studying geometry of $\mathcal{C}$ and $\mathcal{Q}$ through that of integral sections of a rational elliptic surface which canonically arises from $\mathcal{Q}$ and $z_o \in \mathcal{C} \cap \mathcal{Q}$. As an application, we construct Zariski pairs of degree 7 and degree 8, whose irreducible components consist of $\mathcal{Q}$, $\mathcal{C}$ and line passing through two of the singular points of $\mathcal{Q}$ .
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that for every irreducible plane quartic Q with exactly two nodes and one cusp, the weak contact conics C (conics meeting Q with even multiplicity at every point of C ∩ Q and containing at least one smooth point zo of Q) are in bijection with the integral sections of a canonically associated rational elliptic surface obtained from Q and zo; the correspondence is used to classify all such C and, as an application, to construct Zariski pairs of degrees 7 and 8 whose components are Q, C, and a line through two singular points of Q.
Significance. If the claimed bijection holds and the even-multiplicity condition is preserved under the section-to-conic map, the work supplies a uniform elliptic-surface method for enumerating contact conics to a fixed singular quartic and yields explicit new examples of Zariski pairs; this would be a concrete contribution to the geometry of equisingular families of plane curves.
major comments (1)
- [The section describing the canonical rational elliptic surface and the section-to-conic map] The central correspondence (integral sections ↔ weak contact conics) must be shown to enforce even intersection multiplicity at the nodes and cusp as well as at smooth points. The construction of the rational elliptic surface (presumably by successive blow-ups at the singularities of Q and at zo followed by minimal model) needs an explicit verification that no section produces a proper transform whose intersection with the total transform of Q has odd multiplicity at a resolved singular point; otherwise extraneous curves would be counted or genuine weak contact conics omitted.
minor comments (1)
- [Abstract and introduction] Notation for the quartic, the conic, and the chosen smooth point should be introduced once and used consistently; the abstract uses script letters while the body may switch.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. The major concern regarding explicit verification of even intersection multiplicities at the singular points is well-taken, and we address it directly below.
read point-by-point responses
-
Referee: The central correspondence (integral sections ↔ weak contact conics) must be shown to enforce even intersection multiplicity at the nodes and cusp as well as at smooth points. The construction of the rational elliptic surface (presumably by successive blow-ups at the singularities of Q and at zo followed by minimal model) needs an explicit verification that no section produces a proper transform whose intersection with the total transform of Q has odd multiplicity at a resolved singular point; otherwise extraneous curves would be counted or genuine weak contact conics omitted.
Authors: We agree that the manuscript requires a more explicit verification to rigorously establish that the correspondence enforces even multiplicities at the nodes and cusp. In the revised version we will expand the section on the canonical rational elliptic surface (constructed via successive blow-ups of P^2 at the two nodes, the cusp, and the smooth point z_o, followed by passage to the minimal model) by adding a dedicated lemma. This lemma will compute the intersection numbers of the proper transform of any integral section with the components of the total transform of Q. Because the total transform of Q is a fiber of the elliptic fibration whose class incorporates multiplicity-2 contributions from each singularity, the parity of intersections with the exceptional divisors over the nodes and cusp is necessarily even for every integral section. We will verify this explicitly for the A1 (node) and A2 (cusp) configurations, confirming that no section yields an odd-multiplicity intersection at a resolved singular point. This addition will ensure the bijection counts precisely the weak contact conics and excludes extraneous curves. revision: yes
Circularity Check
No circularity: canonical surface construction yields independent geometric correspondence
full rationale
The derivation proceeds by associating to each irreducible quartic Q with two nodes and one cusp a rational elliptic surface obtained via blow-ups at the singularities and at a smooth point zo. Integral sections of this surface are then shown to parametrize the weak contact conics satisfying the even-multiplicity condition. This is a standard geometric reduction in algebraic geometry (via the minimal model and the Mordell-Weil group), not a self-definition, fitted parameter, or self-citation chain. The abstract and construction make the surface arise canonically from (Q, zo) without presupposing the target conics; the bijection is a theorem to be proved rather than an input. No load-bearing step reduces to its own definition or to a prior self-citation. The result remains self-contained against external benchmarks such as the classification of rational elliptic surfaces.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We consider a rational elliptic surface SQ,zo associated to a reduced plane quartic Q and its smooth point zo. Let MW(SQ,zo) be the set of sections of ϕ : SQ,zo → P1. Our problem to find weak contact conics can be reduced to study weak contact conics in MW(SQ,zo).
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
From the explicit formula for the height pairing... ⟨P±0,P±0⟩=1/3, ⟨P±1,P±1⟩=1/3,...
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
E. Artal Bartolo, J.-I. Codgolludo and H. Tokunaga: A survey on Zariski pairs, Adv. Stud. Pure Math., 50(2008), 1-100
work page 2008
-
[2]
E. Artal Bartolo and H. Tokunaga: Zariski k -plets of rational curve arrangements and dihedral covers, Topology Appl
-
[3]
S. Bannai and H. Tokunaga: Geometry of bisections of elliptic surfaces and Zariski N -plets for conic arrangements, Geom Dedicata, DOI 10.1007/s10711-015-0054-z
- [4]
- [5]
-
[6]
Horikawa: On deformation of quintic surfaces,
E. Horikawa: On deformation of quintic surfaces,
-
[7]
Kodaira: On compact analytic surfaces II-III, Ann
K. Kodaira: On compact analytic surfaces II-III, Ann. of Math. 77 (1963), 563-626, 78(1963), 1-40
work page 1963
-
[8]
Miranda: The moduli of Weierstrass fibrations over P ^1 ,
R. Miranda: The moduli of Weierstrass fibrations over P ^1 ,
-
[9]
R. Miranda: Basic Theory of Elliptic surfaces, Dottorato di Ricerca in Matematica, ETS Editrice, Pisa, 1989
work page 1989
-
[10]
R. Miranda and U. Persson: On extremal rational elliptic surfaces, Math. Z. 193(1986), 537-558
work page 1986
-
[11]
K. Oguiso and T. Shioda: The Mordell-Weil lattice of Rational Elliptic surface, Comment. Math. Univ. St. Pauli 40(1991), 83-99
work page 1991
-
[12]
Shioda: On the Mordell-Weil lattices, Comment
T. Shioda: On the Mordell-Weil lattices, Comment. Math. Univ. St. Pauli 39 (1990), 211-240
work page 1990
-
[13]
Tokunaga: Geometry of irreducible plane quartics and their quadratic residue conics, J
H. Tokunaga: Geometry of irreducible plane quartics and their quadratic residue conics, J. of Singularities 2(2010), 170-190
work page 2010
-
[14]
Tokunaga: Some sections on rational elliptic surfaces and certain special
H. Tokunaga: Some sections on rational elliptic surfaces and certain special
-
[15]
H. Tokunaga: Sections of elliptic surfaces and Zariski pairs for conic-line arrangements via dihedral covers, J. Math. Soc. of Japan 66 (2014), 613-640
work page 2014
-
[16]
K. Tumenbayar and H. Tokunaga: Integral section of elliptic surfaces and degenerated (2, 3) torus decompositions of a 3 -cuspidal quartic, SUT J. Math. 51 (2)(2015), 215-226
work page 2015
-
[17]
K. Tumenbayar and H. Tokunaga: Integral sections of certain rational elliptic surfaces and contact conics for an irreducible 3 -nodal quartic , to appear in Hokkaido Math. Journal
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.