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多項式と三角超体上のマトロイド 1: 位相的側面

基本情報

論文ID: 2508.02907
タイトル: Lorentzian polynomials and matroids over triangular hyperfields 1: Topological aspects
著者: Matthew Baker, June Huh, Mario Kummer, Oliver Lorscheid
分類: math.CO（組合論）、math.AG（代数幾何）
発表日時: 2025年10月10日（arXiv v3）
論文リンク: https://arxiv.org/abs/2508.02907

要旨

本論文は、多面体基集合 $J$ に対するLorentzian多項式空間 $\mathbb{P}L_J$ の位相的性質を研究している。著者らは $\mathbb{P}L_J$ が境界を持つ多様体であり、その次元が $J$ のTutte秩に等しいこと、および同型であることを証明している。さらに重要なことに、本論文は $\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の特定の紧化が閉球であるかという問題に否定的な答えを与えた。

方法の詳細

タスク定義

多面体 $J \subseteq \Delta^d_n$ 上のLorentzian多項式の射影空間 $\mathbb{P}L_J$ の位相的性質を研究する。ここで $\Delta^d_n = \{\alpha \in \mathbb{N}^n : \alpha_1 + \cdots + \alpha_n = d\}$ である。

核心的技術フレームワーク

1. 三角超体理論

定義: $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$ は単一点
- 三元多面体：有限個の半開区間と「3点を除いた円盤」の積と同型
- 一般多面体：特定の位相空間の逆極限として表現可能
次元検証:
- 次元公式 $\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多面体の安定多項式空間は2つの軌道のみを含む
- そのEuler特性数は17であり、やはり閉球ではない