ScalingStacks

Proof. [00QC]

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.

Let x∈𝒜λ∞x\in\mathcal{A}_{\lambda}^{\infty}. If m=0∈Δm=0\in\Delta achieves the maximum Lλ​(x)L_{\lambda}(x), then x∈∂Δλ∨x\in\partial\Delta_{\lambda}^{\vee}. If not, then the maximum is achieved by at least two m∈∂Δm\in\partial\Delta, so x∈𝒜λ,σ∞x\in\mathcal{A}_{\lambda,\sigma}^{\infty} for some σ⊂∂Δ\sigma\subset\partial\Delta with dimσ≥1\dim\sigma\geq 1. ∎

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