[論文レビュー] 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）系 $ \Omega_{F_t} $ を構成し、ホップ代数同型 $ \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}) $ のテイラー展開の公式を構築すること。
• D-Log および $ F_t $ の形式的フローをNCS系を用いて表現すること。
• ヤコビアン予想と、両側イデアル内での特定の非可換対称関数の消滅との関係を確立すること。
• NCSFおよび微分作用素代数における表現を用いたヤコビアン予想を研究するための新しい代数的枠組みを提案すること。

提案手法

• 形式的自己同型 $ F_t(z) = z - H_t(z) $ で $ H_{t=0}(z) = 0 $ かつ $ o(H_t(z)) \geq \alpha \geq 1 $ を満たすものから、NCS系 $ \Omega_{F_t} $ を構成する。
• 非可換対称関数のホップ代数 $ \mathcal{N}Sym $ の普遍的性質を用いて、ホップ代数同型 $ \mathcal{S}_{F_t}: \mathcal{N}Sym \to \mathcal{D}^{[\alpha]}\langle\langle z\rangle\rangle $ を定義する。
• 既知の $ \mathcal{N}Sym $ 内の恒等式（[GKLLRT] より）に $ \mathcal{S}_{F_t} $ を適用し、$ \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 $ の冪零性と $ m \geq n $ に対して $ \Psi_m \in \mathcal{I}_H $ が消えることの関係を示す。
• ヤコビアン予想が、$ m \geq n $ に対して $ \Psi_m \in \mathcal{I}_H $ が成り立つ場合に、十分大きな $ m $ に対して $ \Xi_m \in \mathcal{I}_H $ が成り立つことと同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 非可換対称関数の恒等式は、形式的自己同型 $ F_t $ に関連するNCS系 $ \Omega_{F_t} $ の微分作用素にどのように移行可能か？
• RQ2 微分作用素 $ \Omega_{F_t} $ を用いた $ u(F_t) $ および $ u(F_t^{-1}) $ のテイラー級数の明示的公式は何か？
• RQ3 D-Log および $ F_t $ の形式的フローは、NCS系 $ \Omega_{F_t} $ をどのように表現できるか？
• RQ4 逆写像 $ F_t^{-1} $ が多項式写像であるための、NCSFフレームワークにおける明確な代数的条件は何か？
• RQ5 ヤコビアン予想は、$ \mathcal{S}_{F_t} $ の核内での特定のNCSF由来作用素の消滅とどのように関係しているか？

主な発見

• 本稿は、$ \mathcal{N}Sym $ 内の既知の恒等式に $ \mathcal{S}_{F_t} $ を適用することで、NCS系 $ \Omega_{F_t} $ 内の微分作用素の系列間の恒等式の完全なリストを導出する。
• 特に $ F_t(z) = z - tH(z) $ の場合に、$ u(F_t) $ および $ u(F_t^{-1}) $ のテイラー級数の明示的公式が、$ \Omega_{F_t} $ 内の微分作用素を用いて得られる。
• D-Log および $ F_t $ の形式的フローは、$ \Omega_{F_t} $ の微分作用素の級数として表現され、形式的フローの計算に新たな道具を提供する。
• 逆写像 $ F_t^{-1} $ が多項式写像であることと、$ \mathcal{I}_H $ 内で $ \Xi_m \in \mathcal{I}_H $ がすべての十分大きな $ m $ に対して成り立つことは同値であることが示された。ここで $ \mathcal{I}_H $ は $ \mathcal{S}_{F_t} $ の核である。
• ヤコビアン予想は、$ H $ が次数 $ d=3 $ で $ JH $ が冪零であると仮定した下で、$ m \geq n $ に対して $ \Psi_m \in \mathcal{I}_H $ が成り立つ場合に、$ m \gg 0 $ に対して $ \Xi_m \in \mathcal{I}_H $ が成り立つことと同値であることが証明された。
• 本稿では、$ \mathcal{I}_H $ を定義するNCSF間の関係を特定するという、新たな未解決問題を同定した。特に、$ \Omega_{F_t} $ 内のすべての作用素が可換である場合に注目している。