Lorentzian polynomials and matroids over triangular hyperfields 1: Topological aspects

Basic Information

• Paper ID: 2508.02907
• Title: Lorentzian polynomials and matroids over triangular hyperfields 1: Topological aspects
• Authors: Matthew Baker, June Huh, Mario Kummer, Oliver Lorscheid
• Classification: math.CO (Combinatorics), math.AG (Algebraic Geometry)
• Publication Date: October 10, 2025 (arXiv v3)
• Paper Link: https://arxiv.org/abs/2508.02907

Abstract

This paper investigates the topological properties of the space of Lorentzian polynomials $\mathbb{P}L_J$, where $J$ is a polyhedral ground set. The authors prove that $\mathbb{P}L_J$ is a manifold with boundary whose dimension equals the Tutte rank of $J$, and is homeomorphic to a closed Euclidean ball minus the Dressian on its boundary. More importantly, the paper establishes a homeomorphism between $\mathbb{P}L_J$ and the thin Schubert cell $\text{Gr}_J(\mathbb{T}_q)$ over the triangular hyperfield $\mathbb{T}_q$. This connection enables the authors to explicitly describe the homeomorphism types of $\mathbb{P}L_J$ in several important cases using polyhedral representation theory.

Research Background and Motivation

1. Core Problem: Investigate the topological structure of the space of Lorentzian polynomials, particularly its homeomorphism types and compactification properties.
2. Significance:
   • Lorentzian polynomials serve as a bridge between continuous and discrete convexity, with important applications in combinatorics
   • They generalize the concept of stable polynomials and play a key role in proving combinatorial conjectures such as the Mason conjecture
   • Understanding their topological properties is crucial for deeper comprehension of polyhedral theory and tropical geometry
3. Limitations of Existing Approaches:
   • Previous research primarily focused on algebraic properties of Lorentzian polynomials
   • Lack of systematic understanding of their topological space structure
   • Brändén's questions regarding compactification properties remain unresolved
4. Research Motivation: Establish deep connections between Lorentzian polynomials and polyhedral representation theory, thereby leveraging existing algebraic tools to study topological problems.

Core Contributions

1. Topological Characterization: Proves that $\mathbb{P}L_J$ is a manifold with boundary of dimension equal to the Tutte rank, homeomorphic to a closed ball minus the Dressian on its boundary.
2. Homeomorphism Correspondence: Establishes a homeomorphism between $\mathbb{P}L_J$ and the thin Schubert cell $\text{Gr}_J(\mathbb{T}_q)$ over the triangular hyperfield.
3. Explicit Classification: Provides explicit homeomorphism types of $\mathbb{P}L_J$ for specific polyhedral types (e.g., binary and ternary polytopes).
4. Compactification Theory: Introduces Hausdorff compactification and establishes connections with the Chow quotient of the complex Grassmannian.
5. Counterexample Construction: Through Euler characteristic calculations, provides a negative answer to Brändén's question about whether certain compactifications are closed balls.

Methodology Details

Problem Setup

Study the topological properties of the projective space $\mathbb{P}L_J$ of Lorentzian polynomials on a polytope $J \subseteq \Delta^d_n$, where $\Delta^d_n = \{\alpha \in \mathbb{N}^n : \alpha_1 + \cdots + \alpha_n = d\}$.

Core Technical Framework

1. Triangular Hyperfield Theory

• Definition: For $q > 0$, the triangular hyperfield $\mathbb{T}_q$ has multiplicative group $\mathbb{R}_{>0}$, with the zero set consisting of elements satisfying the triangle inequality
• Properties: $a_1 + \cdots + a_k = 0$ holds in $\mathbb{T}_q$ if and only if $a_1^{1/q}, \ldots, a_k^{1/q}$ form the edge lengths of a (possibly degenerate) convex $k$-gon

2. Star-Shaped Set Theory

The authors develop a theory of strongly star-shaped sets:

• Definition: A triple $(x^*, X, V)$ is strongly star-shaped if $X$ is closed in $V$, and for any $x \in X$ and $t \in [0,1)$, the point $x^* + t(x - x^*)$ lies in the interior of $X$
• Key Result: Strongly star-shaped sets are homeomorphic to closed balls minus certain boundary points

3. M-Convex Functions and Representation Theory

• Utilize M-convex functions to characterize $\mathbb{T}_0$-representations
• Establish correspondence between Lorentzian polynomials and polyhedral representations

Technical Innovations

1. Cross-Disciplinary Connection: First establishes deep connections between Lorentzian polynomials (analysis) and polyhedral representation theory (algebra).
2. Strongly Star-Shaped Theory: Develops topological theory of strongly star-shaped sets, providing powerful tools for studying such spaces.
3. Triangular Hyperfield Application: Innovatively applies Viro's triangular hyperfield theory to polyhedral topology research.
4. Dimension Formula: Proves that the dimension of $\mathbb{P}L_J$ equals the Tutte rank, a non-trivial algebraic-topological correspondence.

