Lemma 3.2. There is a uniform constant so that for any , for any and for any we have
| (3.3) |
Verified tagged author-source HTML · 0905.4718v1 · cited publication edition alignment unverified.
Lemma 3.2. There is a uniform constant so that for any , for any and for any we have
| (3.3) |
Proof. For any the fiber is a smooth -dimensional complex submanifold of . Since is Kähler, it follows that is a minimal submanifold, and so it has vanishing mean curvature vector. We then use the Nash embedding theorem to isometrically embed into Euclidean space, and so we have an isometric embedding . The length of the mean curvature vector of the composite isometric embedding is then uniformly bounded independent of , since it depends only on the second fundamental form of . Then (3.3) follows from the uniform Sobolev inequality of [A, MS]. Notice that they prove an Sobolev inequality, but this implies the stated Sobolev inequality thanks to the Hölder inequality. ∎