[論文レビュー] Small rational model of subspace complement

Sergey Yuzvinsky|ArXiv.org|Jun 26, 1998

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

ひとこと要約

この論文は、De Concini-Procesiのすばらしいモデルに quasi-isomorphic な微分 graded 代数（DGA）を用いて、複素部分空間補集合の rational 係数コホモロジー環の小さな rational モデルを構成する。2つの配置クラスについて、明示的なコホモロジー環の表示を提供し、そのトポロジーを組合せ的データによって計算的に効率よく研究するための枠組みを提供する。

ABSTRACT

In the paper we compute the ring strucure on the rational cohomology of a complex subspace complement. For that we construct a small differential graded subalgebra of the De Concini-Procesi wonderful model that is quasi isomorphic to this model. For two classes of arrangements explicit presentation of the ring is given.

研究の動機と目的

• 複素部分空間補集合の rational コホモロジー環構造を計算すること。
• De Concini-Procesi のすばらしいモデルに quasi-isomorphic な、小さな計算効率の良い微分 graded 代数（DGA）モデルを開発すること。
• 2つの特定の超平面配置クラスのコホモロジー環の明示的表示を提供すること。
• rational homotopy theory を用いて、配置の組合せ的データとトポロジカル不変量を結びつけること。

提案手法

• De Concini-Procesi のすばらしいモデル内に、rational コホモロジーを捉える微分 graded 代数の部分代数を構成すること。
• quasi-isomorphism を用いて、小さな DGA が完全なすばらしいモデルと同じコホモロジーを計算することを保証すること。
• 超平面配置の組合せ的性質を活用して、DGA 内の生成子と関係式を定義すること。
• rational homotopy theory の技術を用いて、コホモロジー構造を保ちながらモデルを単純化すること。
• すばらしいモデルの構造を活用して、rational コホモロジーを支える最小の部分複体を特定すること。
• 構築した DGA を用いて、2つの配置クラスについて、明示的なコホモロジー環の表示を導出すること。

実験結果

リサーチクエスチョン

• RQ1 rational コホモロジーの小さな rational モデルを、計算効率が良く、De Concini-Procesi のすばらしいモデルに quasi-isomorphic であるように構成するにはどうすればよいか？
• RQ2 2つの特定の超平面配置クラスの rational コホモロジー環の明示的表示は何か？
• RQ3 配置の組合せ的不変量は、その rational コホモロジー環の代数的構造とどのように関係するか？
• RQ4 すばらしいモデル内に、完全な rational コホモロジーを最小限の複雑さで捉える微分 graded 代数を構築できるか？
• RQ5 コホモロジー環が、DGA から導かれる生成子と関係式による表示をもつための必要十分条件は何か？

主な発見

• De Concini-Procesi のすばらしいモデルに quasi-isomorphic な小さな微分 graded 代数部分代数が構成され、rational コホモロジーの計算が効率的に行えるようになった。
• 部分空間補集合の rational コホモロジー環は、DGA の構成によって配置の組合せ的性質によって完全に決定される。
• 2つの配置クラスについて、生成子と関係式を含む、明示的なコホモロジー環の表示が提供された。
• 完全なすばらしいモデルに代えて、より小さい、組合せ的に制御された DGA を用いることで、rational コホモロジーの計算の複雑さが低減された。
• quasi-isomorphism により、コホモロジー環の構造が保たれ、モデルの位相的正確性が裏付けられた。
• 結果として、配置の組合せ的データから導かれる代数的モデルを用いて、部分空間補集合の rational コホモロジーが効果的に計算可能であることが示された。