Visualizations of some of the abstractions of algebraic geometry

Solution 1:

David Einsenbud and Joe Harris' book The Geometry of Schemes has a large number of really nice pictures which could help you gain a little bit of geometric intuition. That being said, it is also an excellent book which you should check out if you are interested in schemes.

Solution 2:

Mumford's The Red Book of Varieties and Schemes is quite famous for its pictures and the emphasis on geometric intuition.

Solution 3:

I've just started with this stuff, so take this for what it's worth.

What's been working for me is to imagine a sheaf as the sheaf of continuous functions from the reals to the reals. The restriction maps are just the normal restrictions of functions to open sets.

For presheaves I think of the presheaf of bounded continuous functions from reals to reals.

Stalks are just the germs thereof. I draw an element of a stalk by drawing coordinate axes, choosing a point x on the horizontal axis, and then draw the graph of a continuous function on a tiny neighborhood of x. The neighborhood is supposed to be "infinitesimal." The stalk is the set of all such graphs on that neighborhood.

Solution 4:

Algebraic varieties are a lot like complex analytic spaces, which are special kinds of manifolds. So if you develop intuition about geometrical objects equipped with complex analytic functions, then it would help you a great deal in intuition on varieties.

Another way is to get intuition on curves, which are simpler than the rest. And smooth complex projective curves are like compact Riemann surfaces, which can be visualized.

You could again look at pictures such as that of $Spec\ \mathbb Z$ and $Spec\ \mathbb Z[x]$ given in Mumford's Red book.

The functor of points approach is also quite a nice way to think. Roughly, a scheme can be specified by its $R$-valued points for every ring $R$.

A concrete example of a stalk is the notion of germs of holomorphic functions, which might be familiar from complex analysis.