Generalized Vojta-R\'emond inequality

Abstract

Following and generalizing unpublished work of Ange, we prove a generalized version of R\'emond's generalized Vojta inequality. This generalization can be applied to arbitrary products of irreducible positive-dimensional projective varieties, defined over the field of algebraic numbers, instead of powers of one fixed such variety. The proof runs closely along the lines of R\'emond's proof.