[論文レビュー] NCS Systems over Differential Operator Algebras and the Grossman-Larson Hopf Algebras of Labeled Rooted Trees

Wenhua Zhao|ArXiv.org|Sep 7, 2005

Advanced Topics in Algebra参考文献 25被引用数 9

ひとこと要約

本稿は、ラベル付き根付き木のGrossman-Larsonホップ代数と微分作用素の代数の間でホップ代数準同型を確立し、非可換変数におけるD-Log、形式的フロー、逆写像の木展開公式を統一的な枠組みで扱えるようにする。主な貢献は、厳密に下三角行列であるヤコビアンをもつ多項式自己同型と同次多項式 $ H_t(z) $ を用いて、任意の2つの異なる非可換対称関数を特殊化によって区別できることを証明することにある。

ABSTRACT

Let $K$ be any unital commutative $\bQ$-algebra and $W$ any non-empty subset of $\bN^+$. Let $z=(z_1, ..., z_n)$ be commutative or noncommutative free variables and $t$ a formal central parameter. % Denote uniformly by $\kzz$ and $\kttzz$ the formal power series algebras % of $z$ over $K$ and $K[[t]]$, respectively. Let $\cDazz$ $(α\geq 1)$ be the unital algebra generated by the differential operators of $\kzz$ which increase the degree in $z$ by at least $α-1$ and $ \ataz $ the group of automorphisms $F_t(z)=z-H_t(z)$ of $\kttzz$ with $o(H_t(z))\geq α$ and $H_{t=0}(z)=0$. First, we study a connection of the \cNcs systems $Ω_{F_t}$ $(F_t\in \ataz)$ (\cite{GTS-I}, \cite{GTS-II}) over the differential operators algebra $\cDazz$ and the \cNcs system $Ω_\bT^W$ (\cite{GTS-IV}) over the Grossman-Larson Hopf algebra $\cH_{GL}^W$ (\cite{GL}, \cite{F1}, \cite{F2}) of $W$-labeled rooted trees. We construct a Hopf algebra homomorphism $\mathcal A_{F_t}: \cH_{GL}^W o \cDazz$ $(F_t\in \ataz)$ such that $\mathcal A_{F_t}^{ imes 5}(Ω_\bT^W) =Ω_{F_t}$. Secondly, we generalize the tree expansion formulas for the inverse map (\cite{BCW}, \cite{Wr3}), the D-Log and the formal flow (\cite{WZ}) of $F_t$ in the commutative case to the noncommutative case. Thirdly, we prove the injectivity of the specialization $\cT:{\mathcal N}Sym o \cH_{GL}^{\bN^+}$ (\cite{GTS-IV}) of NCSF's (noncommutative symmetric functions) (\cite{G-T}). Finally, we show the family of the specializations $\cS_{F_t}$ of NCSF's with all $n\geq 1$ and the polynomial automorphisms $F_t=z-H_t(z)$ with $H_t(z)$ homogeneous and the Jacobian matrix $JH_t$ strictly lower triangular can distinguish any two different NCSF's. The graded dualized versions of the main results above are also discussed.

研究の動機と目的

• 微分作用素代数上の ${\mathcal{N}}$ CS 系と、ラベル付き根付き木のGrossman-Larsonホップ代数上の ${\mathcal{N}}$ CS 系との間の構造的関係を確立すること。
• D-Log、形式的フロー、逆写像の木展開公式を可換変数から非可換変数へ一般化すること。
• 特殊化写像 $ {\mathcal{T}}: {\mathcal{N}}Sym \to {\mathcal{H}}_{GL}^{{\mathbb{N}}^{+}} $ の単射性を証明し、非可換対称関数が完全に区別可能であることを保証すること。
• 厳密に下三角行列であるヤコビアンをもつ多項式自己同型による特殊化が、任意の2つの異なる非可換対称関数を区別できることを示すこと。

提案手法

