We prove arithmetic Hilbert–Samuel type theorems for semi-positive singular hermitian line bundles of finite height. This includes the log-singular metrics of Burgos–Kramer–Kühn. The results apply in particular to line bundles of modular forms on some non-compact Shimura varieties. As an example, we treat the case of Hilbert modular surfaces, establishing an arithmetic analogue of the classical result expressing the dimensions of spaces of cusp forms in terms of special values of Dedekind zeta functions.

We show an arithmetic generalization of the recent work of Lazarsfeld–Mustaţǎ which uses Okounkov bodies to study linear series of line bundles. As applications, we derive a log-concavity inequality on volumes of arithmetic line bundles and an arithmetic Fujita approximation theorem for big line bundles.

Kudla has proposed a general program to relate arithmetic intersection multiplicities of special cycles on Shimura varieties to Fourier coefficients of Eisenstein series. The lowest dimensional case, in which one intersects two codimension one cycles on the integral model of a Shimura curve, has been completed by Kudla, Rapoport and Yang. In the present paper we prove results in a higher dimensional setting. On the integral model of a Shimura surface we consider the intersection of a Shimura curve with a codimension two cycle of complex multiplication points, and relate the intersection to certain cycle classes constructed by Kudla, Rapoport and Yang. As a corollary we deduce that our intersection multiplicities appear as Fourier coefficients of a Hilbert modular form of half-integral weight.

Let $C\subset C_1\times C_2$ be a curve of type $(d_1,d_2)$ in the product of the two curves $C_1$ and $C_2$. Let $\nu$ be a positive integer. We prove that if a certain inequality involving $d_1,\ d_2,\ \nu$, and the genera of the curves $C_1,\ C_2$, and $C$ is satisfied, then the set of points $\{P\in C(\bar{k})\mid[k(P):k]\leq \nu\}$ is finite for any number field $k$. We prove a similar result for integral points of bounded degree on $C$. These results are obtained as consequences of an inequality of Vojta which generalizes the Roth–Wirsing theorem to curves.

In this paper we prove a formula relating the Faltings height of an abelian variety $A$ over $\bar{\mathbb{Q}}$ and the Néron–Tate height of a theta divisor on $A$.

A fundamental object in the theory of arithmetic surfaces is the Green's function associated to the canonical metric. Previous expressions for the canonical Green's function have relied on general functional analysis or, when using specific properties of the canonical metric, the classical Riemann theta function. In this article, we derive a new identity for the canonical Green's function involving the hyperbolic heat kernel. As an application of our results, we obtain bounds for the canonical Green's function through covers and for families of modular curves.

In his Inventiones papers in 1995 and 1998, Borcherds constructed holomorphic automorphic forms Ψ(f) with product expansions on bounded domains D associated to rational quadratic spaces V of signature (n2), starting from vector valued modular forms f of weight 1 − n2 for SL2($\open Z$) which are allowed to have poles at the cusp and whose nonpositive Fourier coefficients are integers cμ(−m), m ≥ 0. In this paper, we use the Siegel–Weil formula to give an explicit formula for the integral κ(Ψ(f)) of − log||Ψ(f)||2 over X = Γ\D, where || ||2 is the Petersson norm. This integral is given by a sum for m0 of quantities cμ(−m)κμ(m), where κμ(m) is the limit as Im(τ) → ∞ of the mth Fourier coefficient of the second term in the Laurent expansion at s = n2 of a certain Eisenstein series E(τs) of weight (n2) + 1 attached to V. The possible role played by the quantity κ(Ψ(f)) in the Arakelov theory of the divisors Zμ(m) on X is explained in the last section.

In this paper, we prove two versions of an arithmetic analogue of Bezout's theorem, subject to some technical restrictions. The basic formula proven is deg(V)h(X∩Y)=h(X)deg(Y)+h(Y)deg(X)+O(1), where X and Y are algebraic cycles varying in properly intersecting families on a regular subvariety VS⊂PSN. The theorem is inspired by the arithmetic Bezout inequality of Bost, Gillet, and Soulé, but improve upon it in two ways. First, we obtain an equality up to O(1) as the intersecting cycles vary in projective families. Second, we generalise this result to intersections of divisors on any regular projective arithmetic variety.