Affine Root Systems and Dedekind's ?-Function.
Let be an arithmetic ring of Krull dimension at most 1, and an -pointed stable curve of genus . Write . The invertible sheaf inherits a hermitian structure from the dual of the hyperbolic metric on the Riemann surface . In this article we prove an arithmetic Riemann-Roch type theorem that computes the arithmetic self-intersection of . The theorem is applied to modular curves , or , prime, with sections given by the cusps. We show , with when . Here is the Selberg zeta...