[論文レビュー] On a classification of the automorphism groups of polarized abelian surfaces over finite fields

WonTae Hwang|arXiv (Cornell University)|Sep 17, 2018

Coding theory and cryptography参考文献 5被引用数 5

ひとこと要約

この論文は、有限体上の極小化されたアーベル・サーフェスの自己同型群として現れる最大有限群を、自己準同型代数、Honda-Tate理論、単位的代数の最大順序を用いて分類する。主な結果は、同種型（単純型、非同種な楕円曲線の積、通常型、超特異型）ごとに完全な分類が与えられ、表10〜13に具体的な実現例が示されている。

ABSTRACT

We give a classification of maximal elements of the set of finite groups that can be realized as the full automorphism groups of polarized abelian surfaces over finite fields.

研究の動機と目的

• 有限体上の極小化されたアーベル・サーフェスの全自己同型群として実現可能なすべての有限群を分類すること。
• その同種類の中で最大である群を同定し、分類の完全性を保証すること。
• 複素アーベル・サーフェスにおける既知の結果を、特に有限体上での正の特性に拡張すること。
• 単位的代数内の最大順序と不変格子を用いて、これらの群の明示的実現を提供すること。
• 同種型（単純型、非同種な楕円曲線の積、通常型、超特異型）ごとに分類を整理すること。

提案手法

• アーベル多様体の単純型の自己準同型代数のAlbert分類とRosati対合を用いて、可能な自己同型群構造を分析する。
• Honda-Tate理論を適用し、Weil数を用いて有限体上のアーベル・サーフェスの同種類を分類する。
• Dedekind整域における最大順序に関する結果を用いて、所望の自己準同型環を持つアーベル多様体を構成する。
• 特に $D_{p,\infty}$ を含む、$\mathbb{Q}$ 上の単位的代数 $D$ に対する $GL_2(D)$ の有限部分群の理論を用い、有限自己同型群を分類する。
• 群作用から最大 $\mathbb{Z}$-順序を構成するための、$G$-不変 $\mathcal{O}$-格子に関する補題4.11と定理2.14を適用する。
• 特に、基底体上で自己準同型体が完全に定義された超特異楕円曲線からの同種写像の上昇を用いて、明示的例を構成する。

実験結果

リサーチクエスチョン

• RQ1 有限体上の極小化されたアーベル・サーフェスの自己同型群として現れる有限群はどれか？
• RQ2 その群のうち、同種類内で最大であるものはどれであり、その最大性はどのように特徴づけられるか？
• RQ3 特に単純型、通常型、超特異型の状況において、アーベル・サーフェスの自己準同型代数は、可能な自己同型群にどのように影響を与えるか？
• RQ4 単位的代数内の最大順序は、これらの自己同型群の実現に果たす役割は何か？
• RQ5 自己準同型体が完全に定義された有限体上で、すべてのこのような最大自己同型群を明示的に構成可能か？

主な発見

• 有限体上の極小化されたアーベル・サーフェスの最大自己同型群は、4つのケースに完全に分類される：単純型、非同種な楕円曲線の積、通常型の楕円曲線のべき、超特異型の楕円曲線のべき。
• 各同種型について、可能な最大自己同型群の完全なリストが提供されており、表10〜13に詳細が示されている。
• $D_6$ は、$\mathbb{F}_{58081}$ 上の極小化されたアーベル・サーフェスの自己同型群として現れ、超特異楕円曲線 $E$ に対して $\mathrm{End}_k^0(E) = D_{241,\infty}$ を満たす $E^2$ 上に実現される。
• $\mathfrak{I}^*$（二面体的イコサヘドロン群）は、$\mathbb{F}_{49}$ 上の超特異 $E^2$ に対して、$\mathrm{End}_k^0(E) = D_{7,\infty}$ の場合に自己同型群として実現される。
• $\mathfrak{T}^*$（二面体的テトラヘドロン群）は、$\mathbb{F}_{58081}$ 上の $E^2$ に対して、$\mathrm{End}_k^0(E) = D_{241,\infty}$ の場合に実現される。
• 構成法により、各群がその同種類内で最大であることが保証されており、$G$-不変格子と $M_2(D_{p,\infty})$ 内の最大順序を用いて、このようなアーベル多様体の存在が保証されている。