[论文解读] Integrable derivations in the sense of Hasse-Schmidt for some binomial plane curve

María de la Paz Tirado Hernández|arXiv (Cornell University)|Jul 27, 2018

Advanced Differential Equations and Dynamical Systems参考文献 2被引用 3

一句话总结

本文在正特征下刻画了商环 $ k[x,y]/\langle x^n - y^q \rangle $ 上可积 Hasse-Schmidt 微分算子的模，建立了对任意 $ m \geq 1 $ 和 $ m = \infty $ 时微分算子 $ m $-可积的条件。结果表明，可积性取决于 $ n $ 和 $ q $ 是否被特征 $ p $ 整除，并在各种情形下给出了可积微分算子模的显式生成元，包括在特征 3 下的 $ h = x^4 + y^6 + y^7 $ 和 $ h = x^3 + y^5 + x^2y^2 $ 的例子。

ABSTRACT

We describe the module of integrable derivations in the sense of Hasse-Schmidt of the quotient of the polinomial ring in two variables over an ideal generated by the equation x^n-y^q.

研究动机与目标

• 描述环 $ A = k[x,y]/\langle x^n - y^q \rangle $ 上 $ m $-可积 Hasse-Schmidt 微分算子的模，其中 $ k $ 是正特征 $ p $ 的约化环。
• 当 $ n $ 或 $ q $ 被特征 $ p $ 整除时，利用 $ \langle f \rangle $ 与 $ \langle f^p \rangle $ 之间的关系，分析 Hasse-Schmidt 意义下的微分算子可积性。
• 在特定例子中计算可积微分算子模的显式生成元，包括在特征 3 下的 $ h = x^4 + y^6 + y^7 $ 和 $ h = x^3 + y^5 + x^2y^2 $。
• 建立微分算子 $ \infty $-可积的条件，特别关注相对于定义理想 $ \langle h \rangle $ 的对数可积性。

提出的方法

• 利用 Hasse-Schmidt 微分算子与 $ k $-代数同态 $ \varphi: A \to A[|\mu|]_m $ 之间的对应关系，其中 $ \varphi(a) = \sum D_i(a)\mu^i $。
• 应用截断映射 $ \tau_{nm} $，将 $ m $-可积与 $ n $-可积微分算子（$ n > m $）联系起来。
• 使用相对于理想 $ \langle h \rangle $ 的对数微分算子，要求对所有 $ i $ 有 $ D_i(h) \in \langle h \rangle $。
• 依赖归纳引理（如引理 3.1 和引理 3.2）来构造 $ \operatorname{HS}_k(A;m) $ 中微分序列的高阶分量 $ D_i $。
• 利用多项式环的结构与商关系，将可积性条件简化为在 $ \langle h \rangle $ 中的理想成员资格。
• 分析 $ \varphi(h) $ 中 $ \mu^i $ 的系数，以确定 $ D_i $ 是否能一致地扩展并保持可积性。

实验结果

研究问题

• RQ1 在正特征下，$ k[x,y]/\langle x^n - y^q \rangle $ 上的 $ k $-微分算子在什么条件下对 $ m \geq 1 $ 是 $ m $-可积的？
• RQ2 当 $ n $ 或 $ q $ 被特征 $ p $ 整除时，微分算子的可积性如何变化？
• RQ3 对于 $ A = k[x,y]/\langle x^n - y^q \rangle $，在特定情形下，模块 $ \operatorname{IDer}_k(A;m) $ 的显式生成元是什么？
• RQ4 在什么条件下微分算子是 $ \infty $-可积的，特别是相对于 $ \langle h \rangle $ 的对数可积性？
• RQ5 $ \varphi(h) \in \langle h \rangle $ 的可积性条件如何限制高阶分量 $ D_i $ 的选择？

主要发现

• 在特征 $ p \neq 2 $ 下，对于 $ h = x^4 + y^6 + y^7 $，模块 $ \operatorname{IDer}_k(A;i) $ 在 $ 1 \leq i < 4 $ 时由 $ \overline{\partial_x} $ 生成，在 $ 4 \leq i < 8 $ 时由 $ \overline{x\partial_x}, \overline{y^2\partial_x} $ 生成，在 $ i \geq 8 $ 时由 $ \overline{x^2\partial_x}, \overline{xy\partial_x}, \overline{y^2\partial_x} $ 生成。
• 微分算子 $ y^2\partial_x $ 是 $ h $-对数 $ \infty $-可积的，通过构造满足可积性条件的 $ D_i $ 且 $ v_{4i} \in \langle y^2 \rangle $ 得到证明。
• 微分算子 $ x^2\partial_x $ 是 $ h $-对数可积的，因为存在满足 $ v_4 \in \langle x^4, h \rangle $ 的解，且引理 3.2 确保了归纳扩展的可行性。
• 在特征 3 下，对于 $ h = x^3 + y^5 + x^2y^2 $，模块 $ \operatorname{IDer}_k(A) $ 由 $ \overline{\delta_1} = \overline{x^2\partial_x + y^3\partial_y} $ 和 $ \overline{\delta_2} = \overline{2y^2\partial_x + (x + y^2)\partial_y} $ 生成。
• 通过引理 3.3 确立了 $ \delta_1 $ 的可积性，该引理保证存在 $ u_i \in \langle x^2 \rangle $，使得 $ \varphi(h) $ 的 $ \mu^i $-系数属于 $ \langle h \rangle $。
• 通过引理 3.4 确认了 $ \delta_2 $ 的可积性，该引理构造了满足所需理想成员资格的 $ u_i \in \langle xy, y^3 \rangle $ 和 $ v_i \in \langle y^2 \rangle $，以保证 $ \mu^i $-系数的条件成立。