On vertices and inflections of singular plane curves
James William Bruce, Marco Antônio do Couto Fernandes, Farid Tari
TL;DR
This work introduces two local invariants, $I_f$ and $V_f$, that count inflections and vertices concentrated at isolated singularities of plane curves, with $I_f$ affine-invariant and $V_f$ similarity-invariant (including a complex analogue). It develops a framework relating these counts to classical singularity data, notably the multiplicity, Puiseux exponents, and Milnor number, and gives exact deformation formulas: for irreducible $f$, $I_f=I_\gamma+3\mu(f)$ and $V_f=V_\gamma+6\mu(f)$, with generalizations to multi-branch cases via cross-terms. The authors compute the ranges of $(I_f,V_f)$ for Arnold’s ${\\cal K}$-simple singularities and connect the invariants to the contact with the osculating circle, providing a concrete bridge between singularity theory and local differential geometry. They also address the real case, deriving bounds and index interpretations from the degree of the maps $(f,i_f)$ and $(f,v_f)$, and outlining how many inflections/vertices survive under perturbations. These results deepen the understanding of local curvature-type features at singularities and furnish explicit counts usable in deformation theory and geometric analysis.
Abstract
Given the germ of a smooth plane curve $(\{f(x,y)=0\},0)\subset (\mathbb{K}^2,0), \mathbb{K}=\mathbb{R}, \mathbb{C}$, with an isolated singularity, we define two invariants $I_f$ and $V_f \in \mathbb{N} \cup\{\infty\}$, which count the number of inflections and vertices (suitably interpreted in the complex case) concentrated at the singular point. The first is an affine invariant, while the second is invariant under similarities of $\mathbb{R}^2$, and their analogue for $\mathbb{C}^2$. When the curve has no smooth components, these invariants are always finite and bounded. We illustrate our results by computing the range of possible values for these invariants for Arnold's ${\cal K}$-simple singularities. We also establish a relationship between these invariants, the Milnor number of $f$ and the contact of the curve germ with its \lq osculating circle\rq.
