[論文レビュー] The inversion formulae for automorphisms of polynomial algebras and differential operators in prime characteristic

V. V. Bavula|ArXiv.org|Apr 21, 2006

Advanced Differential Equations and Dynamical Systems参考文献 8被引用数 7

ひとこと要約

この論文は、素数の特徴を持つ多項式代数、微分作用素環、ウェイル代数、およびべき級数代数を含むさまざまな代数の自己同型の明示的逆公式を確立する。微分作用素、高次微分作用素、トレースに類似した写像といった代数的演算を用いて、標準的生成子と構造を保全する写像を介して逆自己同型を表現する普遍的な逆公式を構成し、特徴 p > 0 における長年の空白を解消する。

ABSTRACT

Let $K$ be an {\em arbitrary} field of characteristic $p>0$, let $A$ be one of the following algebras: $P_n:= K[x_1, ..., x_n]$ is a polynomial algebra, $\CD (P_n)$ is the ring of differential operators on $P_n$, $\CD (P_n) P_m$, the $n$'th {\em Weyl} algebra $A_n$, the $n$'th {\em Weyl} algebra $A_n P_m$ with polynomial coefficients $P_m$, the power series algebra $K[[x_1, ..., x_n]]$, $T_{k_1, ..., k_n}$ is the subalgebra of $\CD (P_n)$ generated by $P_n$ and the higher derivations $\der_i^{[j]}$, $0\leq j

研究の動機と目的

• 正の特徴を持つ多項式代数と微分作用素環の自己同型の逆公式を開発すること。これまではこのような公式が存在しなかった。
• 特徴 0 における逆アプローチを正の特徴に一般化し、この設定における複雑性の増加と新たな現象に対処すること。
• 中心的単純代数、ウェイル代数、高次微分作用素を備えた代数に適用可能な統一的な逆公式の枠組みを提供すること。
• 特にジャコビアン予想やディクスミエ問題の類似問題に対して、素数の特徴における明示的代数的逆工具の欠如を解消すること。
• 標準的生成子と構造を保全する写像（例：ϕ と ψ）を用いた、逆自己同型の計算の体系的メソッドを確立すること。

提案手法

• 代数的演算による恒等写像の分解を用いる：id_A(a) = ∑λ_α,y_α(a) x^α と表記し、λ はパrameter y_α に依存する代数的汎関数である。
• T = T_{k_1,…,k_n} ⊗ P_m 上の標準的写像 ϕ と ψ を、高次微分作用素と随伴作用を用いて定義し、要素から係数を抽出する。
• 鍵となる技術は、σ 変換された生成子を組み込んだ特定の微分作用素のトレースを評価する写像 ϕ_Z,σ の使用である。
• 恒等分解に σ を適用し、変換された写像 ϕ_σ と ψ_σ を用いて σ⁻¹(a) を解くことで逆公式を導出する。
• 反復的随伴作用 (−ad x_j)^β_j の適用と特徴 p における二項係数の使用により公式を構成する。
• 特徴 0 のアプローチ [3] を素数の特徴に一般化し、D(P_n) と A_n が正の特徴で同型でないことを考慮して適応する。

実験結果

リサーチクエスチョン

• RQ1 体の特徴 p > 0 における多項式代数の自己同型の逆を、どのように明示的に計算できるか？
• RQ2 特徴 p における微分作用素環 D(P_n) 上の自己同型の逆の代数的構造は何か？
• RQ3 ウェイル代数 A_n 及びその多項式代数とのテンソル積に対して、普遍的な逆公式を構成できるか？
• RQ4 T_{k_1,…,k_n} ⊗ P_m における高次微分作用素と標準的生成子は、特徴 p における逆公式の構成にどのように寄与するか？
• RQ5 体の特徴 p における中心的単純代数の自己同型 σ に対して、σ⁻¹(a) を表現するのに十分な代数的演算は何か？

主な発見

• 体の特徴 p > 0 における多項式代数 P_n の自己同型の明示的逆公式が、代数的演算のみを用いて構成された。
• T = T_{k_1,…,k_n} ⊗ P_m における σ⁻¹(a) の公式は、∑_{α,β,γ} (−1)^{|α|} ϕ_{Z,σ}(∂′^{[γ]}(ϕ_σ(δ′^β(a) ∂′^{[α]}))) ∂^{[β]} x^α X^γ で与えられる。
• 同じ公式は ψ_σ を用いても同値に表現できる：∑_{α,β,γ} ϕ_{Z,σ}(∂′^{[γ]}(ψ_σ(∂′^{[α]} δ′^β(a)))) x^α ∂^{[β]} X^γ。
• 写像 ϕ_σ と ψ_σ は σ 変換された生成子を用いて定義され、自己同型下でも代数的構造を保全する。
• この公式は、D(P_n)、A_n、A_n ⊗ P_m、べき級数代数、T_{k_1,…,k_n} ⊗ P_m を含む、要約に挙げたすべての代数に対して有効である。
• この構成により、素数の特徴におけるこのような逆公式の欠如が解消され、特徴 0 の既存結果が拡張された。