Tips for reading Grothendieck's EGA/SGA/FGA trilogy

Click For Summary

Discussion Overview

The discussion revolves around strategies for reading Grothendieck's trilogy on algebraic geometry, specifically EGA (Éléments de géométrie algébrique), SGA (Séminaire de géométrie algébrique), and FGA (Fondements de la géométrie algébrique). Participants explore the correlation between these texts, their applications in fields like machine learning and data analytics, and seek recommendations for supplementary materials and hardcopy versions of the texts.

Discussion Character

  • Exploratory
  • Debate/contested
  • Technical explanation

Main Points Raised

  • One participant expresses a strong interest in algebraic geometry and its applications, noting a preference for learning in abstract settings.
  • Another participant questions the practicality of Grothendieck's work for machine learning and data analytics, while acknowledging the volume of the trilogy.
  • Several participants discuss the challenges of finding hardcopy versions of EGA and SGA, with one expressing a preference for original publications over electronic formats due to vision problems.
  • There are inquiries about the existence of introductory texts or simplified explanations of Grothendieck's ideas, with some suggesting Hartshorne's book as a potential resource.
  • A retired professional algebraic geometer shares personal experiences, recommending starting with concrete problems rather than the trilogy, and mentions other resources like David Mumford's "red book" and lecture notes from Dieudonné.
  • Some participants suggest foundational texts in commutative algebra as prerequisites before tackling Grothendieck's work.

Areas of Agreement / Disagreement

Participants express a mix of opinions regarding the accessibility and utility of Grothendieck's trilogy, with no clear consensus on the best approach to begin studying the texts or their relevance to modern applications. The discussion remains unresolved regarding the ideal preparatory materials and the practicality of the trilogy for beginners.

Contextual Notes

Participants mention various foundational texts and language considerations, highlighting the potential challenges of reading Grothendieck's work without a strong background in commutative algebra. There are also references to the variability in available copies of EGA and SGA, including differences in page numbers.

bacte2013
Messages
394
Reaction score
47
Dear Physics Forum advisers,

I am very interested in studying the art of algebraic geometry, motivated by its applications in the machine learning and data analytics. I recently came across Grothendieck's EGA/SGA/FGA saga, and I am really interested in reading it as I like how it presents the AG in most general setting, starting with orders sets (I prefer learning in most abstract setting and trying myself to deduce it into concrete examples); I also heard it has a lot of useful theorems and ideas (few of them were actually used in the cryptography). Where should I begin to read it? I am not sure how EGA, SGA, and FGA are correlated with one another; it seems that they are voluminous. What books could I use as good supplements for Grothendieck?

My background in algebra: I finished reading Isaacs and Aluffi in abstract algebra. I have been reading Eisenbud's book in the commutative algebra. Although my background is not most complete, I prefer to learn and investigate topics as I read books, rather than waiting to finish all necessary prerequisites (my interest dies if I do later).
 
Physics news on Phys.org
Anyone?
 
You seem very ambitious. :wideeyed:
Do you know how many books (and how many pages) the complete saga has? And do you really think that it is useful for applications in the machine learning and data analytics?
 
Demystifier said:
You seem very ambitious. :wideeyed:
Do you know how many books (and how many pages) the complete saga has? And do you really think that it is useful for applications in the machine learning and data analytics?

I know that EGA has at least five volumes, SGA has 7 volumes, and FGA has 4 volumes, with different sub volumes for each. I know it is useful since many data points do not adhere to specific types of fields, and EGA deals with AG from most general perspective.

I could not find hardcopies for EGA and first volumes for SGA (I aways prefer hardcopy over PDF)...I am currently searching for foreign websites for purchasing EGA.
 
Are you searching for copies in english language? (If you want pdf/djvu in Franch, I can help.)
 
Demystifier said:
Are you searching for copies in english language? (If you want pdf/djvu in Franch, I can help.)

The language choice does not matter, but French would be better since I believe even the most sophisticated translation has some loss of original flavors. However, I would like to acquire hardcopies, the original publications. I know there are PDF/djvu in both languages, but I do have some vision problems that discourage me from reading electronic files. I have been searching for foreign websites that sell those books, but so far I have no luck.
 
Speaking of Grothendieck, is there something like Grothendieck For Dummies? I mean, something like a book with the most important ideas of Grothendieck explained at a semi-popular non-technical level.
 
  • Like
Likes   Reactions: DarMM
Demystifier said:
Speaking of Grothendieck, is there something like Grothendieck For Dummies? I mean, something like a book with the most important ideas of Grothendieck explained at a semi-popular non-technical level.
I do not think so. I just want to find hardcopies of EGA and SGA. I really ant to read them, but avoid vision problem from electronic reading too.
 
