Let $K$ be a number field, then the Arakelov geometry of $\operatorname{Spec }O_K$ can be interpreted by means of the adelic ring $\mathbb A_K$. In particular, a key ingredient is the product formula which says that $\prod |a|_v=1$ for any $a\in K^\ast$ and any valuation $v$ attached to the compactification $\widehat{\operatorname{Spec }O_K}$. In particular, the product formula is a very interesting relation between the archimedian e non-archimedian data of $\operatorname{Spec }O_K$.

Now consider a regular arithmetic surface $X\to \operatorname{Spec }O_K$. Here the Arakelov geometry of $\widehat X$ is "more artificial", ideed archimedian fibers and non-archimedian fibers are treated in a complete different way.

Do we have an analogue concept of a "product formula" for $\widehat X$? In other words, is there any "equation" which relates archimedian and non-archimedian data?