Veronese map

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

V\colon (x_{0},\dots ,x_{n})\to {\begin{pmatrix}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}\\\vdots &\vdots &\ddots &\vdots \\x_{n}\cdot x_{0}&x_{n}\cdot x_{1}&\dots &x_{n}\cdot x_{n}\end{pmatrix}}.

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

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

Properties

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

In other words, the matrices in the image of

\mathbb {R} \mathrm {P} ^{n}

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

The image lies in an affine space of dimension $n+{\tfrac {n\cdot (n+1)}{2}}$ .
The image lies on an $(n-1+{\tfrac {n\cdot (n+1)}{2}})$ -sphere with radius $r_{n}={\sqrt {1-{\tfrac {1}{n+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 $\mathbb {R} \mathrm {P} ^{n-1}$ .
The Veronese embedding maps each geodesic in $\mathbb {R} \mathrm {P} ^{n-1}$ to a circle with radius ${\tfrac {1}{\sqrt {2}}}$ .
- 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.

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.

[1]

[2]