bacte2013 said:
I just want to find hardcopies of EGA and SGA. I really ant to read them, but avoid vision problem from electronic reading too.
Well, if you have pdf/djvu, then a good printer should solve your problem. :smile:
 
  • #10
Demystifier said:
Well, if you have pdf/djvu, then a good printer should solve your problem. :smile:
That is true. I am going to try it. By the way, it seems that different copies exist for EGA in online, with different page numbers even for original volumes. I am confused.
 
  • #11
You would need to be very strong at commutative algebra and comfortable at reading very general and abstract mathematics to start with the EGA. If it doesn't work at first, try some other textbook in algebraic geometry. A classic one is Hartshorn's book, but there are others including many lecture notes.
 
  • #12
I didn't find a hardcopy of these texts, try a printer.

What a coincidence I had thought a few days ago of reading these texts by Grothendieck, but I cannot find the time for it;

First you need to read Macdonald's and Atiyah's book on commutative algebra, or also Jacobson's volumes; there's also Eisenbud.

If French isn't your mother tongue (I have two mother tongues, but one isn't really good for technical subjects such as maths and physics), you should use a dictionary, one of my goals is to translate this to English in latex (it would take sort of 4-5 years just spending on this translation and understanding the material.)
 
  • #13
I would just go to a library and sit down and try to read a few pages. I myself would not recommend those sources as useful for most people, although they were valuable sources for some of my most brilliant friends. I myself am a (retired) professional algebraic geometer, who became initiated into the field only after abandoning the attempt to read those ponderous tomes, and just begin to work on concrete problems. "Grothendieck for dummies" does exist in a sense, namely Hartshorne's book, although the cutoff for those dummies is pretty high. Another source is some lecture notes on my shelf from Univ of Maryland, lecture notes #1 1962, "available from Harvard math dept" (probably not any longer), where Dieudonne' gave a short survey of the content of EGA. David Mumford's "red book" is one of the very best introductions to "schemes" which is Grothendieck's basic concept underlying modern algebraic geometry. His later version of this book, edited by Oda, is available online. If you want to learn schemes, I would suggest beginning with the original "red book" by Mumford.

My own short essay is not to be compared with these previously recommended authoritative works, but is aimed at a naive young student, so may interest a beginner. It is only a few minutes' read, compared to these other deeply informative sources which require long study:
http://alpha.math.uga.edu/%7Eroy/introAG.pdf
 
  • Like
Likes   Reactions: DarMM and Demystifier
  • #14
MathematicalPhysicist said:
I didn't find a hardcopy of these texts, try a printer.

What a coincidence I had thought a few days ago of reading these texts by Grothendieck, but I cannot find the time for it;

First you need to read Macdonald's and Atiyah's book on commutative algebra, or also Jacobson's volumes; there's also Eisenbud.

If French isn't your mother tongue (I have two mother tongues, but one isn't really good for technical subjects such as maths and physics), you should use a dictionary, one of my goals is to translate this to English in latex (it would take sort of 4-5 years just spending on this translation and understanding the material.)

Thanks for your valuable advice! I actually studied the basic grammars and vocabulary of French (SparkCharts and books). I believe it is enough to read Grothendieck as I believe EGA is written in simple French/ I am reading Eisenbud, which is easy and detailed enough for me to do all imagination (I do not know if Jacobson has a book in the commutative algebra; for the basics of algebra, I read Isaacs and Aluffi, which I believe is better than Lang).
 
  • #15
mathwonk said:
I would just go to a library and sit down and try to read a few pages. I myself would not recommend those sources as useful for most people, although they were valuable sources for some of my most brilliant friends. I myself am a (retired) professional algebraic geometer, who became initiated into the field only after abandoning the attempt to read those ponderous tomes, and just begin to work on concrete problems. "Grothendieck for dummies" does exist in a sense, namely Hartshorne's book, although the cutoff for those dummies is pretty high. Another source is some lecture notes on my shelf from Univ of Maryland, lecture notes #1 1962, "available from Harvard math dept" (probably not any longer), where Dieudonne' gave a short survey of the content of EGA. David Mumford's "red book" is one of the very best introductions to "schemes" which is Grothendieck's basic concept underlying modern algebraic geometry. His later version of this book, edited by Oda, is available online. If you want to learn schemes, I would suggest beginning with the original "red book" by Mumford.

