I am just starting to learn about schemes and algebraic geometry in general, but I am finding it very hard to visualize things. For example, affine schemes that look like varieties are easily visualized. But how about infinite dimensional or nonproper things? Or fibre products of schemes? So just throwing out this question to all algebraic geometers: When you are doing your research, how much of your results come from the geometric intuition? If one were to start the research in algebraic geometry, what would you say the most important things is?

2$\begingroup$ Two things; first this should be community wiki, second can we add the bonus question to add any tricks you might have came up with. Sometimes people have pictures that aren't perfect but capture a notion very well for quick thinking and checking in some cases. $\endgroup$– B. BischofCommented Feb 7, 2010 at 5:59

$\begingroup$ I agree  algebraic geometry is very difficult to visualize. However, visualizing it is possible and (to me, at least) that is absolutely vital to being able to understand it. In my opinion, at least if you are a visual person, you should not try to learn it without being able to visualize it  it will never make any sense. However, no better advice comes to my mind than trying to take a class from somebody who is a good teacher and thinks visually. I don't know if others could recommend a better way. $\endgroup$– Ilya GrigorievCommented Feb 7, 2010 at 7:48
6 Answers
Well, you asked 10 different questions, and I am not sure what you mean by "nonproper" ($Spec A$ is not proper). But let's see.
A scheme is a very geometric object, with practice  or maybe just habit  one learns to visualize it quite well. If you already see geometrically $Spec$ of a finitely generated algebra over a field $k$ (including algebras with nilpotents which you visualize as "thickenings", including $k$ not algebraically closed which you visualize as Galois orbits; you looked at these, right? these are important steps) then you are almost there. Add some other standard examples such as $Spec(\mathbb Z)$, DVR, a doubleheaded snake (the first nonseparated scheme), and you already know plenty do start doing research.
Infinitedimensional algebras? Well, I suppose it is just as hard or easy to imagine them as infinitedimensional spaces.
The fiber product is a perfectly geometric notion as well, and fairly easy to visualize. You begin by looking at fiber products of sets and you progress from there through some standard examples. Isolating a fiber of a morphism is an important case. And then look at some examples where the residue fields of the scheme points change. Learn the simple way to compute the tensor product $A\otimes_R B$ by using generators and relations of $A$, and you will be up and running in no time.
As far as the balance of geometry vs algebra, I suppose that depends on a person and everybody is different. My advisor used to say that geometry comes first and then later algebra follows, and I tend to agree. I think you get nowhere without geometric intuition.
But if you are serious, at some point you will need a solid commutative algebra foundation. Fortunately these days there are plenty of nice books, starting with the very nice and elementary "Undergraduate commutative algebra" by Miles Reid.

$\begingroup$ VA  did you mean Undergraduate algebraic geometry? $\endgroup$– algoriCommented Jul 7, 2010 at 4:08

$\begingroup$ Algori  Miles Reid has two "undergraduate texts". For a solid commutative algebra foundation, see the above mentioned text. His algebebraic geometry text is also nice. $\endgroup$ Commented Dec 16, 2016 at 0:28
I suggest looking at the illustrations in The Geometry of Schemes by Eisenbud and Harris and Algebraic Geometry by Hartshorne. Both books have many carefully drawn pictures of schemes that are not varieties. In general, I think it helps to compute, or at least have in mind, some relatively simple examples of a phenomenon. For example, if you want to view the graph of a morphism as a fiber product over the diagonal of the target, you can try the complex affine line first.
I don't think most people make much of an effort to visualize infinite dimensional schemes, or even complicated finite dimensional schemes.

9$\begingroup$ Mumford does very nice things in his "Red book of varieties and schemes". You will learn to "see" the $K$points (for different fields of definition $K$) and the Galois actions, the map $\text{Spec}(O_{X,x}) \to X$, et cetera. In fact, as for geometric intuition, I learned more from Mumford than from Hartshorne or Eisenbud/Harris. $\endgroup$– WandererCommented Feb 7, 2010 at 11:06

4$\begingroup$ Hartshorne is a bad book for learning about schemes. I'm not saying this because it's hard or easy or anything like that. All of Hartshorne's constructions are adhoc (they're motivated by sheaf theory, of course) and hard to follow. EGA and SGA are really much better for this. $\endgroup$ Commented Feb 7, 2010 at 18:31

10$\begingroup$ @Harry: The question was about visualizing schemes, not learning "modern" approaches to them. As far as I can tell, EGA and SGA were not written with this goal in mind at all. I have my own problems with Hartshorne (e.g., definitions of formal scheme, elliptic curve, etc.), but I found the illustrations quite compelling. Given the level of your experience with learning and teaching about schemes, you might want to temper your declarations to appear more subjective, e.g., "I don't think Hartshorne is very good for learning about schemes..." $\endgroup$– S. Carnahan ♦Commented Feb 7, 2010 at 20:40

