ScalingStacks

Definition 2.17 . [02IX]

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

Let (𝒳,β„’,e)({\mathcal{X}},{\mathcal{L}},e) be a proper model of (X,L)(X,L). Let ss be a local section of LanL^{{\text{\rm an}}} defined at a point p∈Xanp\in X^{{\text{\rm an}}}. Let π’°βŠ‚π’³\mathcal{U}\subset{\mathcal{X}} be a trivializing open neighbourhood of red⁑(p){\operatorname{red}}(p) and Οƒ\sigma a generator of β„’|𝒰{\mathcal{L}}|_{{\mathcal{U}}}. Let U=π’°βˆ©XU={\mathcal{U}}\cap X and λ∈π’ͺUan\lambda\in{\mathcal{O}}_{U^{{\text{\rm an}}}} such that sβŠ—e=λ​σs^{\otimes e}=\lambda\sigma on UanU^{{\text{\rm an}}}. Then, the metric induced by the proper model (𝒳,β„’,e)({\mathcal{X}},{\mathcal{L}},e) on LanL^{{\text{\rm an}}},, denoted βˆ₯β‹…βˆ₯𝒳,β„’,e\|\cdot\|_{{\mathcal{X}},{\mathcal{L}},e}, is given by

β€–s⁑(p)‖𝒳,β„’,e=|λ⁑(p)|1/e.\|s(p)\|_{{\mathcal{X}},{\mathcal{L}},e}=|\lambda(p)|^{1/e}.

This definition does neither depend on the choice of the open set 𝒰{\mathcal{U}} nor of the section Οƒ\sigma, and it gives a metric on LanL^{{\text{\rm an}}}. The metrics on LanL^{{\text{\rm an}}} obtained in this way are called algebraic, and a pair LΒ―:=(L,βˆ₯β‹…βˆ₯𝒳,β„’,e){\overline{L}}:=(L,\|\cdot\|_{{\mathcal{X}},{\mathcal{L}},e}) is called an algebraic metrized line bundle.

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