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
Let (V,φU)(V,\varphi_{U}) be a tropical chart of Xan{X^{\rm an}} and let α∈Ap,q(V)\alpha\in A^{p,q}(V) be given by αU∈Ap,q(tropU(V))\alpha_{U}\in A^{p,q}({\rm trop}_{U}(V)). Then α=0\alpha=0 in Ap,q(V)A^{p,q}(V) if and only if αU=0\alpha_{U}=0 in Ap,q(tropU(V))A^{p,q}({\rm trop}_{U}(V)).
109 source-bound objects; statement and proof tags appear beside their original text.