Equidistribution theorem over an adelic curve

In this article, we introduce the notion of global adelic space of an arithmetic variety over an adelic curve and prove an equidistribution theorem for a generic sequence of subvarieties. As an application, we prove a Bogomolov type theorem for Abelian varieties over an adelic curve of characteristic 0.