[論文レビュー] The Face Semigroup Algebra of a Hyperplane Arrangement

Franco Saliola|ArXiv.org|Nov 29, 2005

Algebraic structures and combinatorial models参考文献 21被引用数 5

ひとこと要約

本稿では、超平面配置の交差ラティス上に新しいコhomology構成を導入し、その配置の面半群代数がこのコhomology代数に同型であることを証明する。この代数がKoszulであることを確立し、そのクワイバーと関係式を計算し、構造が交差ラティスにのみ依存することを示す。これにより、代数的組合せ論を通じてマルコフ連鎖解析と降下代数論が統一される。

ABSTRACT

This article presents a study of an algebra spanned by the faces of a hyperplane arrangement. The quiver with relations of the algebra is computed and the algebra is shown to be a Koszul algebra. It is shown that the algebra depends only on the intersection lattice of the hyperplane arrangement. A complete system of primitive orthogonal idempotents for the algebra is constructed and other algebraic structure is determined including: a description of the projective indecomposable modules; the Cartan invariants; projective resolutions of the simple modules; the Hochschild homology and cohomology; and the Koszul dual algebra. A new cohomology construction on posets is introduced and it is shown that the face semigroup algebra is isomorphic to the cohomology algebra when this construction is applied to the intersection lattice of the hyperplane arrangement.

研究の動機と目的

• 中心的超平面配置の面半群代数の代数的構造を研究すること。
• この代数が配置の交差ラティスにのみ依存することを示すこと。
• 完全な原始的直交イデムポテンの系を構成し、射影的不分解モジュールを特定すること。
• この代数がKoszulであること、およびそのKoszul双対代数とHochschild (co)ホモロジーを証明・計算すること。
• poset上に新しいコhomology構成を導入し、それが面半群代数と同型であることを示すこと。

提案手法

• 面半群代数は、超平面配置の面を生成元とする体上の代数であり、幾何的積演算を持つ。
• クワイバーと関係式は、交差ラティスとラティス内の鎖の構造を用いて計算される。
• 面のラティス要素への標準的分解を介して、完全な原始的直交イデムポテンの系が構成される。
• 射影的不分解モジュールは、イデムポテンの上での面のスパンとして記述され、これらのモジュールを含む完全系列を用いて単純モジュールの射影的分解が構築される。
• poset上に新しいコhomology構成が導入され、逆ラティス内の鎖を用いて定義され、カップ積構造を持つ。
• ラティス内の鎖をクワイバー内のパスに写像し、代数的整合性を検証することで、面半群代数とコhomology代数の同型が証明される。

実験結果

リサーチクエスチョン

• RQ1 超平面配置の面半群代数は、その配置の交差ラティスとどのように関係するか？
• RQ2 poset上に新しいコhomology理論を構成できるか。そのコhomology代数が面半群代数に同型となるようにできるか？
• RQ3 面半群代数はKoszulであるか。そのKoszul双対代数は何か？
• RQ4 この代数の射影的モジュール、Cartan不変量、およびHochschild (co)ホモロジーは、ラティスの組合せ論的構造とどのように関係するか？
• RQ5 ラティスのホイットニーコhomologyは、面半群代数の構造において果たす役割は何か？

主な発見

• 面半群代数は、交差ラティスの反転（opposite）上に構成された新しいコhomology代数に同型であり、カップ積が代数乗法に対応する。
• この代数はKoszulであり、そのKoszul双対は単純モジュールのExt代数に同型である。
• 代数のクワイバーと関係式は明示的に計算され、交差ラティスのハッセ図を逆向きにした構造に対応する。
• 射影的不分解モジュールは、ラティス要素で添え字づけられたイデムポテンの上での面のスパンに同型であり、その構造はラティスの鎖構造によって決定される。
• 反転ラティスのホイットニーコhomologyは、代数におけるチャーマーのイデアルとして埋め込まれ、射影的不分解モジュールをなす。
• Koszul双対性とExt代数の構造を用いて、代数のHochschildホモロジーおよびコホモロジーが計算される。