ScalingStacks

Proof. [02CL]

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.

If qq is a fixed point, then clearly q∈Σq\in\Sigma. Choose a tangent cone Yq=ℝ×ℂ2/ΓY_{q}=\mathbb{R}\times\mathbb{C}^{2}/\Gamma at qq. The action of ψ\psi induces a one parameter group of isometric actions on YqY_{q}, which fixes the origin. On the other hand on the smooth part of YqY_{q} the corresponding infinitesimal action is given by a Killing field of constant length. Clearly such a Killing field can not have zeroes. Contradiction. ∎

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