[論文レビュー] The Orlik-Solomon Algebra and the Bergman Fan of a Matroid

Ilia Zharkov|arXiv (Cornell University)|Sep 7, 2012

Advanced Topics in Algebra参考文献 4被引用数 19

ひとこと要約

本稿は、マトロイド $M$ の射影的オルリック＝ソロモン代数 $OS_0(M)$ とそのバーグマンファン $\Sigma_0(M)$ のトロピカルコホモロジー代数 $\mathcal{F}^\bullet(\Sigma_0(M))$ の間に、標準的な同型写像を確立する。双対整数格子と多面体ファンホモロジーを用いて、バーグマンファンのコホモロジーが、代数的構造としてのオルリック＝ソロモン代数を幾何学的に実現することを示し、射影空間内の超平面配置の補集合のコホモロジーに対して、トロピカル幾何的解釈を提供する。

ABSTRACT

Given a matroid $M$ one can define its Orlik-Solomon algebra $OS(M)$ and the Bergman fan $Σ_0(M)$. On the other hand to any rational polyhedral fan $Σ$ one can associate its tropical homology and cohomology groups $\F_\bullet(Σ)$, $\F^\bullet (Σ)$. We will show that the projective Orlik-Solomon algebra $OS_0(M)$ is canonically isomorphic to $\F^\bullet (Σ_0(M))$.

研究の動機と目的

• マトロイド $M$ の射影的オルリック＝ソロモン代数 $OS_0(M)$ とそのバーグマンファン $\Sigma_0(M)$ のトロピカルコホモロジー代数 $\mathcal{F}^\bullet(\Sigma_0(M))$ の間に、標準的な同型写像を確立すること。
• 実現可能な超平面配置の $\mathbb{P}^n$ 内の補集合のコホモロジーを、トロピカルホモロジーを用いて幾何学的に解釈すること。
• マトロイド理論において、代数的構造（オルリック＝ソロモン代数）と幾何的対象（バーグマンファン）を、トロピカルホモロジーとコホモロジーを用いて統一すること。
• 実現可能でない場合にも、バーグマンファンをトロピカル的類似として用いることで、オルリック＝ソロモン代数の理解を拡張すること。

提案手法

• 有理多面体ファン $\Sigma$ に対して、錐内の整数格子を用いた外積の代数的構成により、トロピカルホモロジー群 $\mathcal{F}_k(\Sigma)$ とコホモロジー群 $\mathcal{F}^k(\Sigma)$ を定義する。
• マトロイド $M$ の真のフラットの格子を、$V$ を $M$ の基底集合上の自由アーベル群とするとき、$V_0 = V / \langle e_0 + \cdots + e_N \rangle$ における商格子として、バーグマンファン $\Sigma_0(M)$ を構成する。
• 依存する部分集合 $I$ に対して境界作用素 $\partial F_I$ が生成するイデアルを法として、$W$ 上の外積代数としてオルリック＝ソロモン代数 $OS^\bullet(M)$ を定義し、$f_i - f_j$ の部分代数 $W_0$ を用いてその射影的版 $OS_0^\bullet(M)$ を定義する。
• トロピカルコホモロジー $\mathcal{F}^\bullet(\Sigma_0(M))$ とオルリック＝ソロモン代数の間に双対性を確立し、$\mathcal{F}_\bullet(\Sigma(M))^\perp = \mathcal{I}^\bullet$（オルリック＝ソロモンイデアル）であることを示す。
• マトロイドのランクに関する帰納法と、外積作用素 $\partial$ と $\partial^*$ の性質を用いて、$\mathcal{F}_n(\Sigma(M)) = \langle E_I \rangle \cap \operatorname{Im}(\partial^*)$ が成り立つことを証明する。ここで $I$ は $n$ 個の独立な集合を走る。
• ファンのための格子 $V$ と代数のための双対空間 $W$ の間の双対性を活用し、射影的設定への同型写像を拡張することで、$\mathcal{F}^\bullet(\Sigma_0(M)) \cong OS_0^\bullet(M)$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 マトロイド $M$ のバーグマンファン $\Sigma_0(M)$ のトロピカルコホモロジーと、$OS_0(M)$ の射影的オルリック＝ソロモン代数との間に、標準的な同型写像が存在するか？
• RQ2 実現可能な超平面配置の $\mathbb{P}^n$ 内の補集合のコホモロジーは、バーグマンファンのトロピカルコホモロジーによって幾何学的に実現可能か？
• RQ3 オルリック＝ソロモンイデアル $\mathcal{I}^\bullet$ は、トロピカルホモロジー $\mathcal{F}_\bullet(\Sigma(M))$ の直交補空間とどのように関係するか？
• RQ4 整数格子 $V$ と双対空間 $W$ の間の双対性は、コホモロジーとイデアルのレベルにまで拡張可能であり、射影的設定における同型写像を可能にするか？
• RQ5 同型写像 $\mathcal{F}^\bullet(\Sigma_0(M)) \cong OS_0^\bullet(M)$ は、実現可能な場合に依存せずに代数的に確立可能か？

主な発見

• 射影的オルリック＝ソロモン代数 $OS_0^\bullet(M)$ とトロピカルコホモロジー代数 $\mathcal{F}^\bullet(\Sigma_0(M))$ は、$\mathbb{Z}$ 上の可換な次数代数として、標準的に同型である。これは、代数的組合せ論とトロピカル幾何学との深い結びつきを示している。
• トロピカルコホモロジー $\mathcal{F}^\bullet(\Sigma_0(M))$ はオルリック＝ソロモン代数 $OS_0^\bullet(M)$ と同型であり、$M$ が実現可能である場合に、$\mathbb{P}^n$ 内の超平面配置の補集合のコホモロジーを幾何学的に実現する。
• トロピカルホモロジー $\mathcal{F}_\bullet(\Sigma(M))$ の $\wedge^\bullet \mathbb{Z}^N$ 内の直交補空間は、正確にオルリック＝ソロモンイデアル $\mathcal{I}^\bullet$ に一致し、両者の構造の双対性の根幹をなしている。
• 同型写像は、ファンのための格子 $V$ と代数のための双対空間 $W$ の間の双対性によって誘導され、$W_0$ への制限は $V$ 内の $e_M$ による商に一致する。
• 帰納法を用いた証明は、随伴作用素 $\partial^*$ とフラットの完全フラグの構造に依存し、$\mathcal{F}_n(\Sigma(M)) = \langle E_I \rangle \cap \operatorname{Im}(\partial^*)$ が独立な $n$-集合 $I$ に対して成り立つことを示し、最高次元ホモロジーを特徴づける。
• 結果は、実現可能でないマトロイドに対しても普遍的に成り立ち、非実現可能な場合でさえ、オルリック＝ソロモン代数にトロピカル幾何的解釈を提供する。