ScalingStacks

Definition 5.2 [0367]

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

Definition 5.2

A differential form α\alpha of bidegree (p,q)(p,q) on an open subset VV of Xan{X^{\rm an}} is given by a covering (Vi)i∈I(V_{i})_{i\in I} of VV by tropical charts (Vi,φUi)(V_{i},\varphi_{U_{i}}) of Xan{X^{\rm an}} and superforms αi∈Ap,q​(tropUi​(Vi))\alpha_{i}\in A^{p,q}({\rm trop}_{U_{i}}(V_{i})) such that αi|Vi∩Vj=αj|Vi∩Vj\alpha_{i}|_{V_{i}\cap V_{j}}=\alpha_{j}|_{V_{i}\cap V_{j}} for every i,j∈Ii,j\in I. If α′\alpha^{\prime} is another differential form of bidegree (p,q)(p,q) on VV given by αj′∈Ap,q​(tropUj′​(Vj′))\alpha_{j}^{\prime}\in A^{p,q}({\rm trop}_{U^{\prime}_{j}}(V_{j}^{\prime})) with respect to the tropical charts (Vj′,φUj′)j∈J(V_{j}^{\prime},\varphi_{U^{\prime}_{j}})_{j\in J} covering VV, then we consider α\alpha and α′\alpha^{\prime} as the same differential forms if and only if αi|Vi∩Vj′=αj′|Vi∩Vj′\alpha_{i}|_{V_{i}\cap V_{j}^{\prime}}=\alpha_{j}^{\prime}|_{V_{i}\cap V_{j}^{\prime}} for every i∈Ii\in I and j∈Jj\in J. We denote the space of (p,q)(p,q)-differential forms on VV by Ap,q​(V)A^{p,q}(V). As usual, we define the space of differential forms on VV by A⁡(V):=⨁p,qAp,q​(V)A(V):=\bigoplus_{p,q}A^{p,q}(V).

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