[論文レビュー] Poisson algebras, Weyl algebras and Jacobi pairs

Yucai Su|arXiv (Cornell University)|Jul 6, 2011

Advanced Differential Equations and Dynamical Systems参考文献 19被引用数 5

ひとこと要約

本稿は、ヤコビ対およびディクスミエ対が、ポisson代数およびウェイラー代数においてどのように構造を持つのかを研究し、指数写像および平行移動を用いた自己同型を導入してその構造を分析する。本稿では、(m₀, m) がニュートン多角形の頂点であるディクスミエ対に対して、対応する辺の傾きが 1 であることを証明し、先行項の明示的形を導出し、f(w)r(w) = (1/(m−m₀))(w + (m₀−m+1)/2) が成り立つことを示している。

ABSTRACT

We study Jacobi pairs in details and obtained some properties. We also study the natural Poisson algebra structure $(\PP,[...,...],...)$ on the space $\PP:=\C[y]((x^{-\frac1N}))$ for some sufficient large $N$, and introduce some automorphisms of $(\PP,[...,...],...)$ which are (possibly infinite but well-defined) products of the automorphisms of forms $e^{\ad_H}$ for $H\in x^{1-\frac1N}\C[y][[x^{-\frac1N}]]$ and $τ_c:(x,y)\mapsto(x,y-cx^{-1})$ for some $c\in\C$. These automorphisms are used as tools to study Jacobi pairs in $\PP$. In particular, starting from a Jacobi pair $(F,G)$ in $\C[x,y]$ which violates the two-dimensional Jacobian conjecture, by applying some variable change $(x,y)\mapsto\big(x^{b},x^{1-b}(y+a_1 x^{-b_1}+...+a_kx^{-b_k})\big)$ for some $b,b_i\in\Q_+,a_i\in\C$ with $b_i&lt;1<b></b>

研究の動機と目的

• 複素数体上のポアソン代数 ℂ[y]((x^{-1/N})) におけるヤコビ対の構造を調査し、自己同型による変換を検討すること。
• ウェイラー代数 𝒲 = ℂ[v]((u^{-1/N})) において、[u,v] = 1 を満たす [F,G] = 1 を満たすペア (F,G)（ディクスミエ対）を対象とし、ヤコビ対に関する結果を一般化すること。
• ディクスミエ対の文脈において、F のニュートン多角形を分析し、その台および先行項に課される制約を導出すること。
• 自己同型の下でディクスミエ対のトレース恒等式および構造的性質を確立すること、特に ∂w および ∂w^v の導関数を含むこと。
• 頂点 (m₀,m) を持つ F のニュートン多角形の辺が傾き 1 であることを証明し、先行項の正確な形を特定すること。

提案手法

• H ∈ x^{1−1/N}ℂ[y][[x^{-1/N}]] に対して e^{ad_H} の形の自己同型および τ_c: (x,y) ↦ (x, y−c x^{-1}) を導入し、ℂ[x^±1/N, y] 上のヤコビ対を変換する。
• b,b_i ∈ ℚ₊、a_i ∈ ℂ、b_i < 1 < b を満たす変数変換 (x,y) ↦ (x^b, x^{1−b}(y + ∑ a_i x^{-b_i})) を適用し、違反するヤコビ対を標準形に還元する。
• F = x^{m/(m+n)}(f + F₀), G = x^{n/(m+n)}(g + G₀) の形に F および G を表現し、f,g ∈ ℂ[y]、F₀,G₀ ∈ x^{-1/N}ℂ[x^{-1/N},y] とする。
• ウェイラー代数の文脈に移行するため、[u,v] = 1 を満たす 𝒲 = ℂ[v]((u^{-1/N})) を定義し、[F,G] = 1 を満たすペア (F,G) を研究する。
• トレース汎関数および導関数 ∂w および ∂w^v を用いて、自己同型 σ の下で tr(σ(G)∂wσ(F)) および tr(σ(v)∂wσ(u)) に関する恒等式を導出する。
• 関係 [F₀, R₀] = 1 を用いて F および R の先行項を計算し、ニュートン多角形の辺に対して f(w)r(w) = (1/(m−m₀))(w + (m₀−m+1)/2) を導出する。

実験結果

リサーチクエスチョン

• RQ1 ℂ[x,y] 上のヤコビ対 (F,G) が2次元ヤコビアン予想を違反する場合、どのような構造的制約が生じるか？
• RQ2 e^{ad_H} および τ_c の形の自己同型は、このような違反ヤコビ対を ℂ[x^±1/N, y] 上の標準形にどのように変換するか？
• RQ3 ディクスミエ対 (F,G) において [F,G] = 1 を満たすとき、F のニュートン多角形に必要な条件は何か？
• RQ4 ウェイラー代数の文脈において、頂点 (m₀,m) を持つ F のニュートン多角形の辺がなぜ傾き 1 でなければならないのか？
• RQ5 ディクスミエ対における F および R の辺分解における先行項 f(w) および r(w) の正確な形は何か？

主な発見

• ニュートン多角形の頂点 (m₀,m) を持つディクスミエ対 (F,G) において、0 < m₀ < m ならば、右下側の辺は傾きが正確に 1 である。
• この辺における F の先行部 F₀ は F₀ = u^{m₀−m}f(w) で与えられ、f(w) = w^m + (m₀m/2)w^{m−1} + ⋯ であり、R₀ = r(w)u^{m−m₀} で r(w) = w^m + ⋯ である。
• 積 f(w)r(w) は明示的に f(w)r(w) = (1/(m−m₀))(w + (m₀−m+1)/2) として決定され、これは w の有理関数である。
• 任意の代数 𝒜_{uv} の自己同型 σ に対して、トレース恒等式 tr(σ(G)∂wσ(F)) = tr(σ(v)∂wσ(u)) が成り立つ。これは変換下でも構造が保存されることを示している。
• 導関数 ∂w および ∂w^v は代数上で一意に定義されており、a ∈ ℚ に対して ∂w^v(u^a) = a u^{a−1}v^{−1} − (a choose 2) u^{a−2}v^{−2} + ⋯ が成り立つ。
• 条件 (m₀−m)tr(R∂wF) = 0 から、(2m₀−1)(m choose 2) − mβ − (m−1)α = 0 という恒等式が得られ、F の展開における係数 α および β が決定される。