[論文レビュー] An analogue of the Conjecture of Dixmier is true for the algebra of polynomial integro-differential operators

V. V. Bavula|arXiv (Cornell University)|Nov 12, 2010

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

ひとこと要約

本稿は、標数0の体上の多項式積分微分作用素代数 $\pi_1$ における任意の代数自己準同型が自己同型であることを証明し、この非単純的かつ非ネーター的代数に対してディクシエの予想の類似を確立する。証明は自己準同型の構造的解析を9段階に分けて行い、固有値の議論、加群の同型、および $F$ を用いた $1+F^*$ 内の単元による内部自己同型の実現を活用する。主な結果として、標準的な有限性性質を欠くにもかかわらず、この代数においても予想の正当性が裏付けられる。

ABSTRACT

Let $A_1:=K\langle x, \frac{d}{dx} angle$ be the Weyl algebra and $\mI_1:= K\langle x, \frac{d}{dx}, \int angle$ be the algebra of polynomial integro-differential operators over a field $K$ of characteristic zero. The Conjecture/Problem of Dixmier (1968) [still open]: {\em is an algebra endomorphism of the Weyl algebra $A_1$ an automorphism?} The aim of the paper is to prove that {\em each algebra endomorphism of the algebra $\mI_1$ is an automorphism}. Notice that in contrast to the Weyl algebra $A_1$ the algebra $\mI_1$ is a non-simple, non-Noetherian algebra which is not a domain. Moreover, it contains infinite direct sums of nonzero left and right ideals.

研究の動機と目的

• 多項式積分微分作用素の代数 $\mathbb{I}_1$ における、1968年ディクシエの予想—Weyl代数の任意の代数自己準同型が自己同型であるか—の類似を確立すること。
• Weyl代数 $A_1$ とは異なり、$\mathbb{I}_1$ が非単純的かつ非ネーター的であり、整域でもないことから生じる課題に対処すること。
• 関連代数（例：$B_1$）では非自己同型の自己準同型が存在するにもかかわらず、完全な代数 $\mathbb{I}_1$ が自己同型性を満たすことを示すこと。
• 各自己準同型 $\sigma$ が、$\mathbb{I}_1$ の唯一の真のイデアル $F$ を用いた $(1+F)^*$ 内の単元による共役によって内部自己同型 $\omega_u$ として実現されることを示すこと。
• 積分作用素を含む代数へとディクシエ型問題の概念的枠組みを拡張し、予想の適用範囲を広げること。

提案手法

• 生成子 $H = \partial x$、$\partial = \frac{d}{dx}$、$\int$ における自己準同型 $\sigma$ の作用を分析し、問題を $H' = \sigma(H)$、$\partial' = \sigma(\partial)$、$\int' = \sigma(\int)$ の追跡に還元する。
• $\mathbb{I}_1$ の唯一の真のイデアル $F$ を用いて商写像 $\pi: \mathbb{I}_1 \to B_1 \simeq K[H][\partial, \partial^{-1}; \tau]$ を誘導し、$\tau(H) = H+1$ であることを考慮し、$B_1$ 上での誘導写像 $\overline{\sigma}$ を分析する。
• $H'$ が $K[x]$ 上に作用する際の固有値および固有空間の解析を適用し、$H' \cdot$ による固有値の重複度が twisted 加群 ${}^\sigma K[x]$ のランクと一致することを示し、正規化段階で $n=1$ が得られることを導く。
• $H - i$ の核の次元を比較することで、${}^\sigma K[x] \simeq K[x]$ である $\mathbb{I}_1$-加群同型を確立する。
• $\partial^\prime$-不変部分空間の次元を比較し、恒等式 $\dim_K(\partial^\prime K[\partial^\prime] \ast \ker(H' - (i+1))) = i$ をすべての $i \in \mathbb{N}$ に対して用いることで、$\mu = 0$ を証明する。
• $x^{[i]} \mapsto x^{\prime[i]}$ を通じて $K[x] \to {}^\sigma K[x]$ への $\mathbb{I}_1$-加群同型 $u$ を構成し、$\sigma = \omega_u$ であることを示す。ここで $u \in (1+F)^*$ である。

実験結果

リサーチクエスチョン

• RQ1 標数0の体上の多項式積分微分作用素代数 $\mathbb{I}_1$ の任意の代数自己準同型は、自己同型に拡張可能か？
• RQ2 非自明なイデアル $F$ および $\mathbb{I}_1$ 内での $\partial$ の正則性の欠如は、Weyl代数 $A_1$ と比較して自己準同型の構造にどのような影響を与えるか？
• RQ3 $H' \cdot$ が $K[x]$ 上に作用する際の固有値構造は、$\sigma(H)$、$\sigma(\partial)$、$\sigma(\int)$ の可能な形を制約するために利用可能か？
• RQ4 代数が非単純的かつ非ネーター的であるにもかかわらず、$\mathbb{I}_1$ の自己準同型が非内部的である可能性はあるか？
• RQ5 代数的トーラス作用 $\mathbb{T}^1$ は自己準同型の正規化に果たす役割は何か？また、証明構造をどのように簡素化するか？

主な発見

• 代数 $\mathbb{I}_1$ の任意の自己準同型は自己同型である。これは、この代数におけるディクシエの予想の類似が正当化されることを示す。
• トーラス作用による正規化の後、$\sigma(H) = H + \mu + h$、$\sigma(\partial) = \partial + g$、$\sigma(\int) = \int + f$（$h,f,g \in F$）を満たす。
• 次元制約および固有値重複度条件により、パラメータ $\mu$ は消える、すなわち $\mu = 0$ である。
• 自己準同型 $\sigma$ は、$\mathbb{I}_1$ の唯一の真のイデアル $F$ を用いた $(1+F)^*$ 内の単元 $u$ による共役によって内部自己同型 $\omega_u$ として実現される。
• twisted $\mathbb{I}_1$-加群 ${}^\sigma K[x]$ は $K[x]$ としての加群と同型であり、これは初期スケーリング段階での正規化 $n=1$ を強制する。
• 証明は、$H^\prime \cdot$ が $K[x]$ 上に作用する際に、$i \geq s$ に対して固有値 $\{\frac{1}{n}(i+1) + \mu\}$ を持つことを利用している。固有空間の重複度が加群のランクと一致するため、$n=1$ のみが許容される。