MethodMath
Ask
Join
HomeTopicsAskAlerts
Profile

© 2026 MethodMath. Built for mathematical knowledge sharing.

AboutContactGuidelinesPrivacyTermsCookies
Sophie Laurent
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\}T2={(cosθ,sinθ,cosϕ,sinϕ)∈R4∣θ,ϕ∈[0,2π)}

is a flat torus — its Gaussian curvature vanishes identically since it is isometric to R2/Z2\mathbb{R}^2 / \mathbb{Z}^2R2/Z2 with the induced product metric. However, when we try to embed it in R3\mathbb{R}^3R3, 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 = 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}^4R4. Is R4\mathbb{R}^4R4 the minimal ambient dimension?

1 answers141 views

1 Answer

5
Sophie Laurent
May 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.
Still unsure? Join to comment or ask a follow-up.
Login or Register to post your answer

Suggested questions

Why does 0 factorial equal 1 instead of 0? Simple proof

31.4k

Does the Banach-Steinhaus theorem hold for non-complete normed spaces?

31.1k

Do I need Calculus 3 before learning Fourier series?

3500

Does 1+2+3+4+... really equal -1/12? Math explained

25.6k

Can someone finally explain the Monty Hall problem?

24.2k