Three lectures on tropical algebra
Jeffrey Giansiracusa, Kevin Kuehn, Stefano Mereta, Eduardo Vital

TL;DR
This paper provides an overview of tropical algebra, exploring tropical polynomials, ideals, and their geometric connections, along with algebraic constructions like matrix and Clifford algebras in the tropical setting.
Contribution
It introduces new perspectives on tropicalization, including a refined limit theorem and the tropicalization of algebraic structures such as exterior, matrix, and Clifford algebras.
Findings
Refined understanding of Berkovich analytification and tropicalization via bend relations.
Tropicalization of algebraic structures like exterior, matrix, and Clifford algebras.
New insights into tropical Plücker relations and Morita theory in tropical algebra.
Abstract
This document is a slightly expanded version of a series of talks given by J. Giansiracusa at the workshop `Geometry over semirings' at Universitat Aut\`{o}noma de Barcelona in July 2025. In the first lecture we introduce tropical polynomials, ideals, congruences, and how the connection with tropical geometry is made via congruences of bend relations. Tropical geometry and matroid theory are telling us that we should focus attention on a narrow slice of the world of tropical algebra, and this leads to the theory of tropical ideals (as developed by Maclagan and Rinc\'{o}n) and an abundance of interesting open questions. In the second lecture we examine the relationship between Berkovich analytification and tropicalization from the perspective of bend relations, giving a refinement of Payne's influential limit theorem. In the third lecture we set aside geometry and focus on…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPolynomial and algebraic computation · Algebraic structures and combinatorial models · Logic, programming, and type systems
