An Automorphic Classification of Real Cubic Curves

Mark Bly

REVIEW 3 major objections 4 minor 10 references

An Automorphic Classification of Real Cubic Curves

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

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

Pith's one-line read Every real cubic plane curve is equivalent, under all polynomial automorphisms of the affine plane, to exactly one normal form in a single table, namely the same table that classifies cubics up to affine transformations.

desk verdict Solid affine classification, plausible automorphic result, but Proposition 13's key real-coefficient claim is false, so Theorem 14 is not yet proven. read the letter →

arxiv 1908.05173 v4 pith:XRFKT6EQ submitted 2019-08-14 math.AG

Mark Bly This is my paper · ORCID

classification math.AG MSC 14N9914H10

keywords realcubiccurvespolynomialautomorphismsaffineclassificationnormalformsplaneringautomorphismdegree

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 aims to complete the classification of real plane cubic curves under the action of all ring automorphisms of $\mathbb{R}[x,y]$, up to nonzero scalar. It proves that every degree-three polynomial is equivalent to exactly one polynomial in Table 13, and that the polynomials in Table 13 are pairwise inequivalent. Because Table 13 is the same list used for the affine classification, the automorphic classification and the affine classification coincide for real cubics. Along the way it finishes the affine classification begun in [10] and identifies the three cubics that can be mapped by polynomial automorphisms to polynomials of lower degree.

What carries the argument

The load-bearing object is the orbit degree $\operatorname{AutDeg}(f) = \min\{\deg(g) : g \approx f\}$, together with the invariant sets $\operatorname{cusp}(f)$, $\operatorname{isol}(f)$, $\operatorname{node}(f)$, $\operatorname{red}(f)$, and $\operatorname{sing}(f)$ that record for which constants $r$ the curve $f - r = 0$ acquires a cusp, an isolated point, a node, reducibility, or a singularity. These invariants are carried through polynomial automorphisms by Lemma 2, so they separate table entries that degree arguments cannot. The proof strategy is to normalize the homogeneous cubic part to one of four canonical forms, use the affine classification to reach Table 13, and then rule out non-affine automorphisms by comparing degrees of the image polynomials $p, q$ and by using the invariant sets. A separate argument for the remaining $x^3 - y^2 + \lambda(f)$ case applies the epimorphism theorem for embeddings of the line in the plane.

What would settle it

Work out the orbit classification of real homogeneous cubic forms in two variables under real linear changes and nonzero scalars. The four forms $x^3 + xy^2$, $x^3 - xy^2$, $x^2y$, $x^3$ correspond to the possible real root patterns (one real root, three real roots, a double root, a triple root); if this list is complete, the paper's opening assumption holds, and if it is not, the normal-form table omits classes. The paper states the assumption without proof, so this direct orbit computation is the decisive check.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 14: with respect to $\approx$, the action of all ring automorphisms of $\mathbb{R}[x,y]$ up to scalar, every cubic polynomial is equivalent to one entry of Table 13, and the entries of Table 13 are pairwise inequivalent. Because affine equivalence $\sim$ is a special case of $\approx$, this says the automorphic classification of real cubic curves coincides with the affine classification. The proof first completes the affine classification, then shows that any automorphic equivalence between two table entries forces the automorphism to be affine. The exceptional cases are $x^3 - y \approx x$, $x^3 - xy \approx xy$, and $x^3 - xy + 1 \approx xy + 1$; these are the only cubics for which a polynomial automorphism can lower the degree below three.

Load-bearing premise

The paper assumes without proof that every homogeneous cubic in two real variables can be moved by a real linear change of coordinates to one of four forms, $x^3 + xy^2$, $x^3 - xy^2$, $x^2y$, or $x^3$; if some real binary cubic lay outside these four orbits, Table 13 would miss entire equivalence classes.

Editorial extensions

If this is right

