June 17, 2010
Pseudo Geometry I
Copied from A.Rosenberg’s book
Geometry of noncommutative “spaces” and schemes
3. Pseudo-geometric start.
The pseudo-geometric noncommutative landscape sketched above is a natural point of departure, by simple reason that it includes most examples of interest. Instead of trying to impose, from the very beginning, general notions of spaces and morphism of spaces, which absorb all the known case, we approach these notions by studying algebraic geometry in certain key pseudo-geometric settings, which are simple enough to not to get lost and, at the same time, sufficient to obtain a rich theory and to see what one should expect or look for in more sophisticated pseudo-geometries.
3.1. “Spaces” represented by categories. In the very first, in a sense the simplest, setting of this kind, “spaces”are represented by svetle(equivalent to small)categories and morphisms of “spaces” are isomorphism classes of(inverse image)functors between the corresponding categories. This defines the category of “spaces”. A morphism of “space” is called continuous if its inverse image functor has a right adjoint (called a direct image functor), and it is called flat, if ,in addition, the inverse image functor is left exact(i.e. preserves finite limits). A continuous morphism is called affine if its direct image functor is conservative(i.e. reflects isomorphism) and has a right adjoint. These notions(introduced in [R])unveil unexpectedly rich algebraic geometry,more precisely, geometries, living inside of . They appear as follows.
3.2. Continuous monads. Fix a “space” S such that the category has cokernels of paris of arrows. We consider of continuous endofunctors of . It is a monoidal category with repsect to the composition of functors whose unit object is the identical functor. The monads in this category are called continuous monads on . In other words, continuous monads on are pairs ,where is continuous functor and is a functor morphism such that for a unique morphism called the unit of the monad . A monad morphism is given in a natural way. This defines the category of continuous monads on .
If , then the category is naturally equivalent to the category of associative unital rings. If is the category of quasi coherent sheaves on a scheme , then is equivalent to the category of quasi coherent sheaves of rings on endowed with a morphism of sheaves of rings. In particular, the sheaf of rings of (twisted)differential operators can be regarded as a monad on . If is the category of sets, then the category is equivalent to the category of monoids in the usual sense.
3.3. Relative affine “space”. Give a space , we define the category of affine -space as the full subcategory of whose objects are pairs ,where is an affine morphism.