A calibration form on a Riemannian manifold is a differential p-form such that
1. is a closed form.
2. The comass of ,
(1)
|
defined as the largest value of on a vector of -volume one, equals 1.
A -dimensional submanifold is calibrated when restricts to give the volume form.
It is not hard to see that a calibrated submanifold minimizes its volume among objects in its homology class. By Stokes' theorem, if represents the same homology class, then
(2)
|
Since
(3)
|
and
(4)
|
it follows that the volume of is less than or equal to the volume of .
A simple example is on the plane, for which the lines are calibrated submanifolds. In fact, in this example, the calibrated submanifolds give a foliation. On a Kähler manifold, the Kähler form is a calibration form, which is indecomposable. For example, on
(5)
|
the Kähler form is
(6)
|
On a Kähler manifold, the calibrated submanifolds are precisely the complex submanifolds. Consequently, the complex submanifolds are locally volume minimizing.