ScalingStacks

Proof. [0504]

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.

First by writing out the terms and re-arranging the subscripts and using the skew symmetry of Ai​α​βA_{i\alpha\beta} we get

(3.116) Ai,α+1,β​Aj,α+2,γ​yβ​yγ​d​yα\displaystyle A_{i,\alpha+1,\beta}A_{j,\alpha+2,\gamma}y_{\beta}y_{\gamma}dy_{\alpha}
=\displaystyle= (Ai,α+1,α​Aj,α+2,α​yα2+Ai,α+1,α​Aj,α+2,α+1​yα​yα+1CLOSE\displaystyle\Big(A_{i,\alpha+1,\alpha}A_{j,\alpha+2,\alpha}y_{\alpha}^{2}+A_{i,\alpha+1,\alpha}A_{j,\alpha+2,\alpha+1}y_{\alpha}y_{\alpha+1}
OPEN+Ai,α+1,α+2​Aj,α+2,α​yα​yα+2+Ai,α+1,α+2​Aj,α+2,α+1​yα+1​yα+2)​d​yα\displaystyle+A_{i,\alpha+1,\alpha+2}A_{j,\alpha+2,\alpha}y_{\alpha}y_{\alpha+2}+A_{i,\alpha+1,\alpha+2}A_{j,\alpha+2,\alpha+1}y_{\alpha+1}y_{\alpha+2}\Big)dy_{\alpha}
=\displaystyle= Ai,α,α+1​Aj,α,α+2​yα2​d​yα−Ai​α,α+2​Aj​α,α+1​yα​yα+2​d​yα+2\displaystyle A_{i,\alpha,\alpha+1}A_{j,\alpha,\alpha+2}y_{\alpha}^{2}dy_{\alpha}-A_{i\alpha,\alpha+2}A_{j\alpha,\alpha+1}y_{\alpha}y_{\alpha+2}dy_{\alpha+2}
−Ai,α,α+2​Aj,α,α+1​yα​yα+1​d​yα+1−Ai,α,α+1​Aj,α,α+1​yα​yα+1​d​yα+2\displaystyle-A_{i,\alpha,\alpha+2}A_{j,\alpha,\alpha+1}y_{\alpha}y_{\alpha+1}dy_{\alpha+1}-A_{i,\alpha,\alpha+1}A_{j,\alpha,\alpha+1}y_{\alpha}y_{\alpha+1}dy_{\alpha+2}

Now we can skew-symmetrize with respect to ii and jj

(3.117) Ai,α+1,β​Aj,α+2,γ​yβ​yγ​d​yα∧d​xi∧d​xj=12​(Ai,α+1,β​Aj,α+2,γ−Aj,α+1,β​Ai,α+2,γ)​yβ​yγ​d​yα∧d​xi∧d​xjA_{i,\alpha+1,\beta}A_{j,\alpha+2,\gamma}y_{\beta}y_{\gamma}dy_{\alpha}\wedge dx_{i}\wedge dx_{j}=\frac{1}{2}(A_{i,\alpha+1,\beta}A_{j,\alpha+2,\gamma}-A_{j,\alpha+1,\beta}A_{i,\alpha+2,\gamma})y_{\beta}y_{\gamma}dy_{\alpha}\wedge dx_{i}\wedge dx_{j}

Correspondingly by skew-symmetrizing each term of (3.116) with respect to ii and jj, we get

(3.118) 12​(Ai,α+1,β​Aj,α+2,γ−Aj,α+1,β​Ai,α+2,γ)​yβ​yγ​d​yα\displaystyle\frac{1}{2}(A_{i,\alpha+1,\beta}A_{j,\alpha+2,\gamma}-A_{j,\alpha+1,\beta}A_{i,\alpha+2,\gamma})y_{\beta}y_{\gamma}dy_{\alpha}
=\displaystyle= 12​(Ai,α,α+1​Aj,α,α+2−Ai​α,α+2​Aj​α,α+1)​yα​(yα​d​yα+yα+1​d​yα+1+yα+2​d​yα+2)\displaystyle\frac{1}{2}(A_{i,\alpha,\alpha+1}A_{j,\alpha,\alpha+2}-A_{i\alpha,\alpha+2}A_{j\alpha,\alpha+1})y_{\alpha}(y_{\alpha}dy_{\alpha}+y_{\alpha+1}dy_{\alpha+1}+y_{\alpha+2}dy_{\alpha+2})
=\displaystyle= 12​(Ai​α,α+1​Aj​α,α+2−Ai​α,α+2​Aj​α,α+1)​yα⋅r​d​r\displaystyle\frac{1}{2}(A_{i\alpha,\alpha+1}A_{j\alpha,\alpha+2}-A_{i\alpha,\alpha+2}A_{j\alpha,\alpha+1})y_{\alpha}\cdot rdr

∎

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