Table 13 serves simultaneously as the affine and the automorphic normal-form list for real cubic curves.
The only real cubics whose automorphism orbit contains a polynomial of degree less than three are $x^3 - y$, $x^3 - xy$, and $x^3 - xy + 1$.
The invariants $\operatorname{cusp}$, $\operatorname{isol}$, $\operatorname{node}$, $\operatorname{red}$, and $\operatorname{sing}$ are invariants of the full automorphism group, not just the affine group, so they can be used to distinguish plane curves of other degrees.
Because the normal forms are parameterized by inequalities, deciding whether two given cubics are equivalent reduces to putting each in Table 13 and comparing parameters.

Reading between the lines

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

If the same invariant-plus-degree strategy were applied to real quartic plane curves, the automorphic and affine classifications would likely diverge: the paper's degree-lowering examples show that polynomial automorphisms can change degree, and the invariant sets used here become harder to compute as the degree rises.
The unproved four-form assumption is exactly the classification of real binary cubic forms under linear change; an explicit proof of that orbit list would remove the one gap in the paper's foundation.
The explicit automorphisms behind the degree-lowering examples provide ready-made test cases for algorithms that compute automorphism orbits or detect equivalences between plane curves.
One could test the classification computationally by sampling cubics, running the case-table normalization, and checking that the output lies in Table 13; a failure would pinpoint a gap, while success over a broad sample would corroborate Theorem 14.

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.

Desk Editor's Note

read the letter

Colleague,

The short version: the affine half of this paper is solid and genuinely useful, and the automorphic result is probably true, but the written proof of the automorphic part has a gap that matters. Note first that the reader's Table 14 complaint is a false alarm—the table correctly lists the node at J−2√3/9 and the isolated point at J+2√3/9 for x^3−y^2−x+J. The real problem is Proposition 13.

What's new and good: the affine classification re-derives and completes Weinberg's list with explicit normal forms and a clear case analysis. The observation that the full automorphism group Aut(R[x,y]) collapses only the few low-degree cases in Table 15 (e.g., x^3−y maps to x) is interesting and worth recording. The invariant sets red, sing, cusp, isol, node and Lemma 2 are a sensible tool, and the affine pairwise-inequivalence proofs in Propositions 5–8 are terse but mostly checkable.

The soft spot is load-bearing. In Proposition 13, the c=−1 case for the x^3−y^2+x+J family, the proof conjugates by θ(x)=x+i√3/3 and then asserts 'all of the coefficients of Q must be real' for ψ=θ∘ϕ∘θ. That is false for a real ϕ. For instance, if ϕ(x)=x and ϕ(y)=y+x^2, then ψ(y)=y+(x+i√3/3)^2, which has complex coefficients. The subsequent contradiction in equations (19)–(21) depends on writing Q_1=cx+dy with real c,d, but the linear system has complex solutions—ψ(x)=−x, ψ(y)=iy satisfies (17). The proof also says ψ 'must fix the origin' because it sends the singular point to the singular point, but x^3−i√3x^2−y^2 has two singular points, (0,0) and (2i√3/3,0). So the automorphic inequivalence of the x^3 family is not established by the written argument.

Minor issues: the unproved assumption that the homogeneous cubic part is one of four canonical forms is standard and true over R, but it should be stated as a lemma or cited precisely. Several 'by inspection' steps could use more detail.

Bottom line: a plausible result, worth publishing once Proposition 13 is repaired—possibly using the Abhyankar–Moh argument the author already sketches as Proposition 15. As it stands, the paper deserves serious peer review, but it should not be accepted without revision.

Referee Report

3 major / 4 minor

Summary. The paper studies two equivalence relations on real plane curves: the affine equivalence ∼ generated by Γ_2(R) and scalings, and the coarser automorphic equivalence ≈ generated by all ring automorphisms of R[x,y] and scalings. It first completes Weinberg's affine classification, producing Table 13 as a complete and pairwise inequivalent list for ∼. It then argues that the same list serves for ≈, i.e. that no two entries of Table 13 become automorphically equivalent, and records a few cubic polynomials with automorphic degree less than three in Table 15. The main theorem is Theorem 14, which asserts exactly this, and the proof is split by the four possible leading homogeneous forms.

