Dual Curve Singularities

• Dual curves are defined as the loci of tangent lines to a plane curve and may develop singularities such as cusps and nodes.
• Their analysis employs techniques from projective geometry, contact topology, and homotopy theory to uncover deep structural insights.
• Studying these singularities provides practical tools to classify infinite order phenomena and invariants in modern geometric frameworks.

A dual curve, in classical projective and differential geometry, is the locus of lines tangent to a given plane curve, typically described in the dual projective plane. The study of singularities of dual curves provides insight into the inflectional and tangential properties of the original curve, linking geometric, topological, and transformation group structures. Singularities in duals are deeply connected to the behavior of transformation groups, characteristic classes in loop spaces, and contact topology, with methods for their analysis drawn from the rigorous framework of modern geometry and homotopy theory.

1. Dual Curves: Definition and Geometric Context

Given a smooth plane curve $C$, its dual $C^*$ consists of the points in the dual projective plane corresponding to lines tangent to $C$. The mapping from $C$ to $C^*$ is not always smooth: the dual can develop singularities even if $C$ is smooth. Archetypal singularities in $C^*$ include cusps and nodes, which arise when the original curve has inflection points, singularities, or non-generic tangencies. The study of duality is intrinsically linked with the tangent and contact structures on $C$, and more generally with characteristic classes associated to the geometry of $C$ and its transformation group.

2. Classification and Structure of Singularities

Singularities of dual curves are classified by the local behavior of the envelope of tangent lines. The most prominent types are:

• Cusps: Points where the dual mapping folds up, usually corresponding to points of $C$ with vanishing curvature (inflection points).
• Nodes: Intersections of the dual curve corresponding to multiple tangents through a point of $C$ (bitangents or singularities).
• Higher-order Singularities: Arising from more degenerate contact between $C$ and its tangent lines, often linked to the higher order osculating properties and jet schemes.

A plausible implication is that these singularities encode deep invariants of the tangent and contact structures, which are reflected in the transformation and mapping class groups of the underlying geometric space, as seen in the algebraic presentation of contactomorphism and mapping class groups for Legendrian circle bundles (Giroux et al., 2015).

3. Contact Geometry and Duality

Contact geometry provides an advanced framework for the analysis of singularities of dual curves. A contact manifold $(M^{2n+1}, \eta)$ organizes the possible tangencies and inflections of curves within the context of a maximally non-integrable distribution. The locus of tangent lines to a curve in such a manifold can be understood as a Legendrian submanifold, whose duality properties are encoded in the behavior of its associated transformation groups and invariants.

For Legendrian circle bundles over surfaces, the correspondence between contactomorphisms and smooth mapping classes demonstrates the infinite mapping class group structure, reflecting the nontriviality and richness of the singularity structure of the associated dual curves (Giroux et al., 2015). In this setting, singularities in the dual reflect the algebraic generators (e.g., Dehn twists) and relations in mapping class presentations.

4. Homotopy Theory and Loop Space Forms

Modern techniques utilize secondary characteristic classes, particularly on loop spaces, to probe the transformation groups associated with the contact structure of a curve or manifold. The key construction is the use of differential forms (e.g., Wodzicki-Chern-Simons forms) on the loop space $L\overline{M}_p$, where $\overline{M}_p$ is a contact manifold associated to a symplectic base via a principal circle bundle.

Singularities in dual curves manifest homotopically through infinite cyclic subgroups in the fundamental group of the isometry or contactomorphism group, as established via non-vanishing pairings of loop space forms with fundamental classes (Egi et al., 2020, Maeda et al., 2 Oct 2025). This suggests that the topological type and order of singularities in duals have direct consequences for the algebraic structure and homotopy invariants of transformation groups.

5. Transformation Groups and Infinite Order Phenomena

A key geometric manifestation of singularities in dual curves is the existence and explicit construction of elements of infinite order in mapping class groups and fundamental groups of transformation groups associated with contact structures. For regular contact manifolds, infinite cyclic subgroups arise from the iteration of fiber rotation (the Reeb flow), detected via secondary characteristic classes on loop spaces (Egi et al., 2020, Maeda et al., 2 Oct 2025). In the Legendrian setting, infinite monodromy actions on the Legendrian contact DGA yield infinite families (loops) whose action on invariants is nontrivial for all iterates (Casals et al., 2021).

For overtwisted contact spheres, homotopy-theoretic considerations and long exact sequences show the presence of $\mathbb{Z}$-summands in many homotopy groups of the contactomorphism group, contrasting with the finite-dimensional Lie group case and highlighting the 'richness' introduced by singularities in the associated dual and transformation structures (Fernández et al., 2019).

6. Dual Pairs, Symplectic Reduction, and Singular Solutions

Singularities of dual curves in contact topology are closely related to dual pairs in infinite-dimensional symplectic geometry. The EPContact dual pair construction provides identifications between spaces of weighted submanifolds and coadjoint orbits of contact groups (Haller et al., 2019). Singular solutions, including "peakon-type" phenomena for contact-geodesic equations, concentrate on submanifolds corresponding to loci of enhanced tangency or inflection—i.e., the singularities of the dual curve.

7. Implications and Further Directions

The singularities of dual curves are not only cornerstones of classical projective theory but also central in modern contact topology, geometry of transformation groups, and symplectic reduction. The explicit algebraic, topological, and loop space invariants associated to these singularities furnish infinite families in mapping class groups and contactomorphism homotopy types, underpinning large symmetry groups in both low- and high-dimensional settings (Giroux et al., 2015, Egi et al., 2020, Maeda et al., 2 Oct 2025, Fernández et al., 2019, Haller et al., 2019, Casals et al., 2021).

A plausible implication is that the detailed study of singularities in dual curves offers a pathway to classify and distinguish transformation group structures, particularly in contact and symplectic topology, with consequences for the construction of exotic geometric structures, nontrivial Lagrangian fillings, and infinite-dimensional symmetry phenomena.