[論文レビュー] Annihilators of Ideals of Exterior Algebras

Graham Denham, Sergey Yuzvinsky|ArXiv.org|Oct 17, 2000

Commutative Algebra and Its Applications参考文献 16被引用数 3

ひとこと要約

本稿は、旗空間から導かれる純粋な生成子を用いて、外積代数におけるオルリック＝ソロモンイデアルの消滅イデアルの明示的表現を提供する。グレブナー基底と生成子間の関係を用いる。本稿は、OS代数の二次性のための必要条件として、3-独立性を有するマトロイドの概念を導入し、線型閉マトロイドではあるが3-独立性を満たさない例を構成することで、フォークの予想を反証する。

ABSTRACT

The Orlik-Solomon algebra A of a matroid is isomorphic to the quotient of an exterior algebra E by a defining ideal I. We find an explicit presentation of the annihilator ideal of I or, equivalently, the E-module dual to A. As an application of that we provide a necessary, combinatorial condition for the algebra A to be quadratic. We show that this is stronger than matroid being line-closed thereby resolving (negatively) a conjecture by Falk. We also show that our condition is not sufficient for the quadraticity.

研究の動機と目的

• 外積代数におけるオルリック＝ソロモンイデアルの消滅イデアルの明示的表現を提供すること。
• オルリック＝ソロモン代数が二次的であるための必要条件としての組合せ論的条件「3-独立性」を確立すること。
• 線型閉マトロイドがOS代数の二次性を十分に保証するというフォークの予想を否定的に解決すること。
• 消滅イデアルの自由分解を用いて、OS代数の双対モジュールの構造を分析すること。
• OSイデアルとその二次的切断の消滅イデアルの生成子の違いを比較し、生成子の純粋性に関する構造的差異を明らかにすること。

提案手法

• フラッグ空間から導かれる純粋な生成子を用いて、OSイデアル $I$ の消滅イデアル $I^0$ に対するグレブナー基底を構成する。
• フラッグ複体における木構造を用いて、$I^0$ の同次成分をnbc-フラッグから導かれる基底で特徴付ける。
• 初期単項式と初期イデアルからの関係の変形を分析することで、$I^0$ の生成子間の関係を導出する。
• フラッグベクトルの線形従属性（補題5.9を用いて）により、標準的でないフラッグを標準的フラッグの線形結合として再表現する。
• 命題5.10による再帰的還元を適用し、標準的でない生成子を標準的生成子の線形結合として表現する。
• これらの結果を統合し、$I^0$ を$E$-加群としての次数付きモジュールとして完全に提示する。明示的な生成子と関係式を含む。

実験結果

リサーチクエスチョン

• RQ1 外積代数におけるオルリック＝ソロモンイデアル $I$ の消滅イデアル $I^0$ の構造は何か？
• RQ2 マトロイドにどのような組合せ論的条件を課すと、そのオルリック＝ソロモン代数が二次的になるか？
• RQ3 線型閉であるという性質は、オルリック＝ソロモン代数が二次的であるために十分か？
• RQ4 OSイデアルとその二次的切断の消滅イデアルの生成子の純粋性の違いは何か？
• RQ5 OS代数の最小インジェクティブ分解は、消滅イデアルを用いて明示的に記述可能か？

主な発見

• オルリック＝ソロモンイデアルの消滅イデアル $I^0$ は、純粋な要素によって生成され、純粋な生成子からなるグレブナー基底を持つ。
• 消滅イデアル $I^0$ が純粋イデアルであることが示され、一方、二次的切断 $J$ の消滅イデアルは一般に純粋でないことが、例4.6で示された。
• 本稿では、OS代数が二次的であるために必要な新しいマトロイドの性質「3-独立性」を定義し、線型閉性よりも厳密に強い性質であることを示した。
• 線型閉であるが3-独立性を満たさないマトロイドの反例（例4.5）を構成し、フォークの予想を反証した。
• 消滅イデアル $I^0$ は、フラッグ複体と木構造に基づく関係から導かれる明示的生成子と関係式を有する完全な提示を持つ。
• 生成子間の関係空間が線形独立であり、木構造とフラッグ依存性を用いて完全に記述可能であることが示された。