Significance. If the main theorem is correct, the paper gives a clean, complete answer to a natural classification problem and shows that the full automorphism group does not coarsen the affine classification for real cubic curves. The affine half of the paper is substantial and appears to be carefully executed, with a full case split and pairwise inequivalence arguments. The automorphic half uses attractive elementary invariants (degree of an automorphic image, sets of critical values with cusp/isole/node types, reducibility sets). However, the proof of Proposition 13, which is load-bearing for the ≈-pairwise-inequivalence of the x^3 family, contains a serious gap; the stated contradiction is not valid. The paper's central claim therefore needs a repaired argument before it is established.

major comments (3)

[§2, Proposition 13 (set (12))] In the proof for the family x^3-y^2+x+J, the assertion after (17) that 'all of the coefficients of Q must be real' is false. For ψ=θ∘ϕ∘θ with θ(x)=x+i√3/3, the coefficient field of Q=ψ(y) is R[i√3] in general, not R; for instance, with the real automorphism ϕ=⟨x, y+x^2⟩, Q=y+(x+i√3/3)^2 has the non-real coefficient 2i√3/3. Consequently the subsequent decomposition Q_1=cx+dy with c,d∈R in equations (19)-(21) is not justified, and no contradiction is obtained. In fact the C-automorphism ψ=⟨-x, iy⟩ fixes C and satisfies (17) as written, so (17) cannot be used to derive an impossibility. The proof of pairwise inequivalence for this family is therefore incomplete.
[§2, Proposition 13 (set (12))] The proof also claims that θ∘ϕ∘θ must fix the origin because it sends the singular point of x^3-i√3 x^2-y^2 to the singular point of -x^3-i√3 x^2+y^2. This is not forced: the source polynomial has two singular points, (0,0) and (2i√3/3,0), and the target polynomial also has two singular points, so an automorphism may interchange them. Hence P_0=Q_0=0 is not justified. This is a second independent reason the written argument for the x^3-y^2+x+J family does not go through.
[§1, initial case split] Every proposition in the affine classification begins with the assumption that the homogeneous degree-three part can be brought by a linear change of coordinates to one of x^3+xy^2, x^3-xy^2, x^2y, or x^3. The paper states this only as 'As in [10], we will assume' without proof or a precise citation. The statement is true (it follows from the classification of real binary cubics by discriminant and root multiplicities), but because Theorem 9 and hence Theorem 14 depend on this case split, a proof or an exact statement from [10] should be supplied.

minor comments (4)

[Table 14] In the rows x^3-xy+1 and x^3-xy, the node(f) column is listed as empty. For r=1 and r=0 respectively, f-r equals x^3-xy=x(x^2-y), whose components x=0 and y=x^2 meet transversely at the origin, so the node sets should be {1} and {0}. The logical argument is unaffected because red(f) is used for these rows, but the table should be corrected.
[§2, Proposition 15] The use of the Abhyankar-Moh theorem is not justified as written: P(0,y) and Q(0,y) need not generate C[y], which is required for the degree-divisibility conclusion. For example, the automorphism (x+y^2,y) restricts to (y^2,y). Since Proposition 15 is not needed for Theorem 14, this is a non-blocking issue, but the proposition should be repaired or removed.
[§2, Proposition 13] The displayed identity (17) does not appear to follow from the preceding definitions. With θ(x)=x+i√3/3, the composition θ^{-1}(-x^3+y^2-x+2i√3/9) equals -x^3+i√3 x^2+y^2+4i√3/9, not -x^3-i√3 x^2+y^2. The sign and constant terms in (17) should be checked.
[§2, Proposition 15; §1, Proposition 8] Minor typographical issues: 'repectively' should be 'respectively' in Proposition 15, and 'the the xy-coefficient' in Proposition 8 should be 'the xy-coefficient'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the classification is derived from the equivalence relations and cited external facts rather than assumed as input.

