[論文レビュー] The cohomology rings of abelian symplectic quotients

Susan Tolman, Jonathan Weitsman|ArXiv.org|Jul 30, 1998

Algebraic Geometry and Number Theory参考文献 11被引用数 25

ひとこと要約

本稿では、ハミルトニアントーラス作用から生じるアーベル的シンプレクティック商の有理コホモロジー環に対して明示的な公式を提供する。キルワン写像の核を固定点データと作用のモース理論を用いて記述することで、核が部分レベル集合の固定点部分集合上で消えるイデアルの和として特定され、コホモロジー環の計算と特定の条件下での torsion-free 性の証明が可能になる。

ABSTRACT

Let $M$ be a symplectic manifold, equipped with a Hamiltonian action of a torus $T$. We give an explicit formula for the rational cohomology ring of the symplectic quotient $M//T$ in terms of the cohomology ring of $M$ and fixed point data. Under some restrictions, our formulas apply to integral cohomology. In certain cases these methods enable us to show that the cohomology of the reduced space is torsion-free.

研究の動機と目的

• ハミルトニアントーラス作用から生じるシンプレクティック商の有理コホモロジーにおけるキルワン写像の核を特定すること。
• 等置不変コホモロジーと固定点データを用いて、シンプレクティック商のコホモロジー環を体系的に計算する手法を提供すること。
• 還元空間の整数コホモロジーが torsion-free となる条件を確立すること。
• モース理論的技法を用いて、非アーベル的局在原理を一般化し、明示的に表現すること。

提案手法

• モーメント写像のノルムの二乗 $||\phi||^2$ にモース理論を適用し、レベル集合の位相を解析する。
• 関数 $\phi^\xi$ と $||\phi||^2$ の自己完備性を応用し、長完全系列を介してコホモロジーを分解する。
• 部分レベル集合 $M_\xi = \{m \in M \mid \langle \phi(m), \xi \rangle \leq 0\}$ と、固定点集合 $F$ と $M_\xi$ の交わり上で消えるコホモロジー類のなすイデアル $K_\xi$ を定義する。
• これらのイデアルの和 $K = \sum_{\xi \in \mathfrak{t}} K_\xi$ を核 $K$ として構成し、キルワン写像の核を捉える。
• キルワンの結果（等置不変コホモロジーにおける固定点への制限が単射であること）を活用し、核を固定点データと関連付ける。
• トーリック多様体に対してこの手法を適用し、$\mathbb{C}^N$ からのシンプレクティック商として実現し、多項式イデアルを用いてコホモロジー環を計算する。

実験結果

リサーチクエスチョン

• RQ1 アーベル的シンプレクティック商に対して、キルワン写像 $\kappa: H_T^*(M; \mathbb{Q}) \to H^*(M_{\text{red}}; \mathbb{Q})$ の核は何か？
• RQ2 元の多様体のコホモロジーと固定点データから、シンプレクティック商のコホモロジー環をどのように明示的に計算できるか？
• RQ3 還元空間の整数コホモロジーが torsion-free となる条件は何か？
• RQ4 モース理論的構成をモーメント写像に適用することで、非アーベル的局在原理を明示的に表現できるか？
• RQ5 滑らかなトーリック多様体のコホモロジー環はどのようにシンプレクティック商として生じるのか？ その代数的構造は何か？

主な発見

• キルワン写像の核は $K = \sum_{\xi \in \mathfrak{t}} K_\xi$ に同型であり、$K_\xi$ は $F \cap M_\xi$ 上で消えるコホモロジー類のなすイデアルである。これにより短完全系列 $0 \to K \to H_T^*(M; \mathbb{Q}) \xrightarrow{\kappa} H^*(M_{\text{red}}; \mathbb{Q}) \to 0$ が得られる。
• シンプレクティック商のコホモロジー環 $H^*(M; \mathbb{Q})$ は $\mathbb{Q}[x_1, \dots, x_N]/(\mathcal{I}, \mathcal{J})$ に同型であり、ここで $\mathcal{J}$ は $\alpha \in \pi^*(\mathfrak{t}^*)$ に対して $\sum \alpha_i x_i$ で生成されるイデアルであり、$\mathcal{I}$ はモーメントポリトープにおける対応する面が交わらないような集合 $I$ に対して $\prod_{i \in I} x_i$ で生成される。
• 固定点集合 $F$ の有理コホモロジーが torsion-free である限り、還元空間 $M_{\text{red}}$ の整数コホモロジーも torsion-free である。
• この手法は滑らかなトーリック多様体に適用可能であり、モーメントポリトープの組合せ論を反映するイデアルを用いて、それらのコホモロジー環が多項式環の商として再現される。
• 構成により、$M_{\text{red}}$ のコホモロジーが固定点データとモーメント写像の部分レベル集合の幾何学的性質によって完全に決定されることを示している。
• $||\phi||^2$ をモース関数として用いることで、還元空間が最小集合として明確に特定され、関連するモース理論を介して核の計算が容易になる。