My own short essay is not to be compared with these previously recommended authoritative works, but is aimed at a naive young student, so may interest a beginner. It is only a few minutes' read, compared to these other deeply informative sources which require long study:
http://alpha.math.uga.edu/%7Eroy/introAG.pdf

Dear Professor mathwonk, thank you for your valuable advice! I am going to read your essay about the AG.
I thought Hartshorne is actually lite version of EGA, where many details and proofs from EGA are skipped, resulting in the elevated difficulty of reading of Hartshorne. Anyway, I really like Eisenbud's book in the commutative algebra, so I bought his second volume (Geometry of Scheme). I hope it is as good introduction to schemes as Red Book; I can buy that book too of course (got the research funding!).

One of the motivation for my study is that since the data space has no clear structures (at least in pseudocode approach), so I thought it would be better to start approaching it with AG from most general perspective, assuming only the basic structures of sets. I believe Grothendieck generalized AG to the level of partially ordered sets, rather than standard introduction to algebraic fields.

Could you send me Dieudonne's lecture notes you mentioned?
 
  • #16
mathwonk said:
I would just go to a library and sit down and try to read a few pages. I myself would not recommend those sources as useful for most people, although they were valuable sources for some of my most brilliant friends. I myself am a (retired) professional algebraic geometer, who became initiated into the field only after abandoning the attempt to read those ponderous tomes, and just begin to work on concrete problems. "Grothendieck for dummies" does exist in a sense, namely Hartshorne's book, although the cutoff for those dummies is pretty high. Another source is some lecture notes on my shelf from Univ of Maryland, lecture notes #1 1962, "available from Harvard math dept" (probably not any longer), where Dieudonne' gave a short survey of the content of EGA. David Mumford's "red book" is one of the very best introductions to "schemes" which is Grothendieck's basic concept underlying modern algebraic geometry. His later version of this book, edited by Oda, is available online. If you want to learn schemes, I would suggest beginning with the original "red book" by Mumford.

My own short essay is not to be compared with these previously recommended authoritative works, but is aimed at a naive young student, so may interest a beginner. It is only a few minutes' read, compared to these other deeply informative sources which require long study:
http://alpha.math.uga.edu/%7Eroy/introAG.pdf

Also, what are key differences between The Red Book (2nd Edition) and Algebraic Geometry I-II by Mumford? My impression is that AG I-II is a follow-up to Red Book since former treats the AG in complex manifolds, but I am not sure.
 
  • #17
the original red book, issued in a second edition, were notes for a course by Mumford introducing the ideas of schemes, beginning with a brief sketch first of more classical "varieties". Then he discusses basic concepts of scheme theory, with motivation for taking a categorical perspective for instance in defining products. One usually thinks of a product of X and Y as a set of ordered pairs of elements (x,y), but this fails for schemes because the "points" are more sophisticated, and can have various dimensions, i.e. not all points in a scheme are zero dimensional. So the right approach is to realize that a product of X and Y is another object Z equipped with "projection" maps Z-->X and Z-->Y such that every pair of maps A-->X and A-->Y is induced from a unique map A-->Z via the projections. Then he discusses the consequences and complications arising from changing the ring of scalars, not just doing geometry over R or over C, and how that introduces Galois theoretic matters and leads to a concept of a variety as a "functor". Then he discusses the local theory and how to algebraicize matters via consideration of coherent and quasi coherent modules, somewhat analogous to vector bundles in differential geometry. Finally he discusses some classical results of Zariski, such as the "main thorem" describing the geometry of "normal" varieties.

The later version (AG II?), edited by Oda, omits the discussion of classical varieties and begins as I recall with affine schemes. (Affine schemes are to schemes as coordinate neighborhoods are to manifolds.) He also includes some more sophisticated versions of his discussion of complex geometry as introduced in his Algebraic varieties I. Finally he discusses in some detail the main topic omitted from the red book, namely sheaf cohomology, especially in the case of the Cech construction, including a discussion of spectral sequences, for which he tries to "debunk" their reputation for being so difficult.

The little volume Alg Var I, is a very terse and jam packed volume on complex algebraic geometry in projective space with many useful results proved carefully but succinctly that are often omitted in other books. He distills there a proof of desingularization of curves from the monumental argument by Hironaka for the general n dimensional variety, and he gives a complete proof that every non singular cubic surface has exactly 27 lines on it. This is a concise and deep treatment of many classical topics, including a very clear and useful account of the classical Riemann Roch theorem for curves.

So the books are logically ordered as : 1) AGI, 2) redbook, 3) AGII (Oda), but I would not completely postpone reading the later volumes if they are your interest, since you could conceivably spend years just mastering the first one. I believe you can reasonably begin on either of the first two, but it seems more challenging to begin with the third.

