[論文レビュー] 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次におけるホッジ＝リーマン関係を回復すること。
• 体積多項式の公式を導出し、正の象限においてその対数的凸性を証明すること。これはポストニコフの結果を一般化する。
• 単体的表現における単項式とマトロイドの相対的ネストされた商との間の全単射を確立すること。

提案手法

• 生成子 $ h_F $ を持つ多項式環の商として単体的表現 $ A_{\nabla}^{\bullet}(M) $ を導入し、$ h_F $ が古典的 $ A_{FY}^{\bullet}(M) $ において $ -\bigsum_{G \ni F} z_G $ に写像されることを示す。
• 単体的生成子 $ h_F $ が、カップ積を介して、フラット $ F $ によるマトロイド $ M $ の主的切断に対応することを示し、幾何的・組合せ論的関係を確立する。
• 古典的表現からのグレブナー基底の像として得られる $ 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 $ がフラット $ F $ によるマトロイド $ M $ の主的切断に対応することが示され、直接的な組合せ論的解釈が得られる。
• $ A_{\nabla}^{\bullet}(M) $ のネストされた基底とマトロイドの相対的ネストされた商の集合との間に自然な全単射が存在し、ネストされたマトロイドの概念を一般化する。
• $ A_{\nabla}^{\bullet}(M) $ の体積多項式は、正の象限において対数的凸性を示すことが証明され、[BH20] の意味でのローレンツ型であることが示される。
• フラップスを避ける簡略化された証明により、1次におけるホッジ＝リーマン関係が回復される。
• 単体的表現とその組合せ論的構造を用いて、 $ A_{\nabla}^{\bullet}(M) $ の双対性が確立される。
• 0次および1次のホッジ＝レフシェッツおよびホッジ＝リーマン関係の証明は、体積積分の正定性および双線形形式 $ Q_{\rho}^1 $ の符号の正定性に還元され、単体的生成子の構造のおかげで成立する。