[論文レビュー] Sperner property and finite-dimensional Gorenstein algebras associated to matroids

Toshiaki Maeno, Yasuhide Numata|arXiv (Cornell University)|Jul 25, 2011

Commutative Algebra and Its Applications参考文献 7被引用数 11

ひとこと要約

この論文は、有限体上の射影空間から生じるマトロイドに関連する有限次元ゴレンシュタイン代数におけるレフシェッツ性質を確立する。マトロイドの基底多項式からゴレンシュタイン代数を構成し、その強レフシェッツ性質を証明することで、ベクトル空間格子 $V(q,n)$ およびより一般にモジュラー幾何格子におけるスパーナー性質が導かれる。

ABSTRACT

We prove the Lefschetz property for a certain class of finite-dimensional Gorenstein algebras associated to matroids. Our result implies the Sperner property of the vector space lattice. More generally, it is shown that the modular geometric lattice has the Sperner property. We also discuss the Gröbner fan of the defining ideal of our Gorenstein algebra.

研究の動機と目的

• マトロイドに関連する有限次元ゴレンシュタイン代数のクラスにおけるレフシェッツ性質を証明すること。
• この結果を用いて、$\mathbb{F}_q^n$ 上のベクトル空間格子 $V(q,n)$ におけるスパーナー性質を確立すること。
• マトロイド論的構成を用いて、スパーナー性質をモジュラー幾何格子へ一般化すること。
• 基底多項式 $\Phi_M$ の annihilator 理想のグレブナー・ファンを分析し、トロピカル幾何と結びつけること。
• グレブナー・ファン $\operatorname{Ann}\Phi_{M(q,n)}$ が、$\Phi_{M(q,n)}$ によって生成される主理想のグレブナー・ファンを refine することを示すこと。

提案手法

• マトロイド $M$ の基底多項式 $\Phi_M = \sum_{B \in \mathcal{B}} x_B$ を用いて、微分多項式環を $\operatorname{Ann}\Phi_M$ で割った商としてゴレンシュタイン代数 $A_M$ を構成する。
• 逆系理論を用いて、$\Phi_M$ が誘導する双対性を通じて $A_M$ がゴレンシュタイン代数として特徴付けられるようにする。
• 線形元 $L$ による乗法が、$i \leq D/2$ に対して $\times L^{D-2i}: A_i \to A_{D-i}$ が全単射をなすことにより、$A_M$ の強レフシェッツ性質を証明する。
• 削減された多面体のサポート関数を用いて、トロピカル多様体 $V_{\rm trop}(\Phi_M)$ をマトロイド単体 $\Delta_M^0$ と関連付ける。
• マトロイドのフラット $\tau$ に関連するトロピカル超曲面 $V_{\rm trop}(f_\tau)$ を用いて、$G(\operatorname{Ann}\Phi_M)$ を分析する。
• $G(\operatorname{Ann}\Phi_M)$ が、$\Phi_M$ の初期形によって生成される理想 $J_M$ のグレブナー・ファン $G(J_M)$ を refine することを示す。

実験結果

リサーチクエスチョン

• RQ1 マトロイド $M(q,n)$ に付随するゴレンシュタイン代数 $A_{M(q,n)}$ は、強レフシェッツ性質を満たすか？
• RQ2 $V(q,n)$ のスパーナー性質は、$A_{M(q,n)}$ のレフシェッツ性質から導けるか？
• RQ3 $\operatorname{Ann}\Phi_{M(q,n)}$ のグレブナー・ファンは、$\Phi_{M(q,n)}$ によって生成される主理想のグレブナー・ファンを refine するか？
• RQ4 トロピカル超曲面 $V_{\rm trop}(\Phi_M)$ は、マトロイド単体および $\operatorname{Ann}\Phi_M$ のファン構造とどのように関係するか？
• RQ5 同じ代数的枠組みを通じて、モジュラー幾何格子におけるスパーナー性質は保存されるか？

主な発見

• 有限体 $\mathbb{F}_q$ 上の射影空間 $\mathbb{P}^{n-1}(\mathbb{F}_q)$ に属するマトロイド $M(q,n)$ に付随するゴレンシュタイン代数 $A_{M(q,n)}$ は、強レフシェッツ性質を満たす。
• $V(q,n)$ のスパーナー性質は、$A_{M(q,n)}$ のレフシェッツ性質の結果として確立される。
• $\operatorname{Ann}\Phi_{M(q,n)}$ のグレブナー・ファン $G(\operatorname{Ann}\Phi_{M(q,n)})$ は、$\Phi_{M(q,n)}$ によって生成される理想のグレブナー・ファン $G(J_{M(q,n)})$ を refine する。
• $M = M(2,2)$ の場合、$G(\operatorname{Ann}\Phi_M)$、$G(J_M)$、$-G(\Phi_M)$ は一致し、その $H$ への制限は、三つの半直線 $\mathbb{R}_{\geq 0}(-2,1,1)$、$\mathbb{R}_{\geq 0}(1,-2,1)$、$\mathbb{R}_{\geq 0}(1,1,-2)$ で生成される。
• $M = M(2,3)$ の場合、$\bar{G}(\operatorname{Ann}\Phi_M)$ は 420 個の最大コーンと 49 個のレイトスを含み、一方 $\bar{G}(\Phi_M)$ は 28 個の最大コーンと 21 個のレイトスを含む。
• 例 2.7 のマトロイドについて、$\bar{G}(\operatorname{Ann}\Phi_M)$ は 20 個の最大コーンと 9 個のレイトスを含み、$\bar{G}(J_M)$（12 個の最大コーンと 7 個のレイトス）を refine する。