Riemann–Roch für den Ring ℤ

Wir zeigen, dass die Arbeit über die absolute Basis 𝕊 (die kategorielle Version des Kugelspektrums) anstelle von 𝕊±1 unsere vorherige Riemann–Roch-Formel für Specℤ ¯ verbessert. Die Formel setzt die (ganzzahligen) Euler-Charakteristik eines Arakelov-Divisors gleich der Summe des Grades des Divisors (unter Verwendung von Logarithmen zur Basis 2) und der Zahl 1, was das Verständnis des Rings ℤ als Ring der Polynome in einer Variablen über der absoluten Basis 𝕊, nämlich 𝕊X,1+1=X+X 2, bestätigt.