Veronese map

The Veronese map of degree 2 is a mapping from $ℝ^{n + 1}$ to the space of symmetric matrices $(n + 1) \times (n + 1)$ defined by the formula:

V : (x_{0}, \dots, x_{n}) \to (\begin{matrix} x_{0} \cdot x_{0} & x_{0} \cdot x_{1} & \dots & x_{0} \cdot x_{n} \\ x_{1} \cdot x_{0} & x_{1} \cdot x_{1} & \dots & x_{1} \cdot x_{n} \\ ⋮ & ⋮ & ⋱ & ⋮ \\ x_{n} \cdot x_{0} & x_{n} \cdot x_{1} & \dots & x_{n} \cdot x_{n} \end{matrix}) .

Note that $V (x) = V (- x)$ for any $x \in ℝ^{n + 1}$ .

In particular, the restriction of $V$ to the unit sphere $𝕊^{n}$ factors through the projective space $ℝ P^{n}$ , which defines the Veronese embedding of $ℝ P^{n}$ . The image of the Veronese embedding is called the Veronese submanifold, and for $n = 2$ it is known as the Veronese surface.

Properties

The matrices in the image of the Veronese embedding correspond to projections onto one-dimensional subspaces in $ℝ^{n + 1}$ . They can be described by the equations:
$A^{T} = A, t r A = 1, A^{2} = A .$

In other words, the matrices in the image of

ℝ P^{n}

have unit trace and unit norm. Specifically, the following is true:

The image lies in an affine space of dimension $n + \frac{n \cdot (n + 1)}{2}$ .
The image lies on an (n−1+n⋅(n+1)2)-sphere with radius rn=1−1n+1.
- Moreover, the image forms a minimal submanifold in this sphere.

The Veronese embedding induces a Riemannian metric $2 \cdot g$ , where $g$ denotes the canonical metric on $ℝ P^{n - 1}$ .
The Veronese embedding maps each geodesic in ℝPn−1 to a circle with radius 12.
- In particular, all the normal curvatures of the image are equal to $\sqrt{2}$ .
The Veronese manifold is extrinsically symmetric, meaning that reflection in any of its normal spaces maps the manifold onto itself.

Variations and generalizations

Analogous Veronese embeddings are constructed for complex and quaternionic projective spaces, as well as for the Cayley plane.

For higher-degree Veronese maps, see Veronese surface § Veronese map.

Notes

↑ Lectures on Discrete Geometry. Springer Science & Business Media. p. 244. ISBN 978-0-387-95374-8.
↑ Hazewinkel, Michiel (31 January 1993). Encyclopaedia of Mathematics: Stochastic Approximation — Zygmund Class of Functions. Springer Science & Business Media. p. 416. ISBN 978-1-55608-008-1.

References

Cecil, T. E.; Ryan, P. J. Tight and taut immersions of manifolds Res. Notes in Math., 107, 1985.
K. Sakamoto, Planar geodesic immersions, Tohoku Math. J., 29 (1977), 25–56.

[1] Lectures on Discrete Geometry. Springer Science & Business Media. p. 244. ISBN 978-0-387-95374-8.

[2] Hazewinkel, Michiel (31 January 1993). Encyclopaedia of Mathematics: Stochastic Approximation — Zygmund Class of Functions. Springer Science & Business Media. p. 416. ISBN 978-1-55608-008-1.