Arithmetic height functions over finitely generated fields

In this paper, we propose a new height function for a variety defined over a finitely generated field over Q. For this height function, we prove Northcott's theorem and Bogomolov's conjecture, so that we can recover the original Raynaud's theorem (Manin-Mumford's conjecture).