Dual curve¶
The curve in the dual projective plane whose points correspond to tangent lines of a given plane curve.
Core Idea¶
Dual curve is the curve in the dual projective plane whose points correspond to tangent lines of a given plane curve.
Each smooth point of a plane projective curve determines a tangent line, which is represented as a point in the dual projective plane. The closure of those tangent points is the dual curve. Singularities, inflection points, and bitangents of the original curve correspond to characteristic features of the dual, and under suitable nondegeneracy the dual of the dual recovers the original curve.
Scope of Application¶
The abstraction recurs literally within plane projective curves, their tangent-line families, and associated singularity calculations. The following habitats preserve the same recognition machinery; they are not invitations to extend the name metaphorically.
- Smooth curves. the Gauss map sends points to their tangent lines.
- Singular curves. the closure construction handles tangent behavior near singularities.
- Class formulas. degree and singularity data of primal and dual curves are related.
- Envelope geometry. a one-parameter family of tangents is represented by its dual locus.
- Biduality. under standard hypotheses, dualization recovers the original curve.
Clarity¶
Points and lines exchange roles only after the ambient projective plane and its dual are distinguished. Coordinates of a dual point are coefficients of a primal line, not coordinates of the tangency point. Closure is necessary because tangent images can approach lines not obtained from an ordinary smooth parameter value.
Manages Complexity¶
Dualization turns a moving family of tangent lines into a single algebraic locus. Contact multiplicity and special tangencies then become geometric features of the dual curve, allowing incidence and singularity questions to be attacked from the side where they are simpler.
The compression remains accountable because each simplification has a named failure condition. Disagreement can be localized to a missing role, an invalid assumption, an ambiguous measurement, or a neighboring abstraction instead of being hidden inside an unanalyzed label.
Abstract Reasoning¶
R1. Fix homogeneous coordinates for the primal and dual planes. R2. Restrict the tangent map to the smooth locus. R3. Take the algebraic closure of the image. R4. Track how inflection, singularity, and bitangency alter the dual. R5. Apply biduality only after checking degeneracy and category assumptions.
Knowledge Transfer¶
Projective duality extends literally to hypersurfaces and other suitable varieties, but the dual curve remains the plane-curve realization. Graph duality, semantic duality, and oppositional pairs instantiate broader duality without tangent-line parameter spaces.
The transfer boundary is explicit: DOMAIN-SPECIFIC PASS / PRIME FAIL: The construction recurs across plane curves, tangent points, algebraic duals, and the involutive dual-of-dual operation. Literal recognition retains the specialist vocabulary and validity conditions of projective algebraic geometry; outside that setting only broader parent operations transfer.
Relationships to Other Abstractions¶
Current abstraction Dual curve Domain-specific
Parents (2) — more general patterns this builds on
-
Dual curve is a kind of Duality Prime
Duality (
prime:duality). -
Dual curve presupposes Representation Prime
Representation (
prime:representation).
Hierarchy paths (2) — routes to 2 parentless roots
- Dual curve → Duality
- Dual curve → Representation → Abstraction
Neighborhood in Abstraction Space¶
Dual curve sits in a sparse region of the domain-specific corpus (87th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Algebraic Geometry & Bundle Structure (14 abstractions)
Nearest neighbors
- Euler sequence — 0.83
- Linear fractional transformation — 0.82
- Collineation — 0.79
- Intrinsic Equation of a Curve — 0.79
- Complete variety — 0.79
Computed from structural-signature embeddings · 2026-09-08