Veronese surface

Veronese surface

In mathematics, the Veronese surface is an algebraic surface in five-dimensional projective space. It is the embedding of the projective plane given by the complete linear system of conics. It is named for Giuseppe Veronese (1854-1917). 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. Its generalization to higher dimension is known as the Veronese variety.

Definition

The Veronese surface is a mapping: u:mathbb{P}^2 o mathbb{P}^5given by

: u: [x:y:z] mapsto [x^2:y^2:z^2:yz:xz:xy]

where [x:ldots] denotes homogeneous coordinates.

Veronese map

The Veronese map or Veronese variety generalizes this idea to mappings of general degree "d". That is, the Veronese map of degree "d" is the map

: u_d:mathbb{P}^n o mathbb{P}^{m}

with "m" given by the binomial coefficient

:m={n+d choose d} -1

The map sends [x_0:ldots:x_n] to all possible monomials of total degree "d", thus the appearance of the binomial coefficient is from consideration of the combinatorics.

One may define the Veronese map in a coordinate-free way, as

: u_d: mathbb{P}V o mathbb{P}( m{Sym}^d V)

where "V" is any vector space of finite dimension, and m{Sym}^d V are its symmetric powers of degree "d". This is homogeneous of degree "d" under scalar multiplication on "V", and therefore passes to a mapping on the underlying projective spaces.

If the vector space "V" is defined over a field "K" which does not have characteristic zero, then the definition must be altered to be understood as a mapping to the dual space of polynomials on "V". This is because for fields with finite characteristic "p", the "p"th powers of elements of "V" are not rational normal curves, but are of course a line. (See, for example additive polynomial for a treatment of polynomials over a field of finite characteristic).

ubvarieties

The image of a variety under the Veronese map is again a variety; furthermore, these are isomorphic in the sense that the inverse map exists and is regular. More precisely, the images of open sets in the Zariski topology are again open. This may be used to show that any projective variety is the intersection of a Veronese variety and a linear space, and thus that any projective variety is isomorphic to an intersection of quadrics.

ee also

* Twisted cubic
* Rational normal curve

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:

  • Surface de Véronèse — Une surface de Veronese (en) est une transformation projective d un espace projectif à deux dimensions en un espace à cinq dimensions. où représente les coordonnées homogènes …   Wikipédia en Français

  • Surface romaine — Une animation de la surface romaine La surface romaine (ainsi appelée parce que Jakob Steiner était à Rome quand il la conçut) est une application auto intersectante du plan projectif réel dans l espace à trois dimensions, avec un haut degré de… …   Wikipédia en Français

  • Rational surface — In algebraic geometry, a branch of mathematics, a rational surface is a surface birationally equivalent to the projective plane, or in other words a rational variety of dimension two. Rational surfaces are the simplest of the 10 or so classes of… …   Wikipedia

  • Algebraic surface — In mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface is therefore of complex dimension two (as a complex manifold, when it is non singular)… …   Wikipedia

  • Steiner surface — In geometry, the Steiner surfaces, discovered by Jakob Steiner, are representations of the real projective plane in three dimensional space. More particularly, they are linear projections of a six dimensional embedding called the Veronese surface …   Wikipedia

  • Paolo Veronese — Self portrait Born 1528 Died 1588 …   Wikipedia

  • Del Pezzo surface — In mathematics, a del Pezzo surface or Fano surface is a two dimensional Fano variety, in other words a non singular projective algebraic surface with ample anticanonical divisor class. They are in some sense the opposite of surfaces of general… …   Wikipedia

  • Guido Castelnuovo — (14 August 1865 ndash; 27 April1952) was an Italian Jewish mathematician. His father, Enrico Castelnuovo, was a novelist and campaigner for the unification of Italy. Castelnuovo is best known for his contributions to the field of algebraic… …   Wikipedia

  • Enriques-Kodaira classification — In mathematics, the Enriques Kodaira classification is a classification of compact complex surfaces. For complex projective surfaces it was done by Federigo Enriques, and Kunihiko Kodaira later extended it to non algebraic compact surfaces. It… …   Wikipedia

  • List of algebraic surfaces — This is a list of named (classes of) algebraic surfaces and complex surfaces. The notation κ stands for the Kodaira dimension, which divides surfaces into four coarse classes.Algebraic and complex surfaces * abelian surfaces (κ = 0) Two… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”