[论文解读] Simplicial generation of Chow rings of matroids

Spencer Backman, Christopher Eur+1 more|arXiv (Cornell University)|May 17, 2019

Advanced Combinatorial Mathematics被引用 10

一句话总结

本文引入了拟单纯生成元来表示拟单纯环的查沃环，提供了一种新的组合化表述，避免了先前工作中依赖的翻转技术。该研究建立了单项式基与相对嵌套商之间的双射，证明了庞加莱对偶性，推导出对数凹体积多项式，并给出了霍奇-莱夫谢茨关系在度数1的简化证明——这是所有已知拟单纯霍奇理论组合应用的关键。

ABSTRACT

We introduce a presentation of the Chow ring of a matroid by a new set of generators, called "simplicial generators." These generators are analogous to nef divisors on projective toric varieties, and admit a combinatorial interpretation via the theory of matroid quotients. Using this combinatorial interpretation, we (i) produce a bijection between a monomial basis of the Chow ring and a relative generalization of Schubert matroids, (ii) recover the Poincaré duality property, (iii) give a formula for the volume polynomial, which we show is log-concave in the positive orthant, and (iv) recover the validity of Hodge-Riemann relations in degree 1, which is the part of the Hodge theory of matroids that currently accounts for all combinatorial applications of [AHK18]. Our work avoids the use of "flips," the key technical tool employed in [AHK18].

研究动机与目标

• 开发一种使用拟单纯生成元的新拟单纯环表述，其特性类似于环面代数簇上的无基点除子。
• 通过拟合子商与主截断，为这些生成元提供组合解释。
• 在不依赖翻转（先前工作的关键技术工具）的前提下，恢复庞加莱对偶性与度数1的霍奇-莱夫谢茨关系。
• 推导体积多项式的公式，并在正象限中证明其对数凹性，推广了波斯特尼科夫的结果。
• 在拟单纯表述中的单项式与拟合子的相对嵌套商之间建立双射。

提出的方法

• 引入拟单纯表述 $ A_{\nabla}^{\bullet}(M) $，作为生成元 $ h_F $ 的多项式环的商，其中 $ h_F $ 映射到经典 $ A_{FY}^{\bullet}(M) $ 中的 $ -\bigsum_{G \ni F} z_G $。
• 建立拟单纯生成元 $ h_F $ 通过cap积与 $ M $ 沿平坦子集 $ F $ 的主截断之间的对应关系，从而建立几何-组合联系。
• 将 $ A_{\nabla}^{\bullet}(M) $ 的嵌套基定义为经典表述中格罗布纳基的像，并证明其与 $ M $ 的相对嵌套商之间存在双射。
• 通过射影代数簇上无基点除子的拉回类比，将 $ h_F $ 解释为类似于超平面拉回的结构，即使 $ M $ 不可实现也成立。
• 利用拟单纯生成元及其组合结构的性质，证明体积多项式在正象限中为洛伦茨型（因此对数凹），从而完成证明。
• 通过对拟合子秩进行归纳，并利用商分解 $ A^{\bullet}(M)/\text{ann}(x_F) \to A^{\bullet}(M|F) \bigotimes A^{\bullet}(M/F) $，将霍奇-莱夫谢茨与霍奇-罗赫关系的证明约化为低秩情形。

实验结果

研究问题

• RQ1 如何在非可实现情形下，用反映几何性质（如无基点性）的生成元重新表述拟合子的查沃环？
• RQ2 拟单纯表述中单项式的组合对象是什么？
• RQ3 能否在不使用翻转的前提下恢复庞加莱对偶性与度数1的霍奇-莱夫谢茨关系？
• RQ4 查沃环的体积多项式在正象限中是否对数凹？能否显式计算？
• RQ5 拟单纯生成元 $ h_F $ 的精确组合解释是什么，其与拟合子商和截断的关系如何？

主要发现

• 证明了拟单纯生成元 $ h_F $ 在 $ A_{\nabla}^{\bullet}(M) $ 中，通过cap积与 $ M $ 沿平坦子集 $ F $ 的主截断一一对应，从而提供了直接的组合解释。
• 拟单纯环 $ A_{\nabla}^{\bullet}(M) $ 的嵌套基与 $ M $ 的相对嵌套商集合之间存在自然双射，推广了嵌套拟合子的概念。
• 证明了 $ A_{\nabla}^{\bullet}(M) $ 的体积多项式在正象限中对数凹，并且根据 [BH20] 的定义为洛伦茨型。
• 通过避免使用翻转的简化证明，恢复了度数1的霍奇-莱夫谢茨关系，其核心依赖于归纳法与商分解。
• 利用拟单纯表述及其组合结构，建立了 $ A_{\nabla}^{\bullet}(M) $ 的庞加莱对偶性。
• 度数0与1的霍奇-莱夫谢茨与霍奇-罗赫关系的证明被约化为验证体积积分的正性与双线性形式 $ Q_{\rho}^1 $ 的符号，而这一性质由拟单纯生成元的结构保证。