Successive minima on arithmetic varieties