ScalingStacks

Definition 4.14 (Local regularity) . [052K]

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

Definition 4.14 (Local regularity).

Let (Mn,g,p)(M^{n},g,p) be a Riemannian manifold and p∈Mnp\in M^{n}. Given r>0r>0, ϵ>0\epsilon>0, k∈ℕk\in\mathbb{N}, α∈(0,1)\alpha\in(0,1), we say (Mn,g,p)(M^{n},g,p) is (r,k+α,ϵ)(r,k+\alpha,\epsilon)-regular at pp if the metric gg is at least Ck+αC^{k+\alpha} in B2​r​(p)B_{2r}(p) and satisfies the following property: let (B2​r​(p)~,p~)(\widetilde{B_{2r}(p)},\tilde{p}) be the Riemannian universal cover of B2​r​(p)B_{2r}(p), then Br​(p~)B_{r}(\tilde{p}) is diffeomorphic to a disc 𝔻n⊂ℝn\mathbb{D}^{n}\subset\mathbb{R}^{n} such that gg in coordinates satisfies

(4.181) |gi​j−δi​j|C0​(Br​(p~))+∑m=1krm⋅|∇mgi​j|C0​(Br​(p~))+rk+α​[gi​j]Ck,α​(Br​(p~))<ϵ.|g_{ij}-\delta_{ij}|_{C^{0}(B_{r}(\tilde{p}))}+\sum\limits_{m=1}^{k}r^{m}\cdot|\nabla^{m}g_{ij}|_{C^{0}(B_{r}(\tilde{p}))}+r^{k+\alpha}[g_{ij}]_{C^{k,\alpha}(B_{r}(\tilde{p}))}<\epsilon.

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