Polar Degrees of Matroids

技術要約：マトロイドの極次数（Polar Degrees）

問題設定
本論文は、線形部分空間 $L \subseteq \mathbb{P}^n$ の座標ごとの逆写像（クレモナ変換）による像の閉包 $L^{-1}$ である、相反線形空間（reciprocal linear spaces）の幾何学的性質を調査するものである。研究の中心となる対象は、$L^{-1}$ の極次数（polar degrees）の列であり、これはその極多様体（polar varieties）の次数、そして決定的なことに、その射影双対多様体 $(L^{-1})^\vee$ の次数を符号化している。

本研究は、主マトロイド行列式（principal matroid determinant）$E_L$ に関する松原・HeoおよびTelenによる最近の予想に基づいている。これらの予想は以下の通りであった：

1. $L^{-1}$ が双対欠陥（dual defective）である（すなわち、$\dim((L^{-1})^\vee) < n-1$ である）ための必要十分条件は、関連するマトロイド $M(L)$ が非連結であることである。
2. $M(L)$ が連結である場合、双対多様体の次数は $2^d \beta(M)$ である（ここで $d = \dim(L)$ および $\beta(M)$ はマトロイドのベータ不変量である）。
3. $E_L$ の因数分解は、ストラータに沿った $L^{-2}$ の局所的な多重度に関連する特定の多重度を含む。

第3の予想である多重度に関する記述は未解決のままであるが（将来の研究 [BKW26] で扱われる）、本論文は極次数の完全な組合せ論的記述を提供することで、最初の2つの予想を解決し、すべての極次数に対する統一的な公式を提示する。

手法
著者らは、代数幾何学、トロピカル幾何学、およびマトロイド理論を統合して用いる。核心となる戦略は、共ノルマル多様体上の交差数を計算するという幾何学的な問題を、**バイパーミュトヘドラル・ファン（bipermutohedral fan）**上の組合せ論的な問題へと翻訳することである。

1. 不定性の解消： 有理写像 $\psi: L \times L^\perp \dashrightarrow \mathbb{P}^n \times (\mathbb{P}^n)^*$, $(x, y) \mapsto (x^{-1}, x^2 y)$ は共ノルマル多様体へと写される。次数の計算にあたり、この有理写像を解消する必要がある。著者らは、射影空間の直積から、Adiprasito, Huh, Katz [ADH22] によって導入された滑らかな射影トーリック多様体であるバイパーミュトヘドラル多様体 $X(\Sigma_{E,E})$ へと移行することで、基底束（base locus）を解消する。この多様体は、マトロイド $M$ の共ノルマル・ファン $\Sigma_{M, M^\perp}$ を保持している。
2. トロピカル化と重みの追跡： 著者らは、トロピカル幾何学を用いて、$L^{-1}$ の極次数をより単純な写像 $\phi(x, y) = (x^{-1}, xy)$ の多重次数に関連付ける。アダマール積 $L \star L^\perp$ のトロピカル化を分析し、有限写像（具体的には平方写像）の下での錐（cone）の重みを追跡することにより、交差数から因子 $2$および$m$（一般化された冪乗の場合）を抽出する。
3. 組合せ論的簡約： 共ノルマル多様体上の交差数は、マトロイド $M$ における**減少するフラットの旗（decreasing flags of flats）**の和として表現される。これらの和は、マイナーのベータ不変量を用いた再帰的な議論を通じて、簡約特性多項式 $\chi_M(t)$ の係数に関連付けられる。

主要な貢献および結果

• 主定理 (Theorem A): 本論文は、相反線形空間 $L^{-1}$ の極次数 $\mu_j(L^{-1})$ に関する閉じた公式を確立する。$\chi_M(t)$ を $M$ の簡約特性多項式とすると、極次数の母関数は以下で与えられる：
  $$\sum_{j=0}^d \mu_j(L^{-1}) t^j = (-2t - 1)^d \chi_M\left( \frac{2t}{2t + 1} \right)$$
  等価な表現として、双対次数 $\delta_i(L^{-1}) = \mu_{d-i}(L^{-1})$ については以下が成り立つ：
  $$\sum_{i=0}^d \delta_i(L^{-1}) t^i = (-t - 2)^d \chi_M\left( \frac{2}{t + 2} \right)$$

• 予想の解決：

  • 予想 1.1 (双対欠陥性): この公式は、$L^{-1}$ が双対欠陥であるための必要十分条件は $\beta(M) = 0$ であることを確認しており、これは $M$ が非連結である場合に正確に成立する。
  • 予想 1.2 (双対次数): 連結なマトロイドに対して、双対次数は明示的に $\deg((L^{-1})^\vee) = 2^d \beta(M)$ である。

• 一般化：

  • 高次冪: 結果は、相反線形空間 $L^{-m}$（座標ごとの $m$ 乗逆写像による像）へと拡張される。Theorem 4.8 は、$m$ と連結成分の数 $c(M)$ を含む公式を与える：
    $$\sum_{j=0}^d \mu_j(L^{-m}) t^j = m^{1-c(M)} (-(m+1)t - m)^d \chi_M\left( \frac{(m+1)t}{(m+1)t + m} \right)$$
  • チェルン・マザー類 (Chern-Mather Classes): 本論文は、$L^{-1}$ のチェルン・マザー類の次数を $\chi_M$ を用いて表現する組合せ論的な公式を導出している。
  • 距離次数 (Distance Degrees): $L^{-1}$ の生成的距離次数は $(-3)^d \chi_M(2/3)$ であることが示されている。

意義
本論文は、相反線形空間の極次数が、基礎となるマトロイドの組合せ論的不変量によって完全に決定されることを示している。これらの幾何学的不変量を、簡約特性多項式の置換の係数として表現することにより、著者らは共ノルマル多様体の幾何学とバイパーミュトヘドラル・ファンの間の架け橋を築いた。

この研究は、主マトロイド行列式 $E_L$ の構造に関する2つの未解決の予想を解決し、どの因子が現れ、それらの次数がいくらであるかを明確にした。さらに、トロピカルな手法と [ADH22] で開発された仕組みが、マトロイド理論や代数統計学における長年の問題を解決するために有用であることを再確認している。著者らは、得られた多項式の係数の対数凹性は $\chi_M$ の対数凹性（[AHK18] で証明済み）から従うものの、明示的な組合せ論的公式は、これらの係数の直接的な幾何学的解釈を提供していると述べている。