[논문 리뷰] NCS Systems over Differential Operator Algebras and the Grossman-Larson Hopf Algebras of Labeled Rooted Trees

Wenhua Zhao|ArXiv.org|2005. 09. 07.

Advanced Topics in Algebra참고 문헌 25인용 수 9

한 줄 요약

이 논문은 레이블이 부여된 루트 트리의 Grossman-Larson 호프 대수와 미분 연산자 대수 사이의 호프 대수 준동형사를 수립하여, 비가환 변수에서의 D-로그, 형식적 흐름, 역함수의 트리 전개 공식을 통합된 프레임워크로 제공한다. 주요 기여는 스트릭트로 하삼각 행렬을 가진 야코비안을 갖는 다항형사상과 동차인 $ H_t(z) $를 가진 다항형사상이 비가환 대칭 함수의 두 서로 다른 원소를 전치를 통해 구별할 수 있음을 증명하는 것이다.

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-로그, 형식적 흐름, 역함수의 트리 전개 공식을 가환 변수에서 비가환 변수로 일반화하기 위해.
• 전치 사상 $ {\mathcal{T}}: {\mathcal{N}}Sym \to {\mathcal{H}}_{GL}^{{\mathbb{N}}^{+}} $의 단사성을 증명하여 비가환 대칭 함수가 완전히 구별됨을 보장하기 위해.
• 스트릭트로 하삼각 행렬을 가진 야코비안을 갖는 다항형사상에 의한 전치가 비가환 대칭 함수의 두 서로 다른 원소를 항상 구별할 수 있음을 보여주기 위해.

제안 방법

• 각 $ F_t \in \mathbb{A}_t^{[\alpha]}\langle\langle z\rangle\rangle $에 대해 트리 기반의 $ \Omega_{\mathbb{T}}^W $를 연산자 기반의 $ \Omega_{F_t} $로 매핑하는 호프 대수 준동형사상 $ \mathcal{A}_{F_t}: {\mathcal{H}}_{GL}^{W} \to {\mathcal{D}}^{[\alpha]}\langle\langle z\rangle\rangle $를 구성한다.
• $ F_t(z) = z - H_t(z) $로 정의하며, $ H_t(z) $는 차수 $ d \geq \alpha $의 동차 함수이며, $ JH_t $는 스트릭트로 하삼각 행렬이 되도록 하여 $ F_t $가 다항형사상임을 보장한다.
• BCW, Wr, WZ의 트리 전개 공식을 활용하여 D-로그, 형식적 흐름, 역함수의 전개를 비가환 설정으로 일반화한다.
• 레이블이 부여된 루트 트리 $ 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-로그, 형식적 흐름, 역함수의 트리 전개 공식은 이 준동형사를 통해 가환 변수에서 비가환 변수로 확장될 수 있는가?
• 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) $는 비가환 대칭 함수의 두 서로 다른 원소를 항상 구별할 수 있는가?

주요 결과

• 다음 조건을 만족하는 호프 대수 준동형사상 $ \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-로그, 형식적 흐름, 역함수의 트리 전개 공식이 비가환 변수로 일반화된다.
• 전치 사상 $ \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 $임을 보여, 이러한 형사상이 비가환 대칭 함수의 두 서로 다른 원소를 항상 구별할 수 있음을 증명한다.
• $ F_t(z) = z - H_t(z) $의 역함수는 트리 전개와 야코비안 기준을 통해 다항식으로 확인되며, 이는 $ F_t $가 다항형사상임을 보장한다.
• 레이블이 부여된 루트 트리에서 $ H_t(z) $를 구성함으로써 $ P_{T_m}(z) \neq 0 $는 $ T \simeq S $ 또는 $ S $의 허용 가능한 컷 이후의 구성요소일 때에만 성립함을 보장하여, 영이 아닌 항목에 대한 정밀한 제어가 가능해진다.