Modern algebraic geometry vs. classical algebraic geometry

Can anyone offer advice on roughly how much commutative algebra, homological algebra etc. one needs to know to do research in (or to learn) modern algebraic geometry. Would you need to be familiar with something like the contents of Eisenbud's Commutative Algebra: With a View Toward Algebraic Geometry, or is less needed in reality? (I am familiar with more commutative algebra than that which is covered in Atiyah and MacDonald's *Introduction to Commutative Algebra", but less than that which is covered in Eisenbud's textbook.)

Also, is modern algebraic geometry concerned with abstractions such as schemes, sheaves, topological spaces, commutative and noncommutative rings etc., or is it just classical algebraic geometry in an abstract form? Perhaps more specifically, to do research in modern algebraic geometry, do you need to be familiar with classical algebraic geometry, or is it possible to think of algebraic geometry as an "abstract language" and do research based just on this perception?

While I suspect that, as with other branches of mathematics, "abstraction was invented to analyze the concrete", with all the emphasis currently given to the understanding of abstract tools, for someone who is not very familiar with the subject (such as myself), it seems that algebraic geometry is a "mixture" of general topology and abstract algebra. Is this right? If not, succinctly my question is: how great an influence does classical algebraic geometry have on modern algebraic geometry today?

-
OMG, please learn about algebraic varieties first! (Over an alg. closed field, don't worry about other ground fields; they will be nicely incorporated later when you are ready to learn about schemes.) It's where so much of the intuition comes from. Even the arithmetic applications and ideas, which are some of the most spectacular successes of the theory, are inspired by analogues in a more classical algebro-geometric setting. You can learn many basic things with just A&M, and pick up the rest as the need arises. Definitely no need to digest Eisenbud before any geometry. – BCnrd Jul 13 2010 at 3:08
+1 for the OMG. – Noah Snyder Jul 13 2010 at 3:31
Yeah, I can't believe he wrote that either. – KConrad Jul 13 2010 at 3:50
@Andrew L, please make such comments on meta. – Mariano Suárez-Alvarez Jul 13 2010 at 5:16
Mariano: "What are these geometric points I keep hearing about? Is there more to them than being representable functors $\mathrm{Sch}\to\mathrm{Set}$ represented by spectra of fields?" – Victor Protsak Jul 13 2010 at 6:48

I agree with Donu Arapura's complaint about the artificial distinction between modern and classical algebraic geometry. The only distinction to me seems to be chronological: modern work was done recently, while classical work was done some time ago. However, the questions being studied are (by and large) the same.

As I commented in another post, two of the most important recent results in algebraic geometry are the deformation invariance of plurigenera for varieties of general type, proved by Siu, and the finite generation of the canoncial ring for varieties of general type, proved by Birkar, Cascini, Hacon, and McKernan, and independently by Siu. Both these results would be of just as much interest to the Italians, or to Zariski, as they are to us today. Indeed, they lie squarely on the same axis of research that the Italians, and Zariski, were interested in, namely, the detailed understanding of the birational geometry of varieties.

Furthermore, to understand these results, I don't think that you will particularly need to learn the contents of Eisenbud's book (although by all means do learn them if you enjoy it); rather, you will need to learn geometry! And by geometry, I don't mean the abstract foundations of sheaves and schemes (although these may play a role), I mean specific geometric constructions (blowing up, deformation theory, linear systems, harmonic representatives of cohomology classes -- i.e. Hodge theory, ... ). To understand Siu's work you will also need to learn the analytic approach to algebraic geometry which is introduced in Griffiths and Harris.

In summary, if you enjoy commutative algebra, by all means learn it, and be confident that it supplies one road into algebraic geometry; but if you are interested in algebraic geometry, it is by no means required that you be an expert in commutative algebra.
The central questions of algebraic geometry are much as they have always been (birational geometry, problems of moduli, deformation theory, ...), they are problems of geometry, not algebra, and there are many available avenues to approach them: algebra, analysis, topology (as in Hirzebruch's book), combinatorics (which plays a big role in some investigations of Gromov--Witten theory, or flag varieties and the Schubert calculus, or ... ), and who knows what others.

-
Very nice and very inspiring answer! – Kevin Lin Jul 13 2010 at 18:51
This is an excellent answer. Thank you very much! – Amitesh Datta Jul 14 2010 at 0:26

For several beautiful and expert discussions of the contrasts and relations between classical and the evolving subject of abstract or modern algebraic geometry, I recommend the following ICM lectures:

O.Zariski, 1950, vol.2, p.77ff; B.Segre, 1954, vol.3, p.497ff; J.P.Serre, 1954, vol.3, p.515ff; A.Weil, 1954, vol.3, p.550ff; A.Grothendieck, 1958, p.103.

Indeed the whole algebraic geometry session, 1954, vol.3, pp.445-560, has an incredible list of short talks, (Groebner, Hirzebruch, Kodaira, Neron, Rosenlicht, Van der Waerden,...).

My apologies for such a brief answer.
The article by Zariski, THE FUNDAMENTAL IDEAS OF ABSTRACT ALGEBRAIC GEOMETRY, points out the advances in commutative algbra motivated by the need to substantiate results in geometry. “The past 25 years have witnessed a remarkable change in the field of algebraic geometry, a change due to the impact of the ideas and methods of modern algebra. What has happened is that this old and venerable sector of pure geometry underwent (and is still undergoing) a process of arithmetization. This new trend has caused consternation in some quarters. It was criticized either as a desertion of geometry or as a subordination of dis- covery to rigor. I submit that this criticism is unjustified and arises from some misunderstanding of the object of modern algebraic geometry. This object is not to banish geometry or geometric intuition, but to equip the geometer with the sharpest possible tools and effective controls.”

That by Segre argues for the preservation of geometric intuition in algebraic geometry for just this reason, for motivating and suggesting new questions to investigate. It seems particularly articulate and impassioned as he is arguing for a tradition that seems threatened to be lost.

GEOMETRY UPON AN ALGEBRAIC VARIETY BENIAMINO SEGRE I. Algebraic geometry — that is to say, the branch of geometry which deals with the properties of entities represented by algebraic equations — has in recent years developed in two distinct directions, which in a sense are opposed to one another. One of these directions is called abstract in as much as it is concerned with algebraic equations defined over commutative fields subject only to slight restrictions; here the means employed are purely algebraic, including in particular ideal theory and valuation theory. The other direction may properly be called geometrical) this usually deals with algebraic equations in the complex domain, and from time to time appeals to ideas and methods of analytic and projective geometry, topology, the theories of analytic functions and of differential forms. The dualism between these two disciplines has close relationship and affi- nity with that which, three centuries ago, arose between l'esprit géométrique of Descartes and l'esprit de finesse of Pascal, and which, in the past century, on the one hand divided the geometers into analysts of the school of Plücker and synthesists of the school of Steiner and, on the other, the algebraists into purists à la Dedekind and arithmetizers à la Kronecker. However, this dualism, instead of proving harmful to geometry, offers undoubted advantages when the two lines of development, with their respective merits and possibilities, are regarded not as contrasting but as complementary. We cannot fail to recognise in the abstract method and its technique a peculiar elegance, an impeccable logical coherence, and to appreciate the im- portance of the results so far obtained by it, particularly in the study of the foundations of geometry and the difficult questions concerning the singularities of algebraic varieties. But equally we cannot fail to recognise that the geometr- ical approach, with its greater concreteness, lends itself better to the formula- tion and initial study of new concepts and problems; and that it presents an incomparable wealth and colour of its own, due to the interweaving of many diverse strands, to the subtle and perspicuous play of geometrical intuition, and to the possibility of readily constructing examples and investigating special cases. We may also point out that, in the geometrical discipline, corresponding to a more definite notion of algebraic variety, there is a much wider range of subjects and a far greater number of orientations and contacts with other important branches of mathematics, which have found, and are finding, therein inspiration and extensions beyond the purely algebraic field.

Weil’s article describes how arithmetic benefits as well from the algebraization of geometry.

Serre and Grothendieck describe the contribution of cohomology.
I cannot give a good account of this material in a few words, but I strongly advocate reading these articles which marked the introduction of abstract methods in algebraic geometry in its most fruitful period.

-

I think that some of the answers so far are very good, so this is a bit redundant. I just wanted to emphasize that the distinction between "classical versus modern" algebraic geometry is, to me, not a good one. While it's true that in scheme theory one encounters new phenomena, it can also be used to repair and extend the classical picture. For me, at least, the most beautiful parts of Hartshorne's book are the chapters on curve and surface theory.

As for background, I think that if you read Atiyah-Macdonald and do the exercises, you should be in pretty good shape to get started. I also usually tell my students to learn something about basic manifold theory and algebraic topology, since it provides some useful intuition for a number geometric/homological constructions.

-
I could be wrong but I don't think Atiyah and MacDonald get very far along "classical algebraic geometry" lines. I have the book in my possession, but since I learnt most of my commutative algebra from Isaacs, Eisenbud and Matsumura, I thought that it would not be that worthwhile to read Atiyah and MacDonald in its entirety since I would be essentially repeating things that I had already covered. But I did look at the exercises: most of them seemed to introduce the basics of schemes and sheaves, but most of the classical algebraic geometry covered can be found in Chapter 1 of Eisenbud. – Amitesh Datta Jul 15 2010 at 2:50
(I could be wrong with the above comment: as I said, I have not really read that book beyond using it as a reference.) – Amitesh Datta Jul 15 2010 at 2:50
I was indicating the shortest path to get started. The basic notions and theorems (localization, Nullstellensatz, Noether normalization, and dimension theory) are covered in A-M, but certainly there's lot that's omitted. However, these can be learned when need arises. If you prefer Eisenbud/Matsumura, by all means use them. But it's not enough to just read the text. You need to solve the problems. – Donu Arapura Jul 15 2010 at 18:06
Well, I think that depends on "how" one reads the text. If one just reads the theorems, proofs, examples etc. and tries to understand the material to the point of memorization, then it is indeed necessary for one to do the exercises. On the other hand, if one works out everything in the text by one's self (i.e., proves all of the major theorems in the text, works out the examples, conjectures new lemmas etc.), then the exercises can be ommitted. That being said, I hasten to add that some texts such as Walter Rudin's Real and Complex Analysis have excellent exercises that are worth doing – Amitesh Datta Aug 17 2010 at 8:41
Recall that Hartshorne's book started with notes from two courses at Harvard on curves and surfaces, i.e. the classical chapters came first. I assume the rest of the book was written to justify the use of modern tools made in those chapters. In general it seems that the increasingly abstract constructions of Zariski, Weil, Serre, Grothendieck, were motivated by the desire to have tools sharp enough to solve concrete problems: resolving singularities, Riemann - Roch, structure of moduli spaces, Picard and Albanese varieties, Weil conjectures, Hodge conjecture, classification of varieties,... – roy smith May 12 2011 at 20:42
show 1 more comment

Depends what you mean by "modern".

"Numerical algebraic geometry" using homotopy methods is modern but concrete.

"Introduction to numerical algebraic geometry", A Sommese, J Verschelde, C Wampler http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.84.8283&rep=rep1&type=pdf

"The numerical solution of systems of polynomials arising in engineering and science", Andrew John Sommese, Charles W. Wampler, World Scientific, 2005

-
 Thank you very much for your answer! Perhaps I should have been more clear: by "modern algebraic geometry", I refer to the so-called "Grothendieck and Serre language of algebraic geometry". Could you please be more specific about the "homotopy methods" and "numerical algebraic geometry"? I appreciate the reference to the paper, but it would be nice if you could state some context and explanation regarding how the methods are modern but concrete. (For example, a rough overview, say one or two lines, regarding the context of the subject in mathematics.) – Amitesh Datta Jul 13 2010 at 13:47 "Modern" as in the methods were developed very recently (last 15 years) rather than from Grothendieck, Serre onwards. Concrete as in computational, algorithmic and calculating solutions of specific systems of polynomials rather than abstract theory about phenomena that can occur. For some context, see Google books for preface of "Interactions of classical and numerical algebraic geometry". See also wikipedia article on homotopy. – Roy Maclean Jul 13 2010 at 18:39 Also pages 16-19 of science.nd.edu/documents/publications/… – Roy Maclean Jul 13 2010 at 18:47 Thank you for the clarification. I do know what homotopy means (in the context of algebraic topology), but I was not so sure how the "methods" of homotopy applied in numerical algebraic geometry, hence my comment. But I will take a look at those papers. (When I think of homotopy and algebraic geometry, I think "Hodge theory", but I guess that is not what numerical algebraic geometry is about.) – Amitesh Datta Jul 14 2010 at 4:53

I think one should work on modern ones. You can always pick up classical ones if you become suddenly interested in the realization of the abstract ideas. For books of course you need to read Hartshrone. I would say Eisenbud is not appropriate if you don't have other books to read. Anyway enjoy the books you read, and think hard before throwing away the books.

-

One of the main themes of "modern" algebraic geometry is the study of $families$ of algebraic varieties; in fact, just consider the huge subjects known as deformation theory and moduli spaces theory. This leads very naturally (at least from our "modern" point of view) to situations where the knowledge of schemes (non-reduced structures), commutative algebra (flatness, Cohen-Macauleyness, etc) and homological algebra are essential not only from a theoretical point of view, but also in order to make explicit computations with very concrete objects, e.g. quasi-projective varieties. Such "modern" tools have undoubtedly made the study of algebraic geometry harder for the beginner, but on the other hand they have brought clarity in many situations where the "classical methods" did not work well.

-

I'm not an algebraic geometer, but I do know several algebraic geometers and it's clear that modern algebraic geometry is a very large field some aspects of which involve technical modern abstractions (stacks!) others of which are in a more combinatorial direction (toric varieties, Grobner bases) and others involve more classical algebraic geometry.

-
That being said-our very own Pete Clark has written a wonderful set of lecture notes at his webpage. Well worth checking out,Amitesh. – Andrew L Jul 13 2010 at 8:06
@Noah Thanks for your response! I do intend to read Eisenbud in its entirety. (In fact, I did read the first few chapters, but while Eisenbud is such an excellent book, it got me really interested in algebraic geometry and hence I began to read Harris.) @Andrew L Thanks! I will definitely take a look at those notes. – Amitesh Datta Jul 13 2010 at 11:14
That's an excellent blog post by the way. – Daniel Litt Jul 13 2010 at 13:56

Should one learn point-set topology before real analysis or before studying metric spaces a bit? There are some advantages to doing so -- a more unified approach to real analysis or the study of metric spaces, for example. But this comes at the cost of all motivation for point set topology.

One can do "classical" algebraic geometry rigorously, and this is not a bad idea. It provides much-needed motivation for the language of schemes, sheaves, etc., which can otherwise seem incredibly unmotivated. And it generates intuition (which, to be fair, is often wrong) about these complicated and often pathological objects. But an even better reason to study classical algebraic geometry is to discover why Grothendieck, Serre, etc. wanted to come up with modern algebraic geometry in the first place; it's because classical algebraic geometry is so obviously in need of fixing. It's a beautiful subject, but I think it's pretty obvious from even a short study of it that you're not getting the whole story. (Bezout's theorem is a great example.) A good book to read if you want to get this feeling is Harris's "Algebraic Geometry, A First Course" -- it's a well-written book filled with great motivation, but you can't help but think that it's holding something back.

As for commutative algebra -- I think it makes sense to learn it concurrently with the geometry, which motivates it in an incredibly compelling way. Eisenbud is a good place to go for that kind of motivation.

I'm sure others will address the issue of doing research in the subject; I'm not qualified to comment on that, beyond mentioning that there's a wide variety of subjects researched in the field. Many people still work on subjects that might be considered "classical."

-
I'd think a (typical) student learning point-set topology before real analysis is not going to get a more unified approach but a more confused approach. Doing analysis in R^n and in metric spaces gives the intuition for topology. Otherwise you have nothing down to earth to dig your teeth into to generate examples and counterexamples to understand what things mean. Studying topology before analysis seems analogous to trying to "learn" what a base for a topology is before you learn what a topology is. At the very least study analysis at the same time as topology if the latter is the goal. – KConrad Jul 13 2010 at 4:02
@KConrad: I think we agree. – Daniel Litt Jul 13 2010 at 5:09
@KConrad,Daniel I second the motion. – Andrew L Jul 13 2010 at 5:17
@Andrew L: Aren't you thirding the motion? – Daniel Litt Jul 13 2010 at 15:26
I took my first topology course and my first analysis course concurrently. The pacing of the courses was such that all the topics that overlapped were done first in topology. Although there were a few proofs that I did not follow very well at the time (e.g., connectedness and compactness of the interval), I did not find the point-set topology confusing, and in fact found a lot of the analysis redundant and unnecessarily complicated. [I should note that this topology course emphasized nice spaces rather than counterexamples.] – Charles Staats Jul 13 2010 at 21:47