[論文レビュー] A geometric criterion for syzygies in equivariant cohomology

Matthias Franz|arXiv (Cornell University)|May 20, 2012

Advanced Combinatorial Mathematics参考文献 17被引用数 3

ひとこと要約

本稿では、可定向T多様体の等長コホモロジーが分類空間BTの上でのシジージ（syzygy）であるための幾何的条件を確立する。この条件は、商空間X/Tの面構造にのみ依存し、さまざまなT多様体クラスにおける等長コホモロジーの自由性および torsion-free 性に関する先行研究を統合・一般化するとともに、新しい例の体系的構成を可能にする。

ABSTRACT

Let T be a torus and X an orientable T-manifold such that the action is almost free outside of finitely many submanifolds of codimension 2. We characterize geometrically when the equivariant cohomology H_T^*(X) is a certain syzygy as module over H^*(BT). It turns out that this only depends on the face structure of the orbit space X/T. Our criterion unifies and generalizes results of many authors about the freeness and torsion-freeness of equivariant cohomology for various classes of T-manifolds. It also permits to easily construct new examples.

研究の動機と目的

• 可定向T多様体Xについて、有限個のcodimension-2部分多様体を除きほぼ自由な作用をもつとき、H_T^*(X) が H^*(BT) 上のシジージである条件を同定すること。
• H_T^*(X) が H^*(BT)-加群としてシジージであることを特徴付ける、軌道空間X/Tにおける幾何的条件を特定すること。
• さまざまなT多様体クラスにおける等長コホモロジーの自由性および torsion-free 性に関する既存の結果を一般化・統合すること。
• 等長コホモロジーにおける所望のシジージ性質をもつT多様体の新しい例を体系的に構成するための方法を提供すること。

提案手法

• この手法は、T作用の軌道型の層化を記述する軌道空間X/Tの面構造を分析することに依存する。
• 等長コホモロジーH_T^*(X)が、軌道空間の位相および作用の同定子データによって決定されることを利用している。
• シジージという加群論的性質を、軌道空間の組合せ的幾何学的構造と関連付けることで、基準を導出する。
• トーラス作用の等長コホモロジーに関する既知の結果を、軌道空間を階層的空間として扱う応用に活用する。
• 鍵となる洞察は、シジージ条件がX/Tの面ポセットにのみ依存し、X や作用のより詳細な位相的性質には依存しないことである。

実験結果

リサーチクエスチョン

• RQ1 軌道空間X/Tにどのような幾何的条件が満たされると、等長コホモロジーH_T^*(X) がH^*(BT)上でのシジージになるか？
• RQ2 X/Tの面構造は、H_T^*(X) がH^*(BT)-加群として示す加群論的性質をどのように決定するか？
• RQ3 この基準は、既知の等長コホモロジーの自由性および torsion-free 性に関する結果をどのように一般化するか？
• RQ4 この基準を用いて、所望のシジージ性質をもつT多様体の新しい例を体系的に構成できるか？

主な発見

• 等長コホモロジーH_T^*(X) がH^*(BT)上でのシジージであるための必要十分条件は、軌道空間X/Tの面構造が特定の幾何的条件を満たすことである。
• この基準は、X や作用の全体的な位相的性質ではなく、X/Tの組合せ的・位相的構造にのみ依存する。
• この結果は、さまざまなT多様体クラスにおける等長コホモロジーの自由性および torsion-free 性に関する先行定理を統合・一般化する。
• この手法により、等長コホモロジーにおける所望のシジージ性質をもつT多様体の新しい例の構成が可能になる。