• 各 $ F_t \in \mathbb{A}_t^{[\alpha]}\langle\langle z\rangle\rangle $ に対して、$ \mathcal{A}_{F_t}: {\mathcal{H}}_{GL}^{W} \to {\mathcal{D}}^{[\alpha]}\langle\langle z\rangle\rangle $ を構成し、木に基づく $ \Omega_{\mathbb{T}}^W $ を作用素に基づく $ \Omega_{F_t} $ に写像するホップ代数準同型を定義する。
• $ F_t(z) = z - H_t(z) $ と定義し、$ H_t(z) $ を次数 $ d \geq \alpha $ の同次多項式とし、$ JH_t $ を厳密に下三角行列とすることで、$ F_t $ が多項式自己同型であることを保証する。
• [BCW]、[Wr]、[WZ] の木展開公式を用いて、D-Log、形式的フロー、逆写像の展開を非可換設定へ一般化する。
• ラベル付き根付き木 $ T \in \bar{\mathbb{T}}^W $ から $ H_t(z) $ を構成し、辺に変数を割り当て、ラベル付き子ノードと根のラベルに基づいて単項式を定義する。
• $ ({\mathcal{N}}Sym, \Pi) $ の普遍性を用いて、$ {\mathcal{H}}_{GL}^W $ から $ {\mathcal{D}}^{[\alpha]}\langle\langle z\rangle\rangle $ への準同型を上昇させ、$ \Omega $-システムと整合性を持つようにする。
• 最小木 $ S $ に対して $ P_{S_m}(z) $ が消えない性質を用い、$ \mathcal{S}_{F_t}(P) \neq 0 $ を証明することで、特殊化の単射性を確立する。

実験結果

リサーチクエスチョン

• RQ1 W-ラベル付き根付き木のGrossman-Larsonホップ代数は、$ \mathcal{N}CS $ 系を保つホップ代数準同型を通じて微分作用素代数へ写像可能か？
• RQ2 D-Log、形式的フロー、逆写像の木展開公式は、この準同型を用いて可換変数から非可換変数へ拡張可能か？
• RQ3 特殊化写像 $ \mathcal{T}: {\mathcal{N}}Sym \to {\mathcal{H}}_{GL}^{{\mathbb{N}}^{+}} $ は単射か？ これにより異なる非可換対称関数が異なる要素へ写像されることを保証する。
• RQ4 同次多項式 $ H_t(z) $ と厳密に下三角行列である $ JH_t $ をもつ多項式自己同型 $ F_t(z) = z - H_t(z) $ は、任意の2つの異なる非可換対称関数を区別可能か？

主な発見

• ホップ代数準同型 $ \mathcal{A}_{F_t}: {\mathcal{H}}_{GL}^{W} \to {\mathcal{D}}^{[\alpha]}\langle\langle z\rangle\rangle $ が存在し、$ \mathcal{A}_{F_t}^{\times 5}(\Omega_{\mathbb{T}}^W) = \Omega_{F_t} $ を満たす。これにより、木に基づくと作用素に基づく $ \mathcal{N}CS $ 系が結びつけられる。
• 構成された準同型を用いて、D-Log、形式的フロー、逆写像の木展開公式が非可換変数へ一般化された。
• 特殊化写像 $ \mathcal{T}: {\mathcal{N}}Sym \to {\mathcal{H}}_{GL}^{{\mathbb{N}}^{+}} $ は単射であり、非可換対称関数がGrossman-Larson代数において完全に捉えられていることを証明する。
• 任意の非ゼロ $ P \in {\mathcal{N}}Sym $ に対して、同次多項式 $ H_t(z) $ と厳密に下三角行列である $ JH_t $ をもつ自己同型 $ F_t $ が存在し、$ \mathcal{S}_{F_t}(P) \neq 0 $ となる。これにより、このような自己同型が任意の2つの異なる非可換対称関数を区別できることを証明する。
• $ F_t(z) = z - H_t(z) $ の逆写像は多項式写像であることが、木展開とヤコビアン基準を用いて確認され、$ F_t $ が多項式自己同型であることが保証される。
• ラベル付き根付き木から $ H_t(z) $ を構成する際、$ P_{T_m}(z) \neq 0 $ となるのは $ T \simeq S $ または $ S $ の適切なカット後の成分である場合に限る。これにより、非ゼロ項の制御が正確に行える。