[论文解读] 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

一句话总结

本文提出了一种算法，用于在正特征 p 下计算一个微分算子 δ，使得对任意非零多项式 f（定义在有限域上的多项式环中），都有 δ(1/f) = 1/f^p。关键贡献在于通过关联微分算子的阶（level）对超奇异椭圆曲线进行刻画：超奇异曲线恰好对应于阶为 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.

研究动机与目标

• 开发一种算法，用于在正特征 p 下构造微分算子 δ ∈ D_R，使得对给定的非零多项式 f，有 δ(1/f) = 1/f^p。
• 确定此类微分算子 δ 的阶 e，其中 e 定义为满足 δ 是 R^{p^e}-线性的最小整数。
• 刻画与特定多项式族（包括单项式和椭圆曲线多项式）相关联的微分算子的阶。
• 建立微分算子阶与有限域上椭圆曲线超奇异性的精确联系。
• 在 Macaulay2 中实现该算法，以进行计算验证与应用。

提出的方法

• 该算法通过利用正特征下微分算子的结构以及 Frobenius 映射，构造出满足 δ(1/f) = 1/f^p 的 δ ∈ D_R。
• 采用微分算子环 D_R = ⋃_e End_{R^{p^e}}(R) 的滤子结构，其中 R^{p^e} 是 p^e 次幂的子环。
• 对于满足 0 ≤ a_i < p 的单项式 f = x_1^{a_1}⋯x_d^{a_d}，该方法显式计算出在次数小于 p 的单项式上作用为 Kronecker delta 的算子 δ_α。
• 通过条件检查子程序验证单项式次数，检查 f^{p^e - 1} 是否属于理想 I_e(f^{p^e - 1}) 的 p^e 次符号幂。
• 采用递归方式应用微分作用，利用 DifferentialAction 函数计算微分算子对给定元素的作用。
• 在 Macaulay2 中的实现使用符号计算处理多元多项式、微分算子和 Frobenius 幂。

实验结果

研究问题

• RQ1 我们能否在算法上构造一个微分算子 δ，使得在正特征下 δ(1/f) = 1/f^p？
• RQ2 此类微分算子 δ 的阶 e 是什么？即满足 δ 是 R^{p^e}-线性的最小 e 是多少？
• RQ3 与单项式 f 关联的微分算子的阶如何与其指数和特征 p 相关？
• RQ4 对于定义在 F_p 上的椭圆曲线，其关联微分算子的阶如何与曲线的超奇异性质相关？
• RQ5 我们能否通过关联其定义多项式的微分算子的阶来刻画超奇异与通常的椭圆曲线？

主要发现

• 本文提供了构造性算法，用于计算任意非零多项式 f（定义在有限域上正特征 p 的多项式环中）的微分算子 δ ∈ D_R，使得 δ(1/f) = 1/f^p。
• 对于满足 0 ≤ a_i < p 的单项式 f = x_1^{a_1}⋯x_d^{a_d}，其阶恰好为 e = ⌈log_p(max{a_i + 1})⌉，且关联的微分算子 δ 被显式描述。
• 理想 I_e(f^{p^e - 1})（即 f^{p^e - 1} 的 p^e 次根的理想）被刻画为满足 f^{p^e - 1} ∈ J^{[p^e]} 的最小理想 J。
• 对于定义在 F_p 上的椭圆曲线，其关联微分算子的阶为 1 当且仅当曲线为通常的，阶为 2 当且仅当曲线为超奇异的。
• 该算法已在 Macaulay2 中实现，并通过计算示例（包括单项式和椭圆曲线多项式）进行了验证。
• 通过算子阶刻画超奇异椭圆曲线，为正特征下提供了一种新的代数-几何不变量。