Tropical geometry

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

A tropical cubic curve

Tropical geometry is a relatively new area in mathematics, which might loosely be described as a piece-wise linear or skeletonized version of algebraic geometry, using the tropical semiring instead of a field.

Algebraic varieties can be mapped to a tropical counterpart and since this process still retain some geometric information about the original variety, it can be used to help prove classic results from algebraic geometry, such as Brill–Noether theorem using the tools of tropical geometry.[1]

History[edit]

The basic ideas of tropical analysis have been developed independently in the same notations by mathematicians working in various fields (see [2] and references therein). The leading ideas of tropical geometry had appeared in different forms in the earlier works of George M. Bergman and of Robert Bieri and John Groves, but only since the late 1990s has an effort been made to consolidate the basic definitions of the theory. This has been motivated by the applications to enumerative algebraic geometry found by Grigory Mikhalkin.

In 1987 Victor Pavlovich Maslov introduced a tropical version of integration procedure. He also noticed that the Legendre transformation and solutions of the Hamilton–Jacobi equation are linear operations in the tropical sense.[3]

The adjective tropical in the name of the area was coined by French mathematicians in honor of the Hungarian-born Brazilian mathematician Imre Simon, who wrote on the field. Jean-Eric Pin[4] attributes the coinage to Dominique Perrin, whereas Simon[5] himself attributes the word to Christian Choffrut.

Algebra background[edit]

Tropical geometry is based on the tropical semiring. This is defined in two ways, depending on max or min convention.

The min tropical semiring is the semiring (ℝ ∪ {+∞}, ⊕, ⊗), with the operations:

The operations ⊕ and ⊗ are referred to as tropical addition and tropical multiplication respectively. The unit for ⊕ is +∞, and the unit for ⊗ is 0.

Similarly, the max tropical semiring is the semiring (ℝ ∪ {−∞}, ⊕, ⊗), with operations:

The unit for ⊕ is −∞, and the unit for ⊗ is 0.

These semirings are isomorphic, under negation , and generally one of these is chosen and referred to simply as the tropical semiring. Conventions differ between authors and subfields: some use the min convention, some use the max convention.

The tropical semiring operations model how valuations behave under addition and multiplication in a valued field.

Some common valuated fields encountered in tropical geometry are:

  • Q or C with the trivial valuation, v(a) = 0 for all a ≠ 0,
  • Q or its extensions with the p-adic valuation, v(pna/b) = n for a and b coprime to p,
  • the field of Laurent series C((t)) (integer powers), or the field of (complex) Puiseux series C{{t}}, with valuation returning the smallest exponent of t appearing in the series.

Tropical polynomials[edit]

A tropical polynomial is a function F: RnR that can be expressed as the tropical sum of a finite number of monomial terms. A monomial term is a tropical product (and/or quotient) of a constant and variables from X1,...,Xn. Thus a tropical polynomial F is the minimum of a finite collection of affine-linear functions in which the variables have integer coefficients, so it is concave, continuous, and piecewise linear.[6]

Given a polynomial f in Laurent polynomial ring K[x1±,...,xn±] where K is a valued field, the tropicalization of f is the tropical polynomial obtained from f by replacing multiplication and addition by their tropical counterparts and each constant in K by its valuation, denoted Trop(f).

The set of points where a tropical polynomial F is non-differentiable is called its associated tropical hypersurface, denoted V(F) (in analogy to the vanishing set of a polynomial). Equivalently, V(F) is the set of points where the minimum among the terms of F is achieved at least twice. When F = Trop(f) for a Laurent polynomial f, this latter characterization of V(F) reflects the fact that at any solution to f = 0, the minimum valuation of the terms of f must be achieved at least twice in order for them all to cancel.[7]

Tropical varieties[edit]

Definitions[edit]

For X an algebraic variety in the algebraic torus (K×)n, the tropical variety of X or tropicalization of X, denoted Trop(X), is a subset of Rn that can be defined in several ways. The equivalence of these definitions is referred to as the Fundamental Theorem of Tropical Geometry.[7]

Intersection of tropical hypersurfaces[edit]

Let I(X) be the ideal of Laurent polynomials that vanish on X in K[x1±,...,xn±]. Define

When X is a hypersurface, its vanishing ideal I(X) is a principal ideal generated by a Laurent polynomial f, and the tropical variety Trop(X) is precisely the tropical hypersurface V(Trop(f)).

