ScalingStacks

Proof. [04CQ]

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.

The incline angle of the tangent vector of F⁡(∂Σ)F(\partial\Sigma) is equal to the Lagrangian angle mod π​ℤ\pi\mathbb{Z}. Together with Claim 3.22 this implies |arg⁡F|≤π2−ϵ|\arg F|\leq\frac{\pi}{2}-\epsilon on the ∂Σ\partial\Sigma, whence the same bound holds on Σ\Sigma by the maximum principle for holomorphic functions. ∎

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