There exists a definition of Arakelov Curve in Arakelov theory?
My question is because Neukirch (Algebraic Number Theory, Chapter III) defined Arakelov divisors in the set $X=Spec(\mathcal O_K)\setminus \{0\}\cup \{infinite\ primes \ of \ K\}$.
$K$ is a number field
Thank you all.