2025-11-17T21:40:13.323371

Lorentzian polynomials and matroids over triangular hyperfields 1: Topological aspects

Baker, Huh, Kummer et al.

Lorentzian polynomials serve as a bridge between continuous and discrete convexity, connecting analysis and combinatorics. In this article, we study the topology of the space $\mathbb{P}\textrm{L}_J$ of Lorentzian polynomials on $J$ modulo $\mathbb{R}_{>0}$, which is nonempty if and only if $J$ is the set of bases of a polymatroid. We prove that $\mathbb{P}\textrm{L}_J$ is a manifold with boundary of dimension equal to the Tutte rank of $J$, and more precisely, that it is homeomorphic to a closed Euclidean ball with the Dressian of $J$ removed from its boundary. Furthermore, we show that $\mathbb{P}\textrm{L}_J$ is homeomorphic to the thin Schubert cell $\textrm{Gr}_J(\mathbb{T}_q)$ of $J$ over the triangular hyperfield $\mathbb{T}_q$, introduced by Viro in the context of tropical geometry and Maslov dequantization, for any $q>0$. This identification enables us to apply the representation theory of polymatroids developed in a companion paper, as well as earlier work by the first and fourth authors on foundations of matroids, to give a simple explicit description of $\mathbb{P}\textrm{L}_J$ up to homeomorphism in several key cases. Our results show that $\mathbb{P}\textrm{L}_J$ always admits a compactification homeomorphic to a closed Euclidean ball. They can also be used to answer a question of BrÃ¤ndÃ©n in the negative by showing that the closure of $\mathbb{P}\textrm{L}_J$ within the space of all polynomials modulo $\mathbb{R}_{>0}$ is not homeomorphic to a closed Euclidean ball in general. In addition, we introduce the Hausdorff compactification of the space of rescaling classes of Lorentzian polynomials and show that the Chow quotient of a complex Grassmannian maps naturally to this compactification. This provides a geometric framework that connects the asymptotic structure of the space of Lorentzian polynomials with classical constructions in algebraic geometry.

academic

Lorentzian polynomials and matroids over triangular hyperfields 1: Topological aspects

基本信息

论文ID: 2508.02907
标题: Lorentzian polynomials and matroids over triangular hyperfields 1: Topological aspects
作者: Matthew Baker, June Huh, Mario Kummer, Oliver Lorscheid
分类: math.CO (Combinatorics), math.AG (Algebraic Geometry)
发表时间: 2025年10月10日 (arXiv v3)
论文链接: https://arxiv.org/abs/2508.02907

摘要

本文研究了Lorentzian多项式空间 $\mathbb{P}L_J$ 的拓扑性质，其中 $J$ 是多面体基集。作者证明了 $\mathbb{P}L_J$ 是一个有边界的流形，其维数等于 $J$ 的Tutte秩，并且同胚于一个闭欧几里得球减去其边界上的Dressian。更重要的是，文章建立了 $\mathbb{P}L_J$ 与三角超域 $\mathbb{T}_q$ 上的thin Schubert胞腔 $\text{Gr}_J(\mathbb{T}_q)$ 的同胚关系。这一联系使得作者能够利用多面体表示理论来显式描述多个重要情况下 $\mathbb{P}L_J$ 的同胚类型。

研究背景与动机

核心问题: 研究Lorentzian多项式空间的拓扑结构，特别是其同胚类型和紧化性质。
重要性:
- Lorentzian多项式是连接连续凸性和离散凸性的桥梁，在组合数学中有重要应用
- 它们推广了稳定多项式的概念，并在证明Mason猜想等组合问题中发挥关键作用
- 理解其拓扑性质对于深入理解多面体理论和热带几何具有重要意义
现有方法局限性:
- 之前的研究主要集中在Lorentzian多项式的代数性质
- 缺乏对其拓扑空间结构的系统性理解
- Brändén关于紧化性质的问题尚未解决
研究动机: 建立Lorentzian多项式与多面体表示理论之间的深层联系，从而利用已有的代数工具来研究拓扑问题。

