[論文レビュー] Automorphism groups of Inoue and Kodaira surfaces

Yuri Prokhorov, Constantin Shramov|arXiv (Cornell University)|Dec 6, 2018

Advanced Algebra and Geometry参考文献 27被引用数 6

ひとこと要約

この論文は、イヌエ面および一次コダイラ面の自己同型群がジョーダン的であることを証明している。つまり、任意の有限部分群が有界な指数の正規アーベル部分群を持つということである。著者たちは、これらの面が可解多様体（solvmanifold）に微分同相であることに着目し、ヘイゼンベルク群および半直積に関する構造的結果を用いて、自己同型群の有限部分群におけるアーベル正規部分群の指数を有界に制御した。

ABSTRACT

We prove that automorphism groups of Inoue and primary Kodaira surfaces are Jordan.

研究の動機と目的

• 非特異的かつケーラーでないコンパクト複素曲面、特にイヌエ面および一次コダイラ面の自己同型群に対してジョーダン性を確立すること。
• 既存の方法が代数的またはケーラー的構造の欠如により失敗するため、プロジェクト型およびケーラー的多様体を超えてジョーダン性を拡張すること。
• 両者を微分同相的に可解多様体に持つことに基づき、イヌエ面およびコダイラ面の両方に適用可能な一様な群論的手法を構築すること。
• これらの面の自己同型群の有限部分群が、表面の具体的なパrameterに依存しない有界指数の正規アーベル部分群を持つことを証明すること。

提案手法

• イヌエ面および一次コダイラ面が可解多様体に微分同相であることに着目し、その自己同型群の群論的解析を可能にする。
• ワング群およびヘイゼンベルク型群の半直積に関する結果を応用し、自己同型群の有限部分群の構造を解析する。
• 群の完全系列を用いて、ジョーダン性を商群における有限部分群の有界性および正規部分群におけるジョーダン性に帰着する。
• GL_n(Q) の有限部分群の有界性に関するミンコフスキーの定理を用いて、基本群およびその商における有限部分群を制御する。
• トポロジカルなリーマン・リーマン固定点定理を適用し、有限自己同型群がコダイラ面上で自由に作用することを示し、商曲面が再び一次コダイラ面であることを保証する。
• コダイラ面の基本群がヘイゼンベルク群と Z の半直積として与えられることを用い、アーベル正規部分群の指数に対する一様な境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 プロジェクト型またはケーラー的構造を欠くにもかかわらず、イヌエ面および一次コダイラ面の自己同型群はジョーダン的であるか？
• RQ2 基本群の群論的解析を用いて、非ケーラー的コンパクト複素曲面に対しジョーダン性を確立できるか？
• RQ3 可解多様体に微分同相である曲面の自己同型群に対して、ジョーダン性を証明する一様な方法は存在するか？
• RQ4 これらの曲面の基本群のどのような構造的性質が、自己同型群のすべての有限部分群が有界指数の正規アーベル部分群を持つことを保証するか？
• RQ5 有限自己同型群がコダイラ面上で果たす作用は、特に固定点および商曲面の観点から、そのトポロジーおよび幾何学にどのような影響を与えるか？

主な発見

• 任意のイヌエ面の自己同型群は、補題 7.6 によりジョーダン的である。これは基本群の群構造と有限部分群の有界性に依存する。
• 任意の一次コダイラ面の自己同型群は、補題 8.3 で示されたように、基本群の半直積構造および有限群作用の自由性を用いてジョーダン的である。
• イヌエ面およびコダイラ面の両方の自己同型群の有限部分群は、曲面上で自由に作用し、商曲面が再び同種のものであることを保証する。
• 有限部分群における正規アーベル部分群の指数の有界性は、表面の基本群にのみ依存し、特定の有限部分群には依存しない。
• 証明法は、両者を可解多様体として微分同相に持つことと類似した群論的構造に起因し、イヌエ面およびコダイラ面の両方に一様に適用可能である。
• これらの面はプロジェクト型でもケーラーでもないにもかかわらずジョーダン性が成り立つため、[MZ18] や [Kim18] などの先行研究の範囲を超えて結果が拡張された。