Remark 4.4 . [05AH]
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
Remark 4.4.
There is a close connection of the Monge-Ampère measure with the intersection product on formal schemes as defined in [Gub98]: Assume that has irreducible, reduced and boundaryless generic fibre and reduced special fibre. In addition to let be a formal line bundle on which is trivial on the generic fibre and set where is the formal metric induced by . Suppose that has compact support and let be the Cartier divisor on induced by as in [Gub98, Remark 3.1]. We examine the Weil divisor associated to as defined in [Gub98, §3]. Since is trivial on the generic fibre, the horizontal part of is zero while the vertical part is by definition ([Gub98, 3.8]) given by . Now since has no boundary, every irreducible component of is proper by Corollary A.4 and together with the definition of the intersection product ([Gub98, §4]) we obtain