14.08.2013 Views

View PDF - Project Euclid

View PDF - Project Euclid

View PDF - Project Euclid

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!