ScalingStacks

Definition 2.72 . [00JC]

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 2.72.

For any open subset UU of ๐”โก(๐’œ)\mathfrak{M}(\mathcal{A}), let ๐’ช๐”โก(๐’œ)\mathscr{O}_{\mathfrak{M}(\mathcal{A})} be the pre-sheaf of kk-algebras (with respect to the canonical topology) which assigns UU the limit

๐’ช๐”โก(๐’œ)โ€‹(U):=limโ†VโŠ‚U,V special domainโก๐’œV\mathscr{O}_{\mathfrak{M}(\mathcal{A})}(U):=\varprojlim_{V\subset U,\text{V special domain}}\mathcal{A}_{V}

It is also a sheaf thanks to the compactness of special domains under canonical topology. This is called the structural sheaf of ๐”โก(๐’œ)\mathfrak{M}(\mathcal{A}).

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