5.2. Normal Kähler spaces [02EU]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
5.2. Normal Kähler spaces
Plurisubharmonic functions
Let be a normal analytic space of pure dimension . A plurisubharmonic (psh) function on is an upper semicontinuous function on with values in , which is not locally , and extends to a psh function in some local embedding . The function is strongly psh (resp. , resp. ) iff it extends to a strongly psh function (resp. , resp. ) in some local embedding. A continuous function is psh iff its restriction to is so [FN]. A bounded psh function on extends to .
A pluriharmonic function on is a real valued continuous function on on such that one of the following equivalent conditions holds:
- •
is locally the real part of a holomorphic function.
- •
Given a local embedding , extends locally to a pluriharmonic function on .
- •
is pluriharmonic.
Semi-Kähler currents
Definition 5.7.
A semi-Kähler, resp. Kähler, resp. smooth Kähler, potential on is a family where is an open covering of and a psh function, resp. a strongly psh function, resp. a -smooth strongly psh function, on such that is pluriharmonic on .
Define an equivalence relation on semi-kähler potentials requiring that iff is pluriharmonic on .
Definition 5.8.
A smooth Kähler metric on is a -equivalence class of smooth Kähler potentials. A semi-Kähler (resp. Kähler) current on is a -equivalence class of semi-Kähler (resp. Kähler) potentials.
A semi-Kähler current is said to have (resp. , resp. Hölder continuous) potentials iff each is (resp. , resp. Hölder continuous).
We will on occasion drop the requirement that the local potentials of are psh, replacing it by the requirement that they are locally the sum of a smooth and a psh function. The current will then be called a quasi positive closed current on .
If it has locally bounded potentials, is fully determined by the closed form on defined on by .
Let be a smooth Kähler metric on with Kähler potential . An upper semi-continuous function is said to be -psh iff is psh on . The semi-Kähler current whose potential is is denoted by .
Example 5.9.
Let . Let be the usual affine coordinates on , those on . The formulas realize as the closed subscheme of whose equation is . We have two ‘natural’Kähler metrics on , the first one is smooth with potential , induced by the euclidean Kähler metric of , the second one is the Kähler current whose potential is . On it is the quotient of the euclidean metric restricted to . Near , .
The metric is an example of an orbifold Kähler metric on . The results of [Y] extend without major modifications to Kähler orbifolds. For instance, in each Kähler class of a nodal K3 surface there is a unique Ricci flat orbifold metric.
Chern-Weil forms and hermitian metrics
Let be the sheaf of real-valued pluriharmonic functions on . By definition, a closed (1,1)-form on is a section of the sheaf . We have the exact sequence:
A class in will be called Kähler, if it is in the image of a smooth Kähler metric.
Remark 5.10.
Assume is smooth. A class in will be called numerically base point free iff there exists a proper surjective holomorphic mapping , normal, such that is the pull back of a Kähler class on . This is a stronger condition than being semi-Kähler.
In the non-big case (i.e.: ), it is straightforward to construct semi-Kähler classes that are not numerically base point free (e.g. on complex tori). On the other hand, it is still unknown whether there exists a smooth projective variety and a semi-Kähler form which is big without being numerically base point free.
Let be a holomorphic line bundle on . The notion of smooth hermitian metric on is defined as in the smooth case. Let be such a metric on .
Let be a nowhere zero local holomorphic section of (a local generator of ) defined over the open subset . Set , where is a -smooth function on . The current is a smooth closed (1,1)-form on which does not depend on ; it is a semi-Kähler current if is psh.
More generally, let be an open covering of and a local generator of . Let . The datum defines a smooth closed (1,1)-form on .
Definition 5.11.
The Chern-Weil form of (or of ) is the -equivalence class of the data constructed above. We will denote it by .
It is immediate that is independent of . Hence there is a linear map . The connection with the more widely known smooth case is made by the observation that, if is a compact Kähler manifold, .
Proposition 5.12.
Let a compact normal complex analytic variety.
The space is finite dimensional.
Let a holomorphic line bundle on . Every representative of in is the Chern-Weil form of a smooth hermitian on .
If there exists a smooth hermitian metric such that is Kähler, then is projective-algebraic and is ample.
Proof.
The most difficult task is to show that, in the last assertion, is Moishezon. This follows from Siu’s solution of the Grauert-Riemenschneider conjecture [Siu]. ∎
A singular metric on is an expression , being a locally smooth + psh function and a smooth hermitian metric. Its Chern-Weil form is the quasi-positive current .