Definable Norms on Riemann-Zariski Spaces

I will talk about a joint work with Antoine Sedillot. We study sup-norms of sections of metrized line bundles for families of arithmetic varieties. Using Riemann-Zariski spaces we obtain formulas that imply new definability results in the context of globally valued fields. I will outline our setup and motivations.