ScalingStacks

5.2 Sufficient condition for weighted Sobolev [0248]

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

5.2 Sufficient condition for weighted Sobolev

Now recall [9, Def. 1.1] a complete manifold (M,g)(M,g) is called SOB​(p′)\text{SOB}(p^{\prime}), if there exist x0∈Mx_{0}\in M and C≥1C\geq 1 such that

  • •

    B⁡(x0,s)∖B⁡(x0,t)B(x_{0},s)\setminus B(x_{0},t) is connected for all s≥t≥Cs\geq t\geq C,

  • •

    Vol​(B⁡(x0,s))≤C​sp′\text{Vol}(B(x_{0},s))\leq Cs^{p^{\prime}} for all s≥Cs\geq C,

  • •

    Vol​(B⁡(x,(1−C−1)​r​(x)))≥C−1​r​(x)p′\text{Vol}(B(x,(1-C^{-1})r(x)))\geq C^{-1}r(x)^{p^{\prime}} and R​i​c​(x)≥−C​r​(x)−2Ric(x)\geq-Cr(x)^{-2} if r⁡(x)=d​i​s​t​(x0,x)≥Cr(x)=dist(x_{0},x)\geq C.

Hein [9] shows that when p′>2p^{\prime}>2, then S​O​B​(p′)SOB(p^{\prime}) is a sufficient conditions for the weighted Sobolev inequality. As observed in [20, section 7], the connectivity of the annulus can be relaxed to the weaker requirement of relative connected annulus:

  • •

    For sufficiently large DD, any two points x1,x2∈Mx_{1},x_{2}\in M with d⁡(x0,xi)=Dd(x_{0},x_{i})=D can be joined by a curve of length at most C​DCD, lying in the annulus B⁡(x0,C​D)∖B⁡(x0,C−1​D)B(x_{0},CD)\setminus B(x_{0},C^{-1}D), for a uniform constant C>1C>1.

For our particular metric ansatz d​dc​ϕg​l​u​edd^{c}\phi_{glue}, the assumptions on the volume growth rate of balls are immediate consequences of the our much more refined description of the generalized Calabi ansatz, and the metric behaviour near the Tian-Yau region. The quadratic decay on the Ricci tensor is a consequence of the faster than quadratic decay on the volume form error to all derivatives (cf. section 4.7).

To verify the relative connnected annulus property, notice any point close to the Tian-Yau region can be first connected via a path of length O⁡(ρ~)O(\tilde{\rho}) contained inside the annulus, to a point in the generic region where x1,x2x_{1},x_{2} are comparable, and the statement is obvious for two points in the generic region.

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