Proof. [00W0]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
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. ∎