In mathematics, the Veronese surface is an algebraic surface in five-dimensional projective space, and is realized by the Veronese embedding, the embedding of the projective plane given by the complete linear system of conics. It is named after Giuseppe Veronese (1854–1917). Its generalization to higher dimension is known as the Veronese variety. The surface admits an embedding in the four-dimensional projective space defined by the projection from a general point in the five-dimensional space. Its general projection to three-dimensional projective space is called a Steiner surface.
Definition The Veronese surface is the image of the mapping
ν : P 2 → P 5 {\displaystyle \nu :\mathbb {P} ^{2}\to \mathbb {P} ^{5}}
given by
ν : [ x : y : z ] ↦ [ x 2 : y 2 : z 2 : y z : x z : x y ] {\displaystyle \nu :[x:y:z]\mapsto [x^{2}:y^{2}:z^{2}:yz:xz:xy]}
where [ x : ⋯ ] {\displaystyle [x:\cdots ]} denotes homogeneous coordinates. The map ν {\displaystyle \nu } is known as the Veronese embedding.
Motivation The Veronese surface arises naturally in the study of conics. A conic is a degree 2 plane curve, thus defined by an equation:
A x 2 + B x y + C y 2 + D x z + E y z + F z 2 = 0. {\displaystyle Ax^{2}+Bxy+Cy^{2}+Dxz+Eyz+Fz^{2}=0.}
The pairing between coefficients ( A , B , C , D , E , F ) {\displaystyle (A,B,C,D,E,F)} and variables ( x , y , z ) {\displaystyle (x,y,z)} is linear in coefficients and quadratic in the variables; the Veronese map makes it linear in the coefficients and linear in the monomials. Thus for a fixed point [ x : y : z ] , {\displaystyle [x:y:z],} the condition that a conic contains the point is a linear equation in the coefficients, which formalizes the statement that "passing through a point imposes a linear condition on conics".
Veronese map
The Veronese map or Veronese variety generalizes this idea to mappings of general degree d in n+1 variables. That is, the Veronese map of degree d is the map
ν d : P n → P m {\displaystyle \nu _{d}\colon \mathbb {P} ^{n}\to \mathbb {P} ^{m}}
with m given by the multiset coefficient, or more familiarly the binomial coefficient, as:
m = ( ( n + 1 d ) ) − 1 = ( n + d d ) − 1. {\displaystyle m=\left(\!\!{n+1 \choose d}\!\!\right)-1={n+d \choose d}-1.}
The map sends [ x 0 : … : x n ] {\displaystyle [x_{0}:\ldots :x_{n}]} to all possible monomials of total degree d (of which there are m + 1 {\displaystyle m+1} ); we have n + 1 {\displaystyle n+1} since there are n + 1 {\displaystyle n+1} variables x 0 , … , x n {\displaystyle x_{0},\ldots ,x_{n}} to choose from; and we subtract 1 {\displaystyle 1} since the projective space P m {\displaystyle \mathbb {P} ^{m}} has m + 1 {\displaystyle m+1} coordinates. The second equality shows that for fixed source dimension n, the target dimension is a polynomial in d of degree n and leading coefficient 1 / n ! . {\displaystyle 1/n!.}
… excerpt ends here. Continue reading the full article.
