[論文レビュー] Modular decomposition of the Orlik-Terao algebra of a hyperplane arrangement

Graham Denham, Mehdi Garrousian+1 more|arXiv (Cornell University)|Nov 19, 2012

Algebraic structures and combinatorial models参考文献 19被引用数 6

ひとこと要約

本稿は、超平面配置のオリク・テラオ代数におけるモジュラー分解定理を確立する：対応するフラットがモジュラーであるときかつそのときに限り、その代数は部分配置のオリク・テラオ代数のスプリット拡大である。これはスタンレーのモジュラー因数分解定理を精緻化し、モジュラー性の新たな特徴付けを提供する。これにより、超可解的配置のオリク・テラオ代数がクォーツィックであることを示し、代数が二次的完全交差となる条件を特定する。

ABSTRACT

Let A be a collection of n linear hyperplanes in k^l, where k is an algebraically closed field. The Orlik-Terao algebra of A is the subalgebra R(A) of the rational functions generated by reciprocals of linear forms vanishing on hyperplanes of A. It determines an irreducible subvariety of projective space. We show that a flat X of A is modular if and only if R(A) is a split extension of the Orlik-Terao algebra of the subarrangement A_X. This provides another refinement of Stanley's modular factorization theorem and a new characterization of modularity, similar in spirit to the modular fibration theorem of Paris. We deduce that if A is supersolvable, then its Orlik-Terao algebra is Koszul. In certain cases, the algebra is also a complete intersection, and we characterize when this happens.

研究の動機と目的

• 超平面配置におけるモジュラーフラットの新たな代数的特徴づけを、オリク・テラオ代数を用いて確立すること。
• オリク・テラオ代数の代数的スプリット性質と結びつけることで、スタンレーのモジュラー因数分解定理を精緻化すること。
• オリク・テラオ代数がクォーツィック代数または二次的完全交差となる条件を特定すること。
• マトロイド構造に基づいた、オリク・テラオ代数が二次的完全交差となるための組合せ的特徴づけを提供すること。
• 代数的分解を通じて、パリスのファイブレーション定理を代数的設定へと拡張すること。

提案手法

• 著者たちは、超平面上に消える線形形式の逆数によって生成される有理関数の部分代数としてオリク・テラオ代数を定義する。
• 代数的およびマトロイド論的技法を用いて、フラット $X$ がモジュラーであることと、$\operatorname{R}({\mathcal{A}})$ が $\operatorname{R}({\mathcal{A}}_X)$ のスプリット拡大であることとが同値であることを示す。
• 代数的不変量とマトロイド的不変量を結びつけるため、ヒルベルト系列の公式 $h(\operatorname{R}({\mathcal{A}}),t) = \pi({\mathcal{A}}, t/(1-t))$ を用いる。
• ブライアウスキーのポincare多項式の公式や完全主成分切断の概念を含む、マトロイド論の結果を応用する。
• 特に、定義イデアル $I({\mathcal{A}})$ の二次成分 $I_2({\mathcal{A}})$ を分析することで、代数が完全交差となる条件を特定する。
• サーレ・スペクトル系列や配置の3-グラフ上のベッチ数計算を含む、位相的およびホモロジー的道具を用いて、組合せ的条件と代数的条件の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 超平面配置のオリク・テラオ代数が、部分配置の代数のスプリット拡大となるのはいつか？
• RQ2 フラットのモジュラー性を特徴付ける、配置に関する正確な代数的条件は何か？
• RQ3 オリク・テラオ代数がクォーツィック代数となるのはいつか？
• RQ4 オリク・テラオ代数が二次的完全交差となるのはいつか？
• RQ5 配置のマトロイドのどの組合せ的性質が、代数が二次的完全交差となることに対応するか？

主な発見

• 超平面配置 $\mathcal{A}$ のフラット $X$ がモジュラーであることと、オリク・テラオ代数 $\operatorname{R}({\mathcal{A}})$ が $\operatorname{R}({\mathcal{A}}_X)$ のスプリット拡大であることとは同値であり、これによりモジュラー性の新たな代数的特徴づけが得られる。
• もし $\mathcal{A}$ が超可解的であれば、そのオリク・テラオ代数はクォーツィックである。これは代数的組合せ論の既知の結果を拡張する。
• オリク・テラオ代数が二次的完全交差となるのは、対応するマトロイドがラインクロージドであり、かつ3-グラフ $G({\mathcal{A}})$ が3フォレストであるときに限る。
• 代数が二次的完全交差となるのは、マトロイドの連結成分が、一様マトロイド $U_{2,3}$ の繰り返し平行接続によって構成されるときであり、これはすべての指数が1または2に等しいことに対応する。
• 2形式的配置に対しては、オリク・テラオ代数が完全交差となるのは、それが二次的であるときのみであり、このクラスでは強い同値性が成立する。