no code implementations • 17 Dec 2020 • Debam Biswas, Zhelun Chen
In the paper "Uniformity of Mordell-Lang" by Vesselin Dimitrov, Philipp Habegger and Ziyang Gao (arXiv:2001. 10276), they use Silverman-Tate's Height Inequality and they give a proof of the same which makes use of Cartier divisors and hence drops the flatness assumption of structure morphisms of compactified abelian schemes.
Number Theory Algebraic Geometry 11G50, 14G40