Question

I assume it is partially because they are good generalizations of polynomial rings, but what makes this generalization better than graded algebras or other generalizations of polynomial rings?

Answer 1

The best answer I've ever been able to come up with is that the class of noetherian rings contains the classical number rings $\mathbf{Z}$ and $\mathbf{R}$ and is closed under the formation of polynomial rings, localization, completion, and quotients. So it contains many of the rings you will come across in ordinary situations (whatever that means). It also has the advantage that the definition is tractable enough that if someone hands you an explicit ring, it's not out of the question to try to work out from scratch whether it's noetherian. If you're the kind of person who likes abstract fields, then they're also included.

On the other hand, I don't think of it as a truly fundamental concept, like say finite presentation. But there is no denying its convenience. If you need to avoid some infinitary phenomena but you still want a broad class of rings, it's often hard to beat noetherianness. It's also quite good in situations where you're too lazy to work out exactly what finiteness conditions you care about.

Answer 2

Roughly, Noetherian schemes are (locally) given by finitely many equations, and this makes it possible to make inductions on the number of equations. Also, it fits very well to the classical intuition for algebraic varieties.

To be more precise, a more fundamental concept is that of a morphism of finite type $X \to S$. For a fixed $S$, these make up a category, but it is not so well behaved and there are quite some subcategories such as the category of abelian schemes which behave only well if you assume that $S$ is, say, locally noetherian. On the other hand, you can also consider the category of morphisms of finite presentation $X \to S$ and it turns out that quite often this is more natural since now you can drop any finiteness conditions on $S$. The reason is, roughly, that here $X$ is described by finitely many equations, and that these equations also satisfy only a finite number of relations, the latter being important for reduction and induction arguments in the spirit of the Five Lemma. If $S$ is noetherian, we get the latter for free and that is the reason why you often just assume it.

Answer 3

I'd just like to briefly add that Noetherian rings can be surprisingly non-geometric. In particular, they can fail to be excellent. Thus

1. The regular (non-singular) locus can fail to be open.
2. Notions of dimension need not be reasonable (two maximal chains of primes with the same top and bottom members can be the different lengths).
3. Normalization need not be a module-finite extension.

Of course, excellent is just a hodge-podge of conditions that avoid these particular pathologies (and avoid these after some standard operations).

The usual rings (finite type over a field or $\mathbb{Z}$) are excellent, as do complete local rings. However, it can be hard to prove that an arbitrary ring is excellent.

Answer 4

I am not entirely sure what you have in mind when you contrast being noetherian to being graded. These belong to different aspects of being a ring. It's kind of like saying "He came in a hurry and [in] a winter coat".

Also, graded algebras are actually natural objects in algebraic geometry. That's where projective schemes/varieties come from.

Anyway, let me say something possibly useful, too: I believe that the truly important notion is being finitely presented. See the original definition of coherence. If you accept that, then one can say that the importance of being noetherian is that being finitely presented follows from being finitely generated and it is inherited by both quotients and subobjects.