[論文レビュー] On The Characteristic Polynomial of Frobenius of Supersingular Abelian Varieties Of Dimension up to 7 over Finite Fields

Vijaykumar Singh, Alexey Zatysev+1 more|arXiv (Cornell University)|Nov 10, 2010

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

ひとこと要約

本稿は、q = p^n かつ n が奇数である有限体 𝔽_q 上の次元 1 から 7 の単純な超特異アーベル多様体のフロベニウス自己準同型の特性多項式を分類する。ホナン＝テイトの定理およびウェイの q-数の性質を用いて、既約性、シクロトミック因子分解、ガロア降下を分析することで、完全な多項式リストを導出し、最終的に次元 7 の単純な超特異アーベル多様体がこれらの体上に存在しないことを証明する。

ABSTRACT

In this article, we derive the list of the characteristic polynomials of the Frobenius endomorphism of simple supersingular abelian varieties of dimension $1,~2,~3,~4,~5,~6,~7$ over $\mathbb{F}_q$ where $q=p^n$, $n$ odd.

研究の動機と目的

• q = p^n かつ n が奇数である有限体 𝔽_q 上の次元 1 から 7 の単純な超特異アーベル多様体のフロベニウス自己準同型の特性多項式をすべて分類すること。
• 次元 4 を超える領域において、特にこのようなデータが希少な高次元に対して、超特異アーベル多様体の既知の分類を拡張すること。
• このような多様体が曲線のヤコビアンとして現れるかどうかを特定すること、特に暗号理論および符号理論的応用の文脈において。
• シクロトミック多項式およびガロア降下に基づく体系的な手順を提示し、任意の次元へ一般化可能であるようにすること。
• 次元 7 における存在性問題を解決し、n が奇数である 𝔽_q 上にこのような単純な超特異アーベル多様体が存在しないことを示すこと。

提案手法

• ホナン＝テイトの定理を適用し、𝔽_q 上の単純アーベル多様体のアイゼンシュタイン類と、超特異ウェイ q-数の共役類との間の双対性を確立する。
• フロベニウスの特性多項式 P(X) を t = X/√q の置換により、ℚ(√q) 上の多項式 G(t) に変換し、単位根の分析に帰着する。
• 超特異ウェイ q-数が √q ⋅ ζ の形（ζ は単位根）であるという条件を用い、G(t) の根が単位根であることを示す。
• H(t) = G(t)G(t)^σ を分析する。これは偶数次の項しか持たず、ある m に対して t^m - 1 を割り切る必要がある。ここで φ(m) = 4g である。
• P(X) が既約の場合、H(t) は t^m - 1 の次数 4g で、φ(m) = 4g である既約シクロトミック因子でなければならない。P(X) が可約の場合、ℚ(√q) 上の次数 g の多項式の積に分解することを分析する。
• p-進付値および自己準同型代数の不変量を用いて、ℚ_p 上での関連多項式の分解からアーベル多様体の次元を特定する。

実験結果

リサーチクエスチョン

• RQ1 q = p^n かつ n が奇数である有限体 𝔽_q 上の次元 g ≤ 7 の単純な超特異アーベル多様体の、フロベニウスの特性多項式として現れるのはどれか？
• RQ2 シクロトミックおよびガロア理論的手段を用いて、次元 4 を超える領域における超特異アーベル多様体の分類を拡張できるか？
• RQ3 q = p^n かつ n が奇数である 𝔽_q 上に、次元 7 の単純な超特異アーベル多様体は存在するか？
• RQ4 提示された特性多項式のうち、どれが 𝔽_q 上の曲線のヤコビ多様体のフロベニウス多項式として現れるか？
• RQ5 自己準同型代数の不変量（p-進付値による係数の評価）は、アーベル多様体の次元をどのように特定するか？

主な発見

• 次元 1 から 6 については、q = p^n かつ n が奇数である有限体 𝔽_q 上の単純な超特異アーベル多様体のフロベニウス特性多項式の完全なリストが提供されている。
• 分類は、t^m - 1 のシクロトミック多項式の分解および ℚ(√q) 上でのガロア軌道の構造に基づいており、変換された多項式 G(t) の既約因子の数によって次元が特定される。
• 次元 7 については、φ(m) = 28 を満たす適切な m が存在せず、対応するシクロトミック多項式がすべて偶数次の項しか持たないという条件を満たさないため、このような単純な超特異アーベル多様体は存在しないことが証明されている。
• p ≡ 1 mod 14 の場合、7 次のシクロトミック多項式は ℚ_p 上で3つの二次因子に分解され、これはアーベル多様体の次元が 6 であることを示唆する。
• 本稿は、q = 2^n かつ n が奇数であるとき、次元 1–2 のすべての特性多項式および次元 4 の一部の多項式が、実際に 𝔽_q 上の超楕円曲線のヤコビアンとして現れることを確認している。明示的な例によって示されている。
• φ(m) = 4g かつ H(t) が t^m - 1 の偶数次の項のみをもつ既約因子であるか、または ℚ(√q) 上で次数 g の成分に分解可能であるような m の存在を分析することにより、この手続きは任意の次元へ一般化可能である。