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 be a proper scheme over and a line bundle on . An algebraic -model of is a proper flat scheme over with a fixed isomorphism from the generic fibre to . An algebraic -model of is a pair where is an algebraic -model of and is a line bundle on with a fixed isomorphism from to . An algebraic -model of gives rise to a formal -model of by formal completion. Hence by the above, an algebraic model of induces a formal metric on . We call such metrics algebraic metrics.