By the way, many people feel the best beginning book on algebraic geometry is the book of Shafarevich, but it is not primarily aimed at Grothendieck's theory.

(sorry, I have no easy way to send copies of the maryland notes, but they should exist in libraries.)

there is another source for an intro to grothendieck style AG, a translation of three volumes from the Japanese, namely AG 1, 2 and 3, by Kenji Ueno. Japanese works tend to be rather complete, e.g. there are solutions to exercises given. This work covers transition from varieties to schemes, schemes, and cohomology.
https://www.amazon.com/s/ref=nb_sb_noss?url=search-alias=stripbooks&field-keywords=kenji+ueno,+algebraic+geometry

edit: I tried reading a few pages in vol. 1 of this series just now and was not favorably impressed. The style seems to emphasize complicated and unilluminating formulas, as opposed to clear insights, and the formulas I just checked (p.31) even seem to be somewhat in error, (notice on line -14, p.31, that n+1 quantities have been substituted into a polynomial f of only n variables - the term x^(k),j+1/x^(k),j+1 should have been omitted), as is apparently also the summary of their meaning at the bottom of page; i.e. I believe one does not replace xi/xj by xi/xk, but rather by (xi/xk)/(xj/xk), as is visible in the line -14 just referred to. Otherwise the substitution would not make sense, as the corresponding functions would not be equal. The substitution is supposed to make different representations of the same function correspond to each other. Still I am sure there are many things to be learned from this source, e.g. in the form of explicit details. E.g. the discussion of existence of fibre products on pages 120-127 of Ueno's book seems more detailed than the sketch on pages 84-85 in Mumford's red book.

further edit: I just tried to read even the introductory parts of that treatment of fibre products, the discussion of representable functors, and found it also very confusing, due again to an apparent lack of facility in the use of the English language by the translator. Again the formulas are mostly correct, with a few typos, but the discussion surrounding their meaning is quite confusing, i.e. these formulas do not seem to be showing what he says they are. Or rather it takes some familiarity with what is going on to understand just what the brief choice of words is meant to convey. So unless one already knows what is going on, it is hard to find out from the text. This is too bad, as Ueno is a world renowned expert.

So I cannot recommend the English translation of Ueno's book to a beginner, although very likely Japanese readers with access to the Japanese original will no doubt have a completely different experience.

Actually, having struggled to figure out what was meant by the explanations in Ueno, and having corrected the typos, I appreciate the beauty of this section on representable functors more. The mathematics is well chosen, and details are provided for some helpful parts, and the occasional remark as to the importance of a topic is helpful. I have actually learned something. But it is probably crucial that I already knew what was going on. And I am clearly being unfair and ungrateful to the translator, since with effort I can learn from his translation, whereas the original would be impenetrable to me.

Unfortunately such minor but troublesome errors are often introduced when a work is translated from another language. Of course it is also true that many typographical errors were introduced into Mumford's red book as well, when it was re-typeset by Springer, so the original notes from Harvard's math department are preferable, but now quite rare. (I bought mine there over 50 years ago, but also have the Springer version which I am actually reading now. A bonus of the Springer version, at least the second expanded edition, is that it includes the wonderful 1974 lectures on Curves and their Jacobians, delivered by Mumford at Univ. of Michigan.) Another advantage of the original redbook is the more generous spacing of the type on the page, which clues you in as to when a new idea is being begun. This is often obscured in the more crowded Springer formatting.

So my advice, for an introduction to Grothendieck's ideas, is to begin with Mumford's red book, consulting other books for details. Then progress to Hartshorne. But if you are attracted to the task of reading Grothendieck-Dieudonne' (it really is a joint work, probably largely written by Dieudonne'), keep a copy of EGA or SGA handy and try reading it from time to time. Or read Hartshorne and use EGA to fill details. I myself am still plowing through Mumford's redbook, after more than 2 years, off and on, and it is to me at least, not at all easy sailing. Still it is wonderfully eye-opening, but every line requires thought, and sometimes outside study. This why I was led to try Ueno for more detail on fiber products, but may now turn instead to Hartshorne, or maybe back to Ueno, since I do roughly know what is the point of it. So I need about as long to figure out what Ueno's book is trying to say as I do to understand what Mumford is not saying. Perhaps oddly, I still prefer a cryptic remark by an expert, to a detailed explanation from a novice, (not thinking of Ueno here, but others, more or less like myself, who have written treatments), which latter may have actually missed the entire point.

