MethodMath
SL
May 16, 2026

What is the intrinsic curvature of a flat torus embedded in ℝ⁴?

The Clifford torus

T2={(cosθ,sinθ,cosϕ,sinϕ)R4θ,ϕ[0,2π)}T^2 = \left\{(\cos \theta, \sin \theta, \cos \phi, \sin \phi) \in \mathbb{R}^4 \mid \theta, \phi \in [0, 2\pi)\right\}

is a flat torus — its Gaussian curvature vanishes identically since it is isometric to R2/Z2\mathbb{R}^2 / \mathbb{Z}^2 with the induced product metric. However, when we try to embed it in R3\mathbb{R}^3, we necessarily obtain a torus of revolution with non-zero curvature.

My question: what is the precise relationship between the vanishing intrinsic curvature (K=0K = 0) of the flat torus and its minimal codimension of embedding? By the Nash embedding theorem, we know it can be isometrically embedded in R4\mathbb{R}^4. Is R4\mathbb{R}^4 the minimal ambient dimension?

1 answers18 views
Loading comments...

1 Answer

SL
Sophie LaurentMay 16, 2026 Accepted
The minimal codimension for an isometric embedding of the flat torus $T^2$ is $2$, i.e., the minimal ambient dimension is $4 = 2 + 2$. This is a consequence of the Nash embedding theorem: any smooth $n$-dimensional Riemannian manifold admits an isometric embedding into $\mathbb{R}^{n(n+3)/2}$ (for $n=2$, this gives $\mathbb{R}^5$), but the flat torus does better. The explicit Clifford embedding $$(\theta, \phi) \mapsto \frac{1}{\sqrt{2}}(\cos\theta, \sin\theta, \cos\phi, \sin\phi)$$ gives an isometric embedding into $S^3(1/\sqrt{2}) \subset \mathbb{R}^4$, where $S^3(r)$ is the 3-sphere of radius $r$. The **real** question is why $\mathbb{R}^3$ fails. By Gauss's *Theorema Egregium*, Gaussian curvature is an intrinsic invariant. A torus of revolution in $\mathbb{R}^3$ has non-constant curvature — it is positive on the outside and negative on the inside. To have identically zero curvature everywhere, the embedding must leave $\mathbb{R}^3$, as the sum of the sectional curvatures in any 2-plane of $\mathbb{R}^4$ can cancel out. In fact, by a theorem of Tompkins and Chern-Kuiper, any isometric immersion of a flat $n$-manifold into $\mathbb{R}^{2n-1}$ is impossible for $n \geq 2$. For $n=2$, this means no isometric immersion of a flat torus exists in $\mathbb{R}^3$, confirming $\mathbb{R}^4$ as minimal.
Loading comments...
Login or Register to post an answer