Direct images in non-archimedean Arakelov theory
We develop a formalism of direct images for metrized vector bundles in the context of the non-archimedean Arakelov theory introduced in our joint work with S. Bloch. We prove a Riemann-Roch-Grothendieck theorem for this direct image.