[論文レビュー] Dynamics on supersingular K3 surfaces

Matthias Schuett|arXiv (Cornell University)|Feb 24, 2015

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

ひとこと要約

本稿は、奇数の特異値 $p \equiv 2 \mod 3$ におけるアーティン不変量1の上付き特異K3表面に対して、楕円曲線のファイブレーションとモーデル・ヴェイユ格子を用いて、その上への明示的な自己同型を構成する。この自己同型のコホロロジーへの作用は、22次のセーレム多項式を持つことが判明し、これは、任意の特異値0のモデルへの上昇が不可能であることを示し、最大の力学的次元を持つ非上昇可能な自己同型の体系的で無限族の初例を提供する。

ABSTRACT

For any odd characteristic p=2 mod 3, we exhibit an explicit automorphism on the supersingular K3 surface of Artin invariant one which does not lift to any characteristic zero model. Our construction builds on elliptic fibrations to produce a closed formula for the automorphism's characteristic polynomial on second cohomology, which turns out to be an irreducible Salem polynomial of degree 22 with coefficients varying with p.

研究の動機と目的

• 正の特異値における上付き特異K3表面への、特異値0への上昇が不可能な明示的自己同型を構成すること。
• $p \equiv 2 \mod 3$ に対して、それらの自己同型の体系的かつ無限族を提供することにより、これまでの零星的な例を拡張すること。
• モーデル・ヴェイユ格子と楕円曲線のファイブレーションを用いて、自己同型の第二コホロロジーへの作用の特性多項式を計算すること。
• 自己同型がセーレム次数22を有することを確立し、最大の力学的複雑性を示すこと。
• アーティン不変量1の上付き特異K3表面が、無限に多くの特異値において非上昇可能な自己同型を有することを証明すること。

提案手法

• アーティン不変量1の上付き特異K3表面に特定の楕円曲線ファイブレーションを用い、その既知の幾何的構造を活用する。
• 自己同型は、有理点による平行移動と一般ファイバー上のハイパーオーバルティック対合の合成として構成される。
• コホロロジーへの作用は、モーデル・ヴェイユ格子構造を用いて計算され、同型 $\mathop{\rm MW}(X) \cong \mathop{\rm NS}(X)/\mathop{\rm Triv}(X)$ を用いる。
• 自己同型の $\mathop{\rm NS}(X)$ 上での特性多項式は、$\mu(g^*) = x^{11} \phi(x + 1/x)$ として得られる。ここで $\phi(x)$ は $n$ に依存する係数を持つ11次多項式であり、$p = 3n + 2$ である。
• モジュラー算術を用いて、巡回的因子を除外することで、整数上での多項式の無限性を検証する。
• 背理法により非上昇性を証明する：$g$ が上昇可能ならば、そのコホロロジー的作用は $\rho = 22$ を要するが、複素K3表面におけるレフシェーツの境界 $\rho \leq 20$ に反する。

実験結果

リサーチクエスチョン

• RQ1 正の特異値における上付き特異K3表面に対して、セーレム次数22の非上昇可能な自己同型を明示的かつ体系的に構成できるか？
• RQ2 そのような自己同型のコホロロジー的作用は何か？また、楕円曲線のファイブレーションとモーデル・ヴェイユ格子を用いて計算可能か？
• RQ3 自己同型のコホロロジーへの作用の特性多項式は、$p \equiv 2 \mod 3$ となる無限に多くの素数においても、無限かつセーレム型のままであるか？
• RQ4 ホッジ指数定理とコホロロジー的制約を用いて、自己同型の非上昇性を厳密に証明できるか？
• RQ5 上昇に失敗する、次数20以下である他のより単純な自己同型は存在するか？それらの特性多項式はどのように比較されるか？

主な発見

• 構成された自己同型 $g \in \mathop{\rm Aut}(X(p))$ は、$\mathop{\rm NS}(X(p))$ 上で特性多項式 $\mu(g^*) = x^{11} \phi(x + 1/x)$ を持つ。ここで $\phi(x)$ は $n$ に依存する係数を持つ11次多項式であり、$p = 3n + 2$ である。
• すべての $n \in \mathbb{N}$ に対して、$3n + 2$ が素数である場合、多項式 $\phi(x)$ は $\mathbb{Z}$ 上で無限である。これにより、自己同型はセーレム次数22を有する。
• 自己同型 $g$ は、$X(p)$ の任意の特異値0モデルへの上昇が不可能である。なぜなら、そのコホロロジー的作用は $\rho = 22$ を要するが、複素K3表面におけるレフシェーツの境界 $\rho \leq 20$ に反するからである。
• 非ゼロのべき $g^r$ に対しても、上昇は不可能である。各 $g^r$ に対しても、22次の無限多項式を有するセーレム多項式が得られる。
• 次数20のより単純な自己同型 $g'$ が構成され、$\mu(g^{\prime*}) = (x-1)(x+1)\psi(x)$ を満たす。ここで $\psi(x)$ は20次のセーレム多項式であり、コホロロジー的制約により非上昇である。
• この構成は明示的かつ体系的であり、上付き特異K3表面における最大の力学的次元を持つ非上昇可能な自己同型の無限族を初の例として提供する。