[論文レビュー] Bi-canonical representations of finite automorphisms acting on Enriques surfaces

Hisanori Ohashi|arXiv (Cornell University)|Apr 3, 2015

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

ひとこと要約

この論文は、双標準的表現を用いて、エンリケス多様体上の有限非半シンプレクティック自己同型を分類し、それが唯一3種類に限られることを証明している：（位数4、インデックス2）、（位数8、インデックス4）、（位数8、インデックス2）。ホリカワの双有理的モデルとK3被覆を用いて、明示的な例を構成し、最大次元のモジュライ族について一意性定理を確立し、それぞれの最大モジュライ次元が5、2、2であることを示している。

ABSTRACT

We classify the bi-canonical representations of finite automorphisms on Enriques surfaces. There are three types of non-trivial cases and examples are given explicitly by Horikawa models. In particular, finite non-semi-symplectic automorphisms exist only in orders 4 and 8. One corollary is that any finite cyclic subgroup in the automorphism group of an Enriques surface has order 1, 2, 3, 4, 5, 6, 8. Moreover, for two of the three types, a uniqueness theorem for maximal-dimensional families is given.

研究の動機と目的

• エンリケス多様体上の有限非半シンプレクティック自己同型を、その双標準的表現によって分類すること。
• 特に非半シンプレクティックの場合に、このような自己同型の可能な位数とインデックスを特定すること。
• ホリカワの楕円的エンリケス多様体の双有理的モデルを用いて、明示的な例を構成すること。
• 3つのタイプのうち2つのタイプについて、最大次元の自己同型族に対する一意性定理を確立すること。
• このような自己同型の族の最大可能なモジュライ次元を特定すること。

提案手法

• 位数4および8の自己同型に関して不変な方程式を構成するために、楕円的エンリケス多様体がP¹×P¹に2重被覆するホリカワの双有理的射影的モデルを用いる。
• 自己同型σのインデックスI(σ)を特定するために、空間H⁰(OS(2KS))における全2-形式の作用を分析する。
• 自己同型をエンリケス多様体SからそのK3被覆Xへと持ち上げ、H⁰(OX(KX))における作用を用いてインデックスと位数を定義する。
• 特徴的固定点定理（ホロモーフィックLefschetz固定点定理）を適用し、固定点集合を解析し、H²(X,Z)^φ² ≅ U(2)のような格子同型を得る。
• Néron-Severi格子と商の幾何学を用いて、X/φ² ≅ P¹×P¹であることを示し、剰余群K₄ ≅ (Z/2)²の商への作用を特定する。
• PGL(2,C)×PGL(2,C)のP¹×P¹への作用を分類し、特定の正規形しか現れないことを示し、同型を除いて一意性に至る。

実験結果

リサーチクエスチョン

• RQ1 エンリケス多様体上の有限非半シンプレクティック自己同型の可能な位数とインデックスは何か？
• RQ2 ホリカワのモデルを用いて、このような自己同型の明示的族を構成できるか？
• RQ3 このような自己同型の族の最大可能なモジュライ次元は何か？
• RQ4 最大次元の族に対する一意性結果は存在するか？
• RQ5 K3被覆上の自己同型群は、商多様体の幾何にどのように関係するか？

主な発見

• エンリケス多様体上の有限非半シンプレクティック自己同型は、位数4および8に限られ、インデックスは2または4である。
• 双標準的表現のタイプとして可能なのは、(4,2)、(8,4)、(8,2)の3つに限られ、定理1.4で証明されている。
• (4,2)の場合、最大モジュライ次元は5であり、例1.1がこの上限を達成している。
• (8,4)および(8,2)の場合、最大モジュライ次元は2であり、例1.2および例1.3がそれぞれこの上限に達している。
• (4,2)の場合、P¹×P¹へのK₄作用の分類により、最大次元族に対する一意性定理が成り立つ。
• このような自己同型を持つエンリケス多様体のK3被覆Xのピカール数は10であり、固定格子H²(X,Z)^φ²はU(2)に同型である。