[論文レビュー] 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

ひとこと要約

本稿は、正の特性 $ p $ における商環 $ 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 $ で割り切れる場合、Hasse-Schmidt の意味での微分作用素の可積分性を分析すること。これには $ \langle f \rangle $ と $ \langle f^p \rangle $ の関係を用いる。
• $ h = x^4 + y^6 + y^7 $ および $ h = x^3 + y^5 + x^2y^2 $ といった特定の例における可積分微分作用素モジュールの明示的生成元を計算すること。
• 微分作用素が $ \infty $-可積分である条件を確立すること。特に、定義イデアルに関する対数的可積分性に焦点を当てる。

提案手法

• Hasse-Schmidt 微分作用素と $ k $-代数準同型 $ \varphi: A \to A[|\mu|]_m $ の間の対応関係を用いる。ここで $ \varphi(a) = \sum D_i(a)\mu^i $ である。
• $ n > m $ のとき $ m $-可積分と $ n $-可積分の微分作用素を関係付けるために、切り捨て写像 $ \tau_{nm} $ を適用する。
• イデアル $ \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 $ の係数を分析することで、可積分性を保ちつつ一貫して拡張できるかどうかの判定を行う。

実験結果

リサーチクエスチョン

• 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 $ は、$ v_{4i} \in \langle y^2 \rangle $ を満たす $ D_i $ を構成することで、$ h $-対数的 $ \infty $-可積分であることが示された。
• $ x^2\partial_x $ は、$ v_4 \in \langle x^4, h \rangle $ を満たす解が存在するため、$ h $-対数的可積分であり、補題 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} $ で生成される。
• $ \delta_1 $ の可積分性は補題 3.3 により確立され、$ \mu^i $-係数が $ \langle h \rangle $ に属するような $ u_i \in \langle x^2 \rangle $ の存在を保証する。
• $ \delta_2 $ の可積分性は補題 3.4 により確認され、$ u_i \in \langle xy, y^3 \rangle $ および $ v_i \in \langle y^2 \rangle $ が存在し、$ \mu^i $-係数の要求されるイデアルの属する条件を満たす。