Calibrated geometry

In the mathematical field of differential geometry, a calibrated manifold is a Riemannian manifold (M,g) of dimension n equipped with a differential p-form φ (for some 0 ≤ p ≤ n) which is a calibration, meaning that:

A main reason for defining a calibration is that it creates a distinguished set of "directions" (i.e. p-planes) in which φ is actually equal to the volume form, that is, the inequality above is an equality. For x in M, set Gx(φ) to be the subset of such planes in the Grassmannian of p-planes in TxM. In cases of interest, Gx(φ) is always nonempty. Let G(φ) be the union of Gx(φ) for all , viewed as a subspace of the bundle of p-planes in TM.

History

Harvey and Lawson introduced the term calibration and developed the theory in 1982, but the subject has a long prehistory.

The first motivating example, that of Kähler manifolds, is due implicitly to Wirtinger in 1936 and explicitly to de Rham in 1957. In 1965, Federer used this to construct the first examples of singular minimal submanifolds.

Soon afterwards, the other main examples were introduced. Edmond Bonan studied G2-manifolds and Spin(7)-manifolds in 1966, constructing all the parallel forms and showing that such manifolds must be Ricci-flat, although examples of either would not be constructed for another 20 years until the work of Robert Bryant. Quaternion-Kähler manifolds were studied simultaneously in 1965 by Edmond Bonan and Vivian Yoh Kraines, each of whom constructed the parallel 4-form. Finally, in 1970, Berger gave the general argument that calibrated submanifolds are minimal and applied it to these cases.

Calibrated submanifolds

A p-dimensional submanifold Σ of M is said to be a calibrated submanifold with respect to φ (or simply φ-calibrated) if φ|Σ = volΣ. Equivalently, TΣ lies in G(φ).

A famous one-line argument shows that calibrated closed submanifolds minimize volume within their homology class. Indeed, suppose that Σ is calibrated, and Σ′ is a submanifold in the same homology class. Then where the first equality holds because Σ is calibrated, the second equality is Stokes' theorem (as φ is closed), and the inequality holds because φ has operator norm 1.

The same argument shows that even a noncompact calibrated submanifold is a minimal submanifold in the variational sense, and therefore has zero mean curvature.

In particular, affine complex algebraic varieties are locally area-minimizing. Federer used this to give some of the first examples of singular minimal submanifolds, such as the algebraic curve .

Examples

References

  1. ↑ Harvey, Reese; Lawson, H. Blaine (1982). "Calibrated geometries". Acta Mathematica. 148 (0): 47–157. doi:10.1007/BF02392726.
  2. 1 2 Morgan, Frank (2009), Geometric Measure Theory: a Beginner's Guide (4th ed.), London: Academic Press, pp. 74–75, ISBN 978-0-12-374444-9
  3. ↑ Wirtinger, W. (1936), "Eine Determinantenidentität und ihre Anwendung auf analytische Gebilde und Hermitesche Massbestimmung", Monatshefte für Mathematik und Physik, 44: 343–365 (§6.5), doi:10.1007/BF01699328, S2CID 121050865.
  4. ↑ de Rham, Georges (1957–1958), On the Area of Complex Manifolds. Notes for the Seminar on Several Complex Variables, Institute for Advanced Study, Princeton, New Jersey.
  5. 1 2 Federer, Herbert (1965), "Some theorems on integral currents", Transactions of the American Mathematical Society, 117: 43–67, doi:10.2307/1994196, JSTOR 1994196.
  6. ↑ Bonan, Edmond (1966). "Sur les variétés riemanniennes à groupe d'holonomie G2 ou Spin(7)". C. R. Acad. Sci. Paris. 262: 127–129.
  7. ↑ Bonan, Edmond (1965). "Structure presque quaternale sur une variété différentiable". C. R. Acad. Sci. Paris. 260: 5445–5448.
  8. ↑ Kraines, Vivian Yoh (1965). "Topology of quaternionic manifolds". Bull. Amer. Math. Soc. 71, 3, 1 (3): 526–527. doi:10.1090/s0002-9904-1965-11316-7.
  9. ↑ Berger, Marcel (1970), "Quelques problèmes de géométrie riemannienne ou Deux variations sur les espaces symétriques compacts de rang un", L'Enseignement mathématique, 16: 73–96, §6.

Further reading