An Arithmetic Characterization of the Rational Homotopy Groups of Certain Spaces.
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...