# Martin's Blog

## Affine k-schemes

Posted by Martin Orr on Friday, 25 September 2009 at 15:45

In my last post on functors of points, I showed that functor of points of an affine -variety is simply the functor for a suitable -algebra . Only a restricted class of -algebras could arise as however. So in this post I generalise this to allow to be any -algebra, and thereby define affine -schemes.

Tags alg-geom, maths, points-func Read more...

## Functors, affine varieties and Yoneda

Posted by Martin Orr on Wednesday, 02 September 2009 at 22:51

In this article, I will examine in more detail the functor of points of an affine variety, which I defined in the last article. I shall show that this functor is the same as a Hom-functor on the category of -algebras, and that morphisms of varieties correspond to natural transformations of functors.

## The functor of points of an affine variety

Posted by Martin Orr on Tuesday, 25 August 2009 at 20:56

I think I have made some progress recently in understanding the "functor of points" idea in algebraic geometry. In this article I shall explain how the functor of points of an affine variety arises simply by considering solutions to fixed polynomials over varying rings; this gives the motivating example for considering functors associated to more general algebraic-geometric objects.

Tags alg-geom, maths, points-func Read more...

## Proof of the Nullstellensatz

Posted by Martin Orr on Friday, 19 June 2009 at 11:49

Hilbert's Nullstellensatz is an algebraic result fundamental to algebraic geometry. There are many different proofs of the Nullstellensatz. In this post I will consider the proof given in this year's Part III Commutative Algebra course, and in particular one section of the proof that seems to contain lots of magic. When I was revising for the exams, I realised that part of the mystery came from the fact that the particular theorem proved in Commutative Algebra does not require an algebraically closed field, unlike the standard statement of Hilbert's Nullstellensatz.

Thanks are due to Lloyd West for starting me thinking about this, and to Jon Nelson for giving me the courage to believe that it might be true and for supplying the proof of Lemma 4.