The paradox is that a more detailed work is not necessarily easier to read, because it is just too long. as they say, you don't see the forest for the trees.

in the special but important case of curves, there is a fantastic book by George Kempf, explaining and using Grothendieck's ideas to treat Jacobians of curves, called Abelian Integrals, that used to be available from the University of Mexico Autonoma. Some libraries have this as well, but it is not as well known as it deserves to be due probably to being published only by the Univ of Mexico.

https://www.amazon.com/dp/B007FD5XKW/?tag=pfamazon01-20

This is not necessarily easy reading, but provides important material in a form not available elsewhere.
By the way, George Kempf himself is one of my brilliant friends who read EGA. George is also author of an amazingly terse but informative book Algebraic varieties, which treats sheaf cohomology in the context of varieties as opposed to schemes, but which is also subject to numerous typographical errors.
https://www.amazon.com/dp/0521426138/?tag=pfamazon01-20
 
Last edited:
  • #18
mathwonk said:
the original red book, issued in a second edition, were notes for a course by Mumford introducing the ideas of schemes, beginning with a brief sketch first of more classical "varieties". Then he discusses basic concepts of scheme theory, with motivation for taking a categorical perspective for instance in defining products. One usually thinks of a product of X and Y as a set of ordered pairs of elements (x,y), but this fails for schemes because the "points" are more sophisticated, and can have various dimensions, i.e. not all points in a scheme are zero dimensional. So the right approach is to realize that a product of X and Y is another object Z equipped with "projection" maps Z-->X and Z-->Y such that every pair of maps A-->X and A-->Y is induced from a unique map A-->Z via the projections. Then he discusses the consequences and complications arising from changing the ring of scalars, not just doing geometry over R or over C, and how that introduces Galois theoretic matters and leads to a concept of a variety as a "functor". Then he discusses the local theory and how to algebraicize matters via consideration of coherent and quasi coherent modules, somewhat analogous to vector bundles in differential geometry. Finally he discusses some classical results of Zariski, such as the "main thorem" describing the geometry of "normal" varieties.

The later version (AG II?), edited by Oda, omits the discussion of classical varieties and begins as I recall with affine schemes. (Affine schemes are to schemes as coordinate neighborhoods are to manifolds.) He also includes some more sophisticated versions of his discussion of complex geometry as introduced in his Algebraic varieties I. Finally he discusses in some detail the main topic omitted from the red book, namely sheaf cohomology, especially in the case of the Cech construction, including a discussion of spectral sequences, for which he tries to "debunk" their reputation for being so difficult.

The little volume Alg Var I, is a very terse and jam packed volume on complex algebraic geometry in projective space with many useful results proved carefully but succinctly that are often omitted in other books. He distills there a proof of desingularization of curves from the monumental argument by Hironaka for the general n dimensional variety, and he gives a complete proof that every non singular cubic surface has exactly 27 lines on it. This is a concise and deep treatment of many classical topics, including a very clear and useful account of the classical Riemann Roch theorem for curves.

So the books are logically ordered as : 1) AGI, 2) redbook, 3) AGII (Oda), but I would not completely postpone reading the later volumes if they are your interest, since you could conceivably spend years just mastering the first one. I believe you can reasonably begin on either of the first two, but it seems more challenging to begin with the third.

By the way, many people feel the best beginning book on algebraic geometry is the book of Shafarevich, but it is not primarily aimed at Grothendieck's theory.

(sorry, I have no easy way to send copies of the maryland notes, but they should exist in libraries.)

there is another source for an intro to grothendieck style AG, a translation of three volumes from the Japanese, namely AG 1, 2 and 3, by Kenji Ueno. Japanese works tend to be rather complete, e.g. there are solutions to exercises given. This work covers transition from varieties to schems, schemes, and cohomology.
I tried reading Kenji Uneo's series; but it's hard to understand, he skips on some definitions in the book or there's no algorithmic explanation of how to calculate for example the local intersection multiplicity;
you can read one of my questions from the first volume over there:
http://math.stackexchange.com/questions/1070309/local-intersection-multiplicity

It's good that there are solutions to the problems even if they are too short to really understand why they are correct.
 
  • #19
thanks for this testimony. notice i did not really recommend Ueno's books, but since the request was for sources that try to introduce Grothendieck ideas, I mentioned it. algebraic geometry is such a huge subject it is hard to know what to recommend to a beginner. the super general gigantic tomes like EGA are essentially the last things I would recommend, since one has virtually no chance of grasping their importance without knowledge of more classical and specific topics. Still, one cannot understand something without opening it so one might as well go for it, if that is the attraction. just don't expect to either understand what you read there or to understand the larger subject. so again, i really suggest Mumford's red book for an intro to schemes, and Serre's FAC as an intro to cohomology in algebraic geometry. For cohomology in complex manifold theory, I like Hirzebruch's Topological methods in algebraic geometry.

