[論文レビュー] Maximal tori in the symplectomorphism groups of Hirzebruch surfaces

Yael Karshon|ArXiv.org|Apr 30, 2002

Geometric and Algebraic Topology参考文献 11被引用数 6

ひとこと要約

この論文は、ヒルツェブルク面 $S^2 \times S^2$ および $\widetilde{\mathbb{C}P}^2$ のハミルトニアンシンプレクティック同相群における最大トーラスの共軛類を分類する。デルツァント多面体と $\mathrm{AGL}(2,\mathbb{Z})$-同値性を用いて、$S^2 \times S^2$ においてはシンプレクティック形式 $\omega_{a,b}$ のもとで共軛類の数が $\lceil a/b \rceil$、$\widetilde{\mathbb{C}P}^2$ においてはシンプレクティック形式 $\widetilde{\omega}_{l,e}$ のもとで $\lceil e/(l-e) \rceil$ であることを示し、シンプレクティック不変量に基づいた正確な数え上げを確立する。

ABSTRACT

We count the conjugacy classes of maximal tori in the groups of symplectomorphisms of S^2 imes S^2 and of the blow-up of CP^2 at a point.

研究の動機と目的

• ハミルトニアンシンプレクティクス同相群 $\operatorname{Ham}(S^2 \times S^2, \omega_{a,b})$ および $\operatorname{Ham}(\widetilde{\mathbb{C}P}^2, \widetilde{\omega}_{l,e})$ における最大トーラスの共軛類の数を特定すること。
• モーメント写像像の幾何とデルツァント多面体を用いてこれらのトーラスを分類すること。
• シンプレクティック不変量（例：シンプレクティック面積）と共軛性に関して異なるトーラス作用の数の間の対応を確立すること。
• 第二ベッチ数が小さいシンプレクティック4次元多様体におけるトーラス作用の多重度について長年の未解決問題を解消すること。

提案手法

• 論文は、有理数頂点と整数法線を持つ凸多面体を用いたデルツァントによるハミルトニアントーリック作用の分類を用いる。
• $\mathrm{AGL}(2,\mathbb{Z})$-同値性を適用して、シンプレクティクス同相とトーラスの再パrametrizationに関してモーメント写像像を分類する。
• 関連するシンプレクティック多様体を整数パラメータ $m \geq 0$ を持つヒルツェブルクの台形と特定し、$S^2 \times S^2$（偶数 $m$）および $\widetilde{\mathbb{C}P}^2$（奇数 $m$）に結びつける。
• このような台形の存在に必要な $a, b, l, e$ の条件を導出し、$a/b > m/2$ および $e/(l-e) > m/2$ であることを用いる。
• すべての最大トーラスがこのような台形的モーメント写像から生じることを証明し、デルツァント多面体の辺の数が $2 + b_2(M)$ に等しいことを利用する。
• モース＝ボット理論と固定点集合の構造を活用して、ベッチ数と固定面および固定点の数の関係を関係づける。

実験結果

リサーチクエスチョン

• RQ1 $a \geq b > 0$ のとき、$\operatorname{Ham}(S^2 \times S^2, \omega_{a,b})$ における最大トーラスの共軛類はいくつ存在するか？
• RQ2 $l > e > 0$ のとき、$\operatorname{Ham}(\widetilde{\mathbb{C}P}^2, \widetilde{\omega}_{l,e})$ における最大トーラスの共軛類はいくつ存在するか？
• RQ3 シンプレクティック不変量 $a/b$ および $e/(l-e)$ は、共軛性に関して異なるトーラス作用の数をどのように決定するか？
• RQ4 これらのシンプレクティクス同相群におけるすべての最大トーラスは、デルツァント多面体と $\mathrm{AGL}(2,\mathbb{Z})$-同値性によって実現可能か？
• RQ5 整数パラメータ $m$ は、ヒルツェブルク面におけるトーラス作用の分類において果たす役割は何か？

主な発見

• $a \geq b > 0$ のとき、$\operatorname{Ham}(S^2 \times S^2, \omega_{a,b})$ における最大トーラスの共軛類の数は $\lceil a/b \rceil$ である。
• $l > e > 0$ のとき、$\operatorname{Ham}(\widetilde{\mathbb{C}P}^2, \widetilde{\omega}_{l,e})$ における最大トーラスの共軛類の数は $\lceil e/(l-e) \rceil$ である。
• 各共軛類は、4辺と整数パラメータを持つデルツァント多面体の $\mathrm{AGL}(2,\mathbb{Z})$-同値類に一意に対応する。
• 分類は完全である：これらの群におけるすべての最大トーラスは、このようなモーメント写像像から生じる。
• 第二ベッチ数が小さい（$b_2 = 2$）ため、4辺を持つデルツァント多面体のみが関係する。
• 論文は、整数パラメータ $m \geq 0$ とそれぞれの多様体におけるトーラス作用のシンプレクティクス同相型との間の全単射対応を確立した。