ScalingStacks

Proof. [02CJ]

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.

Fix any point pp in Yr​e​gY^{reg}, choose a convex embedded ball B⁡(p,r)B(p,r) in Yr​e​gY^{reg}. We claim B⁡(p⁡(t),r)∩Σ=∅B(p(t),r)\cap\Sigma=\emptyset for all tt. For otherwise there is a T>0T>0 such that B⁡(p⁡(t),r)∩Σ=∅B(p(t),r)\cap\Sigma=\emptyset for t∈[0,T]t\in[0,T] but ∂B⁡(p⁡(T),r)∩Σ\partial B(p(T),r)\cap\Sigma is non-empty. Choose a point qq in this intersection. Let γ:[0,1]\gamma:[0,1] be the radial geodesic connecting p⁡(T)p(T) and qq, and let pi=γ⁡(1−2−i)p_{i}=\gamma(1-2^{-i}). Then Bi=B⁡(pi,2−i​r)⊂B⁡(p⁡(T),r)B_{i}=B(p_{i},2^{-i}r)\subset B(p(T),r), and d⁡(pi,q)=2−id(p_{i},q)=2^{-i}. Consider the pointed sequence (Y,2i​dY,q)(Y,2^{i}d_{Y},q). By assumption we know as ii tends to infinity by passing to a subsequence this converges to a tangent cone Yq=ℝ×ℂ2/ΓY_{q}=\mathbb{R}\times\mathbb{C}^{2}/\Gamma. Then the rescaled balls 2i​Bi2^{i}B_{i} converge to a ball B⁡(p∞,r)B(p_{\infty},r) in YqY_{q} and d⁡(p∞,0)=rd(p_{\infty},0)=r. But BiB_{i} is isometric to a ball in B⁡(p,r)B(p,r) so have uniformly bounded geometry and thus 2i​Bi2^{i}B_{i} converges to a flat ball B∞B_{\infty}. Moreover by Lemma 5.3 the distance between any two points in B∞B_{\infty} is realized by the length of a geodesic within B∞B_{\infty}. Clearly this can not happen on YqY_{q}.

By the claim the isometric action exp⁡(t​ξ)\exp(t\xi) is well defined on Yr​e​gY^{reg} for all tt. Then we can extend the action to an isometric action on YY: given p∈Σp\in\Sigma we pick a Cauchy sequence pi∈Yr​e​gp_{i}\in Y^{reg} converging to qq; for any tt, pi​(t)=exp⁡(t​ξ)p_{i}(t)=\exp(t\xi) is also a Cauchy sequence in Yr​e​gY^{reg}, so there is a unique limit p⁡(t)p(t). We define e​x​p​(t​ξ).p=p⁡(t)exp(t\xi).p=p(t). Clearly exp⁡(t​ξ)\exp(t\xi) is distance preserving. Moreover exp⁡(t​ξ)\exp(t\xi) preserves both Yr​e​gY^{reg} and Σ\Sigma. ∎

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