ScalingStacks

Proof. [02LP]

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∈Mℝx\in M_{\mathbb{R}} such that H∨​(x)∈stab⁡(g)H^{\vee}(x)\in\operatorname{stab}(g). By the definition of the stability set, supv∈Qℝ(g⁡(v)−⟨H∨​(x),v⟩)<∞\sup_{v\in Q_{\mathbb{R}}}(g(v)-\langle H^{\vee}(x),v\rangle)<\infty. Thus, for any u∈Nℝu\in N_{\mathbb{R}},

supv∈Qℝ(g⁡(v)−⟨H∨​(x),v⟩)\displaystyle\sup_{v\in Q_{\mathbb{R}}}(g(v)-\langle H^{\vee}(x),v\rangle) =supv∈Qℝ(g⁡(v)−⟨x,H⁡(v)⟩)\displaystyle=\sup_{v\in Q_{\mathbb{R}}}(g(v)-\langle x,H(v)\rangle)
≥supv∈H−1​(u)(g⁡(v)−⟨x,H⁡(v)⟩)=supv∈H−1​(u)g⁡(v)−⟨x,u⟩\displaystyle\geq\sup_{v\in H^{-1}(u)}(g(v)-\langle x,H(v)\rangle)=\sup_{v\in H^{-1}(u)}g(v)-\langle x,u\rangle

and so supv∈H−1​(u)g⁡(v)\sup_{v\in H^{-1}(u)}g(v) is bounded above, as stated. ∎

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