ScalingStacks

6.1 [036Y]

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

6.1

Let (Vi,φUi)i∈I(V_{i},\varphi_{U_{i}})_{i\in I} be finitely many tropical charts contained in ViV_{i} and let Δi\Delta_{i} be a polytope contained in the open subset Ωi:=tropUi​(Vi)\Omega_{i}:={\rm trop}_{U_{i}}(V_{i}) of Trop⁡(Ui){\rm Trop}(U_{i}). We consider the space Ap,q(Vi,Ui,Δi:i∈I)A^{p,q}(V_{i},U_{i},\Delta_{i}:i\in I) of (p,q)(p,q)-forms α\alpha on WW with support in C:=⋃i∈ItropUi−1​(Δi)C:=\bigcup_{i\in I}{\rm trop}_{U_{i}}^{-1}(\Delta_{i}) such that α\alpha is given on ViV_{i} by a superform αi∈Ap,q​(Ωi)\alpha_{i}\in A^{p,q}(\Omega_{i}) for every i∈Ii\in I. Since the tropicalization map is proper (see 4.4), the set CC is compact. Similarly as in the complex case, we endow Ap,q(Vi,Ui,Δi:i∈I)A^{p,q}(V_{i},U_{i},\Delta_{i}:i\in I) with the structure of a locally convex space such that a sequence αk\alpha_{k} converges to α\alpha if and only if all derivatives of the superforms αk,i\alpha_{k,i} converge uniformly to the derivatives of the superform αi\alpha_{i} on Δi\Delta_{i}. Here, αk,i\alpha_{k,i} (resp. αi\alpha_{i}) is the superform on Ωi\Omega_{i} which defines αk\alpha_{k} (resp. α\alpha) on ViV_{i} and we mean more precisely the derivatives of the coefficients of αk,i|Δi\alpha_{k,i}|_{\Delta_{i}} (resp. αi|Δi\alpha_{i}|_{\Delta_{i}}). It follows easily from Proposition 4.16 that Acp,q​(W)A_{c}^{p,q}(W) is the union of all spaces Ap,q(Vi,Ui,Δi:i∈I)A^{p,q}(V_{i},U_{i},\Delta_{i}:i\in I) with (Vi,Ui,Δi:i∈I)(V_{i},U_{i},\Delta_{i}:i\in I) ranging over all possibilities as above.

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