ScalingStacks

Definition 6.1 . [02W4]

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

Let L¯i=(Li,∥⋅∥i){\overline{L}}_{i}=(L_{i},\|\cdot\|_{i}), i=0,…,di=0,\dots,d, be a family of toric line bundles, with integrable toric metrics. Denote by L¯ican{\overline{L}}_{i}^{{\operatorname{can}}} the same line bundles equipped with the canonical metric. Let YY be a dd-dimensional cycle of XΣX_{\Sigma}. Then the toric local height of YY with respect to L¯0,…,L¯d{\overline{L}}_{0},\dots,{\overline{L}}_{d} is

(6.2) hL¯0,…,L¯dtor⁡(Y)=hφ∗​L¯0,…,φ∗​L¯d⁡(Y′,s0,…,sd)−hφ∗​L¯0can,…,φ∗​L¯dcan⁡(Y′,s0,…,sd),\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}_{0},\dots,{\overline{L}}_{d}}(Y)=\operatorname{h}_{\varphi^{\ast}{\overline{L}}_{0},\dots,\varphi^{\ast}{\overline{L}}_{d}}(Y^{\prime};s_{0},\dots,s_{d})-\\ \operatorname{h}_{\varphi^{\ast}{\overline{L}}_{0}^{{\operatorname{can}}},\dots,\varphi^{\ast}{\overline{L}}_{d}^{{\operatorname{can}}}}(Y^{\prime};s_{0},\dots,s_{d}),

where Σ′\Sigma^{\prime} is a regular refinement of Σ\Sigma (hence XΣ′X_{\Sigma^{\prime}} is projective), φ:XΣ′→XΣ\varphi\colon X_{\Sigma^{\prime}}\to X_{\Sigma} is the corresponding proper toric morphism, Y′Y^{\prime} is a cycle of X′X^{\prime} such that φ∗​Y′=Y\varphi_{\ast}Y^{\prime}=Y and s0,…,sds_{0},\dots,s_{d} are sections meeting Y′Y^{\prime} properly. When L¯0=⋯=L¯d=L¯{\overline{L}}_{0}=\dots={\overline{L}}_{d}={\overline{L}} we will denote

hL¯tor⁡(Y)=hL¯0,…,L¯dtor⁡(Y).\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}}(Y)=\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}_{0},\dots,{\overline{L}}_{d}}(Y).

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