[論文レビュー] Finite group actions on spheres, Euclidean spaces, and compact manifolds with $\chi eq 0$

Ignasi Mundet i Riera|arXiv (Cornell University)|Mar 3, 2014

Geometric and Algebraic Topology被引用数 1

ひとこと要約

本稿は、特定の滑らかな多様体——具体的には、アセイクリック多様体、非ゼロオイラー特性をもつコンパクト連結多様体、および整数ホモロジー球面——の微分同相群 Diff(X) がジョーダン的であることを証明している。すなわち、任意の有限部分群が有界な指数のアーベル部分群を含む。ランダルとペトリーの結果を用いることで、非ゼロオイラー特性をもつ連結な滑らかな実アフィン代数多様体の自己同型群もジョーダン的であることがさらに示される。

ABSTRACT

Let $X$ be a smooth manifold belonging to one of these three collections: acyclic manifolds (compact or not, possibly with boundary), compact connected manifolds (possibly with boundary) with nonzero Euler characteristic, integral homology spheres. We prove that $Diff(X)$ is Jordan. This means that there exists a constant $C$ such that any finite subgroup $G$ of $Diff(X)$ has an abelian subgroup whose index in $G$ is at most $C$. Using a result of Randall and Petrie we deduce that the automorphism groups of connected, non necessarily compact, smooth real affine varieties with nonzero Euler characteristic are Jordan.

研究の動機と目的

• 非ゼロオイラー特性をもつ多様体、あるいはアセイクリック、整数ホモロジー球面である多様体の微分同相群のジョーダン性を確立すること。
• 既存の結果を用いて、滑らかな多様体におけるジョーダン性を実アフィン多様体の自己同型群へ拡張すること。
• 特定のクラスの滑らかな多様体における有限群作用にかかる構造的制約を提供すること。
• 滑らかな変換群の文脈において、幾何学的および代数的群論的性質を統合すること。

提案手法

• 指定されたクラスに属する多様体 X について、Diff(X) 内の有限部分群の構造を分析すること。
• 群論的技法を適用し、Diff(X) の任意の有限部分群に、一様に有界な指数をもつアーベル部分群が存在することを示すこと。
• オイラー特性やホモロジー型といった位相的不変量を用いて、考察対象の多様体を分類すること。
• ランダルとペトリーの実アフィン多様体の自己同型群に関する結果を活用し、ジョーダン性を代数的自己同型群へ拡張すること。
• 微分位相の道具の適用を保証するため、滑らかな構造と微分同相群に焦点を当てる。
• アセイクリック、非ゼロオイラー特性、整数ホモロジー球面の3つのクラスの多様体において、ジョーダン性が一様に成り立つことを確立すること。

実験結果

リサーチクエスチョン

• RQ1 コンパクト連結で非ゼロオイラー特性をもつ多様体の微分同相群は、ジョーダン的であるか？
• RQ2 滑らかな多様体におけるジョーダン性は、非ゼロオイラー特性をもつ実アフィン多様体の自己同型群へ拡張可能か？
• RQ3 アセイクリックまたはホモロジー球面多様体における有限群作用は、それらの微分同相群にどのような構造的制約を課えるか？
• RQ4 指定されたクラスに属する X に対して、Diff(X) の有限部分群におけるアーベル部分群の指数に一様な上限が存在するか？
• RQ5 オイラー特性のような位相的不変量は、微分同相群におけるジョーダン性にどのように影響を与えるか？

主な発見

• 任意の滑らかな多様体 X について、X がアセイクリック、非ゼロオイラー特性をもつコンパクト連結多様体、または整数ホモロジー球面である場合、微分同相群 Diff(X) はジョーダン的である。
• 上記の各多様体 X に対して、すべての Diff(X) の有限部分群が、指数が最大 C であるアーベル部分群を含むような普遍定数 C が存在する。
• ジョーダン性は、X がコンパクトであるか非コンパクトであるか、境界をもつかどうかにかかわらず成り立つ。
• この結果により、非ゼロオイラー特性をもつ任意の連結な滑らかな実アフィン代数多様体の自己同型群がジョーダン的であることが示される。
• 証明は、オイラー特性とホモロジー型といった位相的制約を用いて、X 上の有限群作用を制御することに依存している。
• ランダルとペトリーの結果の応用により、滑らかな多様体におけるジョーダン性が代数的自己同型群へと移行可能である。