An Arakelov theoretic proof of the equality of conductor and discriminant

We establish an arithmetic intersection theory in the framework of Arakelov geometry over adelic curves. To each projective scheme over an adelic curve, we associate a multi-homogenous form on the group of adelic Cartier divisors, which can be written as an integral of local intersection numbers along the adelic curve. The integrability of the local intersection number is justified by using the theory of resultants.

Let A be a complete discrete valuation ring with possibly imperfect residue field. The purpose of this paper is to give a notion of conductor for Galois representations over A that generalizes the classical Artin conductor. The definition rests on two general results: there is a moduli space that parametrizes the ways of modifying A so that its residue field is perfect, and any information about a Galois-theoretic object over A can be recovered from its pullback to the (resid...

We conjecture that the logarithm of the absolute value of the constant in the functional equation of the Hasse-Weil L-function of a variety X over Z is equal to a certain Arakelov de Rham Euler characteristic of X. This generalizes the fact that the constant in the functional equation of the zeta function of a number field is the square root of the discriminant of its ring of integers. We show that this conjecture is equivalent to Bloch's conjecture which expresses the conduc...

For an arithmetic surface $X\to B=\operatorname{Spec} O_K$ the Deligne pairing $\left <\,,\,\right > \colon \operatorname{Pic}(X) \times \operatorname{Pic}(X) \to \operatorname{Pic}(B)$ gives the "schematic contribution" to the Arakelov intersection number. We present an idelic and adelic interpretation of the Deligne pairing; this is the first crucial step for a full idelic and adelic interpretation of the Arakelov intersection number. For the idelic approach we show that th...

We work with completed adelic structures on an arithmetic surface and justify that the construction under consideration is compatible with Arakelov geometry. The ring of completed adeles is algebraically and topologically self-dual and fundamental adelic subspaces are self orthogonal with respect to a natural differential pairing. We show that the Arakelov intersection pairing can be lifted to an idelic intersection pairing.

In this article, we generalize several fundamental results for arithmetic divisors, such as the continuity of the volume function, the generalized Hodge index theorem, Fujita's approximation theorem for arithmetic divisors and Zariski decompositions for arithmetic divisors on arithmetic surfaces, to the case of the adelic arithmetic divisors.

In this paper, we will prove an analogue of Fujita's approximation theorem under the framework of Arakelov theory over adelic curves, which proves a conjecture of Huayi Chen and Atsushi Moriwaki.

In this paper, we give a numerical characterization of nef arithmetic R-Cartier divisors of C^0-type on an arithmetic surface. Namely an arithmetic R-Cartier divisor D of C^0-type is nef if and only if D is pseudo-effective and deg(D^2) = vol(D).

We consider heights of horizontal irreducible divisors on an arithmetic surface with respect to some hermitian line bundle. We obtain both lower and upper bounds for these heights. The results are different and sometimes stronger that those of S.Zhang on the same question. The case of the relative dualizing sheaf with the Arakelov metric is made especially explicit.

Given a choice of metric on the Riemann surface, the regularized determinant of Laplacian (analytic torsion) is defined via the complex power of elliptic operators: $$ \det(\Delta)=\exp(-\zeta'(0)) $$ In this paper we gave an asymptotic effective estimate of analytic torsion under Arakelov metric. In particular, after taking the logarithm it is asymptotically upper bounded by $g$ for $g>1$. The construction of a cohomology theory for arithmetic surfaces in Arakelov theory has...