[논문 리뷰] Noncommutative symmetric functions

Israel M. Gelfand, Daniel Krob외 4명|ArXiv.org|1994. 07. 20.

Algebraic structures and combinatorial models참고 문헌 24인용 수 160

한 줄 요약

이 논문은 비가환 대칭 함수의 포괄적인 이론을 제시하며, 자유 결합 대수에서 정의된 비가환 기본, 완전, 그리고 거듭제곱 합 대칭 함수의 비가환 해석을 사용한다. 비가환 대칭 함수와 준행렬식, 내림차수 대수, 유리 생성 함수 간의 연결 고리를 확립하며, 리본 슈어 함수가 다항식 기저를 이룬다는 것을 보이고, 카이리-헤밀턴 정리나 파데 근사와 같은 고전적 항등식의 비가환 해석이 자동기계 이론적 및 호프 대수적 방법을 통해 성립함을 보여준다.

ABSTRACT

This paper presents a noncommutative theory of symmetric functions, based on the notion of quasi-determinant. We begin with a formal theory, corresponding to the case of symmetric functions in an infinite number of independent variables. This allows us to endow the resulting algebra with a Hopf structure, which leads to a new method for computing in descent algebras. It also gives unified reinterpretation of a number of classical constructions. Next, we study the noncommutative analogs of symmetric polynomials. One arrives at different constructions, according to the particular kind of application under consideration. For example, when a polynomial with noncommutative coefficients in one central variable is decomposed as a product of linear factors, the roots of these factors differ from those of the expanded polynomial. Thus, according to whether one is interested in the construction of a polynomial with given roots or in the expansion of a product of linear factors, one has to consider two distinct specializations of the formal symmetric functions. A third type appears when one looks for a noncommutative generalization of applications related to the notion of characteristic polynomial of a matrix. This construction can be applied, for instance, to the noncommutative matrices formed by the generators of the universal enveloping algebra $U(gl_n)$ or of

연구 동기 및 목표

• 비가환 생성자에 대한 자유 결합 대수에서 대칭 함수를 재해석함으로써 고전적 대칭 함수 이론의 비가환 해석을 개발한다.
• 내림차수 대수를 비가환 표현 이론의 특성 함수 대수의 비가환 해석으로 삼아, 대칭 함수와 표현 이론 간의 기본적 관계를 비가환 버전으로 확립한다.
• 행렬식 관계, 오일러 다항식, 카이리-헤밀턴 정리와 같은 고전적 항등식을 준행렬식과 유리 생성 함수를 사용하여 비가환 환경으로 확장한다.
• 슐츠엔버거 정리를 통해 비가환 생성 함수와 자동기계 이론을 연결하여, 이 맥락에서 가려진 수열과 유리 수열이 일치함을 보인다.
• 비가환 대칭 함수의 호프 대수적 구조를 통해 리 아이디포텐셜, 오일러 아이디포텐셜, 연속적인 베이커-캠프벨-하우스도르프 공식을 통합된 프레임워크로 제공한다.

제안 방법

• 비가환 기본, 완전, 거듭제곱 합 대칭 함수를 자유 결합 대수 $\mathbf{Sym} = K\langle \Lambda_1, \Lambda_2, \ldots \rangle$의 원소로 정의하며, 차수 대신 무게로 분할한다.
• 준행렬식을 통해 구성된 비가환 슈어 함수의 해석인 리본 슈어 함수를 도입하고, $\mathbf{Sym}$의 다항식 기저를 이룬다는 것을 증명한다.
• 비가환 대칭 함수의 고전적 항등식의 비가환 해석을 사용하여 다양한 기저 간 전이 행렬(예: $S$, $\Lambda$, $\Psi$, $\Phi$, $R$)을 수립한다.
• $\mathbf{Sym}$에 호프 대수적 구조를 구축하여, 솔로몬의 내림차수 대수 $\Sigma_n$의 곱과 동형인 내부 곱을 정의한다.
• 자기 기계 이론적 모델을 사용하여 유리 비가환 생성 함수를 표현하고, 알파벳 $A$ 위에서 $K$-자기 기계의 행동이 가려진 수열을 유도한다.
• 슐츠엔버거 정리를 적용하여 유리 수열과 가려진 수열을 동치로 간주하고, 라벨이 붙은 방향 그래프에서 경로 수를 세는 방식으로 행렬의 스타를 실현함으로써 비가환 카이리-헤밀턴 정리를 도출한다.

실험 결과

연구 질문

• RQ1 비가환 생성자가 서로 교환되지 않는 맥락에서 고전적 대칭 함수 이론을 어떻게 일반화할 수 있는가?
• RQ2 비가환 슈어 함수 기저의 비가환 해석은 무엇이며, 이러한 함수들 중 어떤 것이 생성자에 대해 다항식인가?
• RQ3 비가환 기저 간 전이 행렬(예: $S$와 $R$)은 어떻게 고전적 항등식, 예를 들어 자코비-트루디 공식의 일반화를 이룬다?
• RQ4 비가환 대칭 함수는 내림차수 대수와 대칭군의 군 대수에서 리 아이디포텐셜과 어떤 관계가 있는가?
• RQ5 유리 비가환 생성 함수는 자동기계로 특성화될 수 있으며, 이는 비가환 카이리-헤밀턴 정리의 유도로 이어지는가?

주요 결과

• 리본 형태로 인덱싱된 리본 슈어 함수는 비가환 대칭 함수 대수 $\mathbf{Sym}$의 선형 기저를 이룬다. 이들은 $\Lambda_k$ 생성자에 대해 다항식인 유일한 준-슈어 함수이다.
• $\mathbf{Sym}$에서 호프 대수적 구조에 의해 유도된 내부 곱은 솔로몬의 내림차수 대수 $\Sigma_n$의 곱과 일치하며, 표현의 크로네커 곱의 비가환 해석을 확립한다.
• 행렬식 대신 준행렬식을 사용할 경우, 비가환 해석의 고전적 항등식—예를 들어 자코비-트루디 공식과 그 쌍대 공식—이 성립한다.
• 비가환 오일러 다항식과 삼각함수는 이 이론에서 자연스럽게 유도되며, $\Sigma_n$ 내의 오일러 아이디포텐셜은 비가환 대칭 함수의 관점에서 단순한 해석을 가진다.
• 일반적인 $n \times n$ 행렬 $A = (a_{ij})$의 스타는 라벨이 붙은 자동기계에서의 경로 합 공식으로 주어지며, $A^* = I + A A^*$를 통해 비가환 카이리-헤밀턴 정리를 도출한다.
• 생성 함수 공간 $K\langle\langle A\rangle\rangle$ 내의 유리 비가환 생성 함수는 슐츠엔버거 정리를 통해 가려진 수열과 동치이며, $K$-자기 기계의 행동은 그래프 내 경로에 대한 형식적 합으로 $A^*$의 성분을 계산한다.