full rationale

The paper's central result, Theorem 14, is a complete list of orbits for the full automorphism-group action on real cubic polynomials. The derivation proceeds by first normalizing the degree-three homogeneous component using an external classical fact about real binary cubic forms, then proving an affine classification with explicit coordinate transformations, and finally extending to the full automorphism group using degree arguments and the invariants red, sing, cusp, isol, and node. Nothing in Table 13 is fitted from data, and no equivalence class is identified by assuming the conclusion. The only self-citation is the statement that the work is adapted from the author's Ph.D. thesis [3], which is not load-bearing. The unproved normalization of the homogeneous degree-three component is an omitted justification and a potential correctness risk, but it is not a circular step: it is an external input about binary cubics, not a restatement of the target classification. The alleged flaw in Proposition 13, concerning the claim that Q has real coefficients, concerns the validity of a proof step rather than circularity; a mistaken proof is not equivalent to assuming its own conclusion. No fitted parameter is renamed as a prediction, and no uniqueness theorem from the author's prior work is invoked to force a choice. Therefore no significant circularity is present.

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

The classification rests on a standard fact about real binary cubics, on the invariance of singular-level sets under automorphisms, and on Abhyankar-Moh. There are no fitted free parameters or invented entities.

assumptions (3)

domain assumption Every real homogeneous degree-3 binary form is GL(2,R)-equivalent to one of x^3+xy^2, x^3-xy^2, x^2y, or x^3.
Stated without proof at the start of Section 1: 'As in [10], we will assume that the homogeneous degree-three component of our polynomials be in one of four canonical forms.' This splits the whole classification into four cases; if false, the list would be incomplete.
domain assumption The singularity-type invariants cusp, isol, node, and red from Definition 4 are preserved under polynomial automorphisms (Lemma 2).
Lemma 2 proves red invariance in one line and states 'a similar statement' for sing and the real types. The proof that the precise singularity type (cusp vs node vs isolated point) is preserved under a polynomial automorphism is not fully spelled out. Proposition 13 relies on this to separate normal forms.
standard math Abhyankar-Moh theorem (embeddings of the line in the plane)
Invoked in Proposition 15 to show that a non-linear automorphism with coordinate degrees 2k and 3k is impossible because neither degree divides the other; the theorem is an external result.

how reviews work

0 comments

Cite this review

Pith. "Pith review of An Automorphic Classification of Real Cubic Curves." pith.science (2026). https://pith.science/paper/XRFKT6EQ

@misc{pith2026190805173,
  author       = {Pith},
  title        = {Pith review of: An Automorphic Classification of Real Cubic Curves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XRFKT6EQ}},
  note         = {Machine review of arXiv:1908.05173}
}

read the original abstract

The action of ring automorphisms of the polynomial ring in two variables over the real numbers on real plane curves is considered. The orbits containing degree-three polynomials are computed, with one representative per orbit being selected.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[10]

W einberg, The aﬃne classiﬁcation of cubic curves , The Rocky Mountain Journal of Mathematics

D.A. W einberg, The aﬃne classiﬁcation of cubic curves , The Rocky Mountain Journal of Mathematics. 18 (1988), 655-664. Department of Mathematics and Statistics, Coastal Carolin a University, Conw ay, SC 29528 Email address : mbly@coastal.edu

work page 1988
[1]

Abhyankar, W.J

S.S. Abhyankar, W.J. Heinzer, and A. Sathaye, Translates of polynomials , Trends in Mathematics. (2003), 51-124

work page 2003
[2]

Abhyankar and T.T

S.S. Abhyankar and T.T. Moh, Embeddings of the line in the plane , Journal f¨ ur die reine und angewandte Mathematik. 276 (1975), 148-166

