Jump to content

Wirtinger inequality (2-forms)

From Wikipedia, the free encyclopedia
For other inequalities named after Wirtinger, see Wirtinger's inequality.

In mathematics, the Wirtinger inequality, named after Wilhelm Wirtinger, is a fundamental result in complex linear algebra which relates the symplectic and volume forms of a hermitian inner product. It has important consequences in complex geometry, such as showing that the normalized exterior powers of the Kähler form of a Kähler manifold are calibrations.

Statement

[edit]

Consider a real vector space with positive-definite inner product g, symplectic form ω, and almost-complex structure J, linked by ω(u, v) = g(J(u), v) for any vectors u and v. Then for any orthonormal vectors v1, ..., v2k there is

There is equality if and only if the span of v1, ..., v2k is closed under the operation of J.[1]

In the language of the comass of a form, the Wirtinger theorem (although without precision about when equality is achieved) can also be phrased as saying that the comass of the form ω ∧ ⋅⋅⋅ ∧ ω is equal to k!.[1]

Proof

[edit]

k = 1

[edit]

In the special case k = 1, the Wirtinger inequality is a special case of the Cauchy–Schwarz inequality:

According to the equality case of the Cauchy–Schwarz inequality, equality occurs if and only if J(v1) and v2 are collinear, which is equivalent to the span of v1, v2 being closed under J.

k > 1

[edit]

Let v1, ..., v2k be fixed, and let T denote their span. Then there is an orthonormal basis e1, ..., e2k of T with dual basis w1, ..., w2k such that

where ι denotes the inclusion map from T into V.[2] This implies

which in turn implies

where the inequality follows from the previously-established k = 1 case. If equality holds, then according to the k = 1 equality case, it must be the case that ω(e2i − 1, e2i) = ±1 for each i. This is equivalent to either ω(e2i − 1, e2i) = 1 or ω(e2i, e2i − 1) = 1, which in either case (from the k = 1 case) implies that the span of e2i − 1, e2i is closed under J, and hence that the span of e1, ..., e2k is closed under J.

Finally, the dependence of the quantity

on v1, ..., v2k is only on the quantity v1 ∧ ⋅⋅⋅ ∧ v2k, and from the orthonormality condition on v1, ..., v2k, this wedge product is well-determined up to a sign. This relates the above work with e1, ..., e2k to the desired statement in terms of v1, ..., v2k.

Consequences

[edit]

Given a complex manifold with hermitian metric, the Wirtinger theorem immediately implies that for any 2k-dimensional embedded submanifold M, there is

where ω is the Kähler form of the metric. Furthermore, equality is achieved if and only if M is a complex submanifold.[3] In the special case that the hermitian metric satisfies the Kähler condition, this says that 1/k!ωk is a calibration for the underlying Riemannian metric, and that the corresponding calibrated submanifolds are the complex submanifolds of complex dimension k.[4] This says in particular that every complex submanifold of a Kähler manifold is a minimal submanifold, and is even volume-minimizing among all submanifolds in its homology class.

Using the Wirtinger inequality, these facts even extend to the more sophisticated context of currents in Kähler manifolds.[5]

See also

[edit]

Notes

[edit]
  1. ^ a b Federer 1969, Section 1.8.2.
  2. ^ McDuff & Salamon 2017, Lemma 2.4.5.
  3. ^ Griffiths & Harris 1978, Section 0.2.
  4. ^ Harvey & Lawson 1982.
  5. ^ Federer 1969, Section 5.4.19.

References

[edit]
  • Federer, Herbert (1969). Geometric measure theory. Die Grundlehren der mathematischen Wissenschaften. Vol. 153. Berlin–Heidelberg–New York: Springer-Verlag. doi:10.1007/978-3-642-62010-2. ISBN 978-3-540-60656-7. MR 0257325. Zbl 0176.00801.
  • Griffiths, Phillip; Harris, Joseph (1978). Principles of algebraic geometry. Pure and Applied Mathematics. New York: John Wiley & Sons. ISBN 0-471-32792-1. MR 0507725. Zbl 0408.14001.
  • Harvey, Reese; Lawson, H. Blaine Jr. (1982). "Calibrated geometries". Acta Mathematica. 148: 47–157. doi:10.1007/BF02392726. MR 0666108. Zbl 0584.53021.
  • McDuff, Dusa; Salamon, Dietmar (2017). Introduction to symplectic topology. Oxford Graduate Texts in Mathematics (Third edition of 1995 original ed.). Oxford: Oxford University Press. doi:10.1093/oso/9780198794899.001.0001. ISBN 978-0-19-879490-5. MR 3674984. Zbl 1380.53003.
  • Wirtinger, W. (1936). "Eine Determinantenidentität und ihre Anwendung auf analytische Gebilde in euklidischer und Hermitescher Maßbestimmung". Monatshefte für Mathematik und Physik. 44: 343–365. doi:10.1007/BF01699328. MR 1550581. Zbl 0015.07602.