I admit that even as a retired professional algebraic geometer, when I moved and had to pare down my library, I parted with my copies of EGA, as books I had never benefited from. At the moment, I do have some regrets, but that was my choice at the time. I did not part with any of Mumford's works, nor Shafarevich, nor Hartshorne. I also kept my copies of George Kempf's works, who himself learned from EGA. I also recommend anything by Arnaud Beauville. I kept also my copies of Euclid, Archimedes, Gauss, Riemann, Galileo, Euler, Hilbert, Goursat, Serre, E. Artin, Siegel, Weyl, M. Artin, Bott - Tu, Segre, Arbarello, Cornalba, Griffiths, Harris, Gunning, Walker, Fulton, Dold, Brieskorn, Manin, Lang, Zariski-Samuel, Courant, Cartan, Jacobson, A.A. Albert, Van der Waerden, Atiyah, Hirzebruch, Spivak, Mackey, Steenrod, Dieudonne', Berberian, ...
 
Last edited:
  • Like
Likes   Reactions: DarMM
  • #20
mathwonk said:
thanks for this testimony. notice i did not really recommend Ueno's books, but since the request was for sources that try to introduce Grothendieck ideas, I mentioned it. algebraic geometry is such a huge subject it is hard to know what to recommend to a beginner. the super general gigantic tomes like EGA are essentially the last things I would recommend, since one has virtually no chance of grasping their importance without knowledge of more classical and specific topics. Still, one cannot understand something without opening it so one might as well go for it, if that is the attraction. just don't expect to either understand what you read there or to understand the larger subject. so again, i really suggest Mumford's red book for an intro to schemes, and Serre's FAC as an intro to cohomology in algebraic geometry. For cohomology in complex manifold theory, I like Hirzebruch's Topological methods in algebraic geometry.

I admit that even as a retired professional algebraic geometer, when I moved and had to pare down my library, I parted with my copies of EGA, as books I had never benefited from. At the moment, I do have some regrets, but that was my choice at the time. I did not part with any of Mumford's works, nor Shafarevich, nor Hartshorne. I also kept my copies of George Kempf's works, who himself learned from EGA. I also recommend anything by Arnaud Beauville. I kept also my copies of Euclid, Archimedes, Gauss, Riemann, Galileo, Euler, Hilbert, Goursat, Serre, E. Artin, Siegel, Weyl, M. Artin, Bott - Tu, Segre, Arbarello, Cornalba, Griffiths, Harris, Gunning, Walker, Fulton, Dold, Brieskorn, Manin, Lang, Zariski-Samuel, Courant, Cartan, Jacobson, A.A. Albert, Van der Waerden, Atiyah, Hirzebruch, Spivak, Mackey, Steenrod, Dieudonne', Berberian, ...

Thanks! I decided go with Mumford's Red Book along with Shafarevich, and try EGA later. I am surprised to see that Shafarevich has virtually no prerequisites, and I like how he slowly builds the intuition for varieties. I might skip his second volume as I believe Mumford covers it.
 
  • #21
By the way, it seems that IHES sells the complete volume of EGA at their website. The price is around 300 dollars, including the shipping cost from France.
 
  • #22
mathwonk said:
thanks for this testimony. notice i did not really recommend Ueno's books, but since the request was for sources that try to introduce Grothendieck ideas, I mentioned it. algebraic geometry is such a huge subject it is hard to know what to recommend to a beginner. the super general gigantic tomes like EGA are essentially the last things I would recommend, since one has virtually no chance of grasping their importance without knowledge of more classical and specific topics. Still, one cannot understand something without opening it so one might as well go for it, if that is the attraction. just don't expect to either understand what you read there or to understand the larger subject. so again, i really suggest Mumford's red book for an intro to schemes, and Serre's FAC as an intro to cohomology in algebraic geometry. For cohomology in complex manifold theory, I like Hirzebruch's Topological methods in algebraic geometry.

