ScalingStacks

Proof. [02K6]

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

Proof.

It is enough to prove that every prime cycle is integrable. Applying the Chow Lemma to the support of the cycle and using that the inverse image of a quasi-algebraic metric is quasi-algebraic, we are reduced to the case when XX is projective.

We proceed by induction on dd. For d=−1d=-1, the statement is clear, and so we consider the case when d≥0d\geq 0. Let YY be a dd-dimensional cycle of XX and sis_{i}, i=0,…,di=0,\dots,d, rational sections of LiL_{i} that intersect YY properly. Let (𝒳,ℒd)({\mathcal{X}},{\mathcal{L}}_{d}) be a proper model over 𝕂S∘\mathbb{K}^{\circ}_{S} of (X,Ld⊗ed)(X,L_{d}^{\otimes e_{d}}). Then sd⊗eds_{d}^{\otimes e_{d}} is a non-zero rational section of ℒd{\mathcal{L}}_{d} and so it defines a finite number of vertical components. Hence, for all places v∉Sv\notin S which are not below any of these vertical components,

hv,L¯0,…,L¯d⁡(Y,s0,…,sd)=hv,L¯0,…,L¯d−1⁡(Y⋅div⁡(sd),s0,…,sd−1),\operatorname{h}_{v,{\overline{L}}_{0},\dots,{\overline{L}}_{d}}(Y;s_{0},\dots,s_{d})=\operatorname{h}_{v,{\overline{L}}_{0},\dots,{\overline{L}}_{d-1}}(Y\cdot\operatorname{div}(s_{d});s_{0},\dots,s_{d-1}),

thanks to the equation (2.43). The statement follows then from the inductive hypothesis. ∎

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