work page 1975
[3]

Bly, Classiﬁcations of Real Conic and Cubic Curves , Univ

M. Bly, Classiﬁcations of Real Conic and Cubic Curves , Univ. of Tennessee, 2018

work page 2018
[4]

Burington, An invariant classiﬁcation of plane cubic curves under the aﬃne group , The Ohio State Univ., 1931

R.S. Burington, An invariant classiﬁcation of plane cubic curves under the aﬃne group , The Ohio State Univ., 1931

work page 1931
[5]

Cayley, On the classiﬁcation of cubic curves , Transactions of the Cambridge Philosophical Society

A. Cayley, On the classiﬁcation of cubic curves , Transactions of the Cambridge Philosophical Society. 11 (1864), 81-128

work page
[6]

Forough and M

A.R. Forough and M. Nadjaﬁkah, Classiﬁcation of cubics up to aﬃne transfor- mations, Diﬀerential Geometry - Dynamical Systems. 8 (2006), 184-195

work page 2006
[7]

Korchagin, Newtonian and aﬃne classiﬁcation of irreducible cubics , St

A.B. Korchagin, Newtonian and aﬃne classiﬁcation of irreducible cubics , St. Petersburg Math. Journal. 24 (2013), 759-781

work page 2013

Show all 10 references

[8]

Newton, Enumeratio linearum tertii ordinis , London, 1704

I. Newton, Enumeratio linearum tertii ordinis , London, 1704
[9]

Pl¨ ucker,System der analytishen geometrie , Dunker und Humlot, Berlin, 1835

J. Pl¨ ucker,System der analytishen geometrie , Dunker und Humlot, Berlin, 1835

Pith tools

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

[1] [10]

W einberg, The aﬃne classiﬁcation of cubic curves , The Rocky Mountain Journal of Mathematics

D.A. W einberg, The aﬃne classiﬁcation of cubic curves , The Rocky Mountain Journal of Mathematics. 18 (1988), 655-664. Department of Mathematics and Statistics, Coastal Carolin a University, Conw ay, SC 29528 Email address : mbly@coastal.edu

work page 1988

[2] [1]

Abhyankar, W.J

S.S. Abhyankar, W.J. Heinzer, and A. Sathaye, Translates of polynomials , Trends in Mathematics. (2003), 51-124

work page 2003

[3] [2]

Abhyankar and T.T

S.S. Abhyankar and T.T. Moh, Embeddings of the line in the plane , Journal f¨ ur die reine und angewandte Mathematik. 276 (1975), 148-166

work page 1975

[4] [3]

Bly, Classiﬁcations of Real Conic and Cubic Curves , Univ

M. Bly, Classiﬁcations of Real Conic and Cubic Curves , Univ. of Tennessee, 2018

work page 2018

[5] [4]

Burington, An invariant classiﬁcation of plane cubic curves under the aﬃne group , The Ohio State Univ., 1931

R.S. Burington, An invariant classiﬁcation of plane cubic curves under the aﬃne group , The Ohio State Univ., 1931

work page 1931

[6] [5]

Cayley, On the classiﬁcation of cubic curves , Transactions of the Cambridge Philosophical Society

A. Cayley, On the classiﬁcation of cubic curves , Transactions of the Cambridge Philosophical Society. 11 (1864), 81-128

work page

[7] [6]

Forough and M

A.R. Forough and M. Nadjaﬁkah, Classiﬁcation of cubics up to aﬃne transfor- mations, Diﬀerential Geometry - Dynamical Systems. 8 (2006), 184-195

work page 2006

[8] [7]

Korchagin, Newtonian and aﬃne classiﬁcation of irreducible cubics , St

A.B. Korchagin, Newtonian and aﬃne classiﬁcation of irreducible cubics , St. Petersburg Math. Journal. 24 (2013), 759-781

work page 2013