Why tropical geometry? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T11:02:25Z http://mathoverflow.net/feeds/question/83624 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/83624/why-tropical-geometry Why tropical geometry? Robert Kucharczyk 2011-12-16T14:49:30Z 2011-12-18T01:47:05Z <p>Tropical geometry can be described as "algebraic geometry" over the semifield $\mathbb{T}$ of tropical numbers. As a set, $\mathbb{T}=\mathbb{R}\cup { -\infty}$; this is endowed with addition being given by the (usual) maximum of real numbers and multiplication by the (usual) sum of real numbers. Recently there has been a lot of research on this kind of geometry. The obvious question is now: why are people interested in this?</p> <p>There are three possible motivations I am aware of:</p> <p>(1) "Polynomial" equations over $\mathbb{T}$ can be interpreted as linear equalities and inequalities over the classical reals. So people working in linear optimization and similar areas can use tropical geometry as an alternative, more algebraic approach that might lead to new methods and insights.</p> <p>(2) In quantization jargon, one can interpret $\mathbb{T}$ as a "classical limit" of semifields which are all isomorphic to $\mathbb{R}^{\ge 0}$ with the usual addition and multiplication. More precisely, for any $q>0$ set $\mathbb{T}_q=\mathbb{R}\cup{ -\infty }$ and consider the bijection $\log_q:\mathbb{R}^{\ge 0}\to\mathbb{T}_q$ (setting $\log_q(0)=-\infty$). Pushing forward the usual semifield structure on $\mathbb{R}^{\ge 0}$ along $\log_q$, we get a semifield structure on $\mathbb{T}_q$. Then it is easy to check that the semifield $\mathbb{T}$ is, in the obvious sense, the limit of $\mathbb{T}_q$ as $q\to 0$. So if one likes to think in these terms (I do not, but that shall not bother me for now), then real algebraic geometry appears (with a grain of salt) as the quantum version of tropical geometry, which in turn gives tropical geometry an important rôle.</p> <p>(3) This is only a post hoc justification. Some problems of classical algebraic geometry, mainly in enumerative geometry, have been solved by methods of tropical geometry. The usual strategy is as follows: we have a question in algebraic geometry, to which the answer is supposed to be an integer (say). We then set up an analogous question in tropical geometry, prove that the answers to the two questions agree, and then work on the tropical question, which is usually much simpler to answer.</p> <p>Besides these three arguments, do you have any other motivations for studying tropical geometry?</p> http://mathoverflow.net/questions/83624/why-tropical-geometry/83625#83625 Answer by Timo Keller for Why tropical geometry? Timo Keller 2011-12-16T14:53:11Z 2011-12-16T14:53:11Z <p>You might want to look at some articles of Walter Gubler: <a href="http://www.mathematik.uni-regensburg.de/gubler/Publikationen.html" rel="nofollow">http://www.mathematik.uni-regensburg.de/gubler/Publikationen.html</a></p> <p>Tropical varieties for non-archimedean analytic spaces, Inventiones mathematicae 169 (2007), 321-376</p> <p>The Bogomolov conjecture for totally degenerate abelian varieties, Inventiones mathematicae 169 (2007), 377-400</p> http://mathoverflow.net/questions/83624/why-tropical-geometry/83639#83639 Answer by Zack Wolske for Why tropical geometry? Zack Wolske 2011-12-16T17:16:02Z 2011-12-16T17:16:02Z <p><a href="http://www.math.utah.edu/~gmikhalk/" rel="nofollow">Grigory Mikhalkin</a> has a few papers which you might find motivational. To start, a survey on tropical curves from the AMS Notices "What is ..." column from April 2007, available here <a href="http://www.ams.org/notices/200704/index.html" rel="nofollow">http://www.ams.org/notices/200704/index.html</a></p> <p>Next, a longer survery article from the 2006 ICM, aptly titled <a href="http://arxiv.org/abs/math.AG/0601041" rel="nofollow">Tropical Geometry and its Applications</a>, where he covers your three mentioned applications, extends the idea of curves in the previous article to general varieties, and then gives nice ways to compute Gromov-Witten invariants of $\mathbb{CP}^2$. If you like real algebraic geometry, he also computes Welshinger numbers, and methods of gluing hypersurfaces of toric varieties in higher dimensions.</p> <p>Finally, the paper "Enumerative Tropical Algebraic Geometry," available on his website, gives a method for computing multicomponent Gromov-Witten invariants, as well as some other counting applications.</p> <p>You might also like this question: <a href="http://mathoverflow.net/questions/53306/what-can-we-learn-from-the-tropicalization-of-an-algebraic-variety" rel="nofollow">http://mathoverflow.net/questions/53306/what-can-we-learn-from-the-tropicalization-of-an-algebraic-variety</a></p> http://mathoverflow.net/questions/83624/why-tropical-geometry/83649#83649 Answer by Ryan Reich for Why tropical geometry? Ryan Reich 2011-12-16T18:16:41Z 2011-12-16T18:16:41Z <p>My personal story with this question is that, sometime in 2007, I wanted to find a project for a student I was mentoring at RSI (a program for high school students which produces real research) and thought some variant of the question "how can you visualize all the different geometric structures on a topological torus (elliptic curve/$\mathbb{C}$)?" would be motivational. (In the end, he went with a different algebraic geometry project and it was a great success. He is on this site and can probably guess who he is.) I mentioned this to a friend of mine, who does symplectic geometry (!), who said "isn't tropical geometry the canonical answer to that question?"</p> <p>I found out that this was so. Through tropical geometry, you can represent nonisomorphic genus-one tropical "curves" as visually distinct planar graphs. I actually taught a topics course on the subject to half a dozen undergrads and learned other great visualizations: for example, the tropical version of Bezout's theorem is proven by actually counting triangles in the Newton polygon. The degree-genus formula too.</p> <p>I even found out that it was practical (how practical? See <a href="http://arxiv.org/abs/math/0610878" rel="nofollow">this paper</a> by Eric Katz): you can deduce actual algebraic geometry theorems from it. Of course the enumerative results of Mikhalkin are the most spectacular examples, but I was pleased to work out a deduction of Bezout's theorem over the field of Puiseux series from the tropical theorem (and, if you like nonconstructive isomorphisms, you can get the theorem over $\mathbb{C}$).</p> <p>I don't actually do any research in the area, but it's very appealing.</p> http://mathoverflow.net/questions/83624/why-tropical-geometry/83653#83653 Answer by Matthew Kahle for Why tropical geometry? Matthew Kahle 2011-12-16T19:19:02Z 2011-12-16T19:19:02Z <p>For a striking example of a classical result in algebraic geometry given a tropical proof, see <a href="http://front.math.ucdavis.edu/1001.2774" rel="nofollow">A tropical proof of the Brill-Noether Theorem</a> by Cools, Draisma, Payne, and Robeva. The original proof of this theorem (by Griffiths and Harris) involves subtle transversality arguments, which they are able to circumvent in this "combinatorial" proof. The new proof is also valid in all characteristics.</p> http://mathoverflow.net/questions/83624/why-tropical-geometry/83760#83760 Answer by Michael Hardy for Why tropical geometry? Michael Hardy 2011-12-18T01:47:05Z 2011-12-18T01:47:05Z <p>Bernd Sturmfels has applied tropical alebraic geometry to phylogenetic trees. IIRC, he says the space of trees whose edges have lengths is a tropical Grassmannian. And the trees used in these models are not rooted because you can't tell from DNA evidence which vertex should be the root.</p>