[論文レビュー] An algorithm for constructing certain differential operators in positive characteristic

Alberto F. Boix, Alessandro De Stefani+1 more|arXiv (Cornell University)|Mar 4, 2015

Algebraic Geometry and Number Theory参考文献 8被引用数 3

ひとこと要約

本稿では、有限体上の多項式環における非ゼロ多項式 f に対して 1/f を 1/f^p に写像する微分作用素 δ を計算するアルゴリズムを提示する。主な貢献は、関連する微分作用素のレベルを用いた超特異楕円曲線の特徴付けである：超特異曲線はちょうどレベル 2 に対応し、通常曲線はレベル 1 に対応する。

ABSTRACT

Given a non-zero polynomial $f$ in a polynomial ring $R$ with coefficients in a finite field of prime characteristic $p$, we present an algorithm to compute a differential operator $δ$ which raises $1/f$ to its $p$th power. For some specific families of polynomials, we also study the level of such a differential operator $δ$, i.e., the least integer $e$ such that $δ$ is $R^{p^e}$-linear. In particular, we obtain a characterization of supersingular elliptic curves in terms of the level of the associated differential operator.

研究の動機と目的

• 与えられた非ゼロ多項式 f に対して、正標数 p における微分作用素 δ ∈ D_R を構成するアルゴリズムを開発すること。このとき δ(1/f) = 1/f^p を満たすものとする。
• δ のレベル e を特定すること。ここで e は δ が R^{p^e}-線形となるような最小の整数である。
• 単項式や楕円曲線の多項式を含む特定の多項式族に関連する微分作用素のレベルを特徴付けること。
• 微分作用素のレベルと有限体上での楕円曲線の超特異性との明確な関係を確立すること。
• Macaulay2 を用いてアルゴリズムを実装し、計算的検証および応用を可能にする。

提案手法

• アルゴリズムは、正標数における微分作用素の構造と Frobenius 写像の性質を活用して、δ ∈ D_R が δ(1/f) = 1/f^p を満たすように構成する。
• 微分作用素環 D_R = ⋃_e End_{R^{p^e}}(R) のフィルトレーションを用いる。ここで R^{p^e} は p^e 乗の元からなる部分環である。
• f = x_1^{a_1}⋯x_d^{a_d} で 0 ≤ a_i < p である単項式に対して、次数 < p の単項式上でクロネッカーのデルタ関数のように作用する δ_α を明示的に計算する。
• f^{p^e - 1} が理想 I_e(f^{p^e - 1}) の p^e 乗パワーに属するかどうかを確認するため、単項式の次数をチェックするサブルーチンを用いて条件を検証する。
• 微分作用素の作用を計算する DifferentialAction 関数を再帰的に適用する。
• Macaulay2 での実装では、多変数多項式、微分作用素、Frobenius パワーを扱うために記号計算を用いる。

実験結果

リサーチクエスチョン

• RQ1 正標数において、δ(1/f) = 1/f^p を満たす微分作用素 δ をアルゴリズム的に構成できるか？
• RQ2 このような微分作用素 δ のレベル e は何か？ ここで e は δ が R^{p^e}-線形となるような最小の整数である。
• RQ3 単項式 f = x_1^{a_1}⋯x_d^{a_d} に関連する微分作用素のレベルは、その指数と標数 p とどのように関係するか？
• RQ4 F_p 上で定義された楕円曲線に対して、関連する微分作用素のレベルは、その曲線の超特異性とどのように関係するか？
• RQ5 定義多項式に関連する微分作用素のレベルを用いて、超特異楕円曲線と通常楕円曲線を特徴付けることができるか？

主な発見

• 本稿では、有限体の標数 p における多項式環の非ゼロ多項式 f に対して、δ(1/f) = 1/f^p を満たす微分作用素 δ ∈ D_R を構成するアルゴリズムを提供する。
• 0 ≤ a_i < p を満たす単項式 f = x_1^{a_1}⋯x_d^{a_d} に対して、そのレベルは正確に e = ⌈log_p(max{a_i + 1})⌉ であり、関連する微分作用素 δ は明示的に記述される。
• f^{p^e - 1} の p^e 乗根の理想 I_e(f^{p^e - 1}) は、f^{p^e - 1} ∈ J^{[p^e]} を満たす最小の理想 J として特徴付けられる。
• F_p 上の楕円曲線に対して、関連する微分作用素のレベルが 1 であることは、その曲線が通常であるための必要十分条件であり、レベルが 2 であることは、その曲線が超特異であるための必要十分条件である。
• アルゴリズムは Macaulay2 に実装され、単項式や楕円曲線の多項式を含む計算例を通じて検証されている。
• 微分作用素のレベルを用いた超特異楕円曲線の特徴付けは、正標数における新しい代数的幾何的不変量を提供する。