Local and Canonical Heights of Subvarieties

Classical results of Weil, Neron and Tate are generalized to local heights of subvarieties with respect to hemitian pseudo-divisors. The local heights are well-defined if the intersection of supports is empty. In the archimedean case, the metrics are hermitian and the local heights are defined by a refined version of the *-product of Gillet-Soule developped on compact varieties without assuming regularity. In the non-archimedean case, the local heights are intersection numbers using methods from rigid and formal geometry to handle non-discrete Valuations. To include canonical metrics of line bundles algebraically equivalent to 0, it local Chow cohomology is introduced on formal models over the valuation ring. Using Tate's limit argument, canonical local heights of subvarieties on an abelian variety are obtained with respect to any pseudo-divisors. By integration over an M-field, we deduce corresponding results for global heights of subvarieties.