Dual curve¶

The curve in the dual projective plane whose points correspond to tangent lines of a given plane curve.

Version: v3 · 2026-09-19 · History
Domain-specific #: 1722
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Projective Algebraic Geometry → Mathematics
Aliases: Projective dual 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.

How would you explain it like I'm…

The Touching-Line Curve

Draw a curvy line. At each spot, lay a ruler so it just touches the curve without cutting across it. Write down each ruler's position as a dot on a different page. All those dots together draw a brand-new curve, called the dual curve.

Tangent Lines Become Points

Every smooth point on a curve has a tangent line, a straight line that just touches the curve there. In a special kind of geometry, every straight line can be written down as a single point in a second, partner space. If you turn every tangent line of your curve into a point in that partner space, those points trace out a new curve, called the dual curve. Special spots on the original, like sharp corners or places where one line touches in two spots, show up as special spots on the dual. And usually, if you take the dual of the dual, you get your original curve back.

Tangent Lines as Points

In projective geometry, lines in the plane can themselves be treated as points of another plane, called the dual projective plane. The dual curve of a plane curve is the curve in that dual plane made of the points that represent the original curve's tangent lines. You take each smooth point, find its tangent line, record that line as a point, and then take the closure of all those points. Features swap roles: for example, singular points, inflection points and bitangent lines of the original correspond to characteristic features of the dual. Under suitable nondegeneracy conditions, taking the dual twice recovers the original curve.

The dual curve of a plane projective curve is the curve in the dual projective plane whose points correspond to the tangent lines of the original. Projective duality identifies each line in P^2 with a point of the dual plane, via its coefficients. For each smooth point of the curve, the tangent line determines a point of the dual plane; the closure of the set of these points is the dual curve. The correspondence exchanges local features: singularities, inflection points and bitangents of the original correspond to characteristic features of the dual, with singular points and the curve's class (the degree of the dual) handled according to algebraic conditions. Under suitable nondegeneracy hypotheses, duality is reflexive, so the dual of the dual recovers the original curve. The defining requirement is that each dual point genuinely represents a tangent line under projective duality, not merely some associated line.

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) — outgoing typed relations

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 → is a kind of Duality

Show alternative path (1)

Neighborhood in Abstraction Space¶

Dual curve sits in a sparse region of the domain-specific corpus (84^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Surface Geometry & Projective Transforms (6 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25