A topos-theoretic view of difference algebra Ivan Tomašić Ivan Tomašić, School of Mathematical Sciences, Queen Mary Uni- versity of London, London, E1 4NS, United Kingdom E-mail address: [email protected] arXiv:2001.09075v1 [math.AG] 24 Jan 2020 2000 Mathematics Subject Classification. Primary . Secondary . Key words and phrases. difference algebra, topos theory, cohomology, enriched category Contents Introduction iv Part I. E GA 1 1. Category theory essentials 2 2. Topoi 7 3. Enriched category theory 13 4. Internal category theory 25 5. Algebraic structures in enriched categories and topoi 41 6. Topos cohomology 51 7. Enriched homological algebra 56 8. Algebraicgeometryoverabasetopos 64 9. Relative Galois theory 70 10. Cohomologyinrelativealgebraicgeometry 74 11. Group cohomology 76 Part II. σGA 87 12. Difference categories 88 13. The topos of difference sets 96 14. Generalised difference categories 111 15. Enriched difference presheaves 121 16. Difference algebra 126 17. Difference homological algebra 136 18. Difference algebraic geometry 142 19. Difference Galois theory 148 20. Cohomologyofdifferenceschemes 151 21. Cohomologyofdifferencealgebraicgroups 157 22. Comparison to literature 168 Bibliography 171 iii Introduction 0.1. The origins of difference algebra. Difference algebra can be traced back to considerations involving recurrence relations, recursively defined sequences, rudi- mentary dynamical systems, functional equations and the study of associated dif- ference equations. Let k be a commutative ring with identity, and let us write R = kN for the ring (k-algebra) of k-valued sequences, and let σ : R R be the shift endomorphism given by → σ(x0, x1,...) = (x1, x2,...). The first difference operator ∆ : R R is defined as → ∆= σ id, − and, for r N, the r-th difference operator ∆r : R R is the r-th compositional power/iterate∈ of ∆, i.e., → r r ∆r = (σ id)r = ( 1)r−iσi. − i − i=0 X Classically, a difference equation is a polynomial expression involving an unknown x for a sequence in R, and its iterated differences. More precisely, given a polynomial F k[X ,X ,...,X ], an expression ∈ 0 1 r F (x, ∆(x),..., ∆r(x)) =0 is a polynomial difference equation in an unknown x. In view of the fact that iterated difference operators can be expressed in terms of iterated shifts, the above equation can be rewritten as F˜(x, σ(x),...,σr(x))=0, for some polynomial F˜ k[X0,X1,...,Xr]. Historically, the terminology∈ shifted in favour of the shift endomorphisms, so now we most commonly refer to the latter form as a polynomial difference equation, and its solutions are sought in an abstract difference k-algebra (R, σ), consisting of a k-algebra R and an endomorphism σ : R R. → 0.2. Algebraic structures with operators. Abstract difference and differential algebra were founded by Ritt in 1930s as the study of algebraic structures equipped with difference and differential operators. In this classical (or strict) point of view, the operators are superimposed onto classical algebraic structures. In particular, a difference ring is a pair (R, σR), where R is a commutative ring with identity and σ : R R is an endomorphism. A morphism f : (R, σ ) (S, σ ) is a commutative→ diagram R → S iv f R S σR σS f R S or ring homomorphisms. We obtain the category σ-Rng of difference rings. If R σ-Rng, a (difference) R-module is a pair ∈ (M, σM ), where M is a module for the underlying ring of R, and σM : M M is an additive endomorphism such that, for r R and m M, → ∈ ∈ σM (r.m)= σR(r).σM (m). A morphism f : (M, σM ) (N, σN ) is a homomorphism f of the underlying modules satisfying → f σ = σ f. ◦ M N ◦ We write R-Mod for the category of difference modules over the difference ring R. Similarly, we define difference analogues of other types of mathematical struc- tures, including sets, groups, abelian groups, algebras over a difference ring, etc. A differential ring is a pair (R,δ) consisting of a ring R with a derivation δ : R R. There exist suitable notions of differential modules and other algebraic objects.→ It is possible to consider multiple difference or differential operators, and the two types of operators can be combined into difference-differential structures, where the interaction between the operators is often prescribed. The differential side of the story developed much quicker. Most notably, it was formulated in a manner analogous to the algebraic geometry of the time by Kolchin, who studied differential varieties over differential fields, developed the Galois theory of differential equations, and studied difference algebraic groups ([39]). A comparable level of development of difference algebra had to wait until Cohn’s monograph [19], where the difference analogue of commutative algebra needed for formulating ‘difference algebraic geometry’ was established. The Galois theory of difference equations was described by van der Put and Singer in [57]. The ultimate exposition of the classical view of difference algebra is Levin’s recent book [41], which covers Cohn’s material from a contemporary point of view and expands it with a selection of important developments established since. 0.3. Model theory of fields with operators. Model theory has been highly successful in the study of fields with operators, both difference and differential. To focus just on the difference side of the story, existentially closed difference fields were axiomatised by Macintyre [43] and Chatzidakis-Hrushovski [17] by the theory called ACFA, but the classification of definable sets was made difficult by the lack of full quantifier elimination for ACFA. v Nevertheless, Zilber’s trichotomy has been established by Chatzidakis, Hrushovski and Peterzil in [17] and [18], stating that a one-dimensional definable set is either in correspondence with an algebraic curve over a definable one-dimensional field, or it is locally modular (it arises from a definable group G such that every definable subset of Gn is a finite Boolean combination of cosets of definable groups), or it is trivial in the sense that all definable relations on X are reducible to binary relations. These results, coupled with methods and ideas of stability/simplicity theory, found spectacular applications in number theory, such as Hrushovski’s model- theoretic proof of the Manin-Mumford conjecture [29], and more recently in al- gebraic dynamics, such as in the work of Medvedev-Scanlon [46]. The long-standing conjecture by Macintyre that ACFA is the first-order theory of difference fields n (F¯ , x xp ) p 7→ consisting of the algebraic closure of a finite field Fp equipped with a power of the Frobenius automorphism was settled by Hrushovski in [30]. 0.4. Difference algebraic geometry. The scheme-theoretic development of dif- ference algebraic geometry originates in Hrushovski’s paper [30] with the definition of the fixed-point spectrum Specσ(A) of a difference ring (A, σ). Cohn’s monograph provides a wealth of information needed for studying such schemes, but a number of new results had to be developed from first principles. This context was further explored by Wibmer and the author. The drawback of this approach is that it is not possible to recover the difference ring (A, σ) by taking the global sections of the structure sheaf of Specσ(A) in general. More recently, Wibmer and the author adopted the position that it is beneficial to adopt a functorial view, where a difference scheme associated to the difference ring (A, σ) is treated as a representable functor from the category of difference rings to the category of sets R σ-Rng(A, R), 7→ to be thought of as the realisation functor of the difference scheme Spec(A, σ). By Yoneda’s lemma, the difference ring (A, σ) can be recovered from its realisation functor, which parallels the situation in classical algebraic geometry. 0.5. In search of difference cohomology. The goal of this manuscript is to identify the right context for introducing cohomology into difference algebra and geometry. The author took the following path to enlightenment in his quest for difference cohomology. Cartesian closed categories. Classical algebra is founded in the category of sets, where we have the natural ‘currying’ isomorphism Set(X Y,Z) Set(X, Set(Y,Z)). × ≃ Homological algebra is rooted in a few basic dualities that stem from it, such as the following hom-tensor duality. Given a commutative ring with identity R, and R-modules A, B, C, the object R-Mod(B, C) is again an R-module, and we have a natural isomorphism R-Mod(A B, C) R-Mod(A, R-Mod(B, C)). ⊗R ≃ vi Any attempt to develop homological algebra in the strict difference context described in 0.2 encounters the following insurmountable obstacles. If Y and Z are difference sets, the object σ-Set(Y,Z) is a bare set, and not a difference set, so we cannot hope for a difference analogue of the currying isomorphism in the strict difference context. Similarly, if R σ-Rng is a difference ring, and B, C are difference R-modules, the set of difference∈ R-module homomorphisms R-Mod(B, C) is not a difference R-module in general. Hence, we cannot hope for a difference analogue of the hom-tensor duality in the confines of the strict difference context. The above properties can be restated by saying that the category of sets is cartesian closed, and that the category of modules over a commutative unital ring is monoidal closed. We now show how to make difference sets into a cartesian closed category, and how to make the category of difference modules over a difference ring into a monoidal closed category. Enriching difference algebra. Consider the difference set N = (N,i i + 1).