Isotopy classification of Morse polynomials of degree 4 in {mathbb R}²
Pith reviewed 2026-05-24 05:37 UTC · model grok-4.3
The pith
A complete system of invariants distinguishes all 71 isotopy classes of degree-4 Morse polynomials from the plane to the line.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that a certain system of invariants of isotopy classes of Morse polynomials R² → R is complete for degrees ≤ 4. For degree four this system admits exactly 71 possible combinations, each of which is realized by a concrete Morse polynomial. In addition the number of classes of strictly Morse degree-four polynomials with the maximal number of real critical points is calculated up to isotopy and reflections in the plane.
What carries the argument
a system of invariants for the isotopy classes of Morse polynomials
If this is right
- Two Morse polynomials of degree ≤4 are isotopic if and only if they share the same values of these invariants.
- All 71 combinations of the invariants for degree 4 are attained by actual polynomials.
- The classification extends to the case of polynomials considered up to reflections in the domain for the strictly Morse case with maximum critical points.
- The invariants provide a practical method to decide isotopy for low-degree examples.
Where Pith is reading between the lines
- The method could be tested on random samples of degree-4 polynomials to verify the count.
- Similar invariants might apply to Morse functions that are not polynomial.
- The explicit list allows one to study how the number of classes grows with degree.
- Connections to the topology of real plane curves defined by the polynomials could be explored.
Load-bearing premise
That the particular system of invariants constructed separates every pair of non-isotopic Morse polynomials when the degree is at most four.
What would settle it
Two explicit degree-4 Morse polynomials that have identical invariants but cannot be deformed into each other by an isotopy preserving the Morse property, or one of the 71 predicted combinations that cannot be realized by any polynomial.
Figures
read the original abstract
We introduce a system of invariants of isotopy classes of Morse polynomials ${\mathbb R}^2 \to {\mathbb R}^1$, prove its completeness for polynomials of degrees $\leq 4$, calculate all 71 possible values of these invariants for the case of degree four, and realize them by concrete Morse polynomials. Also we calculate the number of classes (up to isotopy and reflections in ${\mathbb R}^2$) of strictly Morse polynomials of degree four with the maximal possible number of real critical points.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces a system of invariants for isotopy classes of Morse polynomials R² → R, proves completeness of this system for degrees ≤4 via reduction to finitely many combinatorial types, enumerates all 71 attainable invariant combinations for degree 4, supplies explicit polynomial realizations for each, and computes the number of classes up to isotopy and reflections for strictly Morse degree-4 polynomials attaining the maximum number of real critical points.
Significance. If the result holds, the work delivers a complete, constructive classification of isotopy classes for low-degree Morse polynomials, with the explicit realizations providing direct, falsifiable evidence that each listed invariant tuple is attained. The completeness argument rests on exhaustive enumeration of admissible configurations rather than an unverified general principle, which strengthens the claim for degrees ≤4 and offers a template for similar low-degree classifications in real algebraic geometry.
Simulated Author's Rebuttal
We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript. No major comments were raised in the report.
Circularity Check
No significant circularity detected
full rationale
The paper introduces an explicit system of invariants (critical point indices, critical value orderings, and Reeb graph combinatorial data) for isotopy classes of Morse polynomials. Completeness for degrees ≤4 is established by reduction to a finite list of combinatorial types whose isotopy is controlled directly by these invariants, followed by exhaustive enumeration of the 71 attainable combinations for degree 4 and explicit polynomial realizations. No equations reduce a claimed prediction to a fitted input by construction, no load-bearing self-citation chains are invoked, and the argument is self-contained via direct construction and enumeration rather than external or self-referential principles.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Morse polynomials have only non-degenerate critical points and isotopy preserves this non-degeneracy.
Forward citations
Cited by 1 Pith paper
-
Complements of caustics of the real $J_{10}$ singularities
Provides the complete list of connected components of Morse functions in deformations of J10 singularities, finishing the isotopy classification of parabolic real function singularities.
Reference graph
Works this paper leans on
-
[1]
A’Campo, Le groupe de monodromie du d´ eploiement des singularit´ es i sol´ ees de courbes planes
N. A’Campo, Le groupe de monodromie du d´ eploiement des singularit´ es i sol´ ees de courbes planes. I , Math. Ann. 213 (1975), 1-32
work page 1975
-
[2]
Arnold, Singularities of Caustics and Wave Fronts
V.I. Arnold, Singularities of Caustics and Wave Fronts . Springer Science & Business Media, 1990, 259 p
work page 1990
-
[3]
V.I. Arnold, Bernoulli–Euler updown numbers associated with function s ingularities, their combinatorics and arithmetics . Duke Math. J. 63:2 (1991), 537–555
work page 1991
-
[4]
V.I. Arnol’d, V.V. Goryunov, O.V. Lyashko, V.A. Vassiliev, Singularity Theory. II: Classifi- cation and Applications . VINITI, 1989, 5–249. Engl. Transl.: Encyclopaedia of Mathematic al Sciences. 39. Berlin: Springer-Verlag, 1993, 235 p
work page 1989
-
[5]
Arnold a.o., Arnold’s problems
V.I. Arnold a.o., Arnold’s problems. Springer and Phasis, 2004
work page 2004
-
[6]
V.I. Arnold, Topological classification of Morse functions and generali sations of Hilbert’s 16-th problem // Math. Phys., Anal. and Geom. 2007. V. 10, N 3. P. 227–236
work page 2007
-
[7]
Arnold, Topological classification of Morse polynomials , Proc
V.I. Arnold, Topological classification of Morse polynomials , Proc. Steklov Inst. Math., 268 (2010), 32–48. ISOTOPY CLASSIFICATION OF DEGREE FOUR POLYNOMIALS 53
work page 2010
-
[8]
V.I. Arnold, S.M. Gusein–Zade, A.N. Varchenko, Singularities of Differentiable Maps , Vols. 1 and 2, Nauka, 1982 and 1984, Engl. Transl.: Birkh¨ auser, Basel, 20 12
work page 1982
-
[9]
Bourbaki, Groupes et Alg` ebres de Lie ; Chapitres 4, 5 et 6, Hermann, Paris (1968)
N. Bourbaki, Groupes et Alg` ebres de Lie ; Chapitres 4, 5 et 6, Hermann, Paris (1968)
work page 1968
-
[10]
Chislenko, Decompositions of simple singularities of real functions , Funct
Yu.S. Chislenko, Decompositions of simple singularities of real functions , Funct. Anal. Appl., 22:4 (1988), 297–310
work page 1988
-
[11]
A.I. Degtyarev and V.M. Kharlamov, Topological properties of real algebraic varieties: du cot ´ e de chez Rokhlin , Russian Mathematical Surveys, 55: 4 (2000), 735–814
work page 2000
-
[12]
S. Finashin and V. Kharlamov, On Affine Real Cubic Surfaces . Arnold Math J. 10:2, 155–169 (2024)
work page 2024
-
[13]
Gabrielov, Bifurcation, Dynkin diagrams and the modality of isolated s ingularities, Funct
A.M. Gabrielov, Bifurcation, Dynkin diagrams and the modality of isolated s ingularities, Funct. Anal. Appl. 8, 1974, 94-98
work page 1974
-
[14]
V.V. Goryunov, Morsifications of rational functions , in: Topology of real algebraic varieties and related topics. AMS Transl., Ser. 2, 173 (1996), 85–96
work page 1996
-
[15]
Gusein–Zade, Intersection matrices for some singularities of functions of two variables , Funct
S.M. Gusein–Zade, Intersection matrices for some singularities of functions of two variables , Funct. Anal. Appl. 8:1 (1974), 10-13
work page 1974
-
[16]
Distinguished bases and Stokes regions for the simple and the simple elliptic singularities
C. Hertling, C. Roucairol, Distinguished bases and Stokes regions for the simple and th e simple elliptic singularities Preprint arXiv: 1806.00996 (2018)
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[17]
P. Jaworski, Distribution of critical values of miniversal deformation s of parabolic singularities, Invent. Math., 1986, 86:1, 19–33
work page 1986
-
[18]
Jaworski, Decompositions of parabolic singularities , Bull
P. Jaworski, Decompositions of parabolic singularities , Bull. Sci. Math. (2) 112:2 (1988), 143–176
work page 1988
-
[19]
Kharlamov, Rigid isotopic classification of real planar curves of degre e 5 , Funct
V.M. Kharlamov, Rigid isotopic classification of real planar curves of degre e 5 , Funct. Anal. Appl., 15:1 (1981), 73–74
work page 1981
-
[20]
Klein, ¨Uber Fl¨ achen dritter Ordnung,Math
F. Klein, ¨Uber Fl¨ achen dritter Ordnung,Math. Ann. 6 (1873), 551–581
-
[21]
I.S. Livshits, Automorphisms of the complement of the bifurcation set of fu nctions for simple singularities, Funct. Anal. Appl. 15, 29–32 (1981)
work page 1981
-
[22]
Looijenga, The complement of the bifurcation variety of a simple singul arity, Invent
E. Looijenga, The complement of the bifurcation variety of a simple singul arity, Invent. Math. 23 (2), 105–116
-
[23]
Looijenga, The discriminant of a real simple singularity , Compositio Math
E. Looijenga, The discriminant of a real simple singularity , Compositio Math. 37:1 (1978), 51–62
work page 1978
-
[24]
Lyashko, Decomposition of simple singularities of functions , Funct
O.V. Lyashko, Decomposition of simple singularities of functions , Funct. Anal. Appl. 10, 122–128 (1976)
work page 1976
-
[25]
Milnor, Singular points of complex hypersurfaces, Princeton University Press, 1968
J. Milnor, Singular points of complex hypersurfaces, Princeton University Press, 1968
work page 1968
-
[26]
Mukai, An introduction to invariants and moduli , Cambridge University Press, 2003
S. Mukai, An introduction to invariants and moduli , Cambridge University Press, 2003
work page 2003
-
[27]
Nicolaescu, Counting Morse functions on the 2-sphere , Compositio Math
L. Nicolaescu, Counting Morse functions on the 2-sphere , Compositio Math. 144 (2008) 1081–1106
work page 2008
-
[28]
Petrovskii, On the topology of real plane algebraic curves , Ann
I.G. Petrovskii, On the topology of real plane algebraic curves , Ann. Math. 39 (1938), 189–209
work page 1938
-
[29]
Rokhlin, Complex topological characteristics of real algebraic cur ves, Russian Math
V.A. Rokhlin, Complex topological characteristics of real algebraic cur ves, Russian Math. Surveys 33:5 (1978), 85–98
work page 1978
-
[30]
V.D. Sedykh, On the topology of stable Lagrangian maps with singularitie s of types A and D, Izvestiya: Mathematics, 79: 3 (2015), 581–622
work page 2015
-
[31]
L. Schl¨ afli, On the distribution of surfaces of the third order into speci es, in reference to the absence or presence of singular points, and the reality of th eir lines , Phil. Trans. Roy. Soc. London 153 (1863), p. 195–241
-
[32]
Siersma, Classification and deformation of singularities (PhD Thesis )
D. Siersma, Classification and deformation of singularities (PhD Thesis ). Academic Service, Universiteit van Amsterdam, 1974. 54 V.A. V ASSILIEV
work page 1974
-
[33]
Vassiliev, Sharp fronts of hyperbolic operators with constant coefficie nts, Uspekhi Math
V.A. Vassiliev, Sharp fronts of hyperbolic operators with constant coefficie nts, Uspekhi Math. Nauk, 41:4 (1986), 162 (In Russian) https://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=2124&option_lang=rus
work page 1986
-
[34]
V.A. Vassiliev, Sharpness and the local Petrovskii condition for strictly h yperbolic operators with constant coefficients , Math. USSR-Izv., 28:2 (1987), 233–273
work page 1987
-
[35]
Vassilyev, Lagrange and Legendre characteristic classes
V.A. Vassilyev, Lagrange and Legendre characteristic classes. Gordon and Breach Science Publishers, New York, 1988, x+268 pp
work page 1988
-
[36]
Vassiliev, Applied Picard-Lefschetz theory, AMS, Providence RI, 2002
V.A. Vassiliev, Applied Picard-Lefschetz theory, AMS, Providence RI, 2002
work page 2002
-
[37]
V.A. Vassiliev, Complements of caustics of real function singularities , Journal of Singularities, 27 (2024), 47–67 , arXiv: 2304.09824
-
[38]
V.A. Vassiliev, To the isotopy classification of Morse polynomials of degree 3 in R3, 2024, 24 pp., arXiv: 2404.17891
-
[39]
V.A. Vassiliev, Real Function Singularities and Their Bifurcation Sets , in: Handbook of Ge- ometry and Topology of Singularities VII, eds. Jos´ e Luis Cisneros- Molina, Lˆ e D˜ ung Tra´ ang, Jos´ e Seade, Springer, 2025, 71–119
work page 2025
-
[40]
Viro, Progress in the topology of real algebraic varieties over th e last six years , Russian Math
O.Ya. Viro, Progress in the topology of real algebraic varieties over th e last six years , Russian Math. Surveys, 41:3 (1986), 55–82
work page 1986
-
[41]
Viro, Real plane algebraic curves: constructions with controlle d topology , Leningrad Math
O.Ya. Viro, Real plane algebraic curves: constructions with controlle d topology , Leningrad Math. J., 1:5 (1990), 1059–1134
work page 1990
-
[42]
Zeuten, Etudes des propri´ et´ es de situation des surfaces cubiques, Math
H.G. Zeuten, Etudes des propri´ et´ es de situation des surfaces cubiques, Math. Ann. 8 (1875), p. 1–30. Weizmann Institute of Science, Rehovot, Israel Email address : vavassiliev@gmail.com
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.