Every tropical variety is the intersection of a finite number of tropical hypersurfaces. A finite set of polynomials is called a tropical basis for X if Trop(X) is the intersection of the tropical hypersurfaces of . In general, a generating set of I(X) is not sufficient to form a tropical basis. The intersection of a finite number of a tropical hypersurfaces is called a tropical prevariety and in general is not a tropical variety.[7]

Initial ideals[edit]

Choosing a vector w in Rn defines a map from the monomial terms of K[x1±,...,xn±] to R by sending term m to Trop(m)(w). For a Laurent polynomial f = m1 + ... + ms, define the initial form of f to be the sum of the terms mi of f for which Trop(mi)(w) is minimal. For ideal I(X), define its initial ideal with respect to w to be

Then define

Since we are working in the Laurent ring, this is equivalent to the set weight vectors for which inwI(X) does not contain a monomial.

When K has trivial valuation, inwI(X) is precisely the initial ideal of I(X) with respect to the monomial order given by weight vector w. It follows that Trop(X) is a subfan of the Gröbner fan of I(X).

Image of the valuation map[edit]

Suppose that X is a variety over a field K with valuation v whose image is dense in R (for example a field of Puiseux series). By acting coordinate-waise, v defines a map from the algebraic torus (K×)n to Rn. Then define

where the overline indicates the closure in the Euclidean topology. If the valuation of K is not dense in R, then the above definition can be adapted by extending scalars to larger field which does have a dense valuation.

This definition shows that Trop(X) is the non-Archimedean amoeba over an algebraically closed non-Archimedean field K.[8]

If X is a variety over C, Trop(X) can be considered as the limiting object of the amoeba as the base t of the logarithm map goes to infinity.[9]

Polyhedral complex[edit]

The following characterization describes tropical varieties intrinsically without reference to algebraic varieties and tropicalization. A set V in Rn is an irreducible tropical variety if it is the support of a weighted polyhedral complex of pure dimension d that satisfies the zero-tension condition and is connected in codimension one. When d is one, the zero-tension condition means that around each vertex, the weighted-sum of the out-going directions of edges equals zero. For higher dimension, sums are taken instead around each cell of dimension d-1 after quotienting out the affine span of the cell.[6] The property that V is connected in codimension one means for any two points lying on dimension d cells, there is a path connecting them that does not pass through any cells of dimension less than d-1.[10]

Tropical curves[edit]

The study of tropical curves (tropical varieties of dimension one) is particularly well developed and its strongly related to graph theory. For instance, the theory of divisors of tropical curves are related to chip-firing games on graphs associated to the tropical curves.[11]

Many classical theorems of algebraic geometry has counterpart in tropical geometry, including:

Oleg Viro used tropical curves to classify real curves in the plane up to isotopy of degree 7. His method of patchworking gives a procedure to build a real curve of a given isotopy class from its tropical curve.

Applications[edit]

A tropical line appeared in Paul Klemperer's design of auctions used by the Bank of England during the financial crisis in 2007.[15] Yuichi Shiozawa defined subtropical algebra as max-times or min-times semiring (instead of max-plus and min-plus). He found that Ricardian trade theory (international trade without input trade) can be interpreted as subtropical convex algebra.[16]

Moreover, several optimization problems arising for instance in job scheduling, location analysis, transportation networks, decision making and discrete event dynamical systems can be formulated and solved in the framework of tropical geometry.[17] A tropical counterpart of Abel–Jacobi map can be applied to a crystal design.[18] The weights in a weighted finite-state transducer are often required to be a tropical semiring. Tropical geometry shows Self-organized criticality behaviour [19].

See also[edit]

