Previous post: And who actually got Fields medals?
Alexandre Grothendieck, the greatest mathematician for the twenties century, passed away on November 13, 2014 at the Saint-Girons hospital (Ariège) near the village Lasserre.
Alexandre Grothendieck spent about the last 24 years of his life in this village in Pyrenees range of mountains in a self-imposed retirement avoiding all contacts with the outside world and the mathematical community.
He had good reasons for this, but till now the mathematical community does not want to listen, or, rather, to read his extensive partially autobiographical, partially philosophical texts.
Alexandre Grothendieck, with help of his pupils, collaborators, and admires, completely transformed mathematics. His best known contribution is the proof of most of the Andre Weil conjectures (with the last step done by his pupil Pierre Deligne). Much more important is his transformation of the algebraic geometry from relatively obscure branch of mathematics to its central part. Even more important is his most intangible contribution, the concept known as th "rising sea", the idea that every mathematical problem should be immersed in a sufficiently abstract theory, which will made the solution trivial. This theory should be, in a sense, trivial too - it should not involve any tricks or convoluted arguments. This was a drastic departure from the mathematical analysis, the central branch of mathematics at the time, which was dominated by proofs demonstrating not so much the vision, but the "executive power" of the authors (the concept introduced by G. Hardy, who valued the executive power most). These ideas are still far from being internalized or even understood by the mathematical community.
Despite his tremendous influence, surpassing by a large margin the influence of any mathematician after David Hilbert, Alexandre Grothendieck was at least about 100 years ahead of his time.
His integrity and his concern about the perils people put each other into are hardly matched by any other contemporary scientist. He did not succeed much in this respect, apparently because his concerns only appeared to be left wing politics, but in fact were not of political nature.
With Alexandre Grothendieck passing away we lost the last living giant in mathematics.
Here is a link to a memorial article Alexandre Grothendieck, le plus grand mathématicien du XXe siècle, est mort in Le Monde, France (in French).
Next post: Where one can find an autobiography of Alexander Grothendieck? Part 1.
About the title
About the title
I changed the title of the blog on March 20, 2013 (it used to have the title “Notes of an owl”). This was my immediate reaction to the news the T. Gowers was presenting to the public the works of P. Deligne on the occasion of the award of the Abel prize to Deligne in 2013 (by his own admission, T. Gowers is not qualified to do this).
The issue at hand is not just the lack of qualification; the real issue is that the award to P. Deligne is, unfortunately, the best compensation to the mathematical community for the 2012 award of Abel prize to Szemerédi. I predicted Deligne before the announcement on these grounds alone. I would prefer if the prize to P. Deligne would be awarded out of pure appreciation of his work.I believe that mathematicians urgently need to stop the growth of Gowers's influence, and, first of all, his initiatives in mathematical publishing. I wrote extensively about the first one; now there is another: to take over the arXiv overlay electronic journals. The same arguments apply.
Now it looks like this title is very good, contrary to my initial opinion. And there is no way back.
Showing posts with label algebraic geometry. Show all posts
Showing posts with label algebraic geometry. Show all posts
Friday, November 14, 2014
Friday, August 23, 2013
Is algebraic geometry applied or pure mathematics?
Previous post: About some ways to work in mathematics.
From a comment by Tamas Gabal:
Of course, the division into the pure and applied mathematics is real. They are two rather different types of human activity in every respect (including the role of the “problems”). Contrary to what you think, it is hardly reflected in the structure of US universities. Both pure and applied mathematics belong to the same department (with few exceptions). This allows the university administrators to freely convert positions in the pure mathematics into positions in applied mathematics. They never do the opposite conversion.
Algebraic geometry is not applied. You will be not able to fool by such statement any dean or provost. I am surprised that it is, apparently, not obvious anymore. Here are some reasons.
1. First of all, the part of theoretical physics in which algebraic geometry is relevant is itself as pure as pure mathematics. It deals mostly with theories which cannot be tested experimentally: the required conditions existed only in the first 3 second after the Big Bang and, probably, only much earlier. The motivation for these theories is more or less purely esthetical, like in pure mathematics. Clearly, these theories are of no use in the real life.
2. Being motivated by outside questions does not turn any branch of mathematics into an applied branch. Almost all branches of mathematics started from some questions outside of it. To qualify as applied, a theory should be really applied to some outside problems. By the way, this is the main problem with what administrators call “applied mathematics”. While all “applied mathematicians” refer to applications as a motivation of their work, their results are nearly always useless. Moreover, usually they are predictably useless. In contrast, pure mathematicians cannot justify their research by applications, but their results eventually turn out to be very useful.
3. Algebraic geometry was developed as a part of pure mathematics with no outside motivation. What happens when it interacts with theoretical physics? The standard pattern over the last 30-40 years is the following. Physicists use they standard mode of reasoning to state, usually not precisely, some mathematical conjectures. The main tool of physicists not available to mathematicians is the Feynman integral. Then mathematicians prove these conjectures using already available tools from pure mathematics, and they do this surprisingly fast. Sometimes a proof is obtained before the conjecture is published. About 25 years ago I.M. Singer (of the Atiyah-Singer theorem fame) wrote an outline of what, he hoped, will result from the interaction of mathematics with the theoretical physics in the near future. In one phrase, one may say that he hoped for infinitely-dimensional geometry as nice and efficient as the finitely-dimensional geometry is. This would be a sort of replacement for the Feynman integral. Well, his hopes did not materialize. The conjectures suggested by physicists are still being proved by finitely-dimensional means; physics did not suggested any way even to make precise what kind of such infinitely-dimensional geometry is desired, and there is no interesting or useful genuinely infinitely-dimensional geometry. By “genuinely” I mean “not being essentially/morally equivalent to a unified sequence of finitely dimensional theories or theorems”.
To sum up, nothing dramatic resulted from the interaction of algebraic geometry and theoretical physics. I don not mean that nothing good resulted. In mathematics this interaction resulted in some quite interesting theorems and theories. It did not change the landscape completely, as Grothendieck’s ideas did, but it made it richer. As of physics, the question is still open. More and more people are taking the position that these untestable theories are completely irrelevant to the real world (and hence are not physics at all). There are no applications, and hence the whole activity cannot be considered as an applied one.
Next post: The role of the problems.
From a comment by Tamas Gabal:
“This division into 'pure' and 'applied' mathematics is real, as it is understood and awkwardly enforced by the math departments in the US. How is algebraic geometry not 'applied' when so much of its development is motivated by theoretical physics?”
Of course, the division into the pure and applied mathematics is real. They are two rather different types of human activity in every respect (including the role of the “problems”). Contrary to what you think, it is hardly reflected in the structure of US universities. Both pure and applied mathematics belong to the same department (with few exceptions). This allows the university administrators to freely convert positions in the pure mathematics into positions in applied mathematics. They never do the opposite conversion.
Algebraic geometry is not applied. You will be not able to fool by such statement any dean or provost. I am surprised that it is, apparently, not obvious anymore. Here are some reasons.
1. First of all, the part of theoretical physics in which algebraic geometry is relevant is itself as pure as pure mathematics. It deals mostly with theories which cannot be tested experimentally: the required conditions existed only in the first 3 second after the Big Bang and, probably, only much earlier. The motivation for these theories is more or less purely esthetical, like in pure mathematics. Clearly, these theories are of no use in the real life.
2. Being motivated by outside questions does not turn any branch of mathematics into an applied branch. Almost all branches of mathematics started from some questions outside of it. To qualify as applied, a theory should be really applied to some outside problems. By the way, this is the main problem with what administrators call “applied mathematics”. While all “applied mathematicians” refer to applications as a motivation of their work, their results are nearly always useless. Moreover, usually they are predictably useless. In contrast, pure mathematicians cannot justify their research by applications, but their results eventually turn out to be very useful.
3. Algebraic geometry was developed as a part of pure mathematics with no outside motivation. What happens when it interacts with theoretical physics? The standard pattern over the last 30-40 years is the following. Physicists use they standard mode of reasoning to state, usually not precisely, some mathematical conjectures. The main tool of physicists not available to mathematicians is the Feynman integral. Then mathematicians prove these conjectures using already available tools from pure mathematics, and they do this surprisingly fast. Sometimes a proof is obtained before the conjecture is published. About 25 years ago I.M. Singer (of the Atiyah-Singer theorem fame) wrote an outline of what, he hoped, will result from the interaction of mathematics with the theoretical physics in the near future. In one phrase, one may say that he hoped for infinitely-dimensional geometry as nice and efficient as the finitely-dimensional geometry is. This would be a sort of replacement for the Feynman integral. Well, his hopes did not materialize. The conjectures suggested by physicists are still being proved by finitely-dimensional means; physics did not suggested any way even to make precise what kind of such infinitely-dimensional geometry is desired, and there is no interesting or useful genuinely infinitely-dimensional geometry. By “genuinely” I mean “not being essentially/morally equivalent to a unified sequence of finitely dimensional theories or theorems”.
To sum up, nothing dramatic resulted from the interaction of algebraic geometry and theoretical physics. I don not mean that nothing good resulted. In mathematics this interaction resulted in some quite interesting theorems and theories. It did not change the landscape completely, as Grothendieck’s ideas did, but it made it richer. As of physics, the question is still open. More and more people are taking the position that these untestable theories are completely irrelevant to the real world (and hence are not physics at all). There are no applications, and hence the whole activity cannot be considered as an applied one.
Next post: The role of the problems.
Subscribe to:
Posts (Atom)