I admit that even as a retired professional algebraic geometer, when I moved and had to pare down my library, I parted with my copies of EGA, as books I had never benefited from. At the moment, I do have some regrets, but that was my choice at the time. I did not part with any of Mumford's works, nor Shafarevich, nor Hartshorne. I also kept my copies of George Kempf's works, who himself learned from EGA. I also recommend anything by Arnaud Beauville. I kept also my copies of Euclid, Archimedes, Gauss, Riemann, Galileo, Euler, Hilbert, Goursat, Serre, E. Artin, Siegel, Weyl, M. Artin, Bott - Tu, Segre, Arbarello, Cornalba, Griffiths, Harris, Gunning, Walker, Fulton, Dold, Brieskorn, Manin, Lang, Zariski-Samuel, Courant, Cartan, Jacobson, A.A. Albert, Van der Waerden, Atiyah, Hirzebruch, Spivak, Mackey, Steenrod, Dieudonne', Berberian, ...
What do you think of Hodge's classical methods of algebraic geometry? I don't think schemes is dealt over there, but perhaps it's better to first try to go through classical algebraic geometry (I read through Harris and Griffiths which covers some classical theorems such as Cayley's 9 points theorem (not the exact wording of the theorem), I should read through it once more in the future, after I'll finish reading the algebraic topology books (I took a course in algebraic topology, but I don't believe I have a firm and rigorous grasp of the subject; I aced the course, but it doesn't mean nowadays that you understood the subject :-) ).

I also finished reading Ulrich Krengel's book called Ergodic Theorems, but I feel I should have finished reading Bogachev's 2 volumes before trying to attack ergodic theory. (I know the basics of measure theory, but I haven't yet got to the Radon Nykodim theorem, which seems important also in ergodic theory.)
 
  • #23
MathematicalPhysicist said:
What do you think of Hodge's classical methods of algebraic geometry? I don't think schemes is dealt over there, but perhaps it's better to first try to go through classical algebraic geometry (I read through Harris and Griffiths which covers some classical theorems such as Cayley's 9 points theorem (not the exact wording of the theorem), I should read through it once more in the future, after I'll finish reading the algebraic topology books (I took a course in algebraic topology, but I don't believe I have a firm and rigorous grasp of the subject; I aced the course, but it doesn't mean nowadays that you understood the subject :-) ).

I also finished reading Ulrich Krengel's book called Ergodic Theorems, but I feel I should have finished reading Bogachev's 2 volumes before trying to attack ergodic theory. (I know the basics of measure theory, but I haven't yet got to the Radon Nykodim theorem, which seems important also in ergodic theory.)
Could you answer my questions to you? I have not heard back from you about your unsupportive remarks.
 
  • #24
bacte2013 said:
Could you answer my questions to you? I have not heard back from you about your unsupportive remarks.
What questions have you asked me? I don't see any questions in this thread addressed to me.

BTW, thanks for telling us that IHES are selling copies of EGA.
 
  • #25
MathematicalPhysicist said:
What questions have you asked me? I don't see any questions in this thread addressed to me.
bacte2013 said:
By the way, it seems that IHES sells the complete volume of EGA at their website. The price is around 300 dollars, including the shipping cost from France.
Can you provide a link?

I tried searching through google and I didn't find a suitable webpage from which I can purchase a copy of it.
 
  • #27
Demystifier said:
Hartshorne certainly does not fit my definition of "Grothendieck for dummies", but I found something that does:
http://www.dam.brown.edu/people/mumford/blog/2014/Grothendieck.html

I bought the hardcopy of EGA from IHES in France. They sell the whole volume for 270 USD, including shipping fees. I am so grateful that they decided to reopen the publishing.

Speaking of Mumford, I am currently deciding whether I should read his The Red Book or Qing Liu's Algebraic Geometry and Arithmetic Curves. I believe they are good preparation for EGA, but I am not sure which one I should go for. Also, someone from MathOverFlow said that Heartshorne is really a lite version of Grothendieck, which makes Hartshorne more difficult to read then EGA.
 
  • #28
mathwonk said:
the original red book, issued in a second edition, were notes for a course by Mumford introducing the ideas of schemes, beginning with a brief sketch first of more classical "varieties". Then he discusses basic concepts of scheme theory, with motivation for taking a categorical perspective for instance in defining products. One usually thinks of a product of X and Y as a set of ordered pairs of elements (x,y), but this fails for schemes because the "points" are more sophisticated, and can have various dimensions, i.e. not all points in a scheme are zero dimensional. So the right approach is to realize that a product of X and Y is another object Z equipped with "projection" maps Z-->X and Z-->Y such that every pair of maps A-->X and A-->Y is induced from a unique map A-->Z via the projections. Then he discusses the consequences and complications arising from changing the ring of scalars, not just doing geometry over R or over C, and how that introduces Galois theoretic matters and leads to a concept of a variety as a "functor". Then he discusses the local theory and how to algebraicize matters via consideration of coherent and quasi coherent modules, somewhat analogous to vector bundles in differential geometry. Finally he discusses some classical results of Zariski, such as the "main thorem" describing the geometry of "normal" varieties.

The later version (AG II?), edited by Oda, omits the discussion of classical varieties and begins as I recall with affine schemes. (Affine schemes are to schemes as coordinate neighborhoods are to manifolds.) He also includes some more sophisticated versions of his discussion of complex geometry as introduced in his Algebraic varieties I. Finally he discusses in some detail the main topic omitted from the red book, namely sheaf cohomology, especially in the case of the Cech construction, including a discussion of spectral sequences, for which he tries to "debunk" their reputation for being so difficult.

The little volume Alg Var I, is a very terse and jam packed volume on complex algebraic geometry in projective space with many useful results proved carefully but succinctly that are often omitted in other books. He distills there a proof of desingularization of curves from the monumental argument by Hironaka for the general n dimensional variety, and he gives a complete proof that every non singular cubic surface has exactly 27 lines on it. This is a concise and deep treatment of many classical topics, including a very clear and useful account of the classical Riemann Roch theorem for curves.

So the books are logically ordered as : 1) AGI, 2) redbook, 3) AGII (Oda), but I would not completely postpone reading the later volumes if they are your interest, since you could conceivably spend years just mastering the first one. I believe you can reasonably begin on either of the first two, but it seems more challenging to begin with the third.

