ScalingStacks

Lemma 4.6 . [00RJ]

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

Lemma 4.6.

Let Φ\Phi be a subharmonic function on B2n×Tk=B2×ℝk/ϵ​ℤkB_{2}^{n}\times T^{k}=B_{2}\times\mathbb{R}^{k}/\epsilon\mathbb{Z}^{k} equipped with the Euclidean metric g=∑1nd​xi2+∑1kd​yj2g=\sum_{1}^{n}dx_{i}^{2}+\sum_{1}^{k}dy_{j}^{2}, where 0<ϵ≪10<\epsilon\ll 1. Let vv be the averaging function of Φ\Phi over the TkT^{k} fibres. Assume −∫|Φ|≲1\mathchoice{{\vbox{\hbox{$\textstyle-$ }}\kern-7.98003pt}}{{\vbox{\hbox{$\scriptstyle-$ }}\kern-6.26338pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.6363pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.45924pt}}\!\int|\Phi|\lesssim 1 and a Lipschitz bound Lip​(v)≲1\text{Lip}(v)\lesssim 1, then on B1×TkB_{1}\times T^{k} we have Φ≤v+C​ϵ1/2\Phi\leq v+C\epsilon^{1/2}.

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