Notes[edit]

  1. ^ Hartnett, Kevin. "Tinkertoy Models Produce New Geometric Insights". Quanta Magazine. Retrieved 2018-12-12.
  2. ^ Cuninghame-Green, Raymond A. (1979). Minimax algebra. Lecture Notes in Economics and Mathematical Sciences. 166. Springer. ISBN 978-3-540-09113-4.
  3. ^ Maslov, Victor (1987). "On a new superposition principle for optimization problems". Russian Mathematical Surveys. 42:3 (3): 43–54. Bibcode:1987RuMaS..42...43M. doi:10.1070/RM1987v042n03ABEH001439 – via United Kingdom, IOP Publishing Ltd.
  4. ^ Jean-Eric Pin. Tropical semirings. Idempotency (Bristol, 1994). Publ. Newton Inst 11 (1998), pp. 50–69.
  5. ^ Imre Simon. Recognizable sets with multiplicities in the tropical semiring. Mathematical Foundations of Computer Science (1988), pp. 107–120.
  6. ^ a b Speyer, David; Sturmfels, Bernd (2009), "Tropical mathematics" (PDF), Mathematics Magazine, 82 (3): 163–173
  7. ^ a b c Maclagan, Diane; Sturmfels, Bernd (2015). Introduction to tropical geometry. American Mathematical Soc. ISBN 9780821851982.
  8. ^ Mikhalkin, Grigory (2004). "Amoebas of algebraic varieties and tropical geometry". In Donaldson, Simon; Eliashberg, Yakov; Gromov, Mikhael. Different faces of geometry. International Mathematical Series (New York). 3. New York, NY: Kluwer Academic/Plenum Publishers. pp. 257–300. ISBN 978-0-306-48657-9. Zbl 1072.14013.
  9. ^ Katz, Eric, "What is Tropical Geometry?" (PDF), Notices of the AMS
  10. ^ Cartwright, Dustin; Payne, Sam (2012), "Connectivity of tropicalizations", Math. Res. Lett., 19 (5): 1089–1095
  11. ^ Hladký, Jan; Králʼ, Daniel; Norine, Serguei (2013-09-01). "Rank of divisors on tropical curves". Journal of Combinatorial Theory, Series A. 120 (7): 1521–1538. arXiv:0709.4485. doi:10.1016/j.jcta.2013.05.002. ISSN 0097-3165.
  12. ^ Tabera, Luis Felipe (2005-01-01). "Tropical constructive Pappus' theorem". International Mathematics Research Notices. 2005 (39): 2373–2389. arXiv:math/0409126. doi:10.1155/IMRN.2005.2373. ISSN 1073-7928.
  13. ^ Kerber, Michael; Gathmann, Andreas (2008-05-01). "A Riemann–Roch theorem in tropical geometry". Mathematische Zeitschrift. 259 (1): 217–230. arXiv:math/0612129. doi:10.1007/s00209-007-0222-4. ISSN 1432-1823.
  14. ^ Chan, Melody; Sturmfels, Bernd (2013). "Elliptic curves in honeycomb form". In Brugallé, Erwan. Algebraic and combinatorial aspects of tropical geometry. Proceedings based on the CIEM workshop on tropical geometry, International Centre for Mathematical Meetings (CIEM), Castro Urdiales, Spain, December 12–16, 2011. Contemporary Mathematics. 589. Providence, RI: American Mathematical Society. pp. 87–107. arXiv:1203.2356. Bibcode:2012arXiv1203.2356C. ISBN 978-0-8218-9146-9. Zbl 1312.14142.
  15. ^ "How geometry came to the rescue during the banking crisis". Department of Economics, University of Oxford. Retrieved 24 March 2014.
  16. ^ Shiozawa, Yuichi, International trade theory and exotic algebra, Evolutionary and Institutional Economcis Review, 12: 177-212. June, 2015. This is a digest of Y. Shiozawa, "Subtropical Convex Geometry as the Ricardian Theory of International Trade," draft paper in his ResearchGate page.
  17. ^ Krivulin, Nikolai (2014). "Tropical optimization problems". arXiv:1408.0313v1 [math.OC].
  18. ^ Sunada T. (2012), Topological Crystallography ---With a View Towards Discrete Geometric Analysis---, Surveys and Tutorials in the Applied Mathematical Sciences, Vol. 6, Springer
  19. ^ Kalinin, N.; Guzmán-Sáenz, A.; Prieto, Y.; Shkolnikov, M.; Kalinina, V.; Lupercio, E. (2018-08-15). "Self-organized criticality and pattern emergence through the lens of tropical geometry". Proceedings of the National Academy of Sciences. 115 (35): E8135–E8142. arXiv:1806.09153. doi:10.1073/pnas.1805847115. ISSN 0027-8424. PMC 6126730. PMID 30111541.

References[edit]

Further reading[edit]

  • Amini, Omid; Baker, Matthew; Faber, Xander, eds. (2013). Tropical and non-Archimedean geometry. Bellairs workshop in number theory, tropical and non-Archimedean geometry, Bellairs Research Institute, Holetown, Barbados, USA, May 6–13, 2011. Contemporary Mathematics. 605. Providence, RI: American Mathematical Society. ISBN 978-1-4704-1021-6. Zbl 1281.14002.

External links[edit]