Canonical isometric embeddings of projective spaces into spheres

TL;DR

This paper constructs inductive isometric embeddings of real and complex projective spaces into spheres, showing how to extend lower-dimensional embeddings to higher dimensions while preserving metrics.

Contribution

It introduces a novel inductive method for isometric embeddings of projective spaces into spheres, aligning with the telescopic construction of infinite-dimensional projective and sphere spaces.

Findings

Explicit embeddings for all dimensions of real and complex projective spaces.

Method preserves canonical metrics through inductive extension.

Embeddings relate real and complex projective spaces via restrictions.

Abstract

We define inductively isometric embeddings of $\mb{P}^n(\mb{R})$ and $\mb{P}^n(\mb{C})$ (with their canonical metrics conveniently scaled) into the standard unit sphere, which present the former as the restriction of the latter to the set of real points. Our argument parallels the telescopic construction of $\mb{P}^\infty(\mb{R})$, $\mb{P}^\infty(\mb{C})$, and $\mb{S}^\infty$ in that, for each $n$, it extends the previous embedding to the attaching cell, which after a suitable renormalization makes it possible for the result to have image in the unit sphere.

Equations

$$s_g=n(n-1)+\tilde{g}(H,H)-\tilde{g}(\alpha ,\alpha ).$$

$$\Pi (M)={\int }_M\tilde{g}(\alpha ,\alpha )d\mu ,$$

$$(x_0:x_1)\mapsto {\iota }_1(x)=(2x_0{x}_1,(x_0^2-x_1^2))\in {\mathbb{R}}^2.$$

$$\Vert {\iota }_1(x){\Vert }^2=(x_0^2+x_1^2{)}^2,$$

$${\iota }_1:{\mathbb{S}}^1\to {\mathbb{S}}^1$$

$${\mathbb{P}}^1(\mathbb{R})\hookrightarrow {\mathbb{S}}^1,$$

$$\Vert {\iota }_{n-1}(x){\Vert }^2=\frac{1}{r_{n-1}^4}(x_0^2+\cdots +x_{n-1}^2{)}^2.$$

$$r_n^4=\frac{(n+1)(n^2-1)}{n^2}{r}_{n-1}^4,b^2=\frac{1}{(n^2-1)r_{n-1}^4},a^2=2n(n+1)b^2,$$

$${\iota }_n(x)=\frac{1}{\sqrt{n+1}}({\iota }_{n-1}(x^{\prime }),a{x}_n{x}_0,\cdots ,a{x}_n{x}_{n-1},b(x_0^2+\cdots +x_{n-1}^2-n{x}_n^2))\in {\mathbb{R}}^{N_{n-1}+n+2}.$$

$$\Vert {\iota }_n(x){\Vert }^2=\frac{1}{r_n^4}(x_0^2+\cdots +x_n^2{)}^2.$$

$$r_n^4={\left(\frac{n+1}{2}\right)}^2(n-1)!,N_n=\frac{1}{2}n(n+3)-1,$$

$${\iota }_n:{\mathbb{S}}^n(r_n)\to {\mathbb{S}}^{N_n}$$

$$\begin{array}[]{rcc}&&{\mathbb{P}}^{n}({\mathbb{R}})\\ &&\uparrow\\ {\mathbb{Z}}/2&\hookrightarrow&{\mathbb{S}}^{n}(r_{n})\end{array}$$

$${\iota }_n:{\mathbb{P}}^n(\mathbb{R})\hookrightarrow {\mathbb{S}}^{N_n}\subset {\mathbb{R}}^{N_n+1},$$

$$\begin{array}[]{rcccc}&&{\mathbb{P}}^{n}({\mathbb{R}})&\stackrel{{\scriptstyle\iota_{n}}}{{\hookrightarrow}}&{\mathbb{S}}^{N_{n}}\\ &&\uparrow&\nearrow&\\ {\mathbb{Z}}/2&\hookrightarrow&{\mathbb{S}}^{n}(r_{n})&&\end{array}$$

$$(x_0:x_1:x_2)\mapsto {\iota }_2(x)=\frac{1}{\sqrt{3}}({\iota }_1(x_0,x_1),2x_0{x}_2,2x_1{x}_2,(x_0^2+x_1^2-2x_2^2)/\sqrt{3})\in {\mathbb{R}}^5,$$

