## pre-Nobuo

Hi, we’re going to try and get things running around here.

Our objective is to have a glance at what algebraic geometry might look like if investigated using the functor-of-points approach. Essentially I’ll be trying to understand part of these notes.

Before getting all technical, let’s roughly outline our approach. The general idea is as follows: we want to start from a ‘simple’ category and end with an ‘interesting’ category . More precisely: start from a category enlarge it to a category identify a subcategory of nice objects yielding inclusions

To understand what we are trying to do, let’s have a look at topological manifolds.

- Definition: A topological space is a
*manifold*if it admits an open cover consisting of subsets homeomorphic to open subsets of (where we let n vary).

With this broad definition a manifold is simply the *glueing* of some open subsets of (along other open subsets). This can be made (categorically) more precise.

Let’s call the category whose objects are open subsets of Euclidean spaces (with variable), and whose morphisms are continuous maps. Given a manifold let’s pick an open cover , where , and denote the intersections by . Then is actually the *colimit* of the diagram

(To be pedantic we should have said that each is *homeomorphic* to an object in )

This colimit thing is just a fancy way of saying that maps

from into a toplogical space are in bijective correspondence with collections of maps

such that restrictions coincide

This colimit fact suggests that to define the category of manifolds we only need and a glueing process.

Now the colimit above was taken in so the glueing process took place *outside* of (when discussing *affine schemes*, the algebraic analogue of we shall see that trying to glue without enlarging the category yields the wrong answer)

So again, we started with , enlarged it (enormously) to , and then selected the objects which could be obtained by glueing: i.e. manifolds.

The same thing is done in algebraic geometry: one starts with the category affine schemes (or commutative rings if you prefer); enlarges it to the category of locally ringed spaces; and finally one singles out the category of schemes.

Of course one might find other (equivalent) ways to enlarge our category , and thus other ways of performing the glueing. One of these ways uses the Yoneda lemma (or *functor of points)*.