ScalingStacks

Proposition 2.2 . [01E6]

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

Proposition 2.2.

For each model ๐’ณ\mathcal{X}, the subgroup of C0โ€‹(X)C^{0}(X) spanned logโก|๐”ž|\log|\mathfrak{a}| with ๐”ž\mathfrak{a} ranging over all vertical (fractional) ideal sheaves of ๐’ณ\mathcal{X} coincides with ๐’Ÿโ€‹(X)๐™\mathcal{D}(X)_{\mathbf{Z}}. It is furthermore stable under max and separates points of XX.

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