ScalingStacks

5.8 [036E]

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

5.8

In analogy with differential geometry on manifolds, we set C∞​(V):=A0,0​(V)C^{\infty}(V):=A^{0,0}(V) for any open subset VV of Xan{X^{\rm an}} and a smooth function on VV is just a differential form of bidegree (0,0)(0,0). Since tropicalization maps are continuous, it is clear that a smooth function is a continuous function on VV. By the Stone-Weierstrass theorem, the space Cc∞​(V)C_{c}^{\infty}(V) of smooth functions with compact support in VV is a dense subalgebra of Cc​(V)C_{c}(V) (see [CD12], Proposition 3.3.5).

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