03.09.19 · modern-geometry / spin-geometry

Calibrated geometries — Special Lagrangian, associative, coassociative, Cayley

shipped3 tiersLean: partial

Anchor (Master): Harvey-Lawson 1982 *Calibrated geometries* (Acta Mathematica 148); Lawson-Michelsohn §IV.12; Joyce 2007 *Riemannian Holonomy Groups and Calibrated Geometry*; McLean 1998 *Deformations of calibrated submanifolds*

Intuition [Beginner]

A surface in three-space can be wavy or taut. The taut surface — the one a soap film makes when stretched across a wire boundary — has the smallest area among nearby surfaces with the same boundary. This is the prototype of a minimal surface, and finding minimal surfaces in higher dimensions is generally hard: the equations of minimality are second-order, non-linear, and admit many solutions that are not actually area-minimising.

A calibrated geometry is a clever trick that converts an area-minimisation problem into a first-order differential condition, by introducing a special closed differential form on the ambient manifold. The form is chosen so that its value on any unit-volume tangent piece never exceeds one, and the submanifolds whose tangent pieces achieve the value one — the calibrated submanifolds — are automatically area-minimising in their homology class. The proof is one line of integral inequality and one application of Stokes's theorem.

Reginald Harvey and Blaine Lawson introduced this framework in 1982 in their Acta Mathematica paper Calibrated geometries. They showed that the same recipe produces four named geometries on four named ambient manifolds: Special Lagrangian submanifolds inside a Calabi-Yau manifold, associative and coassociative submanifolds inside a $G_{2}$ manifold, and Cayley submanifolds inside a Spin(7) manifold. All four are calibrated by parallel forms that square out of a parallel spinor on the ambient manifold. This single observation organises four previously disconnected fields of geometry.

Visual [Beginner]

A four-dimensional ambient manifold containing a curved two-dimensional surface, with a small parallelogram of tangent vectors drawn at one point of the surface. A closed differential form is evaluated on this parallelogram; its value is at most the area of the parallelogram. When the value equals the area exactly, the surface is calibrated at that point. Throughout a calibrated submanifold, the equality holds at every tangent point.

The four named calibrations correspond to four named ambient manifolds. Each ambient manifold has its own special holonomy structure that produces the calibrating form as a parallel object.

Worked example [Beginner]

Take complex Euclidean space of complex dimension three, treated as real six-dimensional space with the standard orientation. There is a holomorphic three-form on this space, the determinant of complex coordinates: $Ω = d z_{1} \land d z_{2} \land d z_{3}$ in the complex setting, which decomposes into a real part and an imaginary part as real differential three-forms.

The real part of $Ω$ is a closed real three-form with the property that on any oriented three-dimensional real subspace of complex three-space, its value (per unit volume of the subspace) lies between minus one and plus one. The subspaces achieving the value plus one are exactly the Special Lagrangian three-planes — the real three-planes that are Lagrangian for the Kähler form and on which the holomorphic volume form takes real positive values.

What this tells us: a three-dimensional real surface in complex three-space whose tangent at every point is a Special Lagrangian plane is automatically a volume-minimiser among nearby three-surfaces with the same boundary. The minimisation reduces to a first-order condition on the tangent plane, no second-order partial differential equations required. This is the simplest of the four Harvey-Lawson examples.

Check your understanding [Beginner]

Exercise (medium, multiple choice).

How many named calibrated geometries did Harvey-Lawson 1982 introduce?

A. Two — Special Lagrangian on Calabi-Yau and Cayley on Spin(7) B. Three — Special Lagrangian, associative, Cayley C. Four — Special Lagrangian, associative, coassociative, Cayley D. Six — adding holomorphic and Kähler

Hint

The associative and coassociative are distinct named geometries, both on a $G_{2}$ manifold but in different degrees.

Answer

C. Four. Feedback-correct: Harvey-Lawson 1982 names exactly four — Special Lagrangian (degree $n$ on a Calabi-Yau $n$ -fold), associative (degree $3$ on a $G_{2}$ manifold), coassociative (degree $4$ on a $G_{2}$ manifold), and Cayley (degree $4$ on a Spin(7) manifold). The four-part structure is the organising principle of the Acta paper. Feedback-wrong: holomorphic and Kähler calibrations exist as separate cases (Wirtinger 1936, Federer) but are not part of the Harvey-Lawson four.

Formal definition [Intermediate+]

Let $(M, g)$ be a Riemannian manifold of dimension $n$ and $1 \leq p \leq n$ . The comass of a $p$ -form $φ \in Ω^{p} (M)$ at a point $x \in M$ is $$ |\varphi|^\ast(x) := \sup\big{\varphi_x(\xi_1 \wedge \cdots \wedge \xi_p) : \xi_1, \ldots, \xi_p \text{ orthonormal in } T_x M\big}, $$ the supremum of $φ$ on unit decomposable tangent $p$ -vectors. The global comass is $∥ φ ∥^{*} := sup_{x \in M} ∥ φ ∥^{*} (x)$ .

A calibration of degree $p$ is a closed $p$ -form $φ$ on $M$ with $∥ φ ∥^{*} \leq 1$ . The contact set of $φ$ at $x$ is $$ G(\varphi, x) := \big{\xi \in \Lambda^p T_x M : \xi \text{ unit decomposable}, \varphi_x(\xi) = 1\big}, $$ the set of unit decomposable $p$ -vectors on which $φ$ achieves its maximum.

