Introduction
We start, in Section 1, by explaining our main motivation which comes from
the fact that categorical quotients of correspondences on curves tend to be triv-
ial in algebraic geometry. In Section 2 we explain how one can fix this problem
for a remarkable class of correspondences; this is done by developing a geometry,
called 5—geometry, which is obtained from usual algebraic geometry by adjoining
a "Fermat quotient operator1' S. If one views 6 as an analogue of a derivation with
respect to a prime number then £—geometry can be viewed as obtained from usual
algebraic geometry by replacing algebraic equations with "arithmetic differential
equations". In Section 3 we discuss relations between our theory and some other
theories.
The present Introduction is written in an informal style; a formal presentation
of this material will be made in the body of the book.
0.1. Motivatio n and strateg y
0.1.1. Correspondence s and their categorical quotients. It is conve-
nient to start in complete generality by considering an arbitrary category C. (Morally
C should be viewed as a category of "spaces" in some geometry.) A correspon-
dence in C is a tuple X = (X, X , 7i, a2) where X and X are objects of C and
7i,(72 : X X are morphisms in C. We sometimes write X = (X,a), where
a := (X, 0-1,0-2)' Following the standard terminology of geometric invariant the-
ory [113] we define a categorical quotient for X to be a pair (Y, TT) where Y is an
object of C and TT : X » Y is a morphism in C satisfying the following proper-
ties: 1) TT o o\ = TT o (J2; 2) For any pair (Y',TT') where Y' is an object of C and
TT' : X » Y' is a morphism such that TT' O a\ = TT' O G2 there exists a unique
morphism 7 : Y Y' such that 7 o TT TT' . Categorical quotients are sometimes
referred to as co-equalizers. Of course, if a categorical quotient (Y, TT) exists then it
is unique up to isomorphism and we shall write Y = X/a. Correspondences form,
in a natural way, a category: a morphism X —• X ' between two correspondences
X = (X, X, (7i, 0-2) and X ' = (X7, X', G'X, G'2) is, by definition, a pair of morphisms
(71-, TT), TT : X » X 7 , TT : X X'', such that TT O ai = a[ o TT, i = 1, 2. We will assume,
for each category C we shall be considering, that a class of objects in C is given
which we refer to as trivial objects. (Morally trivial objects should be viewed as
spaces that reduce to a point.)
An important example of correspondences is provided by (discrete) dynamical
systems (i.e. self maps). Indeed if X* is an object in our category C and s :
X* —• X* is a morphism then one can attach to these data a correspondence
X* = (X*,X*,idx*,s). More generally if we assume C possesses fiber products
then one can consider, in a natural way, the pull-back X := J * x * of X* via any
xi
Previous Page Next Page