[Paper Review] Rigid isotopy classification of real degree-4 planar rational curves with only real nodes (An elementary approach)

Shane D’Mello|arXiv (Cornell University)|Jul 29, 2013

Computational Geometry and Mesh Generation2 references3 citations

TL;DR

This paper presents an elementary rigid isotopy classification of real degree-4 planar rational curves with only real nodes by introducing chord diagrams that encode the configuration of non-solitary real nodes. It proves that two such curves are rigidly isotopic if and only if they share the same chord diagram, and that all chord diagrams with up to three chords are realizable by such curves.

ABSTRACT

We prove an elementary method to classify, up to rigid isotopy, all nodal degree 4 real rational curves in $\mathbb{RP}^2$ that have only real double points. We show how to associate a chord diagram to a nodal real degree 4 planar rational curve and prove that such curves are defined up to rigid isotopy by their chord diagrams.

Motivation & Objective

• To provide an elementary, combinatorial method for classifying rigid isotopy types of real degree-4 planar rational curves with only real nodes.
• To establish that the chord diagram—encoding the configuration of non-solitary real nodes—fully determines the rigid isotopy type.
• To prove realizability of all chord diagrams with at most three chords by actual nodal rational degree-4 curves.
• To lay the foundation for extending the classification to curves with imaginary nodes in a future version.
• To offer a conceptual framework that simplifies the understanding of the previously known but complex list of 117 irreducible types.

Proposed method

• Construct a real chord diagram by embedding the real projective line ℝP¹ as a circle and drawing chords between preimages of non-solitary real nodes under the rational parametrization.
• Use the fact that rigid isotopy preserves the chord diagram, making it a topological invariant of the curve’s isotopy class.
• Apply geometric constraints: a line through two nodes intersects the curve in at least five points counting multiplicity, ruling out certain node positions.
• Use Rokhlin’s Complex Orientation Formula to determine the possible location of solitary nodes by analyzing the orientation of ovals after perturbation.
• Resolve the curve’s singularities via perturbation to obtain a non-singular Type I curve, then apply Rokhlin’s formula: 2(Π⁺ − Π⁻) = l − d²/4 with d=4 and l=2.
• Conclude that only one configuration of ovals (nested, positive pair) satisfies the formula, fixing the location of the solitary node.

Experimental results

Research questions

• RQ1 Which chord diagrams correspond to rigid isotopy classes of real degree-4 rational curves with only real nodes?
• RQ2 Can the rigid isotopy type of such a curve be completely determined by its chord diagram?
• RQ3 Which chord diagrams with up to three chords are realizable by actual nodal rational degree-4 curves?
• RQ4 Where can solitary nodes be located in such curves, and how can their position be topologically constrained?
• RQ5 How can Rokhlin’s Complex Orientation Formula be used to resolve ambiguities in node placement after perturbation?

Key findings

• All chord diagrams with at most three chords are realizable by nodal rational degree-4 real plane curves with only real nodes.
• Two nodal rational real plane curves of degree 4 with only real nodes are rigidly isotopic if and only if they have identical chord diagrams.
• The position of a solitary node is topologically constrained: it cannot lie in disk components bounded by the curve’s image in ℝP².
• Using Rokhlin’s Complex Orientation Formula, the only consistent configuration after perturbation is a pair of nested ovals, which fixes the solitary node’s location.
• The chord diagram uniquely determines the rigid isotopy class, providing a complete and elementary classification for this class of curves.
• The method extends to all real nodal rational degree-4 curves, though the full extension to curves with imaginary nodes is reserved for a future version.