$$\frac{1}{4\pi }{\int }_{{\mathbb{P}}^2(\mathbb{R})}{s}_{g}d{\mu }_g=1=\chi ({\mathbb{P}}^2(\mathbb{R})),$$

$${\int }_{{\mathbb{P}}^2(\mathbb{R})}\Vert \alpha {\Vert }^{2}d{\mu }_g=2\pi =\Pi ({\mathbb{P}}^2(\mathbb{R})),$$

$$\frac{\int s_{g}d{\mu }_g}{{\left(\int d{\mu }_g\right)}^{1/3}}=6{\pi }^{\frac{4}{3}}=\frac{6{\omega }_3^{\frac{2}{3}}}{2^{\frac{2}{3}}},$$

$$\begin{array}[]{rcc}{\mathbb{S}}^{1}&\hookrightarrow&{\mathbb{S}}^{3}\\ &&\downarrow\\ &&{\mathbb{P}}^{1}({\mathbb{C}})\end{array}$$

$$(z_0:z_1)\mapsto {\iota }_1(z)=(2z_0{\overline{z}}_1,(z_0{\overline{z}}_0-z_1{\overline{z}}_1))\in \mathbb{C}\times \mathbb{R}={\mathbb{R}}^3,$$

$$\Vert {\iota }_1(z){\Vert }^2=(|z_0{|}^2+|z_1{|}^2{)}^2,$$

$${\iota }_1:{\mathbb{P}}^1(\mathbb{C})\hookrightarrow {\mathbb{S}}^2$$

$$\begin{array}[]{ccc}{\mathbb{P}}^{1}({\mathbb{C}})&\hookrightarrow&{\mathbb{S}}^{2}\\ \cup&&\cup\phantom{1}\\ {\mathbb{P}}^{1}({\mathbb{R}})&\hookrightarrow&{\mathbb{S}}^{1}\end{array}\,.$$

