ScalingStacks

Proof: [03VR]

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: By Lemma 1 from Section 4.1 we know that zi′z_{i}^{\prime} as any invertible function can be written in form ci​zI(i)​(1+o⁡(1))c_{i}z^{I^{(i)}}(1+o(1)) for some nonzero ci∈Kc_{i}\in K and a multi-index I(i)∈𝐙nI^{(i)}\in{\bf Z}^{n}. Vectors I(1),…,I(n)I^{(1)},\dots,I^{(n)} form a basis of 𝐙n{\bf Z}^{n}, as follows from the condition that z1′,…,zn′z_{1}^{\prime},\dots,z_{n}^{\prime} form a coordinate system. Therefore, after applying the change of coordinates zi↦ci​zI(i)z_{i}\mapsto c_{i}z^{I^{(i)}} preserving form ⋀id​zi/zi\bigwedge_{i}dz_{i}/z_{i} up to sign, we may assume that zi′=(1+o⁡(1))​ziz_{i}^{\prime}=(1+o(1))z_{i}. The Jacobian matrix of the transformation (zi)→(zi′)(z_{i})\to(z_{i}^{\prime}) is the identity matrix plus terms of size o⁡(1)o(1). Therefore its determinant has norm equal to 1. ■\blacksquare

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