[論文レビュー] Some Results on the Vanishing Conjecture of Differential Operators with Constant Coefficients

Arno van den Essen, Roel M. Willems+1 more|arXiv (Cornell University)|Mar 9, 2009

Advanced Differential Equations and Dynamical Systems参考文献 15被引用数 10

ひとこと要約

この論文は、定数係数微分作用素に関する消滅予想の4つの新しいケースを証明し、特徴的なホロモーフィック部を持たないローレンツ多項式に関する関連予想を確認する。ポリトープ理論およびデュイステルマット＝ヴァン・デル・カレンの定理の道具を用いて、特定の有理数ポリトープおよび次数の条件下で、予想が成り立つことを示している。特に、作用素と多項式のサポートが重ならない有理数ポリトープの交差を満たす場合に成立する。

ABSTRACT

In this paper we prove four cases of the vanishing conjecture of differential operators with constant coefficients and also a conjecture on the Laurent polynomials with no holomorphic parts, which were proposed in [Zh3] by the third named author. We also give two examples to show that the generalizations of both the vanishing conjecture and the Duistermaat-van der Kallen theorem [DK] to Laurent formal power series do not hold in general.

研究の動機と目的

• 定数係数微分作用素に関する消滅予想の新しいケースを証明すること。
• 【Zh3】で提案されたホロモーフィック部を持たないローレンツ多項式に関する予想を確認すること。
• 消滅予想およびデュイステルマット＝ヴァン・デル・カレンの定理をローレンツ形式の形式的べき級数へ一般化した場合、一般には成り立たないことを示すこと。
• 有理数ポリトープ幾何学および次数解析を用いて、予想が成り立つ条件を確立すること。
• 次数が異なる同次成分を有する特定の単項式および微分作用素を含む場合に、予想の有効性を拡張すること。

提案手法

• 消滅予想の1変数の場合を証明するために、基本的な常微分方程式の定理を用いる。
• デュイステルマット＝ヴァン・デル・カレンの定理を適用して、ローレンツ多項式のポリトープの密度定理を導出する。
• 有理数ポリトープ理論を用いて、多項式および微分作用素のサポートを分析する。
• 次数比較およびサポート解析を用いて、特定の条件下で微分式の項が消えることを示す。
• 有理数ポリトープと非負標準錐との交差が生じる場合に、矛盾を導くために補題6.3および系4.8を適用する。
• ポリトープ差分 Σ = Poly(P) − Poly(Λ) が非負標準錐と交差しない場合、予想が成り立つことを確立する。

実験結果

リサーチクエスチョン

• RQ1 定数係数微分作用素に関する消滅予想は、どのような条件下で成り立つのか？
• RQ2 ホロモーフィック部を持たないローレンツ多項式に関する予想を拡張することは可能か？
• RQ3 デュイステルマット＝ヴァン・デル・カレンの定理は、ローレンツ形式の形式的べき級数へ一般化可能か？
• RQ4 P^m および Λ^m のサポートが、十分大きな m に対して Λ^m(P^m g) = 0 を示すのはいつか？
• RQ5 有理数ポリトープおよびそれらが R≥n と交差する役割は、予想の検証において果たすか？

主な発見

• 任意の形式的べき級数 P(z) および多項式 g(z) に対して、1変数の場合に消滅予想が成り立つ。
• 2変数における ∂x − Φ(∂y) の形をした微分作用素に対しても、予想が成り立つ。
• ポリトープ差分 Poly(P) − Poly(Λ) が (R≥0)^n と交差しない場合、予想が成り立つ。
• 単項式の場合に予想が確認される：Λ(ξ) もしくは P(z) が単項式であれば、十分大きな m に対して Λ^m(P^m g) = 0 となる。
• P(z) = az^α + bz^β および Λ = ∂^α + ∂^β の場合、|α| ≠ |β| であれば、予想が成り立つ。
• 一般に、消滅予想およびデュイステルマット＝ヴァン・デル・カレンの定理をローレンツ形式の形式的べき級数へ一般化した場合、反例が構成され、一般には成り立たないことが示された。