[論文レビュー] A Vanishing Conjecture on Differential Operators with Constant Coefficients

Wenhua Zhao|ArXiv.org|Apr 13, 2007

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

ひとこと要約

本稿では、定数係数をもつ2階斉次微分作用素に対する一般化された消滅予想とヤコビアン予想の同値性を確立する。消滅予想がすべてのこのような作用素について成り立つのは、ラプラシアンについて成り立つときであり、かつそのときのみであることを証明し、Hessian nilpotent 多項式および古典的直交多項式の結果を統一・一般化するための Λ-nilpotent 多項式の概念を導入する。

ABSTRACT

In the recent progress [BE1], [Me] and [Z2], the well-known JC (Jacobian conjecture) ([BCW], [E]) has been reduced to a VC (vanishing conjecture) on the Laplace operators and HN (Hessian nilpotent) polynomials (the polynomials whose Hessian matrix are nilpotent). In this paper, we first show that the vanishing conjecture above, hence also the JC, is equivalent to a vanishing conjecture for all 2nd order homogeneous differential operators $Λ$ and $Λ$-nilpotent polynomials $P$ (the polynomials $P(z)$ satisfying $Λ^m P^m=0$ for all $m\ge 1$). We then transform some results in the literature on the JC, HN polynomials and the VC of the Laplace operators to certain results on $Λ$-nilpotent polynomials and the associated VC for 2nd order homogeneous differential operators $Λ$. This part of the paper can also be read as a short survey on HN polynomials and the associated VC in the more general setting. Finally, we discuss a still-to-be-understood connection of $Λ$-nilpotent polynomials in general with the classical orthogonal polynomials in one or more variables. This connection provides a conceptual understanding for the isotropic properties of homogeneous $Λ$-nilpotent polynomials for the 2nd order homogeneous full rank differential operators $Λ$ with constant coefficients.

研究の動機と目的

• 定数係数をもつ2階斉次微分作用素に対する一般化された消滅予想とヤコビアン予想の同値性を確立すること。
• ラプラシアン作用素から、すべての定数係数をもつ2階斉次微分作用素へと消滅予想を一般化すること。
• Λ-nilpotent 多項式の新しい枠組みを用いて、Hessian nilpotent 多項式および消滅予想に関する結果を統一・拡張すること。
• 1変数以上における Λ-nilpotent 多項式と古典的直交多項式の間の関係を探索・明確化すること。
• 全ランクの2階微分作用素に対して、斉次 Λ-nilpotent 多項式の等方的性質の概念的理解を提供すること。

提案手法

• 線形自己同型および Lefschetz の原理を用いて、ヤコビアン予想をすべての2階斉次微分作用素に対する消滅予想に還元する。
• Λ-nilpotent 多項式の概念を導入：すべての m ≥ 1 に対して Λ^m P^m = 0 を満たす多項式 P。
• ラプラシアン作用素に対して Hessian nilpotency と Δ^n P^n の消滅の同値性を応用し、任意の2階斉次微分作用素 Λ へと一般化する。
• 微分作用素の恒等式を用いて、Λ = Δ_A の場合に Δ_A^m P^{m+1} が C-双線形形式 (·,·)_A に関して等方的であることを確立する。
• 既知の Hessian nilpotent 多項式および消滅予想に関する結果を、Λ-nilpotent 多項式のより広範な設定に翻訳する。
• Λ-nilpotent 多項式と古典的直交多項式の関係を、特に双線形形式 (·,·)_A および作用素 U^τD の使用を通じて分析する。

実験結果

リサーチクエスチョン

• RQ1 ヤコビアン予想は、すべての定数係数をもつ2階斉次微分作用素に対する消滅予想と同値であるか？
• RQ2 Λ-nilpotent 多項式は、ラプラシアン作用素を超えて消滅予想を一般化する上で果たす役割は何か？
• RQ3 双線形形式 (·,·)_A に関して Δ_A^m P^{m+1} の等方的性質は、Λ-nilpotent 多項式の構造的特徴をどのように反映するか？
• RQ4 多変数における Λ-nilpotent 多項式と古典的直交多項式の概念的リンクは何か？
• RQ5 Λ-nilpotent 多項式の消滅予想は形式的べき級数へと拡張可能であり、一般の場合にも成り立つか？

主な発見

• ヤコビアン予想は、すべての定数係数をもつ2階斉次微分作用素に対する消滅予想と同値である。
• 線形自己同型および Lefschetz の原理を用いることで、ラプラシアン作用素に対する消滅予想が、すべてのこのような作用素に対する完全な消滅予想に同値であることが示された。
• 任意の2階斉次微分作用素 Λ に対して、多項式 P が Λ-nilpotent であることは、すべての m ≥ 1 に対して Λ^m P^m = 0 であることと同値である。
• 次数 d ≥ 3 の斉次 Λ-nilpotent 多項式 P に対して、Δ_A^m P^{m+1} は双線形形式 (·,·)_A に関して等方的である。すなわち (Δ_A^m P^{m+1}, Δ_A^m P^{m+1})_A = 0 が成り立つ。
• すべての次数 d ≥ 3 の斉次 Λ-nilpotent 多項式に対して、(P,P)_A = 0 の等方的条件が成り立ち、また d = 2 の場合でも P および σ_{A^{-1}}(z) が生成するイデアルの下では成り立つ。
• 本稿では、双線形形式 (·,·)_A および微分作用素 Δ_A の構造を通じて、Λ-nilpotent 多項式と古典的直交多項式の概念的リンクを確立した。