[논문 리뷰] Noncommutative Symmetric Functions and the Inversion Problem

Wenhua Zhao|arXiv (Cornell University)|2005. 09. 07.

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}) $ 의 테일러 전개 공식을 개발하는 것.
• D-Log 와 $ F_t $ 의 형식적 흐름을 NCS 시스템을 통해 표현하는 것.
• 자코비안 추측과 두쪽 이상 이상에서 특정 비가환 대칭 함수가 영이 되는 조건 사이의 연결 고리를 설정하는 것.
• NCSF 와 그들의 미분 연산자 대수에서의 표현을 이용하여 자코비안 추측을 연구하기 위한 새로운 대수적 프레임워크를 제안하는 것.

제안 방법

• 형식적 자기동형사상 $ F_t(z) = z - H_t(z) $ 를 바탕으로 NCS 시스템 $ \Omega_{F_t} $ 를 구성하며, 여기서 $ H_{t=0}(z) = 0 $ 이고 $ o(H_t(z)) \geq \alpha \geq 1 $ 이다.
• 비가환 대칭 함수의 호프 대수 $ \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 $ 의 담비성과 $ m \geq n $ 에 대해 $ \Psi_m \in \mathcal{I}_H $ 가 성립하는 조건을 연결한다.
• 자코비안 추측이 $ \Xi_m \in \mathcal{I}_H $ 를 만족하는 모든 충분히 큰 $ m $ 에 대해 성립함과 동치임을 보여준다. 이는 $ \Psi_m \in \mathcal{I}_H $ 가 $ m \geq n $ 에 대해 성립할 때를 전제로 한다.

실험 결과

연구 질문

• RQ1 비가환 대칭 함수 간의 항등식은 형식적 자기동형사상 $ F_t $ 와 관련된 NCS 시스템에서의 미분 연산자로 어떻게 전이될 수 있는가?
• RQ2 미분 연산자 $ \Omega_{F_t} $ 를 사용하여 $ u(F_t) $ 와 $ u(F_t^{-1}) $ 의 테일러 급수에 대한 명시적 공식은 무엇인가?
• RQ3 D-Log 와 $ F_t $ 의 형식적 흐름은 NCS 시스템 $ \Omega_{F_t} $ 를 통해 어떻게 표현되는가?
• RQ4 NCSF 프레임워크에서, 역함수 $ F_t^{-1} $ 가 다항식 함수가 되는 정확한 대수적 조건은 무엇인가?
• RQ5 자코비안 추측은 $ \mathcal{S}_{F_t} $ 의 핵에서 특정 NCSF 유도 연산자의 영함수 조건과 어떻게 관련이 있는가?

주요 결과

• 논문은 $ \mathcal{S}_{F_t} $ 를 $ \mathcal{N}Sym $ 의 알려진 항등식에 적용하여, 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} $ 가 다항식 함수임은 $ \Xi_m \in \mathcal{I}_H $ 를 만족하는 모든 충분히 큰 $ m $ 에 대해 성립함과 동치임을 보였다. 여기서 $ \mathcal{I}_H $ 는 $ \mathcal{S}_{F_t} $ 의 핵이다.
• 자코비안 추측은 $ \Psi_m \in \mathcal{I}_H $ 가 $ m \geq n $ 에 대해 성립할 때, $ \Xi_m \in \mathcal{I}_H $ 가 $ m \gg 0 $ 에 대해 성립함과 동치임을 증명하였다. 이는 $ H $ 가 차수 $ d=3 $ 인 동차 함수이고 $ JH $ 가 담비성임을 전제로 한다.
• 논문은 새로운 열린 문제를 규명한다: 특히 $ \Omega_{F_t} $ 의 모든 연산자가 서로 교환 가능할 경우, 이상 $ \mathcal{I}_H $ 를 정의하는 NCSF 간의 관계를 규명하는 것.