Proof. [00DK]
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
Proof.
Given any point we can find and sections so that in some adapted coordinate chart near we have that none of the sections vanishes, while is a defining equation for , , and so is comparable to for .
We construct a Kähler metric on by pulling back a suitable toric metric on , which on the complement of the zeros of all the ’s is given by
where is a smooth convex function in which is asymptotic to at infinity, and with on a ball of radius comparable to 1 containing the image of in the logarithmic coordinates. For example, an explicit such can be produced as the convolution of with a smooth mollifier. By construction, lies in the class , and it satisfies (3.2) on .
We then choose finitely many such that the corresponding cover , let be their union, and define
This is our desired Kähler metric on in which satisfies (3.2) in adapted coordinate charts on .
Next, we consider the function
on . Choosing the constants in the strict interior of we can ensure the minimum of on equals , and choosing suitably large independent of , we can ensure is compactly contained in . Now we define
which satisfies the requirements in (a). We let . Lastly, (3.3) follows immediately from part (a) and (3.2). ∎