[論文レビュー] CHERN CLASSES AND SYMPLECTIC CIRCLE ACTIONS.

Yunhyung Cho, Min Kyu Kim+1 more|arXiv (Cornell University)|Jan 1, 2013

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

ひとこと要約

本稿は、閉じたシンプレクティック多様体上のシンプレクティック円作用とチャーン類の関係を調査する。閉じたシンプレクティック多様体 (M, ω) が c₁(M) = λ·[ω] を満たし、ある実数 λ ∈ ℝ に対して成り立つとき、かつその多様体にシンプレクティック円作用が存在するならば、λ ≥ 0 であることが示され、さらにその作用がハミルトニアンでない場合には λ は 0 でなければならない。この結果は、古典的な2次元の結果を高次元へと拡張するものである。

ABSTRACT

Let (M,!) be a two dimensional closed symplectic manifold. Then it is a well-known fact that if M admits a symplectic circle action, then M is diffeomorphic to S 2 or S 1 × S 1 . For each case, any symplectic circle action on S 2 is always Hamiltonian and the first Chern class c1(S 2 ) is positively proportional to (!), and any symplectic circle action on S 1 × S 1 is non-Hamiltonian and c1(S 1 × S 1 ) = 0. For the case when (M,!) is a symplectic surface with genus greater than one, c1(M) is negatively proportional to (!). In this paper, we extended this result in higher dimensional cases. More precisely, let (M,!) be a closed symplectic manifold satisfying c1(M) = � · (!) for some real number � ∈ R. We prove that if (M,!) admits a symplectic circle action, then � ≥ 0. Also, we prove that if the action is non-Hamiltonian, thenshould be 0.

研究の動機と目的

• 2次元におけるシンプレクティック円作用に関する既知の結果を、高次元の閉じたシンプレクティック多様体へと一般化すること。
• シンプレクティック円作用が存在する場合、第一チャーン類 c₁(M) とシンプレクティック形式 ω の関係を調査すること。
• シンプレクティック円作用が存在する下で、c₁(M) = λ·[ω] の比例定数 λ の符号および値を特定すること。
• ハミルトニアン作用と非ハミルトニアン作用の違いがチャーン類の挙動に与える影響を明確にすること。

提案手法

• まず、c₁(M) = λ·[ω] を満たす実数 λ を仮定し、多様体上の位相的制約をモデル化する。
• 同相的コホモロジーと円作用の性質を用いて、固定点集合と同相的表現を分析する。
• アティヤ＝ボット＝ベルリン＝ヴェルヌの局在化公式を適用し、多様体上の積分を固定点のデータで表現する。
• 局在化公式から生じるある種の積分の非負性に依拠して、λ ≥ 0 を導出する。
• 非ハミルトニアン作用の場合、モーメント写像の不在が λ = 0 を強制することを示す。
• 非ハミルトニアン作用は、ω のコホモロジー類において第一チャーン類が自明であることを示唆する事実を証明に利用する。

実験結果

リサーチクエスチョン

• RQ1 閉じたシンプレクティック多様体 (M, ω) がシンプレクティック円作用をもつためのチャーン類 c₁(M) に関する条件は何か？
• RQ2 シンプレクティック円作用が存在する場合、関係式 c₁(M) = λ·[ω] における実数 λ の符号は何か？
• RQ3 c₁(M) が [ω] に比例し、λ ≠ 0 である多様体に非ハミルトニアンなシンプレクティック円作用は存在可能か？
• RQ4 比例定数 λ は、作用のハミルトニアン性または非ハミルトニアン性とどのように関係するか？

主な発見

• 閉じたシンプレクティック多様体 (M, ω) が c₁(M) = λ·[ω] を満たし、シンプレクティック円作用をもつならば、λ は非負でなければならない。
• 非ハミルトニアンなシンプレクティック円作用が存在する場合、比例定数 λ は正確に 0 でなければならない。
• この結果は、古典的な2次元の場合に一般化されており、S² は正の λ を持ち、S¹×S¹ は λ = 0 を持つ。
• 高次元においても、シンプレクティック円作用の存在によって λ の符号が制約され、λ ≥ 0 が必須となる。
• シンプレクティック円作用が存在する場合、c₁(M) は [ω] に負に比例することはできない。
• 非ハミルトニアン作用に対して λ = 0 であるという条件は、c₁(M) が [ω] に比例する場合、そのような作用が存在するための位相的障害を提供する。