View PDF - Project Euclid
View PDF - Project Euclid
View PDF - Project Euclid
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
CURVATURE AND COMPLEX SINGULARITIES 465<br />
defined by z 0z, then to is the pullback of the standard Kfihler form on pNand<br />
as such has a singularity at origin. To prove (3.15) we note that<br />
If we define<br />
d c log I[zll z<br />
d 2<br />
(dz, dz) =dd ilzll<br />
4 {(z, dz)-dz, z)<br />
{ (z,z)(dz, dz)- (dz, z)(z, dz) )<br />
(3.16) r d log I1 11<br />
then d ton, and by Stokes’ theorem the right hand side of (3.15) is|<br />
Now, for any fixed t, on O V[t] we have<br />
which implies that on 0 V[t]<br />
Then<br />
t2n<br />
0 (dz, z) + (z, dz)<br />
"= r."<br />
9V[t] V[t]<br />
t2n fV[tl<br />
proving (3.15).<br />
As a consequence the function<br />
(V, r)<br />
is an increasing function of r, and the limit<br />
d II=ll<br />
A<br />
vol V[r]<br />
/,(V) lim /x(V, r)<br />
r-+0