Lorentzian polynomials and the incidence geometry of tropical linear spaces

Abstract

We introduce a notion of Lorentzian proper position in close analogy to proper position of stable polynomials. Using this notion, we give a new characterization of elementary quotients of M-convex function that parallels the Lorentzian characterization of M-convex functions. We thereby use Lorentzian proper position to study the incidence geometry of tropical linear spaces, and vice versa. In particular, we prove new structural results on the moduli space of codimension-1 tropical linear subspaces of a given tropical linear space. Applying these results, we show that some properties of classical linear incidence geometry fail for tropical linear spaces. For instance, we show that the poset of all matroids on $[n]$, partially ordered by matroid quotient, is not submodular when $n\geq 8$. On the other hand, we introduce a notion of adjoints for tropical linear spaces, generalizing adjoints of matroids, and show that certain incidence properties expected from classical geometry hold for tropical linear spaces that have adjoints.

Figures (10)

• Figure 1: The lattice of linear subclasses of $U_{3,4}$ and the elementary quotient lattice $\widehat{\mathbf{Qt}}^1(U_{3,4})$.
• Figure 2: Two maximal chains of $\mathbf{Qt}^1(U_{3,6})$.
• Figure 3: The three cases in \ref{['lem:Sigma-basis-valuation']} when $d=3$.
• Figure 4: $\mathbf{Qt}(U_{3,3})$ is not a lattice. The highlighted subposet violates the lattice condition.
• Figure 5: The Vámos matroid does not have the Levi intersection property

Theorems & Definitions (147)

• Definition 1.1
• Proposition 1.2
• Proposition 1.3
• Theorem A
• Corollary 1.4
• Theorem B
• Theorem C
• Theorem D
• Corollary 1.5
• Theorem E