[논문 리뷰] Cyclotomic discriminantal arrangements and diagram automorphisms of Lie algebras

Alexander Varchenko, Charles A. S. Young|arXiv (Cornell University)|2016. 03. 23.

Algebraic structures and combinatorial models참고 문헌 33인용 수 8

한 줄 요약

이 논문은 원분 단위근을 포함하는 분할형 배열의 일반화인 원분형 분할형 배열을 도입하고, 그들의 플래그 복합체와 카크-무디 리 대수의 다이어그램 자기동형이 있는 니르포텐트 부분대수의 체인 복합체 사이의 동형사상 수립한다. 주요 기여는 이러한 대수적-위상적 대응을 통해 원분형 고딘 모델의 베티 벡터가 영이 아니라는 것을 증명하는 것이다.

ABSTRACT

Recently a new class of quantum integrable models, the cyclotomic Gaudin models, were described in arXiv:1409.6937, arXiv:1410.7664. Motivated by these, we identify a class of affine hyperplane arrangements that we call cyclotomic discriminantal arrangements. We establish correspondences between the flag and Aomoto complexes of such arrangements and chain complexes for nilpotent subalgebras of Kac-Moody type Lie algebras with diagram automorphisms. As a byproduct, we show that the Bethe vectors of cyclotomic Gaudin models associated to diagram automorphisms are nonzero.

연구 동기 및 목표

• 근의 단위근에서 유래하는 원분형 대칭을 포함시키기 위해 초평면 배열 이론을 확장한다.
• 이 배열의 플래그 복합체와 아모토 복합체가 다이어그램 자기동형이 있는 카크-무디 리 대수의 니르포텐트 부분대수의 체인 복합체와 어떻게 관련되는지를 수립한다.
• 최근의 양자 통합 가능 시스템인 원분형 고딘 모델에 기하학적 및 대수적 기초를 제공한다.
• 원분형 고딘 모델의 베티 벡터가 영이 아니라는 것을 증명하여, 이 모델의 핵심 구조적 질문을 해결한다.

제안 방법

• 원분형 T차 단위근 $\omega$를 사용하여 $\mathbb{C}^m$에서 형태 $t_i - \omega^k t_j = 0$, $t_i - \omega^k z_j = 0$, 및 $t_i = 0$인 애핀 초평면을 이용해 원분형 분할형 배열을 정의한다.
• 배열의 변을 따라 플래그 공간의 몫으로서 플래그 복합체 $\mathscr{F}^\bullet(\mathcal{C}_{0,N;m})$를 구성한다.
• 모듈로 $T$에 대해 $k$-지표를 이동시키는 자동형사상이 있는 자유 리 대수 $\mathfrak{a}$를 정의하고, 그 고정점 부분대수 $\bar{\mathfrak{a}}$를 고려한다.
• 체인 복합체 $\bigwedge^p \bar{\mathfrak{a}} \otimes \mathcal{M}_{0,N}$의 $p$-번째 공간과 플래그 공간 $\mathscr{F}^{m-p}(\mathcal{C}_{0,N;m})$ 사이의 동형사상 $\psi_p$를 수립한다. 여기서 $\mathcal{M}_{0,N} = U(\bar{\mathfrak{a}}) \otimes U(\mathfrak{a})^{\otimes N}$이다.
• 자코비 항등식과 반복적인 교환자 전개를 사용하여 동형사상이 미분 구조를 유지함을 보이고, 복합체의 동형사상을 증명한다.
• 코사이클 $\mathcal{G}$의 작용과 리 대수 모듈의 구조를 분석하여, 무게가 0인 초평면 위의 특정 플래그 합의 정규성을 증명한다.

실험 결과

연구 질문

• RQ1 근의 단위근에서 유래하는 원분형 대칭을 초평면 배열 이론에 어떻게 통합할 수 있는가?
• RQ2 원분형 분할형 배열과 관련된 플래그 복합체와 아모토 복합체의 대수적 구조는 무엇인가?
• RQ3 이 복합체는 다이어그램 자기동형이 있는 카크-무디 리 대수의 니르포텐트 부분대수와 어떻게 관련되는가?
• RQ4 기하학적 및 대수적 방법을 통해 원분형 고딘 모델의 베티 벡터가 영이 아니라는 것을 증명할 수 있는가?
• RQ5 원분형 분할형 배열의 오르ليك-솔로몬 대수의 푸앵카레 다항식의 정확한 형태는 무엇인가?

주요 결과

• 원분형 분할형 배열 $\mathcal{C}_{0,N;m}$의 오르ليك-솔로몬 대수의 푸앵카레 다항식은 $\prod_{p=0}^{m-1} \left(1 + (1 + (p+N)T)x\right)$이며, $N=0$인 경우에 알려진 결과를 일반화한다.
• 체인 복합체 $\left(\bigwedge^p \bar{\mathfrak{a}} \otimes \mathcal{M}_{0,N}\right)_{[1^m]}$의 $p$-번째 공간과 플래그 공간 $\mathscr{F}^{m-p}(\mathcal{C}_{0,N;m})$ 사이에 자연스러운 동형사상 $\psi_p$가 존재하며, 이는 복합체의 동형사상을 수립한다.
• 플래그 복합체 $\mathscr{F}^\bullet(\mathcal{C}_{0,N;m})$는 사상 $\psi_p$를 통해 체인 복합체 $C_\bullet(\bar{\mathfrak{a}}, \mathcal{M}_{0,N})$와 동형이며, 이는 미분 구조를 유지한다.
• 다이어그램 자기동형이 있는 원분형 고딘 모델과 관련된 베티 벡터는 영이 아니라는 것이 증명되어, 모델의 핵심 열린 질문을 해결한다.
• 영이 아니라는 증명은 특정 플래그 합이 코사이클 $\mathcal{G}$의 핵에 속한다는 것을 보여줌으로써 이루어지며, 이는 반복적인 교환자 전개와 자코비 항등식을 사용한다.
• 특히 아키텍티프와 섬으로 구성된 배열의 변의 구조를 활용하여 문제를 $t_{h_1}, \dots, t_{h_s}$, $t_{i_n}$, 및 $t_{j_p}$를 포함하는 국소 구성으로 환원한다.