View PDF - Project Euclid
View PDF - Project Euclid
View PDF - Project Euclid
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
CURVATURE AND COMPLEX SINGULARITIES 435<br />
In case M C N + is an oriented hypersurface, we choose en + to be the outward<br />
normal and choose our tangent frame e, ., e. to diagonalize the second<br />
fundamental form: thus<br />
n<br />
where the k are the principal curvatures. The Riemann curvature tensor is<br />
(1.6) R0v, k,kt(- )<br />
Letting dM w , be the volume form on M, the Gauss-Kronecker<br />
curvature is defined by<br />
.. (1.7) l,n + n,. + K dM,<br />
which using + kw gives<br />
(1.8) K<br />
We now denote by z( the tube of radius r around M. More precisely, if<br />
r] is the tubular neighborhood of radius r around the zero section in the<br />
normal bundle, then there is an obvious map (exponential map)<br />
andr( is its image, counted with whatever multiplicities arise from the focal<br />
behaviour of the normal geodesies. To explain Weyl’s formula we shall use the<br />
following notation due to Flanders4): Given a vector space E, we set<br />
’t(E) (E) t(E*)<br />
A*,*(E) A,’(E)<br />
k,l<br />
and make A*,*(E) into an associative algebra by the rule<br />
(a<br />
The diagonal @ A’(E) is then a commutatire subalgebra. Taking E T(<br />
we may consider the curvature<br />
R Rove A e0 @ v A e A’(T(),<br />
and dne the sCalar invariants I() for 21 an even integer by<br />
I,(R) Trace (AR) (I 2k)<br />
where AR A’(T() A’(T()*. In components<br />
(1.9)<br />
A,B<br />
where A (1, "’, a,) and B (B,, ..., ,) run over index sets selected<br />
from (1,. ., n), and