$$H(z)=\left\{\begin{array}[]{ll}{\displaystyle(2(x_{0}x_{1}+y_{0}y_{1}),2(y_{0}x_{1}-x_{0}y_{1}),x_{0}^{2}+y_{0}^{2}-x_{1}^{2}-y_{1}^{2})}&\text{if $(x_{1},y_{1})\neq(0,0)$}\,,\vspace{1mm}\\ (0,0,1)&\text{if $(x_{1},y_{1})=(0,0)$}\,.\end{array}\right.$$

$${\iota }_{n-1}:{\mathbb{S}}^{2(n-1)+1}(r_{n-1})\to {\mathbb{S}}^{M_{n-1}}\subset {\mathbb{R}}^{M_{n-1}+1},$$

$$\begin{array}[]{rcccc}{\mathbb{S}}^{1}&\hookrightarrow&{\mathbb{S}}^{2(n-1)+1}(r_{n-1})&&\\ &&\downarrow&&\\ &&{\mathbb{P}}^{n-1}({\mathbb{C}})&\stackrel{{\scriptstyle\iota_{n-1}}}{{\hookrightarrow}}&{\mathbb{S}}^{M_{n-1}}\end{array}$$

$${\iota }_n(z)=\frac{1}{\sqrt{n+1}}({\iota }_{n-1}(z^{\prime }),a{\overline{z}}_n{z}_0,\cdots ,a{\overline{z}}_n{z}_{n-1},b(|z_0{|}^2+\cdots +|z_{n-1}{|}^2-n|z_n{|}^2))\in {\mathbb{R}}^{M_{n-1}+2n+2}.$$

$$\Vert {\iota }_n(z){\Vert }^2=\frac{1}{r_n^4}(|z_0{|}^2+\cdots +|z_n{|}^2{)}^2,$$

$${\iota }_n:{\mathbb{S}}^{2n+1}(r_n)\to {\mathbb{S}}^{M_n}\subset {\mathbb{R}}^{M_{n-1}+2n+2},$$

Full text

1. Isometric embeddings into spheres

We recall that if $(M^{n},g)$ is a Riemannian manifold isometrically immersed into the standard unit sphere $({\mathbb{S}}^{N},\tilde{g})$ in Euclidean space $({\mathbb{R}}^{N+1},\|\phantom{.}\|^{2})$, if $\alpha$ and $H$ are the second fundamental form and mean curvature vector of the embedding, the scalar curvature $s_{g}$ of $g$ relates to the extrinsic quantities as

[TABLE]

A canonical embedding will be one that is a critical point of the functional

[TABLE]

under deformations of the embedding [6]. If one such is also minimal, (1) implies that the embedding is a critical point of the total scalar curvature among metrics on $M$ that can be realized by isometric embeddings into ${\mathbb{S}}^{N}$, and so if $N$ is sufficiently large, by the Nash isometric embedding theorem [5], we conclude that the metric $g$ on $M$ is Einstein; conversely, if $(M,g)$ is an Einstein Riemannian manifold isometrically embedded into ${\mathbb{S}}^{N}$ as a minimal submanifold, then the embedding is canonical.

2. Canonical minimal embeddings of projective spaces

On a circle centered at the origin, let us consider the map

[TABLE]

Antipodal points are sent to the same image, and since the map underlies the local degree map $\theta\mapsto 2\theta$, different set of antipodal points are mapped to different images. Since

[TABLE]

and the components functions are all homogeneous harmonic polynomials of degree two, we obtain a 2-to-1 minimal immersion

[TABLE]

into the unit circle, of codimension zero. Hence, with the metric on ${\mathbb{P}}^{1}({\mathbb{R}})$ induced by that on ${\mathbb{S}}^{1}$, we obtain a minimal isometric embedding identification

[TABLE]

between the domain circle ${\mathbb{P}}^{1}({\mathbb{R}})$ of length $\pi$ and the range circle with its metric of length $2\pi$.

We now proceed by induction. Let us assume that we have defined an isometric 2-to-1 minimal immersion $\iota_{n-1}$ of the sphere ${\mathbb{S}}^{n-1}(r_{n-1})$ of radius $r_{n-1}$ into ${\mathbb{S}}^{N_{n-1}}\subset{\mathbb{R}}^{N_{n-1}+1}$, which descends to an isometric embedding of the quotient ${\mathbb{P}}^{n-1}({\mathbb{R}})$ with the induced metric, and is such that the Euclidean ${\mathbb{R}}^{N_{n-1}+1}$ norm of $\iota_{n-1}(x)$ satisfies

[TABLE]

We set $x=(x^{\prime},x_{n})$, where $x^{\prime}=(x_{0},\ldots,x_{n-1})$. Then, if

[TABLE]

respectively, we consider the map

[TABLE]

Its components are all quadratic harmonic polynomials, and we have that

[TABLE]

Theorem 1**.**

Let $r_{n}$ and $N_{n}$ be the sequences

[TABLE]

respectively. Then the map given inductively by (3), (5) above, defines an isometric 2-to-1 minimal immersion

[TABLE]

that maps the fibers of

[TABLE]

injectively into the image, and with the Einstein metric on ${\mathbb{P}}^{n}({\mathbb{R}})$ induced by that of the sphere ${\mathbb{S}}^{n}(r_{n})$, the map descends to an isometric minimal embedding

[TABLE]

and the diagram of isometric immersions

[TABLE]

commutes.

Remark 2. For $n=2$, we have that

[TABLE]

and we get an isometric minimal embedding $\iota_{2}:{\mathbb{P}}^{2}({\mathbb{R}})\hookrightarrow{\mathbb{S}}^{4}$ where the metric $g$ on ${\mathbb{P}}^{2}({\mathbb{R}})$ is Einstein of scalar curvature $4/3$ induced by the metric on ${\mathbb{S}}^{2}(\sqrt{3/2})$. The second fundamental form $\alpha$ is such that $\|\alpha\|^{2}=2/3$ pointwise. Thus,

[TABLE]

and

[TABLE]

respectively. This is the Veronese surface of [2], its canonical property proven in [3] by showing that the Euler-Lagrange equations for the functional (2), developed in [6] with complete generality, are satisfied for the sphere background. The same argument proves that all of the embeddings above, in any dimension, are canonical; all of them are given by quadratic harmonic polynomials inducing eigenfunctions of the Laplacian on projective space for the first nonzero eigenvalue [4, 7].

For $n=3$, $r_{3}=2^{\frac{3}{4}}$, and the metric on ${\mathbb{P}}^{3}({\mathbb{R}})$ is Einstein of scalar curvature $s_{g}=\frac{1}{2^{\frac{3}{2}}}6$, and volume $\mu_{g}=\pi^{2}(2^{\frac{3}{4}})^{3}=\frac{1}{2}\omega_{3}(2^{\frac{3}{4}})^{3}$. Thus,

[TABLE]

the sigma constant of ${\mathbb{P}}^{3}({\mathbb{R}})$ [1].

We regard ${\mathbb{P}}^{n}({\mathbb{R}})$ as a real $n$-dimensional submanifold of ${\mathbb{P}}^{n}({\mathbb{C}})$, and extend the embeddings above so that they fit as the restriction of the canonical embeddings of their complex alter egos to the set of real points.

We write a point in ${\mathbb{S}}^{3}\subset{\mathbb{C}}^{2}$ as $z=(z_{0},z_{1})$. The Fubini-Study metric $g$ on ${\mathbb{P}}^{1}({\mathbb{C}})$ is defined to make of the fibration

[TABLE]

a Riemannian submersion, the action of ${\mathbb{S}}^{1}$ on ${\mathbb{S}}^{3}$ given by $e^{i\theta}\cdot z=(e^{i\theta}z_{0},e^{i\theta}z_{1})$. The sectional curvature of a normalized section is given by $K_{g}(e_{1},e_{2})=1+3|\langle\pi^{*}e_{1},J\pi^{*}e_{2}\rangle|^{2}$, where $\{\pi^{*}e_{1},J\pi^{*}e_{2}\}$ is a horizontal lift of the section to the fiber, and $J$ is the complex structure in ${\mathbb{C}}^{2}$.

We consider the map

[TABLE]

All points on an ${\mathbb{S}}^{1}$ orbit are mapped onto the same image, and different orbits are mapped to different points. Using the Euclidean norm in the range, we have that

[TABLE]

and passing to the quotient, we obtain an isometric embedding identification

[TABLE]

between ${\mathbb{P}}^{1}({\mathbb{C}})$ with the Fubini-Study metric of volume $\pi$, and ${\mathbb{S}}^{2}$ with volume $4\pi$. It is minimal of codimension zero, and by construction, it restricts to give the isometric embedding (3) of ${\mathbb{P}}^{1}({\mathbb{R}})$ as the set of totally geodesic real points of ${\mathbb{P}}^{1}({\mathbb{C}})$ embedded into its image,

[TABLE]

Notice that the composition of the projection (9) and $\iota_{1}$ is the Hopf map $H:{\mathbb{S}}^{3}\rightarrow{\mathbb{S}}^{2}$ generator of the homotopy group $\pi_{3}({\mathbb{S}}^{2})$. Indeed, if $z=(z_{0},z_{1})$ with $z_{0}=x_{0}+iy_{0}$, $z_{1}=x_{1}+iy_{1}$, we have

[TABLE]

In order to proceed by induction, and since we are to regard the real embeddings (5) as the restriction of the embeddings we are about to define to the set of real points of ${\mathbb{P}}^{n}({\mathbb{C}})$, we begin by observing that the scales defined by the constants in (4) are already fixed. So let us assume that we have defined a map

[TABLE]

that descends to an embedding of the base of the Riemannian submersion

[TABLE]

into ${\mathbb{S}}^{M_{n-1}}$ with the desired properties. If $z=(z^{\prime},z_{n})$, where $z^{\prime}=(z_{0},\ldots,z_{n-1})\in{\mathbb{C}}^{2(n+1)}$, we consider the map

[TABLE]

Then we have that

[TABLE]

and we obtain a map of spheres

[TABLE]

$M_{n}=M_{n-1}+2n+1$, which descends to define an isometric minimal embedding of the base of the Riemannian submersion

[TABLE]

into ${\mathbb{S}}^{M_{n}}$.

Theorem 3**.**

Let $M_{n}$ be the sequence

[TABLE]

and $r_{n}$ and $N_{n}$ be the sequences in (6). Then the map

[TABLE]

given inductively by (10), (12) above, maps the fibers of the fibration (13) injectively into the image, and with the scaled Fubini-Study metric on ${\mathbb{P}}^{n}({\mathbb{C}})$ induced by the metric on the sphere ${\mathbb{S}}^{2n+1}(r_{n})$, the map descends to an isometric minimal embedding

[TABLE]

which restricts to the embedding given inductively by (3), (5), on the totally geodesic subset of real points ${\mathbb{P}}^{n}({\mathbb{R}})$, and the diagram

[TABLE]

commutes.

Acknowledgement. We thank Dennis Sullivan for stimulating conversations.