arXiv++ Combinatorics

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ò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ó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 tropicalization via bend relations as a construction in commutative and non-commutative algebra. Constructions such as symmetric algebras, exterior algebras, matrix algebras, and Clifford algebras can be tropicalized. In the case of exterior algebras, the resulting tropical notion beautifully completes the picture of the Plücker embedding and gives a new perspective on the tropical Plücker relations. For matrix algebras and Clifford algebras, Morita theory becomes an interesting topic.

In this extended abstract, we study special tropical prevarieties which we call Coxeter Dressians. They arise from equations capturing a generalization of valuated symmetric basis exchange for Coxeter matroids. In particular, we study subdivisions of the associated Coxeter matroid polytopes. We show that the subdivisions induced by points of the Coxeter Dressian consist of cells which are strong Coxeter matroidal. This generalizes well-known results in type $A$ to other Lie types. Finally, we implement explicit computations of Coxeter Dressians in OSCAR.

The Goldman-Iwahori space of seminorms on a finite-dimensional vector space over a non-Archimedean field is a non-Archimedean analogue of a symmetric space. If, in addition, $K$ is real closed, we define a signed analogue of the Goldman-Iwahori space consisting of signed seminorms. This new space can be seen as the linear algebraic version of the real analytification of projective space over $K$. We study this space with methods from real tropical geometry by constructing natural real tropicalization maps from the signed Goldman-Iwahori space to all real tropicalized linear spaces. We prove that this space is the limit of all real tropicalized linear embeddings. We give a combinatorial interpretation of this result by showing that the signed Goldman-Iwahori space is the real tropical linear space associated to the universal realizable oriented matroid. In the constant coefficient case for $K = \mathbb{R}$, we describe this space explicitly and relate it to real Bergman fans.

We introduce a new class of matroids, called graph curve matroids. A graph curve matroid is associated to a graph and defined on the vertices of the graph as a ground set. We prove that these matroids provide a combinatorial description of hyperplane sections of degenerate canonical curves in algebraic geometry. Our focus lies on graphs that are 2-connected and trivalent, which define identically self-dual graph curve matroids, but we also develop generalizations. Finally, we provide an algorithm to compute the graph curve matroid associated to a given graph, as well as an implementation and data of examples that can be used in Macaulay2.

Affine Bruhat--Tits buildings are geometric spaces extracting the combinatorics of algebraic groups. The building of $\mathrm{PGL}$ parametrizes flags of subspaces/lattices in or, equivalently, norms on a fixed finite-dimensional vector space, up to homothety. It has first been studied by Goldman and Iwahori as a piecewise-linear analogue of symmetric spaces. The space of seminorms compactifies the space of norms and admits a natural surjective restriction map from the Berkovich analytification of projective space that factors the natural tropicalization map. Inspired by Payne's result that the analytification is the limit of all tropicalizations, we show that the space of seminorms is the limit of all tropicalized linear embeddings $ι\colon\mathbb{P}^r\hookrightarrow\mathbb{P}^n$ and prove a faithful tropicalization result for compactified linear spaces. The space of seminorms is in fact the tropical linear space associated to the universal realizable valuated matroid.