2.1. The smooth case [0289]
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
2.1. The smooth case
We start with the elementary observation that smooth strictly -psh functions can easily be extended.
Proposition 2.1.
Let be a compact Kähler manifold equipped with a Kähler form , and let be a complex submanifold of . Then
We include a proof for the convenience of the reader, although this is probably part of the “folklore” (see e.g. [Sch] for the case where is a Hodge form).
Proof.
Let be such that on , for some . We first choose to be any smooth extension of to . Consider
where is a test function supported in a small neighborhood of and such that near . Here is any Riemannian distance on , for instance the distance associated to the Kähler metric . Then is yet another smooth extension of to , which now satisfies near , if is chosen large enough.
The function is well defined and qpsh in a neighborhood of . Let be a test function supported in this neighborhood so that near . The function is -psh on for a large integer . Moreover, is smooth and . Replacing by , by , and by , we may assume that . Set now
This again is a smooth extension of , and a straightforward computation yields
Hence
if is chosen large enough. ∎
This proof breaks down when is singular and hence a different approach is needed. We consider in the next section the particular case when is a Hodge form.