Grothendieck on Topological Vector Spaces - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T01:33:22Z http://mathoverflow.net/feeds/question/90839 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/90839/grothendieck-on-topological-vector-spaces Grothendieck on Topological Vector Spaces Uday 2012-03-10T18:28:39Z 2012-12-19T10:46:35Z <p>In the short biography article on the Alexander Grothedieck</p> <p><a href="http://www.ams.org/notices/200409/fea-grothendieck-part1.pdf" rel="nofollow">http://www.ams.org/notices/200409/fea-grothendieck-part1.pdf</a> ,</p> <p>it is mentioned that after Grothendieck submitting his first thesis on Topological Vector Spaces(TVS), apparently, told Bernard Malgrange that 'There is nothing more to do, the subject is dead.' </p> <p>Also, after nearly two decades, while listing 12 topics of his interest Grothendieck gives least priority to Topological Tensor Products and Nuclear Spaces.</p> <p>Now, the questions I have are:<br> What made Grothendieck make this pronouncement on TVS? Could somebody indicate some significant problems or contributions in this area after Grothendieck? My interest is not in the applications or the impact on the subject on other areas of mathematics but I am interested in knowing about the growth of TVS theory itself. </p> <p>Thank you, in advance, for your answer. </p> http://mathoverflow.net/questions/90839/grothendieck-on-topological-vector-spaces/90849#90849 Answer by Charles Matthews for Grothendieck on Topological Vector Spaces Charles Matthews 2012-03-10T21:52:23Z 2012-03-10T21:52:23Z <p>It seems clear enough to me that Grothendieck was (perhaps is) <em>sui generis</em> as a mathematician, something that can be said of a few other mathematicians in each of the 19th and 20th centuries (e.g. Ramanujan). There seems to be something in his approach that both leads others to hyperbole about him, and led him to apply hyperbole in his pronouncements on mathematics. Which is not an unmixed blessing: cf. Weil's comments in the preface to <em>Basic Number Theory.</em> This particular pronouncement seems less interesting than others. It is the type of thing that the Bourbaki group often said, and its only justification lies in the need to have some sort of heuristic in choosing a research area. The historical assessment seems to be that distribution theory had raised issues in TVS theory, and Grothendieck dealt with those </p> http://mathoverflow.net/questions/90839/grothendieck-on-topological-vector-spaces/90870#90870 Answer by Mozibur Ullah for Grothendieck on Topological Vector Spaces Mozibur Ullah 2012-03-11T02:34:55Z 2012-03-11T02:34:55Z <p>These kind of statements are made from time, not just within subfields of mathematics, but also within the larger world. From painting is dead (I'm not sure who said this) &amp; history is dead (Fukuyama). </p> http://mathoverflow.net/questions/90839/grothendieck-on-topological-vector-spaces/91536#91536 Answer by Ronnie Brown for Grothendieck on Topological Vector Spaces Ronnie Brown 2012-03-18T14:33:35Z 2012-03-18T14:33:35Z <p>Grothendieck told me in 1985 (1986?) that he was proud of the fact that his published thesis got a prize as one of the most quoted papers. I just looked it up in MathScNet and it has 335 citations given there. On the other hand he writes that he found in analysis not enough geometry, and relished the wider pastures in algebraic geometry. </p> http://mathoverflow.net/questions/90839/grothendieck-on-topological-vector-spaces/116777#116777 Answer by Alexei Pirkovskii for Grothendieck on Topological Vector Spaces Alexei Pirkovskii 2012-12-19T10:46:35Z 2012-12-19T10:46:35Z <p>After Grothendieck, a number of significant results in TVS theory was obtained by D.Vogt and his collaborators. I especially like results on "automatic splittng" of exact sequences of Fr\'echet spaces. For example, a theorem by Vogt and Wagner states that a short exact sequence $0\to E\to F\to G\to 0$ of nuclear Fr\'echet spaces splits provided that $E$ has property $(\Omega)$ and $G$ has property $(DN)$ (see, e.g., Meise and Vogt's book "Introduction to Functional Analysis"). How one can apply this result? Suppose, for example, that $V$ is a smooth algebraic subvariety of $\mathbb C^n$, let $\mathcal O(\mathbb C^n)$ denote the algebra of holomorphic functions on $\mathbb C^n$, and let $I\subset\mathcal O(\mathbb C^n)$ be the ideal of functions vanishing on $V$. By Cartan's Theorem B, the sequence $0\to I\to\mathcal O(\mathbb C^n)\to \mathcal O(V)\to 0$ is exact. It is rather easy to show that $I$ has $(\Omega)$, and a deep result of Zaharyuta, Vogt, Aytuna, and Palamodov states that $\mathcal O(V)$ has $(DN)$. Hence the above sequence splits in the category of Fr\'echet spaces.</p> <p>In fact, there are much more "automatic splitting" results, with numerous applications to Complex Analysis and PDE's. So the subject is still alive!</p>