ScalingStacks

Lemma 3.24 . [02L2]

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

Lemma 3.24.

Let x∈stab⁡(f)x\in\operatorname{stab}(f). Then Cx={u∈Nℝ∣Pf​(u,x)=0}.C_{x}=\{u\in N_{\mathbb{R}}\mid P_{f}(u,x)=0\}. In other words, the set CxC_{x} is characterized by the condition

(3.25) f⁡(u)=⟨x,u⟩−f∨​(x)​ for ​u∈Cxandf⁡(u)<⟨x,u⟩−f∨​(x)​ for ​u∉Cx.f(u)=\langle x,u\rangle-f^{\vee}(x)\text{ for }u\in C_{x}\quad\text{and}\quad f(u)<\langle x,u\rangle-f^{\vee}(x)\text{ for }u\not\in C_{x}.

Thus the restriction of ff to CxC_{x} is an affine function with linear part given by xx, and CxC_{x} is the maximal subset where this property holds.

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