The geometry of frobenioids I: The general theory

Abstract

We develop the theory of Frobenioids, which may be regarded as a category-theoretic abstraction of the theory of divisors and line bundles on models of finite separable extensions of a given function field or number field. This sort of abstraction is analogous to the role of Galois categories in Galois theory or monoids in the geometry of log schemes. This abstract category-theoretic framework preserves many of the important features of the classical theory of divisors and line bundles on models of finite separable extensions of a function field or number field such as the global degree of an arithmetic line bundle over a number field, but also exhibits interesting new phenomena, such as a 'Frobenius endomorphism' of the Frobenioid associated to a number field. © 2008 Faculty of Mathematics, Kyushu University.