Polar Degrees of Matroids

技术摘要：拟阵的极点次数 (Polar Degrees of Matroids)

问题陈述
本文研究了互反线性空间（reciprocal linear spaces）的几何性质，即线性子空间 $L \subseteq \mathbb{P}^n$ 在坐标逐项求逆映射（Cremona 变换）下的像的闭包 $L^{-1}$。研究的核心对象是 $L^{-1}$ 的极点次数序列（sequence of polar degrees），这些次数编码了其极点簇（polar varieties）的次数，并且至关重要的是，编码了其射影对偶簇 $(L^{-1})^\vee$ 的次数。

这项工作的动机源于 Matsubara-Heo 与 Telen 关于主拟阵行列式 $E_L$ 的近期猜想。这些猜想认为：

1. $L^{-1}$ 是对偶亏损的（即 $\dim((L^{-1})^\vee) < n-1$），当且仅当相关的拟阵 $M(L)$ 是不连通的。
2. 若 $M(L)$ 是连通的，则对偶簇的次数为 $2^d \beta(M)$，其中 $d = \dim(L)$ 且 $\beta(M)$ 是拟阵的 beta 不变量。
3. $E_L$ 的因子分解涉及与沿分层（strata）的 $L^{-2}$ 局部重数相关的特定重数。

虽然关于重数的第三个猜想仍处于开放状态（在未来工作中 [BKW26] 中讨论），但本文提供了一个完整的组合描述来计算极点次数，从而解决了前两个猜想，并给出了所有极点次数的一个统一公式。

方法论
作者综合运用了代数几何、热带几何（tropical geometry）和拟阵论。核心策略是将计算对合簇（conormal variety）上的相交数这一几何问题，转化为在双置换多面体扇（bipermutohedral fan）上的组合问题。

1. 对合簇与参数化： 研究中心是对合簇 $\text{Con}(L^{-1}) \subseteq \mathbb{P}^n \times (\mathbb{P}^n)^*$。作者利用一个有理参数化 $\psi: L \times L^\perp \dashrightarrow \mathbb{P}^n \times (\mathbb{P}^n)^*$，即 $(x, y) \mapsto (x^{-1}, x^2 y)$，该映射到对合簇。
2. 解决不定性： 为了计算次数，必须对该有理映射进行解析。作者通过从射影空间的乘积转向双置换多面体簇 $X(\Sigma_{E,E})$ 来解析基簇（base locus），这是一个由 Adiprasito, Huh, 和 Katz [ADH22] 引入的平滑射影环面簇（toric variety）。该簇承载了拟阵 $M$ 的对合扇 $\Sigma_{M, M^\perp}$。
3. 热带化与权重追踪： 作者利用热作为几何学，将 $L^{-1}$ 的极点次数与更简单的映射 $\phi(x, y) = (x^{-1}, xy)$ 的多次数（multidegree）联系起来。通过分析 Hadamard 积 $L \star L^\perp$ 的热带化，并追踪有限映射（特别是平方映射）下锥的权重，作者从相交数中提取出了 $2$和$m$（对于广义幂次）的因子。
4. 组合归约： 对合簇上的相交数被表示为关于拟阵 $M$ 中递减平坦链（decreasing flags of flats）的求和。随后，通过涉及小规模拟阵 beta 不变量的递归论证，将这些求和与缩减特征多项式 $\chi_M(t)$ 的系数联系起来。

主要贡献与结果

• 主定理 (Theorem A)： 本文建立了互反线性空间极点次数 $\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$ 次幂逆映射下的像）。定理 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 类： 本文推导了 $L^{-1}$ 的 Chern-Mather 类的次数关于 $\chi_M$ 的组合公式。
  • 距离次数： $L^{-1}$ 的泛距离次数（generic distance degree）被证明为 $(-3)^d \chi_M(2/3)$。

意义
本文表明，互反线性空间的极点次数完全由其底层拟阵的组合不变量决定。通过将这些几何不变量表示为缩减特征多项式替换后的系数，作者架起了对合簇几何与双置换多面体扇组合之间的桥梁。

这项工作解决了关于主拟阵行列式 $E_L$ 结构的两个开放猜想，阐明了哪些因子会出现及其次数。此外，它强化了热工具以及 [ADH22] 中开发的机制在解决拟阵理论和代数统计中长期存在的问题方面的效用。作者指出，虽然所得多项式系数的对数凹性遵循 $\chi_M$ 的对数凹性（已在 [AHK18] 中证明），但显式的组合公式为这些系数提供了直接的几何解释，将其视为相交数。