ScalingStacks

Definition 2.56 . [02K7]

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

Let XX be a proper variety over 𝕂\mathbb{K}, LΒ―0,…,LΒ―d{\overline{L}}_{0},\dots,{\overline{L}}_{d} integrable metrized line bundles on XX, and YY an integrable dd-dimensional cycle of XX. Let Xβ€²X^{\prime}, Yβ€²Y^{\prime} and s0,…,sds_{0},\dots,s_{d} be as in Definition 2.53. The global height of YY with respect to s0,…,sds_{0},\dots,s_{d} is defined as

hLΒ―0,…,LΒ―d⁑(Y,s0,…,sd)=βˆ‘vβˆˆπ”π•‚nv​hv,Ο†βˆ—β€‹LΒ―0,…,Ο†βˆ—β€‹LΒ―d​(Yβ€²,s0,…,sd)βˆˆβ„.\operatorname{h}_{{\overline{L}}_{0},\dots,{\overline{L}}_{d}}(Y;s_{0},\dots,s_{d})=\sum_{v\in\mathfrak{M}_{\mathbb{K}}}n_{v}\operatorname{h}_{v,\varphi^{\ast}{\overline{L}}_{0},\dots,\varphi^{\ast}{\overline{L}}_{d}}(Y^{\prime};s_{0},\dots,s_{d})\in\mathbb{R}.

The global height of YY, denoted hLΒ―0,…,LΒ―d⁑(Y)\operatorname{h}_{{\overline{L}}_{0},\dots,{\overline{L}}_{d}}(Y), is the class of hLΒ―0,…,LΒ―d⁑(Y,s0,…,sd)\operatorname{h}_{{\overline{L}}_{0},\dots,{\overline{L}}_{d}}(Y;s_{0},\dots,s_{d}) in the quotient group ℝ/def⁑(𝕂×)\mathbb{R}/\!\operatorname{def}(\mathbb{K}^{\times}).

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