By the way, many people feel the best beginning book on algebraic geometry is the book of Shafarevich, but it is not primarily aimed at Grothendieck's theory.

(sorry, I have no easy way to send copies of the maryland notes, but they should exist in libraries.)

there is another source for an intro to grothendieck style AG, a translation of three volumes from the Japanese, namely AG 1, 2 and 3, by Kenji Ueno. Japanese works tend to be rather complete, e.g. there are solutions to exercises given. This work covers transition from varieties to schemes, schemes, and cohomology.
https://www.amazon.com/s/ref=nb_sb_...ji+ueno,+algebraic+geometry&tag=pfamazon01-20If you want my advice, for an introduction to Grothendieck's ideas, begin with Mumford's red book. Then progress to Hartshorne. But if you are attracted to the task of reading Grothemdieck-Dieudonne' (it really is a joint work, probably largely written by Dieudonne'), keep a copy of EGA or SGA handy and try it from time to time.

The paradox is that a more detailed work is not necessarily easier to read, because it is just too long. as they say, you don't see the forest for the trees.

in the special but important case of curves, there is a fantastic book by George Kempf, explaining and using Grothendieck's ideas to treat Jacobians of curves, called Abelian Integrals, that used to be available from the University of Mexico Autonoma. Some libraries have this as well, but it is not as well known as it deserves to be due probably to being published only by the Univ of Mexico.

https://www.amazon.com/dp/B007FD5XKW/?tag=pfamazon01-20By the way, George Kempf himself is one of my brilliant friends who read EGA.

Dear Professor mathwork,

Have you read a book called "Algebraic Geometry and Arithmetic Curves" by Qing Liu? I heard it resembles EGA a lot, so I borrowed it and read side to side with Mumford's The Red Book. Which one is better for building knowledge for EGA?
 
Last edited by a moderator:
  • #29
no i have not read qing liu but it sounds appealing. the virtue even of shafarevich's second volume is the easy reading level, the skill for choosing things that are accessible. e.g. the subject of holomorphic versus algebraic varieties is very nice there. so even though his second volume is not comprehensive on anything, that is actually a plus. i.e. shafarevich chooses every topic according to how easy it is to present and understand.
 
  • #30
mathwonk said:
no i have not read qing liu but it sounds appealing. the virtue even of shafarevich's second volume is the easy reading level, the skill for choosing things that are accessible. e.g. the subject of holomorphic versus algebraic varieties is very nice there. so even though his second volume is not comprehensive on anything, that is actually a plus. i.e. shafarevich chooses every topic according to how easy it is to present and understand.
Thanks for your advice! I am just going to read both Liu and Shafarevich. How much do I have to know about varieties before moving on to sheaves and schemes? It seems that Shafarevich's first volume has an extensive treatment of the varieties on the projective space, but I am not sure if all of the are relevant for AG from schemes. I read through the preface of second volume, but it did not specify topics from the 1st volume I need to learn well.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 14 ·
Replies
14
Views
11K
Replies
3
Views
2K
Replies
6
Views
10K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 5 ·
Replies
5
Views
5K
  • Sticky
  • · Replies 16 ·
Replies
16
Views
13K
  • · Replies 4 ·
Replies
4
Views
2K