[論文レビュー] Finite group actions on manifolds without odd cohomology

Ignasi Mundet i Riera|arXiv (Cornell University)|Oct 24, 2013

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

ひとこと要約

本稿は、奇数コホモロジーを持たない（つまり、整数コホモロジーが偶数次元にのみ支持され、 torsion-free である）コンパクト多様体上で滑らかで効果的な作用をもつ任意の有限群は、各連結成分に固定点を持つ、有界な指数のアーベル部分群を含むことを証明している。この部分群は高々 ∑[dim X_i / 2] 個の生成元によって生成可能であり、その指数は一様に有界である。この結果はエティエンヌ・ジスの予想を裏付けるものであり、有限単純群の分類に依存するターリュールの分類フリーな結果を含む、深い群論的道具に依拠している。

ABSTRACT

Let $X$ be a compact smooth manifold, possibly with boundary. Denote by $X_1,\dots,X_r$ the connected components of $X$. Assume that the integral cohomology of $X$ is torsion free and supported in even degrees. We prove that there exists a constant $C$ such that any finite group $G$ acting smoothly and effectively on $X$ has an abelian subgroup $A$ of index at most $C$, which can be generated by at most $\sum_i[\dim X_i/2]$ elements, and which satisfies $χ(X_i^A)=χ(X_i)$ for every $i$. This proves, for all such manifolds $X$, a conjecture of Étienne Ghys. An essential ingredient of the proof is a result on finite groups by Alexandre Turull and the author which uses the classification of finite simple groups.

研究の動機と目的

• 奇数コホモロジーを持たない多様体上の有限群作用が、一様に有界な指数のアーベル部分群をもつことを証明すること。
• エティエンヌ・ジスが提起した、オイラー乗数が非ゼロであるすべてのコンパクト多様体に対して、このようなアーベル部分群の存在を確認すること。
• アーベル部分群の固定点集合が、各連結成分のオイラー乗数と一致することを確立すること。
• 群の位数が torsion の位数と互いに素であるとき、torsion を含むコホモロジーを持つ多様体へこの結果を拡張すること。
• 多様体の次元とベッチ数に基づいて、アーベル部分群の指数に対する一様な上限を導出すること。

提案手法

• 問題を扱いやすい群論的状況に還元するために、ECT（効果的で、コンパクトで、torsion-free な）群作用の概念の使用。
• 有限単純群の分類に依存するが、分類に依存しないターリュールの定理を用いて、アーベル部分群の指数を有界化すること。
• 線形群内での有界指数のアーベル部分群を抽出するために、ジョルダン＝シュールの定理の適用。
• リフシュッツの固定点定理とコホモロジー的技法を用いて、固定点集合のオイラー乗数と多様体の全体的位相の関係を関係づけること。
• 中心拡大の構成と算術的補題（例：補題 7.10）の使用により、軌道構造と安定化部分群のサイズを制御すること。
• 連結成分の数に関する帰納的議論を、各成分における群作用の構造と核の交わりを用いて行い、アーベル性を保つこと。

実験結果

リサーチクエスチョン

• RQ1 滑らかで効果的に作用する有限群が、奇数コホモロジーを持たない多様体上で作用する場合、有界な指数のアーベル部分群を含むか？
• RQ2 そのようなアーベル部分群は、高々 ∑[dim X_i / 2] 個の生成元によって生成可能か？
• RQ3 このアーベル部分群の固定点集合のオイラー乗数が、多様体の各連結成分のオイラー乗数と等しいというのは真か？
• RQ4 群の位数が torsion の位数と互いに素であるとき、torsion を含むコホモロジーを持つ多様体へこの結果を拡張できるか？
• RQ5 この結果は、コンパクト多様体上の有限群作用に対して、一様に有界なアーベル部分群の存在を保証するジスの予想を確認するものか？

主な発見

• X の次元とベッチ数にのみ依存する定数 C が存在し、X に効果的に作用する任意の有限群 G に対して、指数が C 未満のアーベル部分群 A が存在する。
• アーベル部分群 A は、X の連結成分 X_i に対して、高々 ∑[dim X_i / 2] 個の生成元によって生成可能である。
• 各連結成分 X_i に対して、固定点集合 X_i^A のオイラー乗数は χ(X_i) に等しく、A は各成分に固定点を持つ。
• この結果は、奇数コホモロジーを持たないすべての多様体に対してジスの予想を確認する。これには、偶数次元のホモロジー球や、すべての臨界点が偶数指数を持つモース関数をもつ多様体が含まれる。
• C はターリュールの結果を用いて有限単純群の分類を用いて明示的に構成可能であり、群の位数が torsion の位数と互いに素な条件下で、torsion を含むコホモロジーを持つ多様体へもこの証明は拡張可能である。
• この定理は、このような多様体上で作用する任意の有限群が、高々 C 個の生成元によって生成可能であることを示唆しているが、これはより広い一般性において既知の結果である。