On geometric invariants of singular plane curves

J. W. Bruce,M. A. C. Fernandes,F. Tari
2024-05-30
Abstract:Given a 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 and the second is invariant under similarities of $\mathbb R^2$, and their analogue for $\mathbb C^2$. We show that for almost all representations of $f$, in the sense that their complement is of infinite codimension, these invariants are finite. Indeed when the curve has no smooth components they are always finite and bounded and we can be much more explicit about the values they can attain; the set of possible values is of course an analytic invariant of $f$. We illustrate our results by computing these invariants for Arnold's $\mathcal K$-simple singularities as well as singularities that have ${\mathcal A}$-simple parametrisations. We also obtain a relationship between these invariants, the Milnor number of $f$ and the contact of the curve germ with its osculating circle.
Differential Geometry
What problem does this paper attempt to address?
This paper aims to explore the geometric invariants of plane curves with isolated singularities. Specifically, the author defines two invariants, \(I_f\) and \(V_f\), which are used to count the inflections and vertices that occur intensively at the singularities respectively. These invariants remain invariant under affine transformations, where \(I_f\) is an affine invariant, and \(V_f\) remains invariant under similarity transformations in the real plane \(R^2\) and the complex plane \(C^2\). ### Main problems 1. **Define invariants**: - Two invariants \(I_f\) and \(V_f\) are defined, representing the number of inflections and vertices that occur intensively at the singularities respectively. - \(I_f\) is an affine invariant, and \(V_f\) is an invariant for similarity transformations in the real or complex plane. 2. **Study the properties of invariants**: - It is proved that for almost all representations of \(f\), these invariants are finite. - When the curve has no smooth parts, these invariants are always finite and bounded, and the possible range of their values can be clearly given. 3. **Calculate invariants**: - The values of \(I_f\) and \(V_f\) for Arnold's K - simple singularities and singularities with A - simple parameterizations are calculated. - The relationships between these invariants and the Milnor number of \(f\) and the contact between the curve germ and the "osculating circle" are explored. ### Specific contributions - **Definition and properties**: - \(I_f\) and \(V_f\) are defined in detail, and their basic properties are explored. - It is proved that these invariants are finite in most cases, and when the curve has no smooth parts, these invariants are always finite and bounded. - **Calculation methods**: - Specific methods for calculating \(I_f\) and \(V_f\) are provided and applied to specific types of singularities. - The practical applications of these invariants are illustrated through specific examples. - **Theoretical connections**: - The relationships between these invariants and the Milnor number of \(f\) and the contact between the curve germ and the "osculating circle" are established. - The specific range of values that these invariants can take in certain cases is proved. ### Conclusion This paper provides a new perspective on the geometric characteristics of plane curves with isolated singularities by defining and studying the two invariants \(I_f\) and \(V_f\). These invariants are not only of great theoretical significance but also have potential value in practical applications. Through specific calculations and examples, the paper shows the performance of these invariants in different types of singularities, laying the foundation for further research.