ScalingStacks

Remark 3.10.3 . [04ZV]

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

Remark 3.10.3.

By Proposition 3.8, d​GUdG_{U} is smooth. This is compatible with the above expansion. For example, from the expansion we see the leading term involving forms of type d​xi∧d​xj∧d​yβ∧d​yγdx_{i}\wedge dx_{j}\wedge dy_{\beta}\wedge dy_{\gamma} is given by

(3.49) (12​r​yβ​Ai​j​α​β​d​yα^−14​Ai​j​α​β​d​r∧d​yα​β^)∧d​xi∧d​xj.(\frac{1}{2r}y_{\beta}A_{ij\alpha\beta}dy_{\hat{\alpha}}-\frac{1}{4}A_{ij\alpha\beta}dr\wedge dy_{\widehat{\alpha\beta}})\wedge dx_{i}\wedge dx_{j}.

Elementary calculation shows this vanishes.

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