ScalingStacks

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 y∈Y\f⁡(S)y\in Y\backslash f(S) the fiber XyX_{y} is a smooth (n−m)(n-m)-dimensional complex submanifold of XX. Since XX is Kähler, it follows that XyX_{y} is a minimal submanifold, and so it has vanishing mean curvature vector. We then use the Nash embedding theorem to isometrically embed (X,ωX)(X,\omega_{X}) into Euclidean space, and so we have an isometric embedding X→ℝNX\to\mathbb{R}^{N}. The length of the mean curvature vector of the composite isometric embedding Xy→X→ℝNX_{y}\to X\to\mathbb{R}^{N} is then uniformly bounded independent of yy, since it depends only on the second fundamental form of X→ℝNX\to\mathbb{R}^{N}. Then (3.3) follows from the uniform Sobolev inequality of [A, MS]. Notice that they prove an L1L^{1} Sobolev inequality, but this implies the stated L2L^{2} Sobolev inequality thanks to the Hölder inequality. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.