Exercise 6.2 of do Carmo, Riemannian Geometry

1k Views Asked by At

Show that $\mathbf x:\mathbb R^2 \to \mathbb R^4$ given by $$ \mathbf x(\theta,\varphi)=\frac 1{\sqrt 2}(\cos \theta,\sin \theta,\cos \varphi,\sin\varphi), \quad (\theta,\varphi) \in \mathbb R^2 $$ is an immersion of $\mathbb R^2$ into the unit sphere $S^3(1) \subset \mathbb R^4$, whose image $\mathbf x(\mathbb R^2)$ is a torus $T^2$ with sectional curvature zero in the induced metric.

How can I complete the part of the proof that the torus $T^2$ has sectional curvature of zero?

I had the following from Gauss' Theorem, with $x=\frac{\partial}{\partial \theta}$ and $y=\frac{\partial}{\partial \varphi}$: \begin{align} &K\left(\frac{\partial}{\partial \theta},\frac{\partial}{\partial \varphi}\right)-\overline K\left(\frac{\partial}{\partial \theta},\frac{\partial}{\partial \varphi}\right) \\ &\qquad = \left\langle B\left(\frac{\partial}{\partial \theta},\frac{\partial}{\partial \theta}\right),B\left(\frac{\partial}{\partial \varphi},\frac{\partial}{\partial \varphi}\right) \right\rangle -\left|B\left(\frac{\partial}{\partial \theta},\frac{\partial}{\partial \varphi}\right) \right|^2 \\ &\qquad =\left\langle \overline \nabla_{\overline{\frac{\partial}{\partial \theta}}} \overline{\frac{\partial}{\partial \theta}}-\nabla_{\frac{\partial}{\partial \theta}} \frac{\partial}{\partial \theta}, \nabla_{\overline{\frac{\partial}{\partial \varphi}}} \overline{\frac{\partial}{\partial \varphi}}-\nabla_{\frac{\partial}{\partial \theta}} \frac{\partial}{\partial \varphi} \right\rangle - \left|\nabla_{\overline{\frac{\partial}{\partial \theta}}} \overline{\frac{\partial}{\partial \varphi}}-\nabla_{\frac{\partial}{\partial \theta}} \frac{\partial}{\partial \varphi}\right|^2 \end{align} And I think the curvatures $\overline K$ and $K$ are both identically zero since $\mathbf x$ is an immersion between Euclidean spaces.

I think this should help me prove that the sectional curvature of the torus $T^2$ is also zero, but I'm not sure how to proceed from here.

1

There are 1 best solutions below

0
On

An induced metric on $T$ is in fact an induced metric on $T$ from $\mathbb{R}^4$. That is $T=S^1(\frac{1}{\sqrt{2}} )\times S^1 (\frac{1}{\sqrt{2}})\subset \mathbb{R}^4$. Since it is a product, so it has a sectional curvature $0$.