### Current browse context:

math.AG

### Change to browse by:

### References & Citations

# Mathematics > Algebraic Geometry

# Title: Riemann-Roch for $\overline{\text{Spec}\mathbb Z}$

(Submitted on 3 May 2022)

Abstract: We prove a Riemann-Roch formula for Arakelov divisors on $\overline{\text{Spec}\mathbb Z}$ equating the integer valued Euler characteristic with a simple modification of the traditional expression (i. e. the degree of the divisor plus log 2). The integer valued topological side involves besides the ceiling function, the division by log 3. The notion of dimension and the definition of the cohomologies are based on the universal arithmetic over the sphere spectrum which we developed using Segal's Gamma rings. This new perspective allows us to parallel Weil's adelic proof of the Riemann-Roch formula for function fields including the use of Pontryagin duality.

Link back to: arXiv, form interface, contact.