ScalingStacks

Definition B.2 . [05C1]

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 B.2.

Let 𝒳\mathscr{X} be an algebraic scheme over K∘K^{\circ}, π”ž\mathfrak{a} a vertical coherent fractional ideal sheaf on 𝒳\mathscr{X} (i.e. π”ž\mathfrak{a} is a coherent subsheaf of the sheaf of total quotient rings 𝒦𝒳\mathcal{K}_{\mathscr{X}} such that after multiplying with some element of Kβˆ˜βˆ–{0}K^{\circ}\setminus\{0\} it becomes a vertical ideal sheaf) and red:𝒳an→𝔛~\red:\mathscr{X}^{\textup{an}}\rightarrow\tilde{\mathfrak{X}} the reduction map. We define the function log⁑|π”ž|:𝒳an→ℝ\log|\mathfrak{a}|:\mathscr{X}^{\textup{an}}\rightarrow\mathbb{R} by log|π”ž|(x):=sup{log⁑|f⁑(x)||fβˆˆπ”žred⁑(x)}\log|\mathfrak{a}|(x):=\sup\left\{\log|f(x)|\;\Big|\;f\in\mathfrak{a}_{\red(x)}\right\}. The supremum is actually a maximum as for a set of generators f1,…,frf_{1},...,f_{r} of π”žred⁑(x)\mathfrak{a}_{\red(x)} we have sup{log⁑|f⁑(x)||fβˆˆπ”žred⁑(x)}=max⁑{log⁑|fi​(x)|| 1≀i≀r}\sup\left\{\log|f(x)|\;\Big|\;f\in\mathfrak{a}_{\red(x)}\right\}=\max\left\{\log|f_{i}(x)|\;\Big|\;1\leq i\leq r\right\}.

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