[論文レビュー] On the cohomology of torus manifolds

Mikiya Masuda, Taras Panov|ArXiv.org|Jun 5, 2003

Advanced Combinatorial Mathematics参考文献 9被引用数 5

ひとこと要約

この論文は、トーラス多様体の位相的不変量とその軌道商の組合せ的構造を結びつけることで、トーラス多様体のコhomology的特徴付けを確立する。同論文は、コホモロジー環が2次に生成されるための必要十分条件として、軌道空間がホモロジー多面体であること（すなわち、トーリック幾何におけるスタニーリー・ライスナー環の記述を一般化する）を示している。主たる貢献は、奇数次元コホモロジーが消えるトーラス多様体に関連する単体的ポセットの $h$-ベクトルの完全な特徴付けであり、このような多様体が存在するのは、$h$-ベクトルが特定の偶奇性および正値性条件を満たす場合に限ることを示している。

ABSTRACT

A torus manifold is an even-dimensional manifold acted on by a half-dimensional torus with non-empty fixed point set and some additional orientation data. It may be considered as a far-reaching generalisation of toric manifolds from algebraic geometry. The orbit space of a torus manifold has a rich combinatorial structure, e.g., it is a manifold with corners provided that the action is locally standard. Here we investigate relationships between the cohomological properties of torus manifolds and the combinatorics of their orbit quotients. We show that the cohomology ring of a torus manifold is generated by two-dimensional classes if and only if the quotient is a homology polytope. In this case we retrieve the familiar picture from toric geometry: the equivariant cohomology is the face ring of the nerve simplicial complex and the ordinary cohomology is obtained by factoring out certain linear forms. In a more general situation, we show that the odd-degree cohomology of a torus manifold vanishes if and only if the orbit space is face-acyclic. Although the cohomology is no longer generated in degree two under these circumstances, the equivariant cohomology is still isomorphic to the face ring of an appropriate simplicial poset.

研究の動機と目的

• トーラス多様体のコホモロジー的性質とその軌道商の組合せ的構造との関係を理解すること。
• トーリック多様体のコホモロジーのスタニーリー・ライスナー環記述を、より広いクラスのトーラス多様体へ一般化すること。
• 奇数次元コホモロジーが消えるトーラス多様体に関連する単体的ポセットの $h$-ベクトルを特徴付けること。
• このようなトーラス多様体が指定された $h$-ベクトルをもって存在するための必要十分条件を特定すること。

提案手法

• 論文は、軌道商に関連する単体的ポセットの面環に同型である、$H^*_T(M;\mathbb{Z})$ である等化同相を用いることで、等化コホモロジー環 $H^*_T(M;\mathbb{Z})$ を中心的な道具として用いる。
• 2次トーラス部分群 $G \subset T^n$ に対して、制限写像 $H^*_G(M;\mathbb{Z}/2) \to H^*_G(M^G;\mathbb{Z}/2)$ を分析するために、等化コホモロジーにおける局在化定理を適用する。
• 等化Stiefel–Whitney類 $w^G(M)$ は、特徴的部分多様体に関連する2次クラス $\tau_i$ を用いて $\prod_{i=1}^m (1 + \tau_i)$ として計算される。
• オイラー特性 $\chi(M)$ の mod 2 への還元は、最高次のStiefel–Whitney類 $w_{2n}(M)$ と関係づけられ、これは2次元要素の多項式として示される。
• $h$-ベクトルは、$h_i(M) = \text{rank}_{\mathbb{Z}} H^{2i}(M)$ を通じてベッチ数と結びつけられ、$h$-ベクトルに対するコホモロジー的制約が可能になる。
• 存在条件の証明には、標準例（$\mathbb{C}P^n$、$S^{2n}$、$S^{2n-2k} \times S^{2k}$）の等化連結和を用いて、偶奇性および正値性基準を満たす任意の $h$-ベクトルを持つ多様体を構成する。

実験結果

リサーチクエスチョン

• RQ1 トーラス多様体のコホモロジー環が2次元クラスによって生成されるのはいつか？
• RQ2 軌道商にどのような組合せ的条件が満たされると、コホモロジーが2次に生成されるか？
• RQ3 奇数次元コホモロジーが消えるトーラス多様体から生じる $h$-ベクトルはどれか？
• RQ4 このようなトーラス多様体の存在に必要な十分条件としての $h$-ベクトルの条件は何か？
• RQ5 奇数次元コホモロジーが消える場合、mod 2 オイラー特性は $h$-ベクトルにどのように制約を加えるか？

主な発見

• トーラス多様体のコホモロジーが2次元クラスによって生成されるのは、軌道空間がホモロジー多面体である場合に限る。
• この場合、通常のコホモロジー環は、軌道商のスタニーリー・ライスナー面環に線形形式を加えた商環と同型であり、トーリック幾何における構造を模倣する。
• トーラス多様体の奇数次元コホモロジーが消えるのは、軌道空間が面的アセイクル（face-acyclic）である場合に限る。
• 通常のコホモロジーが2次に生成されない場合でも、等化コホモロジー環は単体的ポセットの面環と同型である。
• 奇数次元コホモロジーが消えるトーラス多様体に対して、$h$-ベクトル $\mathbf{h} = (h_0, \dots, h_n)$ は $h_i = h_{n-i}$、$h_0 = 1$ を満たし、さらに次のうちのいずれかが成り立つ：(1) $n$ が奇数、(2) $n$ が偶数かつ $h_{n/2}$ が偶数、(3) $n$ が偶数、$h_{n/2}$ が奇数、かつすべての $i$ に対して $h_i > 0$。
• これらの $h$-ベクトルの条件は、このようなトーラス多様体を実現するランク $n$ のGorenstein*単体的ポセットの存在にとって、必要かつ十分である。