ScalingStacks

Proof. [04AH]

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.

Without loss of generality p=0p=0. Let w0w_{0} be any first order deformation. By the maximality of KK, we can choose real numbers aia_{i}, such that the first order deformation w0−∑1Kai​viw_{0}-\sum_{1}^{K}a_{i}v_{i} vanishes at zero, so w0−∑1Kai​1​vi=zk1​w1w_{0}-\sum_{1}^{K}a_{i1}v_{i}=z^{k_{1}}w_{1} for some first order deformation w1w_{1} which is nonzero at the origin. Finite dimensionality means this process can be repeated for only a finite number of times:

{w0=∑ai​1​vi+zk1​w1,w1=∑ai​2​vi+zk2​w2,…wN−1=∑ai​N​vi+zkN​wN.\begin{cases}w_{0}=\sum a_{i1}v_{i}+z^{k_{1}}w_{1},\\ w_{1}=\sum a_{i2}v_{i}+z^{k_{2}}w_{2},\\ \ldots\\ w_{N-1}=\sum a_{iN}v_{i}+z^{k_{N}}w_{N}.\end{cases}

We choose the smallest NN such that v1,…​vK,w0,…​wNv_{1},\ldots v_{K},w_{0},\ldots w_{N} are ℝ\mathbb{R}-linearly dependent as vector fields; notice v1,…​vKv_{1},\ldots v_{K} are linearly independent, so N≥0N\geq 0. We then get a linear relation

f0​(z)​wN=∑1Kfi​(z)​vi,f_{0}(z)w_{N}=\sum_{1}^{K}f_{i}(z)v_{i},

where f0,…​fKf_{0},\ldots f_{K} are polynomials, and f0​(0)≠0f_{0}(0)\neq 0. This implies the claim. ∎

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