[論文レビュー] The automorphism groups of enriques surfaces covered by symmetric quartic surfaces

Shigeru Mukai, Hisanori Ohashi|arXiv (Cornell University)|Jan 1, 2015

Algebraic Geometry and Number Theory参考文献 10被引用数 5

ひとこと要約

本稿は、複素射影空間 ℙ³ 内の対称的四次曲面をクリエモナ対合 (xᵢ ↦ 1/xᵢ) で商したことで得られるエンリケス面 S の自己同型群を調査し、その群が四つの対合の自由積と対称群 𝔖₄ の半直積に同型であることを示している。この群の作用に関して、S 上にはちょうど 29 個の楕円的線束が存在し、そのファイブレーションが完全に分類されている。

ABSTRACT

Let $S$ be the (minimal) Enriques surface obtained from the symmetric quartic surface $(\sum_{i<j}x_ix_j)^2=kx_1x_2x_3x_4$ in $\mathbb{P}^3$ with $k eq 0,4,36$, by taking quotient of the Cremona action $(x_i) \mapsto (1/x_i)$. The automorphism group of $S$ is a semi-direct product of a free product $\mathcal{F}$ of four involutions and the symmetric group $\mathfrak{S}_4$. Up to action of $\mathcal{F}$, there are exactly $29$ elliptic pencils on $S$.

研究の動機と目的

• 複素射影空間 ℙ³ 内の対称的四次曲面から得られるエンリケス面 S の自己同型群の構造を特定すること。
• S の楕円的ファイブレーションの集合への自己同型群の作用を分析すること。
• 自己同型群の作用に関して、S 上のすべての楕円的線束を同値類ごとに分類し、その数と幾何的性質を特定すること。
• クリエモナ変換 (xᵢ ↦ 1/xᵢ) が S の構成に果たす役割と、その表面の対称性への影響を理解すること。

提案手法

• 表面 S は、対称的四次曲面 (∑_{i<j} xᵢxⱼ)² = kx₁x₂x₃x₄ をクリエモナ対合 (xᵢ ↦ 1/xᵢ) で商したものの最小解消として構成され、k ≠ 0, 4, 36 である。
• S の自己同型群が四つの対合の自由積と対称群 𝔖₄ の半直積に同型であることが示された。
• 幾何的手法を用いて、特に楕円的線束に注目して S のファイブレーション構造を分析した。
• 群作用を用いて、同値類に関する楕円的ファイブレーションを分類し、問題を自己同型群による軌道の数え上げに還元した。
• 分類は、クリエモナ対称性と四次曲面の幾何学的性質との相乗的関係に依存している。
• k ≠ 0, 4, 36 という条件により、表面が滑らかであり、商が最小エンリケス面を導くことが保証される。

実験結果

リサーチクエスチョン

• RQ1 対称的四次曲面をクリエモナ対合 (xᵢ ↦ 1/xᵢ) で商して得られるエンリケス面 S の自己同型群の構造は何か？
• RQ2 S 上には、その自己同型群の作用に関して、何個の異なる楕円的線束が存在するか？
• RQ3 クリエモナ変換は、表面 S の対称性を生成する上で果たす役割は何か？
• RQ4 パrameter k ≠ 0, 4, 36 の選択が、S の自己同型群およびファイブレーション構造に与える影響は何か？
• RQ5 数以外の幾何的不変量は、S 上の楕円的ファイブレーションを分類する上で役立つものがあるか？

主な発見

• エンリケス面 S の自己同型群は、四つの対合の自由積と対称群 𝔖₄ の半直積に同型である。
• 表面 S は、複素射影空間 ℙ³ 内の対称的四次曲面をクリエモナ変換 (xᵢ ↦ 1/xᵢ) で商したものの最小解消として得られる。
• パrameter k は、表面が滑らかで、商が最小エンリケス面を導くために k ≠ 0, 4, 36 に制限される。
• 自己同型群の作用に関して、S 上にはちょうど 29 個の異なる楕円的線束が存在する。
• 楕円的ファイブレーションの分類は完全かつ有限であり、29 個の軌道を超えるファイブレーションは存在しない。
• 対称的四次曲面の幾何的構造が、得られるエンリケス面の対称性およびファイブレーション性質の根拠となっている。