An arithmetic analogue of Clifford's theorem.
Number fields can be viewed as analogues of curves over fields. Here we use metrized line bundles as analogues of divisors on curves. Van der Geer and Schoof gave a definition of a function on metrized line bundles that resembles properties of the dimension of , where is a divisor on a curve . In particular, they get a direct analogue of the Rieman-Roch theorem. For three theorems of curves, notably Clifford’s theorem, we will propose arithmetic analogues.
An elementary proof is given of an arithmetic formula, which was stated but not proved by Liouville. An application of this formula yields a formula for the number of representations of a positive integer as the sum of twelve triangular numbers.
Let denote Euler’s totient function. A century-old conjecture of Carmichael asserts that for every , the equation has a solution . This suggests defining as the number of solutions to the equation . (So Carmichael’s conjecture asserts that always.) Results on are scattered throughout the literature. For example, Sierpiński conjectured, and Ford proved, that the range of contains every natural number . Also, the maximal order of has been investigated by Erdős and Pomerance. In...
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...