[論文レビュー] On nearly semifree circle actions

Dusa McDuff, Susan Tolman|ArXiv.org|Mar 22, 2005

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

ひとこと要約

この論文は、コンパクトな単純非可換リー群 $G$ の基本群の非自明な任意の元が、共随伴軌道 $(M, \omega)$ 上の半自由な円作用によって表現可能であることを確立している。これは、包含写像 $G \hookrightarrow \mathrm{Ham}(M, \omega)$ が $\pi_1$ 上に単射を誘導することを意味する。さらに、円作用がコンパクトなリー群 $G$ 内で本質的でないのは、固定点集合の半自由成分を反転させる $G$ の元によって逆転されない限りであることを証明している。

ABSTRACT

Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if $(M, \om)$ is a coadjoint orbit of a compact Lie group $G$ then every element of $π_1(G)$ may be represented by a semifree $S^1$-action. A theorem of McDuff--Slimowitz then implies that $π_1(G)$ injects into $π_1(\Ham(M, \om))$, which answers a question raised by Weinstein. We also show that a circle action on a manifold $M$ which is semifree near a fixed point $x$ cannot contract in a compact Lie subgroup $G$ of the diffeomorphism group unless the action is reversed by an element of $G$ that fixes the point $x$. Similarly, if a circle acts in a Hamiltonian fashion on a manifold $(M,ω)$ and the stabilizer of every point has at most two components, then the circle cannot contract in a compact Lie subgroup of the group of Hamiltonian symplectomorphism unless the circle is reversed by an element of $G$

研究の動機と目的

• コンパクトな単純非可換リー群 $G$ が共随伴軌道に作用する場合、$\pi_1(G) \to \pi_1(\mathrm{Ham}(M, \omega))$ の写像の単射性についてワインスタインが提起した問題を解決すること。
• 半自由な円作用の本質的性をシンプレクティック圏を超えて、コンパクトなリー群内での収縮のための位相的障害を同定することで拡張すること。
• コンパクトなリー群 $G$ 内で、円作用がいつ非本質的になるかを、固定点成分と群の反転作用との関係において特徴づけること。
• 古典的および例外的リー群におけるルート系と整数格子の構造を分析し、すべての $\pi_1$-類を表す半自由な円作用の存在を検証すること。

提案手法

• McDuff–Slimowitz の定理 1.1 の使用：任意の閉シンプレクティック多様体上の半自由な円作用は、シンプレクティズム群において本質的である。
• 共随伴作用と安定化部分群の明示的解析を通じて、コンパクトな単純非可換リー群の共随伴軌道上への半自由な円作用の構成。
• フラックス準同型の応用により、非ハミルトニアンの場合の非本質的行動を除外し、ハミルトニアンの場合にはホーファー長さを用いる。
• 固定点集合の位相的解析：$M^\Lambda$ の成分 $F$ が、$F$ の近傍で作用が半自由である場合、$F$ を半自由と呼ぶ。また、ある $g \in G$ が $F$ を点ごとに固定し、$\Lambda$ を反転させる場合、$F$ を $G$ で対称的と呼ぶ。
• もし $M^\Lambda$ の半自由成分が $G$ で対称的でなければ、$\Lambda$ は $G$ で本質的であることを示す。群論的および等変位相的技術を用いた証明。
• すべての古典的および例外的リー群（$A_n, B_n, C_n, D_n, E_6, E_7, E_8, F_4, G_2$）に対して、詳細なルート系の解析を行い、最高根 $\delta$ が整数格子 $\widetilde{\ell}^*$ を生成すること、およびすべてのルートが特定のルート対によって生成される格子 $L$ に属することを確認した。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな単純非可換リー群 $G$ が共随伴軌道に作用する場合、包含写像 $G \hookrightarrow \mathrm{Ham}(M, \omega)$ は $\pi_1$ 上に単射を誘導するか？
• RQ2 多様体 $M$ 上の半自由な円作用が、コンパクトなリー群 $G$ 内でいつ非本質的になるか？
• RQ3 コンパクトな単純非可換リー群 $G$ の $\pi_1(G)$ のすべての非自明な元は、$G$ の共随伴軌道上での半自由な円作用として実現可能か？
• RQ4 群の反転作用は、コンパクトなリー群内での円部分群の収縮を妨げる役割を果たすか？
• RQ5 例外的リー群のルート系と整数格子は、$\pi_1$-類を表す半自由な円作用の存在にどのように影響するか？

主な発見

• コンパクトな単純非可換リー群 $G$ の $\pi_1(G)$ の非自明な任意の元は、共随伴軌道 $(M, \omega)$ 上の半自由な円作用によって表現可能である。これは命題 1.3 で示された。
• 包含写像 $G \hookrightarrow \mathrm{Ham}(M, \omega)$ は $\pi_1$ 上に単射を誘導する。これは、ワインスタインの問いに肯定的に答え、すべてのコンパクトな単純非可換リー群に対して成立する。
• 円部分群 $\Lambda \subset G$ が、半自由な固定点成分 $F$ を持ち、$G$ で対称的でない場合、$\Lambda$ は $G$ で本質的である。これは定理 1.4 で確立された。
• シンプレクティック圏において、ハミルトニアンな円作用が高々2重の等方性（すなわち、高々2つの成分を持つ安定化部分群）を持つ場合、$\Lambda$ が $G$ 内で非本質的であるのは、固定点集合を点ごとに固定し $\Lambda$ を反転させるある $g \in G$ が存在する場合に限る。
• すべての古典的および例外的リー群において、最高根 $\delta$ が双対整数格子 $\widetilde{\ell}^*$ を生成し、すべてのルートが特定のルート対によって生成される格子 $L$ に属することを確認した。これにより、必要な半自由作用の存在が裏付けられた。
• $E_8$ において、最高根 $\delta = \epsilon_1 - \epsilon_9$ は正のワイルチャネルに唯一のルートであり、すべてのルートは $\pm(\epsilon_1 - \epsilon_k)$、$\pm(\epsilon_k - \epsilon_9)$、$\pm(\epsilon_1 + \epsilon_i + \epsilon_j)$、および $\pm(\epsilon_i + \epsilon_j + \epsilon_9)$ の和として表現可能である。これは、格子生成の主張を証明する。