[論文レビュー] Automorphisms of supersingular K3 surfaces and Salem polynomials

Ichiro Shimada|arXiv (Cornell University)|Mar 16, 2015

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

ひとこと要約

本稿では、奇数の特異値において、ネロン–セベリ格子上の作用がセーレム多項式である特徴多項式を持つ、超特異K3表面の自己同型を構成する計算的手法を提示する。アーベル・リストと格子幾何学を用いて生成される二重平面反転の系列を合成することで、すべての特異値 $ p \leq 7919 $ の超特異K3表面、および特異値 $ p \leq 17389 $ のアービン不変量10の超特異K3表面に対して、非可約セーレム型の自己同型が存在することを証明し、それらが特異値0への非可約性を示唆する。

ABSTRACT

We present a method to generate many automorphisms of a supersingular K3 surface in odd characteristic. As an application, we show that, if p is an odd prime less than or equal to 7919, then every supersingular K3 surface in characteristic p has an automorphism whose characteristic polynomial on the Néron-Severi lattice is a Salem polynomial of degree 22. For a supersingular K3 surface with Artin invariant 10, the same holds for odd primes less than or equal to 17389.

研究の動機と目的

• 特異値 $ p $ における超特異K3表面の自己同型の存在を確立し、そのネロン–セベリ格子上の作用が22次セーレム多項式である特徴多項式を持つこと。
• 特に $ p = 7 $ および $ p = 13 $ におけるアービン不変量1の超特異K3表面の自己同型の非可約性を解消すること。
• 特異値 $ p \leq 17389 $ におけるアービン不変量10の超特異K3表面に対し、非可約性の結果を拡張すること。
• 二重平面反転とアーベル・リストを用いた計算フレームワークを構築し、このような自己同型を体系的に生成すること。

提案手法

• RudakovとShafarevichの構造定理に依拠し、特異値 $ p $ とアービン不変量 $ \sigma $ によって超特異K3表面のネロン–セベリ格子が固定されることを前提とする。
• 二重平面反転を特定するための「アーベル・リスト」としてのベクトルのリストを導入し、$ S_X \otimes \mathbb{R} $ 内のネフ錐を計算する。
• 二重平面反転は、$ X \to \mathbb{P}^2 $ への2次射影写像によって誘導される位数2の自己同型として構成され、格子理論的データを用いる。
• 直交変換におけるグラム行列の不変性を用いて、これらの反転の行列表現をネロン–セベリ格子上で計算する。
• 最大22個のこのような反転を合成し、特徴多項式がセーレム多項式である1つの自己同型を形成する。
• $ X(7) $ に対して明示的な行列表現を用いて計算的検証を行い、積の特徴多項式がセーレム多項式であることを確認した。

実験結果

リサーチクエスチョン

• RQ1 すべての特異値 $ p \leq 7919 $ の超特異K3表面に対して、ネロン–セベリ格子上での作用が22次セーレム多項式である特徴多項式を持つ、非可約セーレム型の自己同型が存在するか？
• RQ2 特異値 $ p \leq 17389 $ の奇数の特異値におけるアービン不変量10の超特異K3表面に対し、このような自己同型を構成できるか？
• RQ3 二重平面反転の手法が、ネロン–セベリ格子上での作用がセーレム多項式となる自己同型を生成でき、それにより特異値0への非可約性が示唆されるか？
• RQ4 この手法の計算的限界はどの程度であり、奇数の特異値における既知のすべての超特異K3表面をカバーしているか？

主な発見

• すべての特異値 $ p \leq 7919 $ の超特異K3表面に対して、非可約セーレム型の自己同型が存在し、$ S_X $ 上でのその作用の特徴多項式は22次セーレム多項式である。
• 特異値 $ p \leq 17389 $ のアービン不変量10の超特異K3表面に対しても、同様に非可約セーレム型の自己同型が存在する。
• $ X(7) $ における3つの二重平面反転の積、行列表現 $ M(h_1)M(h_2)M(h_3) $ は、正の実根が約 994.15889 のセーレム多項式の特徴多項式を生成する。
• 自己同型の特徴多項式は明示的に $ t^{22} - 993t^{21} - 1152t^{20} - 123t^{19} + \cdots - 993t + 1 $ と計算され、セーレム性が確認された。
• この構成手法は完全に計算的であり、アーベル・リストと格子幾何学を用いて必要な反転を生成する。
• これらの結果により、このような表面のペア $ (X, g) $ は特異値0に非可約に持ち上げられず、以前に未解決であったケースにおける非可約自己同型の確認が得られた。