φ has operator norm at most 1. That is, for any x ∈ M and any p-vector, we have φ(ξ)≤vol(ξ), with volume defined with respect to the Riemannian metric g.
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.
On a G2-manifold, both the parallel 3-form and its Hodge dual 4-form define calibrations. The corresponding calibrated submanifolds are called associative and coassociative submanifolds.
On a Spin(7)-manifold, the defining 4-form, known as the Cayley form, is a calibration. The corresponding calibrated submanifolds are called Cayley submanifolds.
↑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, S2CID121050865.
↑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.
Brakke, Kenneth A. (1993), Polyhedral minimal cones in R4.
Lawlor, Gary (1998), "Proving area minimization by directed slicing", Indiana Univ. Math. J., 47 (4): 1547–1592, doi:10.1512/iumj.1998.47.1341.
Morgan, Frank, Lawlor, Gary (1996), "Curvy slicing proves that triple junctions locally minimize area", J. Diff. Geom., 44: 514–528{{citation}}: CS1 maint: multiple names: authors list (link).
Morgan, Frank, Lawlor, Gary (1994), "Paired calibrations applied to soap films, immiscible fluids, and surfaces or networks minimizing other norms", Pac. J. Math., 166: 55–83, doi:10.2140/pjm.1994.166.55{{citation}}: CS1 maint: multiple names: authors list (link).
McLean, R. C. (1998), "Deformations of calibrated submanifolds", Communications in Analysis and Geometry, 6 (4): 705–747, doi:10.4310/CAG.1998.v6.n4.a4.
Morgan, Frank (1990), "Calibrations and new singularities in area-minimizing surfaces: a survey In "Variational Methods" (Proc. Conf. Paris, June 1988), (H. Berestycki J.-M. Coron, and I. Ekeland, Eds.)", Prog. Nonlinear Diff. Eqns. Applns, 4: 329–342.
Van, Le Hong (1990), "Relative calibrations and the problem of stability of minimal surfaces", Global analysis—studies and applications, IV, Lecture Notes in Mathematics, vol.1453, New York: Springer-Verlag, pp.245–262.
Further reading
Joyce, Dominic D. (2007), Riemannian Holonomy Groups and Calibrated Geometry, Oxford Graduate Texts in Mathematics, Oxford: Oxford University Press, ISBN978-0-19-921559-1.