What is the isometry group of the riemannian manifold $\mathbb{T}\times \mathbb{T}$ where $\mathbb{T}=\{z\in \mathbb{C}\ :\ |z|=1\}$ is the classical torus?
isometry group of the riemannian manifold $\mathbb{T}^2$?
-
0Oh you just want the isometry group of a classical torus? I thought you wanted the group of the product of a classical torus with itself. – 2012-01-25
2 Answers
I'll just work out some of the pieces and let you work out the details.
First, the isometry group contains a canonical copy of $\mathbb{T}^2$ obtained by multiplication by elements in $\mathbb{T}^2$ (recalling that $\mathbb{T}^2$ is a Lie group). This is already enough to see that every point of $\mathbb{T}^2$ can be moved to any other by an isometry, i.e., $\mathbb{T}^2$ is homogeneous.
This means that we really only need to figure out what the isometries are which fix a point.
Thinking of $\mathbb{T}^2$ as a square with sides identified, I'm thinking of the point as being the bottom left (=top left = top right = bottom right) corner. Focus on the vertical and horizontal lines emanating from this point. I claim each of those are geodesics (if parametrized correctly) and that they have the same length, and that they are shorter than any other closed geodesics starting at the point we chose.
This shows that there are at most 8 isometries which fix this point: The vertical line can go to either the horizontal line or vertical traversed one way or the other (4 choices) and the horizontal line must go to the other line, but we can still choose which way to traverse it. This is a group isomorphic to $\mathbb{Z}/2\mathbb{Z}^3$ generated by 3 elements: Change direction vertically, change direction horizontally, swap vertical an horizontal.
It follows from this that the isometry group is generated by $\mathbb{T}^2$ and these other 8 isometries. I'll leave it to you to prove that $\mathbb{T}^2$ is in the center of the isometry group (which is easy after noting that you're just checking conjugation by these 8 extra isometries, and that you can reduce this to checking only 2 cases).
This should be enough for you to write down the whole isometry group.
-
0As Jim points out in his answer, I got (at least) 2 things wrong: First, the isotropy group of order 8 is *not* $\mathbb{Z}/2\mathbb{Z}^3$ as I said, but rather $D_8$ as he says. Likewise, the answer is a semidirect product, not a direct product as I guessed. I'm not going to edit my answer because he already supplies the details on fixing it. – 2012-01-26
I'd like to complement Jason's excellent and insightful answer by pointing out that the stabilizer of a point that he calculates is the dihedral group $D_8$ and the full isometry group is not $D_8\times \mathbb T^2$ as he guessed, but actually the semidirect product $D_8\rtimes_\varphi \mathbb T^2$ where $\varphi\colon D_8\to Aut(\mathbb T^2)$ is the obvious map. You can see that it's not a direct product by calculating on a simple example. Say take $\rho\in D_8$ to be reflection in the $y$-axis and $T$ to be the isometry moving things to the right by $.25$ units. Then $T\rho(0)= 0.25\neq \rho T(0)=.75$.
It shouldn't be too hard to write an explicit isomorphism from $Isom(\mathbb T^2)$ to $D_8\rtimes_\varphi \mathbb T^2$.
-
0I can't believe I thought it was a direct product. I also got the $\mathbb{Z}/2\mathbb{Z}^3$ part wrong which is obvious since "swap horizontal and vertical" and "reverse direction vertically" actually generate everything. Thanks! – 2012-01-26