I have a question related to the preprint "Heights and metrics with logarithmic singularities" by G. Freixas i Montplet.
Let $X$ be an arithmetic variety with arithmetic divisor $D$ how can we introduce an arithmetic divisor with conic singularities? Here is the definition of conical singularities on a Kähler variety
I am looking for an arithmetic version.
If an arithmetic variety be of general type can we say $Ric(\omega)=-\omega$ on $X(\mathbb C)$ ? What about the definition of Kähler-Einstein metric on arithmetic varieties? When does it exist?