[논문 리뷰] Noncommutative identities

Maxim Kontsevich|arXiv (Cornell University)|2011. 09. 12.

Advanced Topics in Algebra참고 문헌 3인용 수 21

한 줄 요약

이 논문은 자유군 생성자에 대한 로렌츠 다항식에서 비가환 추적 함수기반으로 정의된 비가환 특성다항식이 항상 대수적 생성함수임을 증명한다. 대수적 조합론과 비가환 대수적 생성함수 이론을 활용하여 비가환 추적의 생성함수의 대수성과 증명하고, 비가환 통합성과 비라소르 맵에서의 로렌츠 현상으로의 프레임워크를 확장한다.

ABSTRACT

This is a slightly edited version of my talk on Mathematische Arbeitstagung 2011, Bonn. I present a result relating noncommutative Laurent polynomials with algebraic functions, and show examples of integrability and Laurent phenomenon for free noncommutative variables.

연구 동기 및 목표

• 자유군의 군환 위에서 비가환 추적 함수기반으로 정의된 비가환 특성다항식의 대수성을 확립하기 위해.
• 비가환 추적의 생성함수 $ F_a(t) = \text{``Tr"}(a^k) t^k $가 자유군 대수의 임의의 원소 $ a $에 대해 대수적임을 보여주기 위해.
• 특히 비라소르 맵과 라크스 연산자들을 통해 비가환 대수적 구조와 통합계 사이의 연결고리를 탐색하기 위해.
• 반복 비라소르 맵에서의 비가환 로렌츠 현상 조사하여 모든 반복 결과물이 비가환 로렌츠 다항식환에 남아 있음을 보여주기 위해.
• 이산 대칭성과 비가환 환경에서의 통합적 구조를 제안하고 분석하며, 행렬 공간에서의 대칭의 조합의 주기성에 대한 추측을 포함하기 위해.

제안 방법

• 비가환 추적 함수기반 $ \text{``Tr"} $를 자유군의 군환 $ \mathbb{C}[\text{Free}_n] $ 위에서 정의하며, 이는 교환자 위에서 0이 된다.
• 비가환 특성다항식 $ P_a(t) = \exp\left( -\sum_{k\geq 1} \frac{\text{``Tr"}(a^k)}{k} t^k \right) $를 정의하며, 이는 $ t $에 대한 형식적 거듭제곱급수이다.
• 비가환 대수적 급수 이론(Chomsky–Schützenberger)을 통해 확립된 바에 따라 $ F_a(t) = \sum_{k\geq 1} \text{``Tr"}(a^k) t^k $의 대수성에 기반해 $ P_a(t) $의 대수성을 증명한다.
• Grothendieck의 $ p $-커비처가 0이 되는 추측을 적용하여 미분방정식 $ \frac{d}{dt}P_a = -\frac{F_a}{t} P_a $의 해의 대수성을 유도한다.
• 이중 특성다항식 $ P_\rho(x,y) = \det(1 - x\rho(X) - y\rho(Y)) $를 통해 두 변수에서의 비가환 통합성을 분석하며, Vinnikov 곡선과 그 캄비안 위의 선다발과 연결한다.
• 비라소르 맵의 이산 대칭성 분석, 예를 들어 $ S_l: (X,Y) \mapsto (XYX^{-1}, (1+Y^l)X^{-1}) $와 같이, 조합론적 및 범주론적 방법을 통해 비가환 로렌츠 현상을 증명한다.

실험 결과

연구 질문

• RQ1 자유군의 군환에 속하는 임의의 원소 $ a $에 대해 비가환 특성다항식 $ P_a(t) $는 대수적인가?
• RQ2 자유군 대수의 모든 $ a $에 대해 생성함수 $ F_a(t) = \sum_{k\geq 1} \text{``Tr"}(a^k) t^k $는 여전히 대수적인가?
• RQ3 비가환 이중 특성다항식 $ P_\rho(x,y) $는 Vinnikov 곡선과 그 캄비안 위의 선다발을 통해 통합계를 매개화하는 데 사용될 수 있는가?
• RQ4 예를 들어 $ S_l $과 같은 반복 비가환 비라소르 맵이 비가환 로렌츠 다항식환 $ \mathbb{Z}\langle X^{\pm1}, Y^{\pm1} \rangle $을 유지하는가?
• RQ5 $ 3\times3 $ 비가환 행렬에서의 $ (I_1 \circ I_2 \circ I_3)^3 $ 조합이 왼쪽 및 오른쪽 대각선 작용에 대해 대각선 코어지션과 동치인가?

주요 결과

• 모든 $ a \in \mathbb{C}[\text{Free}_n] $에 대해 비가환 특성다항식 $ P_a(t) $는 $ F_a(t) $의 대수성과 Grothendieck 추측에 기반해 대수적임을 증명하였다.
• 특히 $ a = \sum_{i=1}^n (X_i + X_i^{-1}) $일 경우 특성다항식은 $ P_a(t) = \left( \frac{f(t)+1}{2} \right)^n / \left( \frac{nf+n-1}{2n-1} \right)^{n-1} $이며, 여기서 $ f(t) = \sqrt{1 - 4(2n-1)t^2} $이다.
• Chomsky와 Schützenberger에 의해 확립된 비가환 대수적 급수 이론에 따라 생성함수 $ F_a(t) $는 대수적이다.
• 이중 특성다항식 $ P_\rho(x,y) $는 차수 $ \leq d $인 Vinnikov 곡선을 정의하며, $ d \times d $ 표현의 모듈리 공간 $ \mathcal{M}_d $는 이러한 곡선의 공간 위에 캄비안 위의 토르스로 올려져 있다.
• 비라소르 맵 $ S_{-1}: (X,Y) \mapsto (XYX^{-1}, (1+Y^{-1})X^{-1}) $는 $ 2d \times 2d $ 라크스 행렬 $ L(t) $의 공轭류를 유지하며, $ S_{-1}(L(t)) = V(t)L(t)V(t)^{-1} $를 만족하는 명시적 유리함수 행렬 $ V(t) $가 존재한다.
• 비가환 로렌츠 현상은 $ S_l $과 같은 맵에서 성립하며, 모든 반복 결과물이 $ \mathbb{Z}\langle X^{\pm1}, Y^{\pm1} \rangle $에 속함을 증명하였다. 이는 삼각 범주, 대수적 항등식, 계수 $ \{0,1\} $을 갖는 조합론적 방법에 의해 이루어졌다.