[論文レビュー] A supersingular K3 surface in characteristic 2 and the Leech lattice

Igor Dolgachev, Shigeyuki Kondō|ArXiv.org|Dec 27, 2001

Algebraic Geometry and Number Theory被引用数 13

ひとこと要約

本稿は、特徴2の代数閉体上に、Artin不変量1の特異的K3表面を構成し、そのPicard格子が $U \perp D_{20}$ に等長である唯一のものである。42本の交差しない $(-2)$-曲線（$ \mathbb{F}_4$ 上の21点と21直線）がLeech格子に適合する方法で交差する構成を示し、その自己準同型群が $ \mathrm{PGL}(3,\mathbb{F}_4) \cdot 2$ に同型であることを証明する。これにより、複素数K3表面におけるMukaiのシンプレクティック自己準同型群分類が正の特徴に拡張されないことが示される。

ABSTRACT

We construct a K3 surface over an algebraically closed field of characteristic 2 which contains two sets of 21 disjoint smooth rational curves such that each curve from one set intersects exactly 5 curves from the other set. This configuration is isomorphic to the configuration of points and lines on the projective plane over the finite field of 4 elements. The surface admits a finite automorphism group which contains the group of automorphisms of the plane which acts on the configuration of each set of 21 smooth rational curves, and the additional element of order 2 which interchanges the two sets. The Picard lattice of the surface is a reflective sublattice of an even unimodular lattice of signatuire (1,25) and the classes of the 42 curves correspond to some Leech roots in this lattice.

研究の動機と目的

• 特徴2におけるArtin不変量1で、特定のPicard格子 $U \perp D_{20}$ を持つ特異的K3表面を構成し分類すること。
• 点と直線のインシデント構造が $\mathbb{P}^2(\mathbb{F}_4)$ に同型である42本の交差しない $(-2)$-曲線の幾何的構成を実現すること。
• このK3表面の自己準同型群を同定し、$\mathrm{PGL}(3,\mathbb{F}_4) \cdot 2$ に同型であることを示すこと。特に、外的自己同型が2つの21本の曲線の集合を入れ替えること。
• 複素数K3表面におけるMukaiによる有限シンプレクティック自己準同型群分類が正の特徴に拡張されないことを示すこと。

提案手法

• Weierstrass方程式 $y^2 + x^3 + t^{11} = 0$ を用いて、単一の $\tilde{D}_{20}$ ファイバーを持つ準楕円的ファイブレーションによりK3表面を構成する。
• 特徴2における特異的K3表面の分類と $p$-整形式格子の理論を用い、Picard格子を $U \perp D_{20}$ に固定する。
• Picard格子の埋め込みを通じて、42本の $(-2)$-曲線を偶標数単位格子 $II_{1,25}$ 内のLeech根に対応させること。
• 曲線の配置に対する作用を分析し、群が $N \cdot \mathrm{PGL}(3,\mathbb{F}_4) \cdot 2$ に同型であることを証明する。ここで $N$ は168個の対合によって生成される正規部分群である。
• 2つの曲線配置に関する幾何的および算術的性質の8つの同等性を確立する。これには、$\mathbb{P}^2 \times \mathbb{P}^2$ 内の双有理モデルや方程式が含まれる。
• Leech格子における反射群作用と、符号 $(1,21)$ の偶標数反射的格子として $U \perp D_{20}$ が唯一知られている事実を用い、表面の一意性と構造を支持する。

実験結果

リサーチクエスチョン

• RQ1 特徴2におけるArtin不変量1の特異的K3表面で、Picard格子が $U \perp D_{20}$ であり、かつ $\mathbb{P}^2(\mathbb{F}_4)$ のインシデント構造に対応する42本の交差しない $(-2)$-曲線を有するものが存在するか？
• RQ2 このようなK3表面の自己準同型群は何か？ また、2つの21本の曲線の集合にどのように作用するか？
• RQ3 複素数K3表面におけるMukaiによる有限シンプレクティック自己準同型群分類は、正の特徴に拡張可能か？
• RQ4 42本の $(-2)$-曲線はどのようにLeech格子に関係し、$II_{1,25}$ 内への埋め込みの意義は何か？

主な発見

• 代数閉体上に特徴2の特異的K3表面が一意に存在し、そのPicard格子は $U \perp D_{20}$ に等長であり、同型を除いて一意である。
• 表面は21本の滑らかな有理曲線の2つの交差しない集合を含み、それぞれの集合の曲線は他方の集合のちょうど5本の曲線と交差する。これにより $\mathbb{P}^2(\mathbb{F}_4)$ のインシデント幾何が実現される。
• 表面の自己準同型群は $\mathrm{PGL}(3,\mathbb{F}_4) \cdot 2$ に同型であり、$\mathrm{PGL}(3,\mathbb{F}_4)$ はそれぞれの21本の曲線の集合に作用し、追加の対合は2つの集合を入れ替える。
• 42本の曲線の類はPicard格子内で $II_{1,25}$ 内のLeech根に対応し、Leech格子との関係を確立する。
• 表面は複数の同等な記述を持つ：$\tilde{D}_{20}$ ファイバーを持つ準楕円的ファイブレーションとして、特定の分岐除集合を持つ $\mathbb{P}^2$ 上の2重被覆として、および7つの $A_3$ 特異点を持つ四次曲面として。
• Mukaiによる複素数K3表面における有限シンプレクティック自己準同型群の分類が正の特徴に拡張されないことが示され、$\mathrm{PSL}(3,\mathbb{F}_4)$ が $M_{23}$ の部分群でないことが根拠となる。