The modular height of an abelian variety and its finiteness property

In this note, we propose the modular height of an abelian variety defined over a field of finite type over Q. Moreover, we prove its finiteness property.