2010/01/24 by Alain Connes, Connes, Alain, Caterina Consani +1
Mathematics · #11G40 #14A15 #14G10 #Algebraic Geometry (math.AG) #FOS: Mathematics #Number Theory (math.NT) #math.AG #math.NT #msc:11G40 #msc:14A15 #msc:14G10
paper · pdf · doi:10.48550/arxiv.1001.4260
References added, typos and remark corrected
arxiv created 2010/02/07 · arxiv updated 2010/02/26
We show that the theory of hyperrings, due to M. Krasner, supplies a perfect framework to understand the algebraic structure of the adele class space of a global field. After promoting F1 to a hyperfield K, we prove that a hyperring of the form R/G (where R is a ring and G is a subgroup of its multiplicative group) is a hyperring extension of K if and only if G union 0 is a subfield of R. This result applies to the adele class space which thus inherits the structure of a hyperring extension H of K. We begin to investigate the content of an algebraic geometry over K. The category of commutative hyperring extensions of K is inclusive of: commutative algebras over fields with semi-linear homomorphisms, abelian groups with injective homomorphisms and a rather exotic land comprising homogeneous non-Desarguesian planes. Finally, we show that for a global field of positive characteristic, the groupoid of the prime elements of the hyperring H is canonically and equivariantly isomorphic to the groupoid of the loops of the maximal abelian cover of the curve associated to the global field.