An oriented $p$ -dimensional submanifold $N \subset M$ is calibrated by $φ$ if at every $x \in N$ the oriented unit tangent $p$ -vector $N_{x} \in Λ^{p} T_{x} M$ lies in $G (φ, x)$ , i.e., $φ_{x} (N_{x}) = 1$ .

The four named calibrations.

(i) Special Lagrangian on a Calabi-Yau $n$ -fold $(M^{2 n}, g, J, ω, Ω)$ : $φ = Re Ω$ is a closed real $n$ -form of comass $1$ . The contact set at $x$ is the orbit of the real $n$ -plane $R^{n} \subset C^{n}$ under $SU (n) \subset Spin (2 n)$ . Calibrated submanifolds are Special Lagrangian $n$ -folds.

(ii) Associative on a $G_{2}$ manifold $(M^{7}, g, ϕ)$ : $φ = ϕ$ is the parallel $G_{2}$ three-form, of comass $1$ . The contact set is the orbit of the imaginary octonions $Im O \subset O$ under $G_{2}$ . Calibrated submanifolds are associative three-folds.

(iii) Coassociative on a $G_{2}$ manifold: $φ = * ϕ$ , the Hodge dual of the $G_{2}$ three-form, a closed four-form of comass $1$ . Calibrated submanifolds are coassociative four-folds.

(iv) Cayley on a Spin(7) manifold $(M^{8}, g, Φ)$ : $φ = Φ$ is the parallel Cayley four-form, of comass $1$ . The contact set is the orbit under Spin(7) of the standard quaternion $H \subset O$ . Calibrated submanifolds are Cayley four-folds.

Each calibrating form is parallel — preserved by the Levi-Civita connection — because it arises from a parallel spinor on the ambient manifold via spinor squaring, the construction made explicit through Spin(8) triality and its restrictions to the special-holonomy subgroups of 03.09.13 ^{[Harvey-Lawson 1982]}. A calibration is exactly a closed differential form of unit comass; this identifies volume-minimisers with form-tangent submanifolds, the foundational insight of Harvey-Lawson 1982.

Key theorem with proof [Intermediate+]

