[論文レビュー] Surjective derivations in small dimensions

R. V. Gurjar, Kayo Masuda+1 more|arXiv (Cornell University)|Nov 5, 2012

Advanced Differential Equations and Dynamical Systems参考文献 18被引用数 4

ひとこと要約

この論文は、次元1および2のℂ上の多項式環およびアフィン環における全射微分作用素を調査し、Cerveauがℂ[x₁,x₂]に対して得た結果を一般化する。微分複体の道具とDimca-Saitoの結果を用いた代数的および代数幾何的アプローチにより、全射微分作用素を特徴付け、ℂ[x₁,x₂]上の微分作用素が全射で非自明な核を持つことと、座標変換の下で∂/∂x₁に同値であることの必要十分条件を証明する。また、非自明な積分要素を持たない微分作用素の例も構成する。

ABSTRACT

Inspired by a result of D. Cerveau on surjective derivations on a polynomial ring in two variables over a complex number field C, we consider a surjective derivation defined on an affine domain over C of dimension one or two. Though our proofs are mostly algebraic or algebro-geometric, the idea using a result of Dimca-Saito which is behind the arguments of Cerveau and based on the differential complex of the polynomial ring in n variables is inspiring and affects our arguments.

研究の動機と目的

• Cerveauによるℂ[x₁,x₂]上での全射微分作用素の特徴づけを、次元1または2のより一般的なアフィン環へ一般化すること。
• Cerveauの全射性基準の証明における欠落を補い、代数幾何的道具を用いた代数的代替証明を提供すること。
• 因子的アフィン環で単数群がℂ*である場合に、局所的冪零微分作用素を核の条件と全射性によって特徴づけること。
• ℂ[x,y]上に非自明な積分要素を持たない微分作用素の明示的例を構成すること、Makar-Limanovによる新規例を含む。
• 全射性の障害として、乗法的特徴と微分作用素係数によって生成される単元イデアルの存在を調査すること。

提案手法

• 微分作用素と微分1形式の対応関係を用い、ω = -f₂dx₁ + f₁dx₂とし、D(g)dx₁∧dx₂ = -ω∧dgとする。
• ℂ[x₁,…,xn]の微分複体に関するDimca-Saito理論を応用し、微分作用素のコホロジー構造を解析する。
• 局所座標とヤコビアン変換を用いて、代数的変数変換における微分作用素形式の不変性を研究する。
• 因子的アフィン環BでB* = ℂ*である場合に、核と像の解析に帰着し、除数的部品の概念を用いる。
• 重み付き全次数フィルトレーションにおける次数比較と先行形解析により、積分要素（Darboux多項式）を分析する。
• 背理法による反例の構成：D(f) = gfを満たす非定数fが存在すると仮定し、次数制約と関数方程式がfが定数であることを強制する。

実験結果

リサーチクエスチョン

• RQ1 ℂ[x₁,x₂]上のℂ-微分作用素Dが、環上で線形写像として全射であるための条件は何か？
• RQ2 座標変換の下でD = ∂/∂x₁ + ax₂∂/∂x₂であるという全射性基準は、解析的手法を避け、純粋に代数的技法によって確立可能か？
• RQ3 次元2の因子的アフィン環BでB* = ℂ*である場合に、全射微分作用素は必ず非自明な核を持つのか？
• RQ4 ℂ[x,y]上に非自明な積分要素を持たない微分作用素は存在するか？ そして、それらはどのように構成できるか？
• RQ5 Dの係数に関するどのような条件が、x₂∂W/∂x₁と1 + x₂∂W/∂x₂によって生成されるイデアルが単元イデアルでないことを示すか？

主な発見

• ℂ[x₁,x₂]上の微分作用素Dが全射で、核がℂより大きいことは、代数的変数変換の下で∂/∂x₁に同値であることの必要十分条件である。
• 次元2における全射微分作用素の特徴づけは、より一般に、B* = ℂ*であるℂ上の因子的アフィン環Bに対しても成り立つ。この場合、単純化は除数的部品の消失に相当する。
• 論文は、Cerveauの元々の証明に欠陥があったのを補い、解析的議論を回避する完全な代数的証明を提供する。
• λ,μ ∈ ℂ*でλ² ≠ μ²であるような微分作用素D = (x² + λy)∂/∂x + (y² + μx)∂/∂yをℂ[x,y]上に構成し、これが非自明な積分要素を持たないことを証明する。
• このような微分作用素が非自明な積分要素を持つと仮定すると、次数と関数方程式の両方で矛盾が生じ、その結果、要素は定数でなければならないことが示される。