Exact
Every vertex satisfies z₁ⁿ+z₂ⁿ=1 to machine precision. The genus, Euler characteristic, closedness and connectedness are recovered from the rendered mesh and match Riemann–Hurwitz. The projection is an honest linear map.
✓ recomputed on load
→ Entry XXVIII · The Calabi–Yau Manifold · class: analytic — exact closed-form geometry, no fitted parameters
Why string theory needs a hidden shape
A superstring is consistent only in ten spacetime dimensions — one of time and nine of space. We see three. The other six must be there but unseen, which means they are compact: curled up so small that no experiment has resolved them. That alone is not enough. For the four-dimensional world left over to contain gravity and a sensible amount of supersymmetry, the six-dimensional shape cannot be just any compact space. Candelas, Horowitz, Strominger and Witten showed in 1985 that it must have exactly the property Eugenio Calabi had conjectured in 1957 and Shing-Tung Yau proved in 1978: a compact Kähler manifold with vanishing first Chern class carries a unique Ricci-flat metric — a metric that solves Einstein's vacuum equations in the extra dimensions, with holonomy group SU(3). A space with that structure is a Calabi–Yau manifold. The particular one nature might use fixes the particle spectrum of the low-energy world; the number of holes in it, for instance, is tied to the number of fermion generations.
Six real dimensions is three complex dimensions, and no honest picture of a three-complex-dimensional space fits on a screen. So the standard image — the one on the cover of every popular string-theory book — does something precise instead: it takes the simplest Calabi–Yau family, the Fermat quintic, and shows an exact two-real-dimensional cross-section of it. That slice is itself a curve (one complex dimension), a Riemann surface you can actually hold in three-space. This entry builds that slice from its defining equation and nothing else.
The construction, from first principles
The whole surface follows from one equation and one clever parametrization due to Andrew Hanson (1994). There are no free parameters and nothing is approximated — every step below is an identity.
1 · The defining equation
z₁ⁿ + z₂ⁿ = 1, z₁,z₂ ∈ ℂThe Fermat curve of degree n. The quintic threefold in string theory is z₀⁵+···+z₄⁵=0 in ℂP⁴; setting three coordinates in a fixed ratio and rescaling leaves exactly this two-variable relation — the cross-section we draw.
2 · The n² branches
ω₁ = e^{2πik₁/n}, ω₂ = e^{2πik₂/n}Solving for z₂ given z₁ takes an n-th root, so there are n choices; likewise n for z₁. The surface is stitched from n×n sheets, one per pair of roots of unity (k₁,k₂). For the quintic that is 25 branches.
3 · The parametrization
z₁ = ω₁(cos ζ)^{2/n}, z₂ = ω₂(sin ζ)^{2/n}With ζ = a+ib, a∈[0,π/2]. Because ω₁ⁿ=ω₂ⁿ=1, we get z₁ⁿ+z₂ⁿ = cos²ζ+sin²ζ = 1 exactly. Two real parameters (a,b) sweep out each sheet — a genuine surface.
4 · The projection 4-D → 3-D
(x,y,z) = (Re z₁, Re z₂, cos α·Im z₁ + sin α·Im z₂)Each point is four real numbers. We keep the two real parts and fold the two imaginary parts onto one axis at angle α — an honest linear shadow, the same operation Entry XXVI uses to cast a tesseract into space.
5 · Compactification
b → ±∞ ⇒ [1 : ζ : 0], ζⁿ = −1As b runs to infinity the sheet tips approach the n points where the curve meets the line at infinity — the n-th roots of −1. Adding them closes the surface into a compact manifold with no boundary.
6 · The topology falls out
g = (n−1)(n−2)/2, χ = 2−2gViewing the curve as an n-sheeted cover of the sphere branched at n points, Riemann–Hurwitz gives χ = 3n−n². The quintic slice has genus 6, Euler characteristic −10 — recovered below by welding the mesh and counting V−E+F.
Counting the shape as the degree climbs
Dial n in the stage and these numbers change together. The genus — the count of handles, of holes you could thread a finger through — grows quadratically, while the number of points where the surface pinches off to infinity stays equal to n.
| degree n | curve | n² branches | genus g = (n−1)(n−2)/2 | Euler χ = 2−2g | points at ∞ | Riemann–Hurwitz 3n−n² |
|---|
The n = 2 row is a sphere (χ = 2): the conic z₁²+z₂²=1 is rational, genus 0. The n = 3 row is a torus (χ = 0, genus 1) — and a genus-1 curve with its flat metric is a genuine one-complex-dimensional Calabi–Yau, the only member of this cross-section family that is itself Ricci-flat. From n = 4 up the slice is a higher-genus Riemann surface: no longer Calabi–Yau on its own, but a faithful cross-section of a Calabi–Yau that is.
What is exact here, and what is a stand-in
Honesty panel
This is the strongest kind of visualization the subject allows, and it is important to be exact about which claims are theorems and which are illustration.
A cross-section
The drawn surface is a 2-real-dimensional slice. The full quintic Calabi–Yau is 6-real-dimensional. The slice shares the quintic's defining equation and symmetry but not its dimension — it is a section, not the whole.
▲ dimensional reduction
Not the metric
Yau's theorem guarantees a Ricci-flat metric exists on the quintic; it has no known closed form and is not what is shown. This picture is the complex shape (the embedded curve), not the CY metric. Only the n = 3 torus is drawn flat-and-Ricci-flat.
▲ shape, not metric
Projection distortion
Folding Im z₁ and Im z₂ onto one axis is a shadow: it can make distant sheets overlap and hides one real dimension. Sweep α in view 3 to see the same true surface from different foldings.
▲ declared 4→3 shadow
Verification
Eleven checks against theorems and offline values
Recomputed in your browser on every load — the surface is rebuilt, welded in ℂP² and measured; results are compared to closed-form and Python/NumPy values.
Sources & further reading
- Calabi, E. (1957) On Kähler manifolds with vanishing canonical class. Algebraic Geometry and Topology (Princeton).
- Yau, S.-T. (1978) On the Ricci curvature of a compact Kähler manifold and the complex Monge–Ampère equation. Comm. Pure Appl. Math. 31.
- Candelas, Horowitz, Strominger & Witten (1985) Vacuum configurations for superstrings. Nucl. Phys. B258.
- Hanson, A. J. (1994) A construction for computer visualization of certain complex curves. Notices AMS 41(9). — the parametrization used here.
- Greene, B. (1999) The Elegant Universe. — source of the popular Calabi–Yau image (rendered by Hanson).
- Riemann–Hurwitz & the genus–degree formula — g = (d−1)(d−2)/2 for a smooth plane curve of degree d.
- Nash, C. (1991) Differential Topology and Quantum Field Theory. — holonomy, Chern classes, SU(3).
- Hübsch, T. (1992) Calabi–Yau Manifolds: A Bestiary for Physicists.