4$\begingroup$ Well, I tried to learn about schemes from Hartshorne, and my main objection was that all of his constructions were completely adhoc. Hartshorne's construction of the structure sheaf is also pretty bad. The correct approach is to construct a Bsheaf on the base of the topology. Then instead of "rigging the stalks", they come out of the very natural analogy between "taking smaller neighborhoods" and localization of the ring. Also, sheafification is properly motivated by considering the elements of the sheafification to be sections of the projection of the espace etale of the presheaf. $\endgroup$ Commented Feb 7, 2010 at 21:56

10$\begingroup$ I think Hartshorne approached his book from a very pragmatic standpoint: to me it seems he wanted to introduce just enough machinery to discuss the problems that interested him, and no more. Based on my interactions with him, I think he is simply uninterested in foundational baggage if he doesn't personally find it useful. If you flip through the book with this in mind, you can see why he made certain seemingly ad hoc choices, e.g., the role of the empty set his definition of presheaf. This pedagogical strategy may be disagreeable to you, but you shouldn't label it as intrinsically bad. $\endgroup$– S. Carnahan ♦Commented Feb 9, 2010 at 6:12
It depends on what you mean by "visualize"...
For things like properness, separatedness, finiteness, smoothness, fiber products, tangent vectors, etc., I usually found it helpful to first understand the analogous things for sets and/or (real, differentiable) manifolds. But if you do this, you have to also keep in mind that the situation for schemes is usually more subtle than the situation for sets and manifolds; while the situations are analogous, they are sometimes not exactly analogous. Another issue is that you might not always know what the appropriate differential geometry analogues of many algebraic geometry concepts are; they're not always spelled out in commonly used books like Hartshorne. For example, I spent a very long time being totally confused by the valuative criterion for properness and could never remember the statement  until I realized that properness corresponds to compactness in differential geometry, and that the valuative criterion is roughly analogous to sequential compactness (which is equivalent to compactness, for metric spaces, e.g. manifolds) in general topology.
Another thing that I find helpful is to first understand things in the complex setting before moving to the general setting. For example, complex varieties are examples of complex manifolds; complex curves are just Riemann surfaces. The best way, in my opinion, to get a basic handle on for instance finite morphisms is to understand what they are in the case of complex curves: they are branched covers of Riemann surfaces.
Aside: Personally, I think that students of algebraic geometry should take a course on Riemann surfaces before (or while) taking a course on abstract algebraic geometry. Certainly I wish that I had done this. The theory of Riemann surfaces is very beautiful and I think it really helps to motivate some of the "big theorems" that you typically build up to in a first course in abstract algebraic geometry: for example RiemannRoch and RiemannHurwitz.
Probably it is not hard to guess that I also think that students of algebraic geometry should have taken a course on differential geometry before taking a course on abstract algebraic geometry.
One thing that the other answers haven't addressed yet is infinitedimensionality. But every algebra over a noetherian ring is a filtered colimit of finitely generated algebras, which can be visualized individually. For example, $\mathbf{C}(z)$ is the colimit of the rings $\mathbf{C}[z][1/f(z)]$, as $f(z)$ runs over more and more highly divisible nonzero polynomials. So it is reasonable to view $\mathrm{Spec}\ \mathbf{C}(z)$ as the limit of the affine line punctured by an exhaustively increasing family of points (closed!).
In fact, if I remember the category of schemes [edit: quasicompact and quasiseparated] is equivalent to the category of projective systems of schemes of finite type whose transition maps are affine. So, in some basic sense, the finitedimensional case determines everything.
The main thing I've never been able to find a way to visualize is the Frobenius map in positive characteristic.

2$\begingroup$ I might be wrong but I think one wants quasicompact and quasiseparated schemes to get the limits to work out. In any case the references for this are EGA IV section 8 and Appendix C to the ThomasonTrobaugh paper "Higher Algebraic Ktheory of Schemes and of Derived Categories" in case anyone is interested. $\endgroup$ Commented Feb 7, 2010 at 22:00

1$\begingroup$ There is also a nice discussion in the stacks project. $\endgroup$– EmertonCommented Feb 8, 2010 at 3:58
I decided to post this separately:
an excellent blog post by Lieven Le Bruyn.
In this post, he analyzes in detail Mumford's drawing (in the red book) of the "arithmetic surface".
Just wonderful!
I've found this set of notes http://math.mit.edu/~poonen/papers/Qpoints.pdf by Bjorn Poonen very helpful in learning arithmetic geometry. I'd read everything very carefully and do all the exercises there. Bjorn is a master of exposition.