[论文解读] 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) = λ·[ω]，其中 λ ∈ ℝ，且 admits 一个辛圆作用，则必有 λ ≥ 0；此外，若该作用是非哈密顿的，则 λ 必须为零。这些结果将经典二维情形的结果推广至高维。

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.

研究动机与目标

• 将二维辛圆作用的已知结果推广至高维闭合辛流形。
• 研究当存在辛圆作用时，第一陈类 c₁(M) 与辛形式 ω 之间的关系。
• 在辛圆作用存在的情况下，确定 c₁(M) = λ·[ω] 中比例常数 λ 的符号与取值。
• 阐明哈密顿与非哈密顿辛圆作用在陈类行为上的区别。

提出的方法

• 分析从假设 c₁(M) = λ·[ω] 对某个实数 λ 开始，以此建模流形上的拓扑约束。
• 论文使用等变上同调及圆作用的性质，分析不动点集与等变表示。
• 应用 Atiyah-Bott-Berline-Vergne 局域化公式，将流形上的积分表示为不动点数据的函数。
• 论证依赖于由局域化公式导出的某些积分的非负性，从而推导出 λ ≥ 0。
• 对于非哈密顿作用，该方法表明，由于缺少一个矩图，迫使 λ = 0。
• 证明利用了非哈密顿作用意味着在 ω 的上同调类中第一陈类为平凡这一事实。

实验结果

研究问题

• RQ1 在什么条件下，闭合辛流形 (M, ω) 可以容许一个辛圆作用，且其陈类 c₁(M) 满足特定条件？
• RQ2 当存在辛圆作用时，关系式 c₁(M) = λ·[ω] 中实数 λ 的符号是什么？
• RQ3 是否存在一个非哈密顿辛圆作用，作用于一个满足 c₁(M) 与 [ω] 成比例且 λ ≠ 0 的流形上？
• RQ4 比例常数 λ 如何与作用的哈密顿或非哈密顿性质相关联？

主要发现

• 若 (M, ω) 是一个满足 c₁(M) = λ·[ω] 的闭合辛流形，并且容许一个辛圆作用，则 λ 必须为非负。
• 对于非哈密顿辛圆作用，比例常数 λ 必须恰好为零。
• 该结果推广了经典二维情形：S² 的 λ 为正，而 S¹×S¹ 的 λ 为零。
• 在高维情形中，λ 的符号受辛圆作用存在的约束，λ ≥ 0 是必要条件。
• 若存在辛圆作用，则陈类 c₁(M) 不能与 [ω] 负比例。
• 对于非哈密顿作用，λ = 0 的条件为当 c₁(M) 与 [ω] 成比例时，提供了此类作用存在的拓扑障碍。