Verify that some circles are geodesics on the $2$-dimensional torus

294 Views Asked by At

Let $\Bbb T^2$ be the two-dimensional torus. We have the following immersion:

$$\psi:\Bbb T^2\to\Bbb R^3:(e^{i\theta},e^{i\phi})\mapsto((2+\cos\theta)\cos\phi,(2+\cos\theta)\sin\phi,\sin\theta)$$

The metric induced on $\Bbb T^2$ by the euclidean metric on $\Bbb R^3$ is given by

$$g_{(e^{i\theta},e^{i\psi})}=(d\theta)^2+(2+\cos\theta)^2(d \phi)^2$$

I am told to check that $\phi=c$ defines a geodesic for any constant $c\in\Bbb R$.

My first approach was brutal and I determined Christöffel symbols, etc. then checking that the curve $\gamma:t\mapsto (e^{it},e^{ic})$ whose derivative $\dot\gamma(t)$ has coordinates $(1,0)$ in the tangent space at $\gamma(t)$ (where the basis is the tangent vectors associated with local coordinates $\theta,\phi$ where $\theta=x\circ\Phi$, with $\Phi(e^{i\theta},e^{i\psi})=(\theta,\psi)$ and similarly for $\phi$). In other words, $\dot\gamma$ has constant coordinates in the tangent space at $\gamma(t)$ and thus we only need to check that the Christöffel symbols $\Gamma^{1}_{11}$ and $\Gamma^{2}_{11}$ are $0$ to conclude it is a geodesic as we have

$$\frac{D\dot\gamma}{dt}(t)=0\iff\ddot\gamma^{i}(t)+\sum_{k,l=1}^{2}\dot\gamma^{k}(t)\dot\gamma^{l}(t)\Gamma^{i}_{kl}=0,\quad (i=1,2)$$

and many of these terms are $0$, so that it is equivalent to

\begin{align*} (\dot\gamma^{1})^{2}\Gamma^{1}_{11}&=0\\ (\dot\gamma^{1})^{2}\Gamma^{2}_{11}&=0 \end{align*}

However, this involves a lot of computations. Instead of this somehow brutal method, I was told to use an isometry between $\Bbb R^{2}$ endowed with the euclidean metric $g^{2}$ and $\psi(\Bbb T^{2})\subset \Bbb R^3$. But I don't get it, how is that supposed to help me? I understand that the goal is to look at the images of lines (i.e. geodesics of $\Bbb R^2$) to conclude these images are geodesics by the properties of isometries. But which isometry should I take in order to recover the euclidean metric on $\Bbb R^2$ by pull-back?

1

There are 1 best solutions below

5
On BEST ANSWER

Hint Each of the circles $C_c := \{\phi = c\}$ are (components of) the intersection of torus $\phi(\Bbb T)$ and a plane of symmetry thereof. The fact that $C_c$ is an (unparameterized) geodesic then follows from the uniqueness of geodesics with prescribed starting point and initial tangent vector.