Definition
The Clifford torus is a specific embedded torus in the three‑dimensional sphere $S^{3}$. It can be described as the product of two circles of equal radius:
$$
T = S^{1}!\left(\tfrac{1}{\sqrt{2}}\right)\times S^{1}!\left(\tfrac{1}{\sqrt{2}}\right)
= {(z_{1},z_{2})\in \mathbb{C}^{2}\mid |z_{1}|=|z_{2}|=1/\sqrt{2}},
$$
where $S^{3}\subset\mathbb{C}^{2}$ is the unit sphere ${(z_{1},z_{2})\mid |z_{1}|^{2}+|z_{2}|^{2}=1}$.
Construction
- Identify $\mathbb{R}^{4}$ with $\mathbb{C}^{2}$ via $(x_{1},y_{1},x_{2},y_{2})\leftrightarrow (z_{1}=x_{1}+iy_{1},,z_{2}=x_{2}+iy_{2})$.
- Impose the constraints $|z_{1}|=|z_{2}|=1/\sqrt{2}$.
- The resulting set is a smooth, compact, two‑dimensional submanifold of $S^{3}$ diffeomorphic to $S^{1}\times S^{1}$.
Equivalently, in Euclidean 4‑space $\mathbb{R}^{4}$ with coordinates $(x_{1},y_{1},x_{2},y_{2})$, the Clifford torus satisfies $$ x_{1}^{2}+y_{1}^{2}=x_{2}^{2}+y_{2}^{2}=\tfrac{1}{2}, \qquad x_{1}^{2}+y_{1}^{2}+x_{2}^{2}+y_{2}^{2}=1. $$
Geometric Properties
- Minimal surface: Within $S^{3}$, the Clifford torus is a minimal surface; its mean curvature vanishes everywhere.
- Flat induced metric: The intrinsic metric induced from the ambient sphere is flat, i.e., the torus has zero Gaussian curvature.
- Totally geodesic in the product metric: Viewed as $S^{1}(1/\sqrt{2})\times S^{1}(1/\sqrt{2})$, each factor is a geodesic circle in its respective complex coordinate, making the torus a product of geodesics.
- Symmetries: The torus is invariant under the action of the subgroup $U(1)\times U(1)\subset SO(4)$ that rotates each complex coordinate separately.
Relation to Other Concepts
- Hopf fibration: The Clifford torus consists of the set of points in $S^{3}$ whose Hopf fibration fibers have equal real and imaginary parts; it is a torus of constant Hopf invariant.
- Lagrangian submanifold: In the symplectic manifold $(\mathbb{C}^{2},\omega_{0})$ with the standard symplectic form $\omega_{0}=dx_{1}\wedge dy_{1}+dx_{2}\wedge dy_{2}$, the Clifford torus is a Lagrangian submanifold (the restriction of $\omega_{0}$ to the torus vanishes).
- Lawson’s conjecture: In 1970, H. Blaine Lawson conjectured that the Clifford torus is the only embedded minimal torus in $S^{3}$. This conjecture was proved by Simon Brendle in 2012, establishing the uniqueness of the Clifford torus among embedded minimal tori in the three‑sphere.
Historical Context
The torus is named after William Kingdon Clifford (1845–1879), whose work on the geometry of higher‑dimensional spaces laid groundwork for later developments in differential geometry and topology. The explicit embedding of the torus in $S^{3}$ was first described in the early 20th century in the context of studying minimal surfaces and Hopf fibrations.
Applications
- Geometric analysis: Serves as a model example in the study of minimal surfaces, mean curvature flow, and curvature estimates.
- Symplectic topology: Provides a canonical Lagrangian torus used in Floer homology and mirror symmetry constructions.
- Mathematical physics: Appears in models of string theory and in the description of certain compactification manifolds.
References
- Brendle, S. (2012). Proof of the Lawson conjecture. Annals of Mathematics, 175(2), 683–709.
- Lawson, H. B. (1970). Complete minimal surfaces in $S^{3}$. Annals of Mathematics, 92(3), 335–374.
- Morgan, J. (2009). Geometric Measure Theory: A Beginner's Guide. Academic Press.
- McDuff, D., & Salamon, D. (1998). Introduction to Symplectic Topology (2nd ed.). Oxford University Press.