核心贡献

拓扑刻画: 证明了 $\mathbb{P}L_J$ 是维数为Tutte秩的有边界流形，同胚于闭球减去边界上的Dressian。
同胚对应: 建立了 $\mathbb{P}L_J$ 与三角超域上thin Schubert胞腔 $\text{Gr}_J(\mathbb{T}_q)$ 的同胚关系。
显式分类: 对于特定类型的多面体（如二元、三元多面体），给出了 $\mathbb{P}L_J$ 的显式同胚类型。
紧化理论: 引入了Hausdorff紧化，并建立了与复Grassmannian的Chow商的联系。
反例构造: 通过计算Euler特征数，否定回答了Brändén关于某些紧化是否为闭球的问题。

定义: 对于 $q > 0$ ，三角超域 $\mathbb{T}_q$ 的乘法群为 $\mathbb{R}_{>0}$ ，零集由满足三角不等式的元素构成
性质: $a_1 + \cdots + a_k = 0$ 在 $\mathbb{T}_q$ 中成立当且仅当 $a_1^{1/q}, \ldots, a_k^{1/q}$ 构成（可能退化的）凸 $k$ 边形的边长

2. 星形集合理论

作者发展了强星形集合的理论：

定义: 集合 $(x^*, X, V)$ 是强星形的，如果 $X$ 在 $V$ 中闭合，且对任意 $x \in X$ 和 $t \in [0,1)$ ，点 $x^* + t(x - x^*)$ 位于 $X$ 的内部
关键结果: 强星形集合同胚于闭球减去边界上某些点

3. M-凸函数与表示理论

利用M-凸函数刻画 $\mathbb{T}_0$ -表示
建立Lorentzian多项式与多面体表示之间的对应关系

技术创新点

跨领域连接: 首次建立了Lorentzian多项式（分析）与多面体表示理论（代数）的深层联系。
强星形理论: 发展了强星形集合的拓扑理论，为研究这类空间提供了有力工具。
三角超域应用: 创新性地将Viro的三角超域理论应用到多面体拓扑研究中。
维数公式: 证明了 $\mathbb{P}L_J$ 的维数等于Tutte秩，这是一个非平凡的代数-拓扑对应。

实验设置

计算验证

具体例子:
- 均匀多面体 $U_{2,4}$ ： $\mathbb{P}L_{U_{2,4}}$ 同胚于2维闭圆盘减去边界上3个点
- Betsy Ross多面体 $B_{11}$ ：对应闭区间 $[-2,2]$
Euler特征数计算:
- 椭圆多面体 $T_{11}$ ： $\chi(\mathbb{P}L_{T_{11}}) = 11$
- 通过计算机辅助验证了Dressian的射线结构

验证方法

理论计算: 利用定理6.27的公式计算Euler特征数
计算机验证: 使用gfan和polymake软件计算Dressian和正则细分
具体构造: 通过矩阵表示验证特定情况下的同胚关系

实验结果

主要结果

拓扑分类:
- 二元多面体： $\mathbb{P}L_M$ 是单点
- 三元多面体：同胚于有限个半开区间和"减去三点的圆盘"的乘积
- 一般多面体：可表示为特定拓扑空间的逆极限
维数验证:
- 验证了维数公式 $\dim(\mathbb{P}L_J) = \text{Tutte rank}(J)$
- 对多个具体例子进行了计算验证
紧化性质:
- 证明了 $\mathbb{P}L_J$ 总是可以紧化为闭球
- 但其在所有多项式空间中的闭包一般不是闭球

重要发现

Brändén问题的否定答案:
- 椭圆多面体 $T_{11}$ 的例子说明 $\overline{\mathbb{P}L_M}$ 不总是闭球
- Euler特征数 $\chi(\mathbb{P}L_{T_{11}}) = 11 \neq 1$
稳定多项式空间:
- Betsy Ross多面体的稳定多项式空间仅包含两个轨道
- 其Euler特征数为17，也不是闭球