ScalingStacks

Definition 3.10 . [01EX]

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

Let h∈PA⁡(Δ𝒳)𝐙h\in\PA(\Delta_{\mathcal{X}})_{\mathbf{Z}}. For each J⊂IJ\subset I such that EJ≠∅E_{J}\neq\emptyset we set 𝒳J:=𝒳∖⋃i∈I∖JEi\mathcal{X}_{J}:=\mathcal{X}\setminus\bigcup_{i\in I\setminus J}E_{i} and define a vertical fractional ideal sheaf 𝔞h\mathfrak{a}_{h} on 𝒳\mathcal{X} by letting for each JJ

(3.6) 𝔞h|𝒳J:=∑{𝒪𝒳J(D),D∈Div0(𝒳) such that ⟨D,⋅⟩≤h on σJ}.\mathfrak{a}_{h}|_{\mathcal{X}_{J}}:=\sum\left\{\mathcal{O}_{\mathcal{X}_{J}}(D),\,D\in\Div_{0}(\mathcal{X})\text{ such that }\langle D,\cdot\rangle\leq h\text{ on }\sigma_{J}\right\}.

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