Proof of Proposition 3.28.
The goal is to show and in the expansion (3.317).
We work in the above special coordinates centered at .
The first step is to show that the -term in the expansion of
given by Proposition 3.24
in fact vanishes along .
To this end, notice that at and hence by Lemma 3.27,
| (3.324) |
|
|
|
Since the only non-trivial Christofell symsbols at are and for , it easily follows that
| (3.325) |
|
|
|
Combining (3.325) and Lemma 3.25,
| (3.326) |
|
|
|
for each . Therefore, along the fiber of the normal bundle ,
the expansion of in Proposition 3.24 becomes
| (3.327) |
|
|
|
Next, we will compute the coefficients and in (3.317).
As in the proof of Lemma 3.27, we obtain that
| (3.328) |
|
|
|
and
| (3.329) |
|
|
|
This particularly implies that and
along the fiber ,
| (3.330) |
|
|
|
By Lemma 3.29, for all , then the expansion of along the fiber is at least quadratic in the -direction, i.e.
| (3.331) |
|
|
|
|
|
|
|
|
|
|
By (3.324) and (3.330), along the fiber , we have
| (3.332) |
|
|
|
and
| (3.333) |
|
|
|
So we get
| (3.334) |
|
|
|
Since by definition,
| (3.335) |
|
|
|
by elementary manipulations we get that and .
∎