By definition, is the orthogonal projection of onto , so we have along ,
| (3.299) |
|
|
|
where and are smooth functions on . Now write
| (3.300) |
|
|
|
then we get that along ,
| (3.301) |
|
|
|
which in particular implies
| (3.302) |
|
|
|
Now by the definition of the normal exponential map, we have at ,
| (3.303) |
|
|
|
Using the Kähler condition we have
| (3.304) |
|
|
|
Then by (3.300) we get
| (3.305) |
|
|
|
Therefore, the conclusion follows.