ScalingStacks

Definition 3.4 . [059Y]

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

Let XX be a proper scheme over KK and LL a line bundle on XX. An algebraic K∘K^{\circ}-model of XX is a proper flat scheme 𝒳\mathscr{X} over K∘K^{\circ} with a fixed isomorphism from the generic fibre 𝒳η\mathscr{X}_{\eta} to XX. An algebraic K∘K^{\circ}-model of (X,L)(X,L) is a pair (𝒳,β„’)(\mathscr{X},\mathscr{L}) where 𝒳\mathscr{X} is an algebraic K∘K^{\circ}-model of XX and β„’\mathscr{L} is a line bundle on 𝒳\mathscr{X} with a fixed isomorphism from β„’|X\mathscr{L}\Big|_{X} to LL. An algebraic K∘K^{\circ}-model of (X,L)(X,L) gives rise to a formal K∘K^{\circ}-model of (Xan,Lan)(X^{\textup{an}},L^{\textup{an}}) by formal completion. Hence by the above, an algebraic model of (X,L)(X,L) induces a formal metric on LanL^{\textup{an}}. We call such metrics algebraic metrics.

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