[論文レビュー] Cohomology of toric origami manifolds with acyclic proper faces

Anton Ayzenberg, Mikiya Masuda+2 more|arXiv (Cornell University)|Jul 3, 2014

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

ひとこと要約

本稿は、軌道空間のすべての部分面がアセイクリックであるような可換トーリック・オリガミ多様体についてのコhomology計算を確立し、以前の可縮性の仮定を一般化している。帰納的切断手順とスペクトル系列の技法を用いて、ベッチ数および等置換コhomology環の明示的公式を導出し、部分面のアセイクリック性が成り立つとき、中央付近の奇数次ベッチ数が消えることを示している。

ABSTRACT

A toric origami manifold is a generalization of a symplectic toric manifold (or a toric symplectic manifold). The origami symplectic form is allowed to degenerate in a good controllable way in contrast to the usual symplectic form. It is widely known that symplectic toric manifolds are encoded by Delzant polytopes, and the cohomology and equivariant cohomology rings of a symplectic toric manifold can be described in terms of the corresponding polytope. Recently, Holm and Pires described the cohomology of a toric origami manifold $M$ in terms of the orbit space $M/T$ when $M$ is orientable and the orbit space $M/T$ is contractible. But in general the orbit space of a toric origami manifold need not be contractible. In this paper we study the topology of orientable toric origami manifolds for the wider class of examples: we require that every proper face of the orbit space is acyclic, while the orbit space itself may be arbitrary. Furthermore, we give a general description of the equivariant cohomology ring of torus manifolds with locally standard torus actions in the case when proper faces of the orbit space are acyclic and the free part of the action is a trivial torus bundle.

研究の動機と目的

• 可縮性の仮定を外した場合のトーリック・オリガミ多様体のコhomology記述を拡張すること。
• 軌道空間が可縮ではないがすべての部分面がアセイクリックである場合におけるベッチ数とコhomology環の理解のギャップを埋めること。
• 局所標準的作用をもつトーラス多様体の等置換コhomology結果を、部分面のアセイクリック性条件下で一般化すること。
• この広いクラスの多様体において、ベッチ数および等置換コhomology環を体系的に計算する手法を提供すること。

提案手法

• 軌道空間を段階的に簡略化する帰納的切断手順を適用し、ベッチ数の変化を追跡する。
• ファイブレーション $ET \times_T M \to BT$ のセールスペクトル系列を用いて、等置換コhomology構造を分析する。
• 面環と単体的ポセットを用いて、軌道空間およびその部分面のコhomologyをモデル化する。
• 特徴写像とクラメールの定理を用いた線形代数的手法により、ホモロジー類と交差積を関連付ける。
• ホルムとパイアースの先行結果を、可縮性の仮定を部分面のアセイクリック性に緩和することで一般化する。
• 補題3.5の一般化版を証明し、余次元-$r$ のアセイクリック性仮定の下で、高次元におけるコhomology写像の上への性質を示す。

実験結果

リサーチクエスチョン

• RQ1 軌道空間が可縮ではないがすべての部分面がアセイクリックであるとき、トーリック・オリガミ多様体のコhomologyはどのように記述できるか？
• RQ2 局所標準的作用をもつトーラス多様体で、すべての部分面がアセイクリックである場合、等置換コhomology環の構造はいかなるものか？
• RQ3 このような多様体に対して、ベッチ数は帰納的に計算可能か？ また、切断操作による変化を支配する再帰的関係式は何か？
• RQ4 部分面のアセイクリック性が、中央付近における奇数次ベッチ数の消滅をどの程度保証するか？
• RQ5 アセイクリック性の下で、元の多様体のコhomology群は、軌道空間および境界成分のそれらとどのように関係するか？

主な発見

• 軌道空間の余次元 $\geq r$ のすべての部分面がアセイクリックであるとき、$r \leq i \leq n-r-1$ に対して奇数次ベッチ数 $b_{2i+1}(M)$ は消える。
• 切断操作の後、$b_1(M') = b_1(M) - 1$ が成り立ち、ポincare双対性により $b_{2n-1}$ も同様に減少する。
• $i \geq r$ に対して、ベッチ数は $b_{2i}(M') = b_{2i}(M) + b_{2i}(B) + b_{2i-2}(B)$ を満たす。ここで $B$ は境界成分を表す。
• アセイクリック性仮定の下で、等置換コhomology環 $H^*_T(M)$ は面環 $\mathbb{Z}[M/T]$ に同型である。
• コhomology環 $H^*(M)$ は $\mathbb{Z}[M/T]/(\theta_1,\dots,\theta_n)$ に同型であり、準トーリック多様体の場合を一般化する。
• 余分なホモロジー類 $x_{L,j}$ の交差積は、可能な限り面の交わりを避けるホモトピー的代表元を用いて計算可能であり、特徴写像からの線形関係を用いる。