ScalingStacks

3.2 [0356]

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

3.2

Let π’ž{\mathscr{C}} be a polyhedral complex in NℝN_{\mathbb{R}}. A superform on π’ž{\mathscr{C}} is the restriction of a superform on (an open subset of) NℝN_{\mathbb{R}} to |π’ž||{\mathscr{C}}|. This means that two superforms agree if their restrictions to any polyhedron of |π’ž||{\mathscr{C}}| agree. Let A⁑(π’ž)A({\mathscr{C}}) be the space of superforms on π’ž{\mathscr{C}}. It is an alternating algebra with respect to the induced wedge product. We have also differential operators dd, dβ€²d^{\prime} and dβ€²β€²d^{\prime\prime} on A⁑(π’ž)A({\mathscr{C}}) given by restriction of the corresponding operators on A⁑(Nℝ)A(N_{\mathbb{R}}). Let Ap,q​(π’ž)A^{p,q}({\mathscr{C}}) be the space of (p,q)(p,q)-superforms on π’ž{\mathscr{C}}. The support of α∈A⁑(π’ž)\alpha\in A({\mathscr{C}}) is the complement of {Ο‰βˆˆ|π’ž|∣α vanishes identically in a neighbourhood ofΒ Ο‰}\{\omega\in|{\mathscr{C}}|\mid\text{$\alpha$ vanishes identically in a neighbourhood of $\omega$}\} in |π’ž||{\mathscr{C}}|. We denote by Acp,q​(π’ž)A_{c}^{p,q}({\mathscr{C}}) the subspace of Ap,q​(π’ž)A^{p,q}({\mathscr{C}}) of superforms of compact support.

Let Nβ€²N^{\prime} be a free abelian group of rank rβ€²r^{\prime} and let F:Nℝ′→NℝF:N^{\prime}_{\mathbb{R}}\rightarrow N_{\mathbb{R}} be an affine map. Suppose that π’žβ€²{\mathscr{C}}^{\prime} is a polyhedral complex of Nℝ′N^{\prime}_{\mathbb{R}} with F⁑(|π’žβ€²|)βŠ‚|π’ž|F(|{\mathscr{C}}^{\prime}|)\subset|{\mathscr{C}}|, then the pull-back in 2.3 induces a pull-back Fβˆ—:Ap,q​(π’ž)β†’Ap,q​(π’žβ€²)F^{*}:A^{p,q}({\mathscr{C}})\rightarrow A^{p,q}({\mathscr{C}}^{\prime}).

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