ScalingStacks

Verified tagged author-source HTML · 0905.4718v1 · cited publication edition alignment unverified.

00VZ

Lemma 3.2. There is a uniform constant CC so that for any 0<t≤10<t\leq 1, for any y∈Y\f⁡(S)y\in Y\backslash f(S) and for any u∈C∞​(Xy)u\in C^{\infty}(X_{y}) we have

(3.3) (∫Xy|u|2​(n−m)n−m−1​ωyn−m)n−m−1n−m≤C​∫Xy(|∇u|ωy2+|u|2)​ωyn−m.\left(\int_{X_{y}}|u|^{\frac{2(n-m)}{n-m-1}}\omega_{y}^{n-m}\right)^{\frac{n-m-1}{n-m}}\leq C\int_{X_{y}}(|\nabla u|^{2}_{\omega_{y}}+|u|^{2})\omega_{y}^{n-m}.
00W0

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 collection and HTML conversion remain in progress.