An Arakelov theoretic proof of the equality of conductor and discriminant

The purpose of this article is to initiate Arakelov theory in a noncommutative setting. More precisely, we are concerned with Arakelov theory of noncommutative arithmetic curves. Our first main result is an arithmetic Riemann-Roch formula in this setup. We proceed with introducing the Grothendieck group of arithmetic vector bundles on a noncommutative arithmetic curve and show that there is a uniquely determined degree map, which we then use to define a height function. We pr...

In this article, we prove a conductor formula in a geometric situation that generalizes the Grothendieck-Ogg-Shafarevich formula. Our approach uses the ramification theory of Abbes and Saito, and relies on Tsushima's refined characteristic class.

In this survey, written for the proceedings of the VII meeting of the CNTA held in May 2002 in Montreal, we describe how Connes' theory of spectral triples provides a unified view, via noncommutative geometry, of the archimedean and the totally split degenerate fibers of an arithmetic surface.

We consider generalizations of Szpiro's classical discriminant conjecture to hyperelliptic curves over a number field $K$, and to smooth, projective and geometrically connected curves $X$ over $K$ of genus at least one. The main results give effective exponential versions of the generalized conjectures for some curves, including all curves $X$ of genus one or two. We obtain in particular exponential versions of Szpiro's classical discriminant conjecture for elliptic curves ov...

We describe normal forms and minimal models of Picard curves, discussing various arithmetic aspects of these. We determine all so-called special Picard curves over $\mathbb{Q}$ with good reduction outside 2 and 3, and use this to determine the smallest possible conductor a special Picard curve may have. We also collect a database of Picard curves over $\mathbb{Q}$ of small conductor.

We study questions of multiplicities of discriminants for degenerations coming from projective duality over discrete valuation rings. The main result is a type of discriminant-different formula in the sense of classical algebraic number theory, and we relate it to Artin conductors via Bloch's conjecture. In the case of discriminants of planar curves we can calculate the different precisely. In general these multiplicities encode topological invariants of the singular fibers a...

We introduce the notion of an effective Arakelov divisor for a number field and the arithmetical analogue of the dimension of the space of sections of a line bundle. We study the analogue of the theta divisor for a number field.

Shanks's infrastructure algorithm and Buchmann's algorithm for computing class groups and unit groups of rings of integers of algebraic number fields are most naturally viewed as computations inside Arakelov class groups. In this paper we discuss the basic properties of Arakelov class groups and of the set of reduced Arakelov divisors. As an application we describe Buchmann's algorithm in this context.

We introduce the p-adic analogue of Arakelov intersection theory on arithmetic surfaces. The intersection pairing in an extension of the p-adic height pairing for divisors of degree 0 in the form described by Coleman and Gross. It also uses Coleman integration and is related to work of Colmez on p-adic Green functions. We introduce the p-adic version of a metrized line bundle and define the metric on the determinant of its cohomology in the style of Faltings. It is possible t...

By some result on the study of arithemtic over trivially valued field, we find its applications to Arakelov geometry over adelic curves. We prove a partial result of the continuity of arithmetic $\chi$-volume along semiample divisors. Moreover, we give a upper bound estimate of arithmetic Hilbert-Samuel function.