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 501<br />
The closure F of F* is an analytic subvariety of X x G(n, N), and the projection<br />
7r F-- B<br />
has fibres 7r-(t) Ft the Gaussian images Tt(Vt) for 0, while the fibre Fo is<br />
generally not the closure To(W;). Writing<br />
(5.7) F0 v(V) +<br />
defines A as an analytic subvariety of G(n, N), one possibly having a boundary<br />
corresponding to the points of Vs q 0U, and one whose irreducible components<br />
generally have multiplicities. We shall call A the Pliicker defect (4) associated<br />
to the family {Vt} e B"<br />
It is also possible to define A as a current Ta by the formula<br />
(5.8) Ta(a)= lim I’ Y(a)-I" y’g(a)<br />
0<br />
where a is a C form on G(n, N). Clearly this is just the current associated to<br />
the variety defined by (5.7). With this definition one may prove directly that Ta<br />
is a positive current of type (n, n), which is closed in case V0 has isolated interior<br />
singularities. Moreover, by taking a smaller class of "test forms" a we may<br />
refine the data of the Pliicker defect.<br />
Another possibility is to define A by using resolution of singularities. (5) By<br />
successively blowing up X beginning along the singular locus of V0 we arrive at<br />
2 _B<br />
where 7r-l(t) Vt for # 0 and where 7r-1(0) is a divisor with normal crossings.<br />
We may even assume that the Gauss mappings<br />
Tt: 6-1(t) G(n, N)<br />
are defined for all including O. Writing<br />
7r-’(O) 9o + tXlDa +’’" + t.mDm<br />
where lY0 is the proper transform of V0 (so that 1?0 ---> V0 is a desingularization),<br />
it follows that<br />
Iy0(f’0)<br />
yo(V*o), and<br />
(5.9) !<br />
[.A PtlT0(Ol) +""" + PtmTo(Om).<br />
Each of the characterizations (5.7)-(5.9) of the PRicker defect turns out to be of<br />
use.<br />
Now let a (a l, ", a) be any sequence of integers with<br />
lal-- a n