Experimental Setup

Computational Verification

1. Concrete Examples:
   • Uniform polytope $U_{2,4}$: $\mathbb{P}L_{U_{2,4}}$ is homeomorphic to a 2-dimensional closed disk minus 3 boundary points
   • Betsy Ross polytope $B_{11}$: corresponds to the closed interval $[-2,2]$
2. Euler Characteristic Calculations:
   • Elliptic polytope $T_{11}$: $\chi(\mathbb{P}L_{T_{11}}) = 11$
   • Computer-assisted verification of the ray structure of the Dressian

Verification Methods

1. Theoretical Computation: Calculate Euler characteristics using the formula from Theorem 6.27
2. Computer Verification: Use gfan and polymake software to compute Dressians and regular subdivisions
3. Explicit Construction: Verify homeomorphism relationships in specific cases through matrix representations

Experimental Results

Main Results

1. Topological Classification:
   • Binary polytopes: $\mathbb{P}L_M$ is a single point
   • Ternary polytopes: homeomorphic to products of finitely many half-open intervals and "disks minus three points"
   • General polytopes: representable as inverse limits of specific topological spaces
2. Dimension Verification:
   • Verify the dimension formula $\dim(\mathbb{P}L_J) = \text{Tutte rank}(J)$
   • Computational verification for multiple concrete examples
3. Compactification Properties:
   • Prove that $\mathbb{P}L_J$ can always be compactified to a closed ball
   • However, its closure in the space of all polynomials is generally not a closed ball

Important Findings

1. Negative Answer to Brändén's Question:
   • The elliptic polytope $T_{11}$ example shows that $\overline{\mathbb{P}L_M}$ is not always a closed ball
   • Euler characteristic $\chi(\mathbb{P}L_{T_{11}}) = 11 \neq 1$
2. Stable Polynomial Spaces:
   • The stable polynomial space of the Betsy Ross polytope contains only two orbits
   • Its Euler characteristic is 17, also not a closed ball

Related Work

1. Lorentzian Polynomial Theory: Foundational work by Brändén-Huh establishes the basic theory
2. Polyhedral Representation Theory: Prior work by Baker-Lorscheid and others provides the algebraic framework
3. Tropical Geometry: Viro's triangular hyperfield theory provides key tools for this paper
4. Grassmannian Theory: Classical Schubert cell theory inspires the methodology of this paper

Conclusions and Discussion

Main Conclusions

1. Complete Topological Characterization: Provides complete topological classification of Lorentzian polynomial spaces
2. Algebraic-Topological Correspondence: Establishes deep connections between algebraic and topological properties of polytopes
3. Compactification Theory: Develops a complete theoretical framework for compactification

Limitations

1. Computational Complexity: Computing Dressians and regular subdivisions remains difficult for large polytopes
2. Generality: Some results apply only to specific polytope types
3. Algorithm Implementation: Lack of efficient algorithms to compute homeomorphism types in general cases

Future Directions

1. Computational Methods: Develop more efficient algorithms to compute topological properties of Lorentzian polynomial spaces
2. Generalization: Extend results to more general convex geometry settings
3. Applications: Explore further applications in combinatorial optimization and algebraic geometry

In-Depth Evaluation

Strengths

1. Theoretical Depth: Establishes deep connections between multiple mathematical branches with significant theoretical value
2. Technical Innovation: Applications of strongly star-shaped set theory and triangular hyperfields are innovative
3. Completeness: Provides comprehensive treatment from theoretical framework to concrete computations
4. Rigor: Proofs are rigorous, logic is clear, and technical treatment is precise

Weaknesses

1. Readability: Highly technical, requiring substantial mathematical background for complete understanding
2. Computational Verification: Some computational results depend on computer verification, lacking pure theoretical proofs
3. Practical Applicability: Results are primarily of theoretical value with limited practical application scenarios

Impact

1. Academic Impact: Provides new research directions for polyhedral theory and tropical geometry
2. Methodological Contribution: Cross-disciplinary research methodology serves as an exemplar
3. Foundation for Future Work: Establishes foundations for further research in related fields

Applicable Scenarios

1. Theoretical Research: Suitable for researchers in polyhedral theory, tropical geometry, algebraic combinatorics and related fields
2. Teaching: Can serve as an excellent case study demonstrating connections between different mathematical branches
3. Further Research: Provides tools and frameworks for in-depth investigation of related problems

References

The paper cites 79 references, primarily including:

• Pioneering work by Brändén-Huh on Lorentzian polynomials
• Series of works by Baker-Lorscheid and others on polyhedral representation theory
• Viro's theory on triangular hyperfields and tropical geometry
• Classical literature on polyhedral theory and algebraic geometry

Overall Assessment: This is a high-quality theoretical mathematics paper that establishes important connections between polyhedral theory, tropical geometry, and algebraic combinatorics. While technically demanding, its theoretical contributions are significant and provide new perspectives and tools for the development of related fields.