Theorem (Harvey-Lawson 1982 — fundamental theorem of calibrations). Let $φ$ be a calibration of degree $p$ on a Riemannian manifold $M$ , and let $N \subset M$ be a compact oriented $p$ -submanifold calibrated by $φ$ . Then $N$ minimises volume in its relative homology class: for every compact oriented $p$ -submanifold $N^{'}$ with $\partial N^{'} = \partial N$ and $[N^{'}] = [N]$ in $H_{p} (M, \partial N)$ , $$ \mathrm{Vol}(N) \leq \mathrm{Vol}(N'). $$

Proof. By the calibration condition and the assumption that $N$ is calibrated, $$ \mathrm{Vol}(N) = \int_N \varphi. $$ By Stokes's theorem, since $φ$ is closed and $N - N^{'}$ is the boundary of a $(p + 1)$ -chain $W$ in $M$ (because $[N^{'}] = [N]$ in $H_{p}$ ), $$ \int_N \varphi - \int_{N'} \varphi = \int_W d\varphi = 0. $$ By the comass bound $∥ φ ∥^{*} \leq 1$ and the elementary inequality that the integral of a $p$ -form over an oriented $p$ -submanifold is at most the integral of its comass (which is at most the volume), $$ \int_{N'} \varphi \leq \int_{N'} |\varphi|^\ast , d\mathrm{vol}{N'} \leq \int{N'} d\mathrm{vol}{N'} = \mathrm{Vol}(N'). $$ Combining, $$ \mathrm{Vol}(N) = \int_N \varphi = \int{N'} \varphi \leq \mathrm{Vol}(N'). \qquad \square $$

The proof has three moves: (a) the calibration condition turns volume into a $φ$ -integral on $N$ ; (b) the closed-form condition plus Stokes makes $\int_{N} φ = \int_{N^{'}} φ$ ; (c) the comass bound makes $\int_{N^{'}} φ \leq Vol (N^{'})$ . No second-order partial differential equation is needed — the entire proof is one chain of inequalities.

Corollary. Calibrated submanifolds are stable: small variations strictly increase volume unless they remain calibrated. Combined with the parallel-form condition, this means the moduli space of calibrated submanifolds in a fixed cohomology class is a smooth, finite-dimensional manifold whenever it is non-empty (McLean 1998, deformation theory).

Bridge. The construction here builds toward later units of the strand, where the same pattern is taken up at higher structure. The defining pattern appears again in those units in a sharpened form, where the local data is glued or quotiented. Putting these together, the foundational insight is that the data of this unit gives the structural signature that the rest of the strand reads off.

Exercises [Intermediate+]

Exercise 1 (easy, symbolic).

Show that on a Riemannian manifold $(M^{n}, g)$ of dimension $n$ , the Riemannian volume form $d vol_{g} \in Ω^{n} (M)$ is a calibration of degree $n$ .

Hint

The volume form is closed (it has top degree). Its comass on a unit decomposable $n$ -vector at $x$ is exactly $1$ when the $n$ -vector is correctly oriented, and $- 1$ when reversed.

Answer

The volume form is closed since $d (d vol_{g}) \in Ω^{n + 1} (M) = 0$ in dimension $n$ . For its comass at $x$ : any orthonormal frame ${e_{1}, \dots, e_{n}}$ at $x$ produces a unit decomposable $n$ -vector $e_{1} \land \dots \land e_{n}$ , and $d vol_{g} (e_{1} \land \dots \land e_{n}) = \pm 1$ depending on whether the frame is positively or negatively oriented. The supremum is $1$ . So $∥ d vol_{g} ∥^{*} = 1$ and $d vol_{g}$ is a calibration.

The calibrated $n$ -submanifolds are exactly the connected components of $M$ taken with the positive orientation. The fundamental theorem then says $M$ minimises volume in its homology class — vacuously true since $M$ is the entire manifold.

Exercise 2 (easy, short-answer).

State the comass of a Kähler form $ω$ on a Hermitian manifold of complex dimension $n$ . Which submanifolds are calibrated by $ω^{k} / k!$ for $1 \leq k \leq n$ ?

Hint

This is the Wirtinger inequality of 1936: $ω^{k} / k!$ has comass $1$ on a Kähler manifold, and the calibrated $2 k$ -submanifolds are the complex $k$ -dimensional submanifolds.

Answer

The form $ω^{k} / k! \in Ω^{2 k} (M)$ has comass $∥ ω^{k} / k! ∥^{*} = 1$ at every point of a Kähler manifold (Wirtinger 1936). The contact set at $x$ is the orbit of a complex $k$ -plane $C^{k} \subset C^{n}$ under $U (n)$ , which is exactly the set of complex $k$ -dimensional planes in $T_{x} M$ (with the Hermitian-induced orientation).

Calibrated $2 k$ -submanifolds for $ω^{k} / k!$ are exactly the complex $k$ -dimensional submanifolds. By the fundamental theorem, complex submanifolds of a Kähler manifold are volume-minimisers in their homology class. This is the classical Federer-Fleming result, predating Harvey-Lawson but recognised by them as the prototype.

Exercise 3 (medium, proof).

Show that if $φ$ is a calibration of degree $p$ on $M$ and $f : M \to R$ is smooth, then $φ + df \land α$ for any $(p - 1)$ -form $α$ has the same calibrated submanifolds as $φ$ (in compact homology classes).

Hint

The fundamental theorem depends only on the cohomology class of the closed form, modulo the comass condition.

Answer

Let $φ^{'} = φ + d (f α)$ for any $(p - 1)$ -form $α$ (note $df \land α + f d α = d (f α)$ in general; for the bare form $df \land α$ to be exact we additionally need $d (d α) = 0$ which is automatic, and $df \land α = d (f α) - f d α$ ). For the cohomology argument, take $φ^{'} = φ + d β$ with $β$ a $(p - 1)$ -form; then $φ^{'}$ is closed and $[φ^{'}] = [φ]$ in $H^{p} (M)$ .

For any compact oriented $p$ -submanifold $N$ with no boundary (or with compactly-supported $β$ ), $$ \int_N \varphi' = \int_N \varphi + \int_N d\beta = \int_N \varphi $$ by Stokes's theorem on the closed boundary. So the volume-equals- $\int_{N} φ$ identity is unchanged, and the proof of the fundamental theorem goes through with $φ^{'}$ replacing $φ$ — provided $∥ φ^{'} ∥^{*} \leq 1$ also holds.

The comass condition is not automatically preserved under cohomologous perturbation, however; this is what makes the theory of calibrations structurally non-vacuous. A calibration is a cohomology class together with a representative satisfying the comass bound. The deformation theory of calibrations (McLean 1998, Joyce 2003) addresses when such representatives exist within a fixed cohomology class. $□$

Exercise 4 (medium, proof).

Show that a complex curve in $C^{n}$ (viewed as a real surface) is calibrated by the Kähler form $ω$ .

Hint

On a complex one-dimensional subspace $V \subset T_{x} C^{n}$ with unit Hermitian basis $v$ , the form $ω (v, J v) = g (v, v) = 1$ .

Answer

Let $Σ \subset C^{n}$ be a complex curve. At each $x \in Σ$ , $T_{x} Σ = V$ is a complex one-dimensional subspace. Let $v \in V$ be a unit real vector; then $J v \in V$ is also unit and $g (v, J v) = 0$ , so ${v, J v}$ is a real orthonormal basis of $V$ as a real 2-plane.

Compute $ω (v, J v) = g (J v, J v) = g (v, v) = 1$ (using $ω (ξ, η) = g (J ξ, η)$ and $J$ orthogonal). The unit decomposable 2-vector $v \land J v$ pairs with $ω$ to give $1$ . The orientation of $Σ$ as a complex curve matches the $J$ -induced orientation of $V$ , so $ω (Σ_{x}) = 1$ at every point.

By the Wirtinger inequality, $∥ ω ∥^{*} = 1$ globally, so $ω$ is a calibration and $Σ$ is calibrated. By the fundamental theorem, complex curves in $C^{n}$ are area-minimisers in their relative homology class. $□$

This is the prototype calculation that Harvey-Lawson generalised to the four named geometries.

Exercise 5 (medium, symbolic).

On flat $C^{3}$ with coordinates $(z_{1}, z_{2}, z_{3})$ and $Ω = d z_{1} \land d z_{2} \land d z_{3}$ , write $Re Ω$ in real coordinates $z_{j} = x_{j} + i y_{j}$ . Show that the real plane ${y_{1} = y_{2} = y_{3} = 0}$ is calibrated.

Hint

Expand $d z_{j} = d x_{j} + i d y_{j}$ and collect real and imaginary parts of the wedge product.

Answer

Expanding, $$ \Omega = (dx_1 + i,dy_1)\wedge(dx_2 + i,dy_2)\wedge(dx_3 + i,dy_3). $$ The real part collects terms with an even number of $d y$ 's: $$ \mathrm{Re},\Omega = dx_1\wedge dx_2\wedge dx_3 - dx_1\wedge dy_2\wedge dy_3 - dy_1\wedge dx_2\wedge dy_3 - dy_1\wedge dy_2\wedge dx_3. $$

On the real plane $L = {y_{1} = y_{2} = y_{3} = 0}$ , the differentials $d y_{1}, d y_{2}, d y_{3}$ pull back to zero, so only the first term survives. The unit oriented tangent 3-vector of $L$ is $\partial_{x_{1}} \land \partial_{x_{2}} \land \partial_{x_{3}}$ , and $$ \mathrm{Re},\Omega(\partial_{x_1}, \partial_{x_2}, \partial_{x_3}) = dx_1\wedge dx_2\wedge dx_3(\partial_{x_1}, \partial_{x_2}, \partial_{x_3}) = 1. $$ So $L$ is calibrated by $Re Ω$ at every point. By Harvey-Lawson, $L$ is a Special Lagrangian 3-plane, the prototype of the SL geometry on $C^{3}$ .

Exercise 6 (hard, proof).

Prove that the contact set of $Re Ω$ on $C^{n}$ is the homogeneous space $SU (n) / SO (n)$ , and that calibrated $n$ -planes are the orbits of the standard real $n$ -plane $R^{n} \subset C^{n}$ under $SU (n)$ .

Hint

A real $n$ -plane $L \subset C^{n}$ is Lagrangian (with respect to $ω$ ) iff the restriction of $J$ to $L$ has no $L$ -preserving eigenvector, equivalently $J L$ is the orthogonal complement of $L$ in the real $2 n$ -space. Use that $Ω ∣_{L}$ is a complex multiple of the volume form on $L$ .

Answer

Let $L \subset C^{n}$ be an oriented real $n$ -plane. Pick a real orthonormal basis ${v_{1}, \dots, v_{n}}$ of $L$ and form the complex matrix $A = (v_{1}, \dots, v_{n}) \in M_{n \times n} (C)$ whose columns are the $v_{i}$ . Then $Ω (v_{1}, \dots, v_{n}) = det (A) \in C$ .

Computing $Re Ω (v_{1}, \dots, v_{n}) = Re det (A)$ . The comass bound is sharp: $∣ det (A) ∣ \leq 1$ with equality iff $A$ is unitary, i.e., $L$ is Lagrangian (the columns are Hermitian-orthonormal, equivalently $ω ∣_{L} = 0$ ).

For a unitary $A$ , $det (A) \in U (1)$ and $Re det (A) \leq 1$ with equality iff $det (A) = 1$ , i.e., $A \in SU (n)$ . So the contact set is ${L : L Lagrangian and det (A) = 1 for some unitary basis A}$ , parametrised by $SU (n)$ acting on the standard $R^{n}$ .

The stabiliser of $R^{n}$ inside $SU (n)$ is the subgroup of unitaries preserving $R^{n}$ — this is $O (n)$ acting on $R^{n}$ — intersected with $SU (n)$ , which is $SO (n)$ (the determinant-one piece). So the contact set is $SU (n) / SO (n)$ , of real dimension $n^{2} - 1 - \frac{n ( n - 1 )}{2} = \frac{n ( n + 1 )}{2} - 1$ .

For $n = 3$ : $dim (SU (3) / SO (3)) = 8 - 3 = 5$ , the dimension of the moduli of Special Lagrangian 3-planes in $C^{3}$ . $□$

Exercise 7 (hard, proof).

Show that on a $G_{2}$ manifold $(M^{7}, ϕ)$ , an associative submanifold $N^{3}$ is the locus of points where the cross product $\times : T M^{\otimes 2} \to T M$ (induced by $ϕ$ via $ϕ (u, v, w) = g (u \times v, w)$ ) restricts to a closed 3-dimensional subalgebra.

Hint

The associative condition $ϕ ∣_{N} = d vol_{N}$ is equivalent, on a 3-plane, to closure under the cross product. Use the octonion model: $ϕ$ is the imaginary part of the octonion product on $Im O$ .

Answer

The $G_{2}$ three-form $ϕ$ on $R^{7} = Im O$ is defined by $ϕ (u, v, w) = ⟨ u, v \cdot w ⟩$ where $\cdot$ is the octonion multiplication and $⟨, ⟩$ is the Euclidean inner product on $Im O$ . Equivalently, $ϕ (u, v, w) = g (u \times v, w)$ with $u \times v$ the cross product.

A 3-plane $V \subset Im O$ has $ϕ ∣_{V} = d vol_{V}$ (the calibration condition) iff for every orthonormal ${u, v, w}$ of $V$ , $g (u \times v, w) = \pm 1$ . By Cauchy-Schwarz, $∣ g (u \times v, w) ∣ \leq ∣ u \times v ∣$ . The cross product satisfies $∣ u \times v ∣ = ∣ u ∣∣ v ∣ sin θ = 1$ for orthonormal $u, v$ , so equality holds iff $u \times v$ is a unit vector parallel to $w$ .

For a 3-plane spanned by ${u, v, w}$ orthonormal, the calibration condition is that $u \times v \in V$ (it would have to equal $\pm w$ ). By symmetry, $v \times w$ and $w \times u$ also lie in $V$ . So $V$ is closed under the cross product.

Conversely, if $V$ is closed under $\times$ , $u \times v \in V$ for orthonormal $u, v \in V$ . Since $u \times v ⊥ u, v$ (a standard cross-product identity in any composition algebra), $u \times v \in V \cap {u, v}^{⊥} = span (w)$ for some unit $w \in V$ , and $∣ u \times v ∣ = 1$ . So $ϕ (u, v, w) = g (u \times v, w) = \pm 1$ , and $V$ is calibrated.

Therefore associative 3-planes in $R^{7}$ are exactly the cross-product-closed 3-planes — equivalently, the imaginary parts of associative quaternionic subalgebras of $O$ . The orbit under $G_{2}$ is the moduli of associative 3-planes; its dimension is $dim G_{2} - dim SO (4) = 14 - 6 = 8$ . $□$

This is the structural content of the name "associative": calibrated submanifolds are tangentially closed under the cross product, the imaginary octonion analogue of an associative subalgebra.

Lean formalization [Intermediate+]

lean_status: partial — Mathlib lacks the comass functional, the calibration condition, and the special-holonomy structures (Calabi-Yau, $G_{2}$ , Spin(7)) on which the four named calibrations live. The Lean module declares stub structures for a calibration and a calibrated submanifold; the fundamental theorem is recorded as an axiom pending the upstream pieces.

[object Promise]

The Mathlib gap is the comass functional on differential forms, the calibration class, the four special-holonomy structures, and the fundamental theorem. Once these land, the named calibrations and their calibrated submanifolds become statable as Lean theorems.

Advanced results [Master]

The four named calibrations and their special-holonomy ambients. Each Harvey-Lawson calibration lives on a Riemannian manifold whose holonomy is a special subgroup of $SO (n)$ stabilising a parallel spinor, and the calibrating form is the spinor-square of that parallel spinor.

Geometry	Ambient	Holonomy	Form	Submanifold	Dimension of moduli
Special Lagrangian	Calabi-Yau $n$ -fold	$SU (n)$	$Re Ω$ (degree $n$ )	$L^{n}$ Lagrangian + phase $1$	$b_{1} (L)$ (McLean)
Associative	$G_{2}$ 7-fold	$G_{2}$	$ϕ$ (degree 3)	$A^{3}$	dim of normal twisted Dirac kernel
Coassociative	$G_{2}$ 7-fold	$G_{2}$	$* ϕ$ (degree 4)	$C^{4}$	$b_{+}^{2} (C)$ (McLean)
Cayley	Spin(7) 8-fold	Spin(7)	$Φ$ (degree 4)	$X^{4}$	dim of normal twisted Dirac kernel

McLean's deformation theorem (1998). For each of the four Harvey-Lawson geometries, the moduli space of calibrated submanifolds in a fixed homology class is a smooth, finite-dimensional manifold near any unobstructed calibrated submanifold, and McLean computed its dimension via index theorems applied to the linearised calibration condition. The Special Lagrangian moduli space has dimension $b_{1} (L)$ (the first Betti number of the submanifold itself) — McLean's proof reduces the calibration condition to a Hodge-theoretic equation on $L$ . The coassociative moduli space has dimension $b_{+}^{2} (C)$ (the dimension of self-dual harmonic 2-forms on $C$ ). The associative and Cayley moduli have dimensions computed by twisted-Dirac-operator indices on the normal bundle.

The Strominger-Yau-Zaslow conjecture (1996). Mirror symmetry between Calabi-Yau pairs $(X, X)$ should manifest as a duality of Special Lagrangian fibrations: $X$ and $X$ both fibre over a common base $B$ by Special Lagrangian tori, and the fibres of one are dual to the fibres of the other (in the sense of $T$ -duality). This conjecture, due to Strominger-Yau-Zaslow 1996, places Special Lagrangian geometry at the centre of the mirror-symmetry programme. The conjecture is established for various examples (toric, K3 fibrations) but remains open in general.

Joyce's exotic constructions of $G_{2}$ and Spin(7) manifolds (1996/2000). Dominic Joyce constructed compact Riemannian 7-manifolds with $G_{2}$ holonomy and 8-manifolds with Spin(7) holonomy, by resolving orbifolds $T^{7} /Γ$ and $T^{8} /Γ$ with carefully chosen $Γ$ . These were the first compact examples beyond the local Bryant constructions and are the modern testing-ground for associative, coassociative, and Cayley submanifold constructions.

Calibrations beyond the Harvey-Lawson four. Other calibrations exist: the quaternionic Kähler calibrations of degree $4 k$ on quaternionic Kähler manifolds (calibrated by powers of the quaternionic Kähler 4-form); the Cayley-like calibrations on Spin(8) configurations (related to triality acting on octonionic 4-forms). The Harvey-Lawson four remain the most-studied because their ambient holonomy groups $SU (n), G_{2}, Spin (7)$ admit parallel spinors and so the calibrations are spinor-derived.

Connection to triality. The associative and Cayley calibrations are the spinor-square outputs of triality on Spin(8) restricted to the special-holonomy stabilisers $G_{2} \subset Spin (7) \subset Spin (8)$ . The associative form $ϕ$ on $Im O = R^{7}$ is the orbit of a generic vector under $G_{2}$ ; the Cayley form $Φ$ on $O = R^{8}$ is the orbit of a generic spinor under Spin(7). This is the foundation-of edge $conn:415.triality-calibrations$ from 03.09.13: calibrations built on Spin(7)/ $G_{2}$ spinor squaring via triality.

Synthesis. This construction generalises the pattern fixed in 03.09.13 (triality on spin(8) and exceptional lie groups via spinors), with the symmetric data replaced by its skew or twisted analogue. Read in the opposite direction, the construction is dual to the metric story: complements and orthogonality are taken with respect to the bilinear datum of this unit, not a metric, and the resulting category of subobjects is the one the rest of the strand classifies. The central insight is that this datum identifies algebra with geometry: functions become vector fields, subspaces become quotients, and invariants become cohomology classes — and that identification is the engine driving every theorem downstream.

Full proof set [Master]

Fundamental theorem of calibrations. Proved in §Key theorem above. The proof is one chain of inequalities: Stokes makes $\int_{N} φ = \int_{N^{'}} φ$ (using closedness and homologousness), and the comass bound makes $\int_{N^{'}} φ \leq Vol (N^{'})$ . The minimisation $Vol (N) \leq Vol (N^{'})$ follows.

Wirtinger inequality. On a Hermitian inner product space $(V, ω)$ with $dim_{C} V = n$ , the form $ω^{k} / k!$ has comass $1$ for $1 \leq k \leq n$ , with contact set the complex $k$ -planes. Proof: at each point $x$ , choose a Hermitian orthonormal basis ${e_{j}, f_{j} = J e_{j}}_{j = 1}^{n}$ . The form is $ω = \sum_{j} e^{j} \land f^{j}$ , and $ω^{k} / k! = \sum_{∣ I ∣ = k} e^{I} \land f^{I}$ where $e^{I} = e^{i_{1}} \land \dots \land e^{i_{k}}$ and $f^{I}$ is the corresponding $f$ -wedge. On any unit decomposable real $2 k$ -vector $ξ = v_{1} \land \dots \land v_{2 k}$ , the value is bounded by $1$ by a Cauchy-Schwarz on each pair, with equality iff $ξ$ is a complex $k$ -plane (Federer 1969 §1.8).

Special Lagrangian contact set $SU (n) / SO (n)$ . Proved in Exercise 6.

Associative contact set $G_{2} \cdot Im H$ . Proved in Exercise 7.

Coassociative contact set. Coassociative 4-planes $C \subset Im O$ are exactly the orthogonal complements of associative 3-planes: $C = A^{⊥}$ where $A$ is associative. Proof: $* ϕ (u_{1}, u_{2}, u_{3}, u_{4}) = ϕ (* (u_{1} \land u_{2} \land u_{3} \land u_{4}))$ where the dual takes the orthogonal complement; equality $* ϕ = 1$ on $C$ corresponds to $ϕ = 1$ on the orthogonal $A$ . The moduli space is then the same homogeneous space $G_{2} / SO (4)$ as the associative moduli, of real dimension $8$ .

Cayley contact set $Spin (7) / (Sp (1) \cdot Sp (1) \cdot Sp (1) / Z /2)$ . The Cayley 4-form $Φ$ on $O = R^{8}$ has stabiliser inside $Spin (7)$ a 21-dimensional group, and the Cayley contact set is the homogeneous space $Spin (7) / Sp (1)^{3} \cdot Z /2$ of real dimension $dim Spin (7) - 9 - 3 = 21 - 12 = 9$ . Cf. Lawson-Michelsohn §IV.12 + Joyce §10.

McLean's deformation theorem (sketch). Linearise the calibration condition at a calibrated submanifold $N$ . The linearised calibration constraint is a first-order elliptic equation on the normal bundle $ν N$ , with kernel the infinitesimal calibrated deformations. McLean identifies this kernel with a cohomology group on $N$ via Hodge theory: $b_{1} (L)$ for SL, $b_{+}^{2} (C)$ for coassociative, normal-Dirac-kernel for associative and Cayley. The Sobolev-space implicit-function theorem then promotes infinitesimal deformations to actual moduli. McLean 1998 §3-§5.

Connections [Master]

Triality and Spin(8) 03.09.13 — the four calibrating forms arise as spinor squares under the triality-restricted special-holonomy subgroups. The associative form $ϕ$ comes from triality on $G_{2} \subset Spin (7) \subset Spin (8)$ ; the Cayley form $Φ$ from triality on $Spin (7) \subset Spin (8)$ . Foundation-of: calibrations built on Spin(7)/ $G_{2}$ spinor squaring via triality [conn:415.triality-calibrations, anchor: calibrations built on Spin(7)/G_2 spinor squaring via triality]. This is the consummation of the forward-promise made in 03.09.13's out-edge.
Berger holonomy 03.09.18 — each named calibration lives on a manifold with one of Berger's special holonomy groups: $SU (n)$ for SL, $Sp (n)$ for hyperkähler (the further refinement), $G_{2}$ for associative/coassociative, $Spin (7)$ for Cayley. The bijection holonomy $\leftrightarrow$ parallel spinor $\leftrightarrow$ calibration form is an instance of the Wang-Bryant correspondence. Foundation-of: calibrations require special holonomy structure [conn:427.calibration-special-holonomy, anchor: calibrations require special holonomy structure].
Spinor bundle 03.09.05 — the calibrating forms are spinor squares, constructed from a single parallel spinor on the special-holonomy ambient. $Ω \sim ψ^{2}$ on Calabi-Yau (with $ψ$ the parallel spinor preserved by $SU (n)$ ); $ϕ \sim ψ^{2}$ on $G_{2}$ ; $Φ \sim ψ^{2}$ on Spin(7).
Atiyah-Singer / index theorem 03.09.10 — McLean's deformation moduli are dimensions of kernels of normal-bundle elliptic operators (twisted Dirac for associative and Cayley, Hodge-Laplace for SL and coassociative); index-theoretic formulas underwrite the dimension counts.
Witten positive-mass theorem 03.09.17 — both calibrated geometry and Witten's positive-mass argument exploit a single closed-form-plus-Stokes manoeuvre. In Witten the form is a divergence built from a harmonic spinor; in Harvey-Lawson the form is a parallel spinor square. The shared technique is Stokes-with-a-pointwise-bound. Recurrence: same Stokes-with-pointwise-bound pattern recurs in spinor positive-mass and calibration arguments.
psc obstruction 03.09.16 — the parallel spinor whose square is a calibrating form is a fortiori a nonzero harmonic spinor; on a calibrated Calabi-Yau or $G_{2}$ or Spin(7) manifold, the spin Dirac kernel is non-empty. The Lichnerowicz argument then forces the scalar curvature to be non-positive somewhere, so calibrated manifolds cannot admit metrics of strictly positive scalar curvature.

We will see in subsequent units the calibrated framework lift to mirror symmetry's SYZ picture and Joyce's compact-holonomy constructions; this builds toward the moduli of calibrated submanifolds and the foreshadowed string-theoretic applications of the next strand. We will later use McLean's deformation-moduli theory to organise the index-theoretic dimensions of calibrated submanifolds, and in the next chapter this pattern recurs in associative G_2 geometry. The calibration philosophy appears again wherever a closed differential form bounds a volume functional. The foundational insight of Harvey-Lawson 1982 is exactly that a closed differential form of unit comass identifies its tangent submanifolds with volume-minimisers — this is precisely the same statement as the Stokes-with-comass argument. Putting these together shows that each calibrated geometry is an instance of one universal definition. The bridge between calibration data and special holonomy is the parallel-spinor square, and each named geometry is precisely the corresponding spinor structure on a Wang-special-holonomy manifold.

Historical & philosophical context [Master]

Reginald Harvey and Blaine Lawson's 1982 Calibrated geometries (Acta Mathematica 148, 47–157) is the founding paper of the field. Lawson is co-originator. The paper opens with a clean abstract structural definition of calibration — a closed differential form of unit comass — and treats Special Lagrangian, associative/coassociative, and Cayley calibrations in parallel as four named instances of one structure. The fundamental theorem (calibrated submanifolds are volume-minimisers) is proved in §I via the one-line Stokes-with-comass argument reproduced above. Parts II, III, IV then develop the four named geometries, each with a self-contained treatment of the contact set, the calibrated submanifolds, and the local examples.

Harvey and Lawson's framing in the introduction is structural: they note that the Wirtinger inequality (1936) and the Federer-Fleming theorem on complex submanifolds had been known for decades, but had never been recognised as instances of a general phenomenon. The conceptual contribution of Calibrated geometries is the unifying definition itself — the recognition that one functional analytic condition (comass $\leq 1$ plus closed) produces, in different ambient settings, all the volume-minimising geometries of interest. As Harvey-Lawson put it in the preface: the four named geometries "exhibit a remarkable parallelism that could not be coincidence." The paper articulates that parallelism by reducing it to a single structural definition.

The historical moment matters. By 1982, Calabi-Yau manifolds were well-developed in algebraic geometry (Yau's 1977 proof of the Calabi conjecture had landed five years prior); $G_{2}$ holonomy was newly proved to exist on local examples (Bryant's 1987 result was still in progress); Spin(7) holonomy was even more nascent. Harvey-Lawson's paper preceded the major compact $G_{2}$ and Spin(7) constructions (Joyce 1996/2000) by over a decade. They were defining the geometries on the belief that compact examples would exist — a belief vindicated when Joyce's constructions delivered them. The paper is therefore the foundation of an entire research programme that took shape only after its publication, with the calibrated-submanifold fundamental theorem providing the central technique throughout.

Marcel Berger's 1955 holonomy classification (see 03.09.18) had identified $SU (n), G_{2}, Spin (7)$ as the special holonomy groups stabilising a parallel spinor; Wang's 1989 Parallel spinors later made this precise as a bijection between holonomy groups and parallel-spinor counts. Harvey-Lawson's paper sits between these two: Berger gave the list of holonomies; Harvey-Lawson explained what each of those holonomies does, geometrically — it produces a calibration. The downstream development (Joyce, McLean, Strominger-Yau-Zaslow, Donaldson-Thomas) all takes the Harvey-Lawson calibrations as primary objects.

The paper is also unusual in its narrative completeness. Acta Mathematica 148 is 110 pages; the four named geometries each receive a chapter of treatment; the moduli theory of calibrated submanifolds is developed as far as it could be without the deformation analysis that McLean would supply sixteen years later. The paper reads as a complete theory rather than a research announcement — Lawson's mature mathematical-textbook voice is on full display, the same voice that animates Lawson-Michelsohn 1989. A reader of Lawson-Michelsohn §IV.12 hears that voice condensed; a reader of Harvey-Lawson 1982 hears it at full development.

Bibliography [Master]

Harvey, R. & Lawson, H. B., "Calibrated geometries", Acta Mathematica 148 (1982), 47–157. (Originating paper; Lawson is co-originator.)
Lawson, H. B. & Michelsohn, M.-L., Spin Geometry, Princeton University Press, 1989. §IV.12.
McLean, R. C., "Deformations of calibrated submanifolds", Communications in Analysis and Geometry 6 (1998), 705–747.
Joyce, D. D., Compact Manifolds with Special Holonomy, Oxford University Press, 2000.
Joyce, D. D., Riemannian Holonomy Groups and Calibrated Geometry, Oxford University Press, 2007.
Strominger, A., Yau, S.-T. & Zaslow, E., "Mirror symmetry is T-duality", Nuclear Physics B 479 (1996), 243–259.
Wirtinger, W., "Eine Determinantenidentität und ihre Anwendung auf analytische Gebilde", Monatshefte für Mathematik 44 (1936), 343–365. (The prototype Wirtinger inequality, predating Harvey-Lawson by 46 years.)
Federer, H., Geometric Measure Theory, Springer, 1969. §1.8.
Bryant, R. L., "Metrics with exceptional holonomy", Annals of Mathematics 126 (1987), 525–576.

Prerequisites

03.09.13
03.09.05
03.09.04

Tier anchors

beginner: Strogatz / 3Blue1Brown analogous level for the volume-minimising-via-a-form intuition
intermediate: Lawson-Michelsohn §IV.12, with Joyce *Compact Manifolds with Special Holonomy* Ch. 3 as parallel reading
master: Harvey-Lawson 1982 *Calibrated geometries* (Acta Mathematica 148); Lawson-Michelsohn §IV.12; Joyce 2007 *Riemannian Holonomy Groups and Calibrated Geometry*; McLean 1998 *Deformations of calibrated submanifolds*

References

TODO_REF
Harvey-Lawson — Calibrated geometries · Acta Mathematica 148 (1982), 47–157 — the foundational paper, four parts: I. The fundamental theorem; II. Special Lagrangian geometry; III. Associative and coassociative geometry; IV. Cayley geometry
TODO_REF
Lawson-Michelsohn — Spin Geometry · §IV.12 (calibrated submanifolds and special holonomy)
TODO_REF
Joyce — Compact Manifolds with Special Holonomy · Oxford University Press, 2000 — the modern textbook synthesis; especially Ch. 7 for SL, Ch. 10–11 for G_2 calibrations, Ch. 12–13 for Spin(7)
TODO_REF
McLean — Deformations of calibrated submanifolds · Comm. Anal. Geom. 6 (1998), 705–747 — the moduli theory of calibrated submanifolds
TODO_REF
Strominger-Yau-Zaslow — Mirror symmetry is T-duality · Nucl. Phys. B 479 (1996), 243–259 — Special Lagrangian fibrations as the SYZ picture of mirror symmetry

Lean module

Codex.SpinGeometry.CalibratedGeometries

Mathlib gap

Mathlib has differential forms, exterior products, and a partial Riemannian-
geometry library, but does not yet have the comass functional on differential
forms, the calibration condition, the volume functional on submanifolds, or
the calibrated-submanifold-as-volume-minimiser theorem. The G_2 and Spin(7)
geometries on which the associative, coassociative, and Cayley calibrations
live are absent from Mathlib (no G_2 holonomy, no Spin(7) holonomy, no
parallel-spinor formalism). The Special Lagrangian calibration on a Calabi-Yau
manifold requires the Calabi-Yau structure (Ricci-flat Kähler with a parallel
holomorphic volume form), again absent. The Lean stub records placeholder
types for `Calibration`, `CalibratedSubmanifold`, and the four named
geometries; the upstream contribution roadmap targets `RiemannianForm.comass`,
`Calibration`, `SpecialHolonomy`, and the four named-geometry instances.

Reviewer

TBD

Estimated time

beginner: 22m
intermediate: 60m
master: 105m