**- F_un mathematics - http://cage.ugent.be/~kthas/Fun -**

Gadgets a la SoulÃ©

Posted By __javier__ On October 9, 2008 @ 5:51 pm In __graduate,Soule2004__ | __3 Comments__

We already stated the guiduing principle to SoulÃ©’s geometry over F_un ^{[1]}; namely, that the notion of variety over the field with one element ought to be well bahaved under extension of scalars to the ring of integers .

We also mentioned the fancy Grothendiecksque definition of a scheme ^{[2]} over as a (locally) representable functor from -algebras to sets. If you are one of the many people who are more used to think in geometrical terms rather that using a fanshi-wanshi categorical interpretation this might sound scary, but the idea behind it is actually quite simple: given a scheme over (defined in any classical way you feel comfortable with) we can associate to it the functor

that assigns to every (commutative) algebra the set of morphisms of schemes between the spectrum of and , which is what is normally called the *set of -points of *.This kind of construction is sort of standard in abstract algebraic geometry, and often receives the name of the functor of points ^{[3]}. In the simplest case, when we are dealing with an affine scheme ^{[4]}, i.e. something given as , then the -points of are simply the ring homomorphisms from to . Now, this gives us a functor associated to our scheme, but, is this a good correspondence? In other words, can we recover all the structure of the scheme just using the functor of points? The answer to this question is yes, we can, and the reason lies on a subtle but important fact: we have enough objects in the source category (i.e. enough commutative algebras) so that the scheme is fully determined by its points on every single algebra. For practical purposes, we might replace the category of all algebras by something smaller but still rich enough, and that would still give us an equivalent definition of scheme. This will come handy when we try to extend this definition to the case of varieties over . If all this sounds too complicated, you should maybe start by reading this other post ^{[5]} first before trying to go on.

So, for SoulÃ©, a ** gadget** (for lack of a better translation of the French ‘

As we already mentioned, the choice for this category for defining gadgets can be pushed further. One possible refinement, undertaken by Connes and Consani, and explained here ^{[11]}, is not taking rings but abelian groups instead. Since every ring is also an abelian group, this produces quite an enlargement of our testing category, and thus a way more restrictive notion of geometry.

But for now, we shall stick to our category of nice rings. So, as we were saying, a gadget is given by a functor , plus an algebra . We will also require that for any ring morphism and every element we have a way of “evaluating” elements of the algebra in , like if were an algebra of functions (which will often be the case). More concretely, we will require the existence of algebra homomorphisms , and that these evaluation maps behave well with respect to morphims in , meaning that whenever we have a morphism , for any point we have the equality .

The rÃ´le of the algebra is a bit mysterious at the moment. The reason for introducing it is that, unlike in the classical case, the functor of points is not enough to determine the extension of scalars to of a hypothetical variety over . Morally, this algebra will represent a “given topology at infinity”, in the spirit of Arakelov geometry ^{[12]}. The properties that this algebra ought to satisfy are not clear at the moment, so we will be quite vague about them.

Now that we have a collection of objects, our gadgets, we need an appropriate notion of * morphism* between gadgets. For gadgets and , a morphism will consist on a couple , where is a natural transformation

Composition of two morphisms and is simply given by .

All the above added up together, we have constructed a category, called the * category of gadgets over *. This is not

Article printed from F_un mathematics: **http://cage.ugent.be/~kthas/Fun**

URL to article: **http://cage.ugent.be/~kthas/Fun/index.php/gadgets-a-la-soule.html**

URLs in this post:

[1] geometry over F_un: **http://cage.ugent.be/~kthas/Fun/index.php/the-skeleton-of-soules-f_un-geometry.html**

[2] scheme: **http://en.wikipedia.org/wiki/Scheme_(mathematics)**

[3] functor of points: **http://en.wikipedia.org/wiki/Functor_of_points**

[4] affine scheme: **http://en.wikipedia.org/wiki/Spectrum_of_a_ring#Sheaves_and_schemes**

[5] this other post: **http://cage.ugent.be/~kthas/Fun/index.php/connes-consani-for-undergraduates-1.html**

[6] flat: **http://en.wikipedia.org/wiki/Flat_module**

[7] finitely generated: **http://en.wikipedia.org/wiki/Finitely_generated_module**

[8] lattice: **http://en.wikipedia.org/wiki/Lattice_(group)**

[9] rings of integers: **http://en.wikipedia.org/wiki/Ring_of_integers**

[10] cyclotomic extensions: **http://en.wikipedia.org/wiki/Cyclotomic_field**

[11] here: **http://cage.ugent.be/~kthas/Fun/index.php/connes-consani-for-undergraduates-2.html**

[12] Arakelov geometry: **http://en.wikipedia.org/wiki/Arakelov_theory**

[13] natural transformation: **http://en.wikipedia.org/wiki/Natural_transformation**

Click here to print.

Copyright © 2008 F_un mathematics. All rights reserved.