Several complex variables and analytic spaces Definition
Kähler manifold
Builds on Complex manifoldHermitian manifoldHermitian formDifferential formClosed and exact forms
Definition
Let be a complex manifold of dimension . Let be a Hermitian metric on : a smooth family of positive definite Hermitian forms on the holomorphic tangent spaces . In local holomorphic coordinates write , where is a positive definite Hermitian matrix of smooth functions. The fundamental form of is the real -form The metric is Kähler if is closed, that is, . A Kähler manifold is a complex manifold together with a Kähler metric; is then called its Kähler form.
Remarks
In coordinates, holds if and only if for all . Equivalent forms: locally for a real smooth strictly plurisubharmonic function ; or the complex structure is parallel for the Levi-Civita connection of the underlying Riemannian metric . A compact complex manifold is called Kähler if it admits some Kähler metric.
Example: on , gives , which has constant coefficients and so is closed. On a Riemann surface every Hermitian metric is Kähler, because every -form on a manifold of real dimension is zero. The Fubini–Study form on , given on by in the coordinates , is closed because and , .
Non-example: on , the form is the fundamental form of a Hermitian metric invariant under , so it descends to a Hopf surface. It is not closed: with , and the wedge product of a nonzero -form with is nonzero in complex dimension . So this metric is a Hermitian metric that is not Kähler; in fact the Hopf surface has no Kähler metric at all.
Reading path
To understand this page from the ground up, read these 7 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Complex manifold concept
- Differential form concept
- Hermitian form concept
- Hermitian manifold concept
- Exterior derivative concept
- Closed and exact forms concept
- Kähler manifold definition
Further reading
About this page
| Tag | XGZMG3QDHZ |
|---|---|
| URI | m2://XGZMG3QDHZ |
| Kind | definition |
| Writing | W0 stub |
| MSC | 32Q15, 53C55 |
| Defines | Kähler manifold |
| Uses | Complex manifold, Hermitian manifold, Hermitian form, Differential form, Closed and exact forms |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.