Differentiability of the arithmetic volume function
  We introduce the positive intersection product in Arakelov geometry and prove that the arithmetic volume function is continuously differentiable. As applications, we compute the distribution function of the asymptotic measure of a Hermitian line bundle and several other arithmetic invariants. 
Huayi Chen (IMJ)