[论文解读] Poisson algebras, Weyl algebras and Jacobi pairs

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

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

一句话总结

本文研究了泊松代数和外尔代数中的雅可比对与迪克西尔对，通过指数映射和平移引入自同构，分析其结构。证明了当迪克西尔对的牛顿多边形顶点位于 (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) 的边的斜率必为 1，并确定首项的精确形式。

提出的方法

• 引入形式为 e^{ad_H} 的自同构，其中 H ∈ x^{1−1/N}ℂ[y][[x^{-1/N}]]，以及 τ_c: (x,y) ↦ (x, y−c x^{-1})，用于变换 ℂ[x^±1/N, y] 中的雅可比对。
• 通过变量替换 (x,y) ↦ (x^b, x^{1−b}(y + ∑ a_i x^{-b_i}))，其中 b,b_i ∈ ℚ₊，a_i ∈ ℂ，且 b_i < 1 < b，将违反条件的雅可比对约化为标准形式。
• 将 F 和 G 表示为 F = x^{m/(m+n)}(f + F₀)，G = x^{n/(m+n)}(g + G₀)，其中 f,g ∈ ℂ[y]，F₀,G₀ ∈ x^{-1/N}ℂ[x^{-1/N},y]。
• 通过定义 𝒲 = ℂ[v]((u^{-1/N})) 且 [u,v] = 1，将分析转移到外尔代数框架，研究满足 [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) 会引发何种结构约束？
• RQ2 形式为 e^{ad_H} 和 τ_c 的自同构如何将此类违反条件的雅可比对变换为 ℂ[x^±1/N, y] 中的标准形式？
• RQ3 在满足 [F,G] = 1 的迪克西尔对 (F,G) 中，F 的牛顿多边形需满足哪些必要条件？
• RQ4 为何在外尔代数框架下，牛顿多边形中顶点为 (m₀,m) 的边的斜率必须为 1？
• RQ5 在迪克西尔对中，F 和 R 的边分解中首项 f(w) 和 r(w) 的精确形式为何？

主要发现

• 对于牛顿多边形顶点为 (m₀,m) 且满足 0 < m₀ < m 的迪克西尔对 (F,G)，其右下侧的边斜率恰好为 1。
• 该边上的首项部分 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 展开式中系数 α 和 β 的值。