ScalingStacks

2.2 [034S]

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

2.2

There is a differential operator d′:Ap,q​(U)→Ap+1,q​(U)d^{\prime}:A^{p,q}(U)\rightarrow A^{p+1,q}(U) given by

d′​α:=∑|I|=p,|J|=q∑i=1r∂αI​J∂xi​d′​xi∧d′​xI∧d′′​xJ.d^{\prime}\alpha:=\sum_{|I|=p,|J|=q}\sum_{i=1}^{r}\frac{\partial\alpha_{IJ}}{\partial x_{i}}d^{\prime}x_{i}\wedge d^{\prime}x_{I}\wedge{d^{\prime\prime}x_{J}}.

This does not depend on the choice of coordinates as d′=d⊗idd^{\prime}=d\otimes{\rm id} on Ap,q​(U)=Ap​(U,ℝ)⊗ℤΛq​MA^{p,q}(U)=A^{p}(U,{\mathbb{R}})\otimes_{\mathbb{Z}}\Lambda^{q}M is an intrinsic characterization using the classical differential dd on the space Ap​(U,ℝ)A^{p}(U,{\mathbb{R}}) of real smooth pp-forms. Similarly, we define a differential operator d′′:Ap,q​(U)→Ap,q+1​(U)d^{\prime\prime}:A^{p,q}(U)\rightarrow A^{p,q+1}(U) by

d′′​α:=∑|I|=p,|J|=q∑j=1r∂αI​J∂xj​d′′​xj∧d′​xI∧d′′​xJ.d^{\prime\prime}\alpha:=\sum_{|I|=p,|J|=q}\sum_{j=1}^{r}\frac{\partial\alpha_{IJ}}{\partial x_{j}}{d^{\prime\prime}x_{j}}\wedge d^{\prime}x_{I}\wedge{d^{\prime\prime}x_{J}}.

By linearity, we extend these differential operators to A⁡(U)A(U). Moreover, we set d:=d′+d′′d:=d^{\prime}+d^{\prime\prime}.

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