# Rational normal curve

Rational normal curve

In mathematics, the rational normal curve is a smooth, rational curve $C$ of degree "n" in projective n-space $mathbb\left\{P\right\}^n$. It is a simple example of a projective variety. The twisted cubic is the special case of "n"=3.

Definition

The rational normal curve may be given parametrically as the image of the map

:$u:mathbb\left\{P\right\}^1 omathbb\left\{P\right\}^n$

which assigns to the homogeneous coordinate $\left[S:T\right]$ the value

:$u: \left[S:T\right] mapsto \left[S^n:S^\left\{n-1\right\}T:S^\left\{n-2\right\}T^2:ldots:T^n\right]$

In the affine coordinates of the chart $x_0 eq0$ the map is simply

:$u:x mapsto \left(x,x^2, ldots ,x^n\right)$

That is, the rational normal curve is the closure by a single point at infinity of the affine curve $\left(x,x^2,dots,x^n\right)$.

Equivalently, normal rational curve may be understood to be a projective variety, defined as the common zero locus of the homogeneous polynomials

:$F_\left\{i,j\right\}\left(X_0,ldots,X_n\right) = X_iX_j - X_\left\{i+1\right\}X_\left\{j-1\right\}$

where $\left[X_0:ldots:X_n\right]$ are the homogeneous coordinates on $mathbb\left\{P\right\}^n$. The full set of these polynomials is not needed; it is sufficient to pick "n" of these to specify the curve.

Alternate parameterization

Let $\left[a_i:b_i\right]$ be $n+1$ distinct points in $mathbb\left\{P\right\}^1$. Then the polynomial

:$G\left(S,T\right) = Pi_\left\{i=0\right\}^n \left(a_iS -b_iT\right)$

is a homogeneous polynomial of degree $n+1$ with distinct roots. The polynomials

:$H_i\left(S,T\right) = frac\left\{G\left(S,T\right)\right\} \left\{\left(a_iS-b_iT\right)\right\}$

are then a basis for the space of homogeneous polynomials of degree "n". The map

:$\left[S:T\right] mapsto \left[H_0\left(S,T\right) : H_1\left(S,T\right) : ldots : H_n \left(S,T\right) \right]$

or, equivalently, dividing by $G\left(S,T\right)$

:$\left[S:T\right] mapsto left \left[frac\left\{1\right\}\left\{\left(a_0S-b_0T\right)\right\} : ldots : frac\left\{1\right\}\left\{\left(a_nS-b_nT\right)\right\} ight\right]$

is a rational normal curve. That this is a rational normal curve may be understood by noting that the monomials $S^n,S^\left\{n-1\right\}T,S^\left\{n-2\right\}T^2,ldots,T^n$ are just one possible basis for the space of degree-"n" homogeneous polynomials. In fact, any basis will do. This is just an application of the statement that any two projective varieties are projectively equivalent if they are congruent modulo the projective linear group $m\left\{PGL\right\}_\left\{n+1\right\} K$ (with "K" the field over which the projective space is defined).

This rational curve sends the zeros of "G" to each of the coordinate points of $mathbb\left\{P\right\}^n$; that is, all but one of the $H_i$ vanish for a zero of "G". Conversely, any rational normal curve passing through the "n+1" coordinate points may be written parametrically in this way.

Properties

The rational normal curve has an assortment of nice properties:
* Any $n+1$ points on $C$ are linearly independent, and span $mathbb\left\{P\right\}^n$. This property distinguishes the rational normal curve from all other curves.
* Given $n+3$ points in $mathbb\left\{P\right\}^n$ in linear general position (that is, with no $n+1$ lying in a hyperplane), there is a unique rational normal curve passing through them. The curve may be explicitly specified using the parametric representation, by arranging $n+1$ of the points to lie on the coordinate axes, and then mapping the other two points to $\left[S:T\right] = \left[0:1\right]$ and $\left[S:T\right] = \left[1:0\right]$.
* The tangent and secant lines of a rational normal curve are pairwise disjoint, except at points of the curve itself. This is a property shared by sufficiently positive embeddings of any projective variety.

There are independent quadrics that generate the ideal of the curve.

The curve is not a complete intersection, for $n>2$. This means it is not defined by the number of equations equal to its codimension $n-1$.

The canonical mapping for a hyperelliptic curve has image a rational normal curve, and is 2-to-1.

References

* Joe Harris, "Algebraic Geometry, A First Course", (1992) Springer-Verlag, New York. ISBN 0-387-97716-3

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Normal distribution — This article is about the univariate normal distribution. For normally distributed vectors, see Multivariate normal distribution. Probability density function The red line is the standard normal distribution Cumulative distribution function …   Wikipedia

• Rational motion — In kinematics, the motion of a rigid body is defined as a continuous set of displacements. One parameter motions can be definedas a continuous displacement of moving object with respect to a fixed frame in Euclidean three space ( E 3), where the… …   Wikipedia

• Algebraic curve — In algebraic geometry, an algebraic curve is an algebraic variety of dimension one. The theory of these curves in general was quite fully developed in the nineteenth century, after many particular examples had been considered, starting with… …   Wikipedia

• Plane curve — In mathematics, a plane curve is a curve in a Euclidean plane (cf. space curve). The most frequently studied cases are smooth plane curves (including piecewise smooth plane curves), and algebraic plane curves. A smooth plane curve is a curve in a …   Wikipedia

• Phillips curve — The Phillips curve is a historical inverse relation between the rate of unemployment and the rate of inflation in an economy. Stated simply, the lower the unemployment in an economy, the higher the rate of increase in wages paid to labor in that… …   Wikipedia

• Space-filling curve — 3 iterations of a Peano curve construction, whose limit is a space filling curve. In mathematical analysis, a space filling curve is a curve whose range contains the entire 2 dimensional unit square (or more generally an N dimensional hypercube) …   Wikipedia

• Canonical bundle — In mathematics, the canonical bundle of a non singular algebraic variety V of dimension n is the line bundle which is the nth exterior power of the cotangent bundle Ω on V. Over the complex numbers, it is the determinant bundle of holomorphic n… …   Wikipedia

• Projective line — In mathematics, a projective line is a one dimensional projective space. The projective line over a field K , denoted P1( K ), may be defined as the set of one dimensional subspaces of the two dimensional vector space K 2 (it does carry other… …   Wikipedia

• List of curves — This is a list of curves, by Wikipedia page. See also list of curve topics, list of surfaces, Riemann surface. Algebraic curves*Cubic plane curve *Quartic plane curve *Quintic plane curve *Sextic plane curveRational curves*Ampersand curve… …   Wikipedia

• List of mathematics articles (R) — NOTOC R R. A. Fisher Lectureship Rabdology Rabin automaton Rabin signature algorithm Rabinovich Fabrikant equations Rabinowitsch trick Racah polynomials Racah W coefficient Racetrack (game) Racks and quandles Radar chart Rademacher complexity… …   Wikipedia