Riemann–Roch for the ring ℤ

We show that by working over the absolute base 𝕊 (the categorical version of the sphere spectrum) instead of 𝕊±1 improves our previous Riemann–Roch formula for Specℤ ¯. The formula equates the (integer valued) Euler characteristic of an Arakelov divisor with the sum of the degree of the divisor (using logarithms with base 2) and the number 1, thus confirming the understanding of the ring ℤ as a ring of polynomials in one variable over the absolute base 𝕊, namely 𝕊X,1+1=X+X 2 .