[論文レビュー] The dihedral group $\Dh_5$ as group of symplectic automorphisms on K3 surfaces

Alice Garbagnati|arXiv (Cornell University)|Dec 24, 2008

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

ひとこと要約

本稿は、K3表面が位数5のシンプレクティック自己同型をもつならば、必然的に位数10の全二面体群 $\mathcal{D}_5$ がシンプレクティック自己同型の群として存在することを証明する。$\mathcal{D}_5$-不変コホモロジーの直交補空間はランク16の格子 $L$ であり、これはグリスとランが構成した格子と等長であることが示され、$L$ の明示的で素朴な構成が与えられる。

ABSTRACT

We prove that if a K3 surface $X$ admits $\Z/5\Z$ as group of symplectic automorphisms, then it actually admits $\Dh_5$ as group of symplectic automorphisms. The orthogonal complement to the $\Dh_5$-invariants in the second cohomology group of $X$ is a rank 16 lattice, $L$. It is known that $L$ does not depend on $X$: we prove that it is isometric to a lattice recently described by R. L. Griess Jr. and C. H. Lam. We also give an elementary construction of $L$.

研究の動機と目的

• K3表面におけるシンプレクティック $\mathbb{Z}/5\mathbb{Z}$-作用と全 $\mathcal{D}_5$-作用の間の構造的同型を確立すること。
• K3表面 $X$ に対して $G = \mathcal{D}_5$ の $H^2(X,\mathbb{Z})$ における直交補空間格子 $\Omega_G$ を特定し、$X$ に依存しないことを示すこと。
• $L = \Omega_{\mathcal{D}_5}$ としてのランク16格子 $L$ を明示的かつ素朴に構成し、グリスとランが記述した格子と特定すること。
• 位数2, 6, 8の不変極分類をもつ代数的K3表面の3次元族において、$\mathcal{D}_5$-作用が自然に生じることを示すこと。

提案手法

• ニクリンのシンプレクティック群作用に関する一意性結果を用いて、直交補空間 $\Omega_G$ の等長型が群 $G$ のみに依存し、特定のK3表面に依存しないことを示す。
• 群論的およびコホモロジー的条件を満たす基準（命題2.14）を適用し、$\mathbb{Z}/5\mathbb{Z}$-シンプレクティック作用が $\mathcal{D}_5$-シンプレクティック作用を含むことを確立する。
• $A_4(-2)^{\oplus 4}$ の重ね合わせ格子として $L$ を構成し、$\mathrm{SL}(2,\mathbb{F}_5)$ が $A_4(-2)$ に作用する自然な方法を用いて位数5の等長を実現する。
• $\mathbb{P}^2$, $\mathbb{P}^5$, および重み付き射影空間における代数的モデルを通じて、$\mathcal{D}_5$-作用を明示的に示し、$\mathbb{P}^n$-作用から誘導される自己同型を用いる。
• 固定点集合を確認し、周囲空間の作用から誘導される自己同型がK3表面上でシンプレクティックであることを検証する。
• 構成された格子 $L$ をグリスとランが記述した格子と比較し、明示的な基底とグラム行列の計算により等長であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 K3表面が位数5のシンプレクティック自己同型をもつとき、それが自然に全二面体群 $\mathcal{D}_5$ をシンプレクティック自己同型の群として含むのはどのような条件下か？
• RQ2 位数5のシンプレクティック作用をもつK3表面 $X$ に対して、$H^2(X,\mathbb{Z})$ 内の $\mathcal{D}_5$-不変コホモロジーの直交補空間格子 $\Omega_{\mathcal{D}_5}$ の構造は何か？
• RQ3 $\Omega_{\mathcal{D}_5}$ は、最近グリスとランが記述した格子と等長か？
• RQ4 $\Omega_{\mathcal{D}_5}$ は、既知のルート格子から明示的かつ素朴に構成可能か？
• RQ5 位数2, 6, 8の不変極分類をもつ代数的K3表面の族において、$\mathcal{D}_5$-作用はどのように現れるか？

主な発見

• K3表面が位数5のシンプレクティック自己同型をもつならば、必然的に位数10の全二面体群 $\mathcal{D}_5$ がシンプレクティック自己同型の群として存在する。
• $\mathcal{D}_5$-不変コホモロジーの直交補空間 $\Omega_{\mathcal{D}_5}$ はランク16の格子であり、K3表面 $X$ に依存せず、グリスとランが構成した格子と等長である。
• $\Omega_{\mathcal{D}_5}$ は、$A_4(-2)^{\oplus 4}$ の重ね合わせ格子として明示的に実現され、$A_4(-2)$ における標準的作用によって位数5の等長が誘導される。
• $\mathcal{D}_5$ に含まれる対合は $\Omega_{\mathcal{D}_5}$ 上で位数2の等長として作用し、その作用は構成において明示的に記述される。
• 位数2, 6, 8の不変極分類をもつ代数的K3表面の3次元族において、$\mathcal{D}_5$-作用は、周囲の射影空間の自己同型がK3表面上でシンプレクティック自己同型に下降する形で自然に生じる。
• $\mathcal{D}_5$-作用は、シンプレクティック位数5自己同型 $\sigma_5$ とシンプレクティック対合 $\iota$ によって実現され、$\iota \sigma_5 \iota = \sigma_5^{-1}$ を満たし、全群 $\mathcal{D}_5$ を生成する。