[论文解读] Noncommutative Symmetric Functions and the Inversion Problem

Wenhua Zhao|arXiv (Cornell University)|Sep 7, 2005

Advanced Differential Equations and Dynamical Systems参考文献 12被引用 6

一句话总结

本文建立了非交换对称函数（NCSF）与交换或非交换变量中形式自同构的幂级数反演问题之间的联系。通过从形式自同构 $ F_t(z) = z - H_t(z) $ 构造一个非交换对称（NCS）系统，利用霍普夫代数同态 $ \mathcal{S}_{F_t} $ 推导出微分算子的恒等式，从而得到 $ u(F_t) $、$ u(F_t^{-1}) $、D-Log 和形式流的显式公式。关键贡献在于将雅可比猜想与在双边理想中由 NCSF 导出的某些算子的消失联系起来，提出了一种研究该猜想的新代数方法。

ABSTRACT

Let $K$ be any unital commutative $\bQ$-algebra and $z=(z_1, z_2, ..., z_n)$ commutative or noncommutative variables. Let $t$ be a formal central parameter and $\kttzz$ the formal power series algebra of $z$ over $K[[t]]$. In \cite{GTS-II}, for each automorphism $F_t(z)=z-H_t(z)$ of $\kttzz$ with $H_{t=0}(z)=0$ and $o(H(z))\geq 1$, a \cNcs (noncommutative symmetric) system (\cite{GTS-I}) $\Oft$ has been constructed. Consequently, we get a Hopf algebra homomorphism $\cSft: \cNsf o \cDzz$ from the Hopf algebra $\cNsf$ (\cite{G-T}) of NCSF's (noncommutative symmetric functions). In this paper, we first give a list for the identities between any two sequences of differential operators in the \cNcs system $\Oft$ by using some identities of NCSF's derived in \cite{G-T} and the homomorphism $\cSft$. Secondly, we apply these identities to derive some formulas in terms of differential operator in the system $\Oft$ for the Taylor series expansions of $u(F_t)$ and $u(F_t^{-1})$ $(u(z)\in \kttzz)$; the D-Log and the formal flow of $F_t$ and inversion formulas for the inverse map of $F_t$. Finally, we discuss a connection of the well-known Jacobian conjecture with NCSF's.

研究动机与目标

• 推导与形式自同构 $ F_t(z) = z - H_t(z) $ 相关的 NCS 系统中微分算子之间的恒等式。
• 利用这些算子恒等式，推导 $ u(F_t) $ 和 $ u(F_t^{-1}) $ 的泰勒展开公式。
• 用 NCS 系统表示 $ F_t $ 的 D-Log 和形式流。
• 建立雅可比猜想与在双边理想中由特定 NCSF 导出的算子消失之间的联系。
• 提出一种基于 NCSF 及其在微分算子代数中的表示的新代数框架，用于研究雅可比猜想。

提出的方法

• 从满足 $ H_{t=0}(z) = 0 $ 且 $ o(H_t(z)) \geq \alpha \geq 1 $ 的形式自同构 $ F_t(z) = z - H_t(z) $ 构造一个 NCS 系统 $ \Omega_{F_t} $。
• 利用非交换对称函数代数 $ \mathcal{N}Sym $ 的普遍性质，定义一个霍普夫代数同态 $ \mathcal{S}_{F_t}: \mathcal{N}Sym \to \mathcal{D}^{[\alpha]}\langle\langle z\rangle\rangle $。
• 将 $ \mathcal{S}_{F_t} $ 应用于 $ \mathcal{N}Sym $ 中已知的恒等式（见 [GKLLRT]），推导出 $ \Omega_{F_t} $ 中微分算子之间的对应恒等式。
• 特别考虑 $ F_t(z) = z - tH(z) $ 的情形，其中 $ H(z) $ 为次数 $ d \geq 2 $ 的齐次多项式，从而获得 $ u(F_t) $、$ u(F_t^{-1}) $、D-Log 和形式流的显式公式。
• 将 $ \mathcal{S}_{F_t} $ 的核 $ \mathcal{I}_H $ 定义为 $ \mathcal{N}Sym $ 中的双边理想，并将 $ JH $ 的幂零性与 $ \Psi_m \in \mathcal{I}_H $ 对所有 $ m \geq n $ 成立联系起来。
• 证明雅可比猜想等价于：当 $ \Psi_m \in \mathcal{I}_H $ 对所有 $ m \geq n $ 成立时，有 $ \Xi_m \in \mathcal{I}_H $ 对所有充分大的 $ m $ 成立。

实验结果

研究问题

• RQ1 如何将非交换对称函数之间的恒等式转移到与形式自同构 $ F_t $ 相关的 NCS 系统中微分算子之间的恒等式？
• RQ2 如何用 $ \Omega_{F_t} $ 中的微分算子表示 $ u(F_t) $ 和 $ u(F_t^{-1}) $ 的泰勒级数的显式公式？
• RQ3 如何用 $ \Omega_{F_t} $ 的 NCS 系统表示 $ F_t $ 的 D-Log 和形式流？
• RQ4 在 NCSF 框架下，逆映射 $ F_t^{-1} $ 为多项式映射的精确代数条件是什么？
• RQ5 雅可比猜想如何与 $ \mathcal{S}_{F_t} $ 的核中某些 NCSF 导出算子的消失相关联？

主要发现

• 本文通过将同态 $ \mathcal{S}_{F_t} $ 应用于 $ \mathcal{N}Sym $ 中的已知恒等式，推导出 $ \Omega_{F_t} $ 中微分算子序列之间的一整套恒等式。
• 获得了 $ u(F_t) $ 和 $ u(F_t^{-1}) $ 的泰勒级数的显式公式，这些公式以 $ \Omega_{F_t} $ 中的微分算子表示，特别是在 $ F_t(z) = z - tH(z) $ 的情形下。
• D-Log 和 $ F_t $ 的形式流被表示为 $ \Omega_{F_t} $ 中微分算子的级数，为形式流提供了新的计算工具。
• 证明了逆映射 $ F_t^{-1} $ 是多项式映射当且仅当对所有充分大的 $ m $，有 $ \Xi_m \in \mathcal{I}_H $，其中 $ \mathcal{I}_H $ 是 $ \mathcal{S}_{F_t} $ 的核。
• 在假设 $ H $ 为次数 $ d=3 $ 的齐次多项式且 $ JH $ 幂零的条件下，证明了雅可比猜想等价于：当 $ \Psi_m \in \mathcal{I}_H $ 对所有 $ m \geq n $ 成立时，有 $ \Xi_m \in \mathcal{I}_H $ 对所有足够大的 $ m $ 成立。
• 本文提出一个新开放问题：确定定义理想 $ \mathcal{I}_H $ 的 NCSF 之间的关系，特别是当 $ \Omega_{F_t} $ 中的所有算子可交换时。