[논문 리뷰] Reflection matrices, coideal subalgebras and generalized Satake diagrams of affine type

Vidas Regelskis, Bart Vlaar|arXiv (Cornell University)|2016. 02. 26.

Algebraic structures and combinatorial models인용 수 10

한 줄 요약

이 논문은 아핀 카크-무디 대수의 고전적 유형에 대해 일반화된 사타케 다이어그램을 도입하여, 비첨가적 호모모르피즘의 제2종을 정의하는 양자 대칭 쌍의 일반화를 수행한다. 이를 통해 양자 환위 대수 $U_q(\mathfrak{g})$의 우측 아이디얼 부분대수 $B_{c,s}$를 도출한다. $U_q(\widehat{\mathfrak{sl}}_n^{(1)}), U_q(\widehat{\mathfrak{so}}_n^{(1)}), U_q(\widehat{\mathfrak{sp}}_n^{(1)}), U_q(\widehat{\mathfrak{so}}_n^{(1)})$의 벡터 표현에 대해 삼각함수 반사 행렬(즉, K-행렬)을 계산하였으며, 이들은 대각 행렬에 의해 공역을 취한 후 대칭성을 가지며, 각 행과 열에 최대 두 개의 비영원소를 가진다. 이러한 K-행렬들은 호프 대수의 자명변환에 의해 최대 두 개의 추가 자유 매개변수를 가진 형태로 동치임을 보였고, 고유분해 결과는 헤케 유형 대수와의 연결성을 시사한다.

ABSTRACT

We present a generalization of the theory of quantum symmetric pairs as developed by Kolb and Letzter. We introduce a class of generalized Satake diagrams that give rise to (not necessarily involutive) automorphisms of the second kind of symmetrizable Kac-Moody algebras $\\mathfrak{g}$. These lead to right coideal subalgebras $B_{\\mathbf{c},\\mathbf{s}}$ of quantized enveloping algebras $U_q(\\mathfrak{g})$. In the case that $\\mathfrak{g}$ is a twisted or untwisted affine Lie algebra of classical type Jimbo found intertwiners (equivariant maps) of the vector representation of $U_q(\\mathfrak{g})$ yielding trigonometric solutions to the parameter-dependent quantum Yang-Baxter equation. In the present paper we compute intertwiners of the vector representation restricted to the subalgebras $B_{\\mathbf{c},\\mathbf{s}}$ when $\\mathfrak{g}$ is of type ${\ m A}^{(1)}_n$, ${\ m B}^{(1)}_n$, ${\ m C}^{(1)}_n$ and ${\ m D}^{(1)}_n$. These intertwiners are matrix solutions to the parameter-dependent quantum reflection equation known as trigonometric reflection matrices. They are symmetric up to conjugation by a diagonal matrix and in many cases satisfy a certain sparseness condition: there are at most two nonzero entries in each row and column. Conjecturally, this classifies all such solutions in vector spaces carrying this representation. A group of Hopf algebra automorphisms of $U_q(\\mathfrak{g})$ acts on these reflection matrices, allowing us to show that each reflection matrix found is equivalent to one with at most two additional free parameters. Additional characteristics of the reflection matrices such as eigendecompositions and affinization relations are also obtained. The eigendecompositions suggest that for all these matrices there should be a natural interpretation in terms of representations of Hecke-type algebras.

연구 동기 및 목표

• 기존의 호환성 자명변환을 초월하여, 아핀 유형의 정규화 가능 카크-무디 대수에 대해 비첨가적 자명변환의 제2종을 포함하는 양자 대칭 쌍 이론을 일반화한다.
• 이러한 일반화된 사타케 다이어그램과 관련된 $U_q(\mathfrak{g})$의 우측 아이디얼 부분대수 $B_{c,s}$를 구성한다.
• $\mathfrak{g}$가 $A_n^{(1)}, B_n^{(1)}, C_n^{(1)}, D_n^{(1)}$ 유형인 $U_q(\widehat{\mathfrak{g}})$의 벡터 표현에 대해 명시적인 삼각함수 반사 행렬(즉, K-행렬)을 계산한다.
• 이러한 K-행렬의 구조와 대칭성(희박성, 공역 대칭성, 자동형 작용에 의한 매개변수 감소)을 분류한다.
• 고유분해를 통해 K-행렬과 헤케 유형 대수 간의 관계를 탐색한다.

제안 방법

• 일반화된 사타케 다이어그램은 $X \subseteq I$ 및 $\tau$가 다이어그램 자동형사상인 쌍 $(X, \tau)$로 정의되며, 기존의 고전적 사타케 다이어그램 프레임워크를 비첨가적 자명변환의 제2종으로 확장한다.
• 매개변수 $c, s \in (K^\times)^I$를 만족하는 일반화된 q-온사거 유형 제약 조건을 사용하여 $B_{c,s} \subset U_q(\mathfrak{g})$의 우측 아이디얼 부분대수를 구성한다.
• 이를 통해 $B_{c,s}$에 제한된 벡터 표현의 상호연결자(interwiner)를 계산하여 매개변수 의존성 있는 양자 반사 방정식의 해, 즉 삼각함수 반사 행렬을 도출한다.
• $U_q(\mathfrak{g})$의 호프 대수 자동형사상 군이 K-행렬에 작용하여, 최대 두 개의 추가 자유 매개변수를 가진 동치 형태로의 감소를 가능하게 한다.
• $C^{-1}K(q^{-1}u)$의 고유분해를 계산하여 스펙트럼 구조를 밝히고, 헤케 대수 표현과의 연결성을 시사한다.
• 아핀화 관계와 회전 대칭성을 유도하며, 특히 $K(u) = K_0 + u C K_0^{-1} C^{-1}/(1 - u)$ 형태를 포함한다.

실험 결과

연구 질문

• RQ1 어떻게 아핀 카크-무디 대수에 대해 비첨가적 자명변환의 제2종을 포함하는 양자 대칭 쌍 이론을 호환성 자명변환을 초월하여 일반화할 수 있는가?
• RQ2 기본 아핀 유형인 $\mathfrak{g}$에 대해 $U_q(\widehat{\mathfrak{g}})$의 벡터 표현에 대한 삼각함수 반사 행렬(즉, K-행렬)의 명시적 형태는 무엇인가?
• RQ3 이러한 K-행렬이 희박성 조건을 얼마나 잘 만족하는가? 특히 각 행과 열에 최대 두 개의 비영원소를 가진다.
• RQ4 호프 대수 자동형사상 군은 K-행렬에 어떻게 작용하며, 동치 표현에서의 최대 자유 매개변수 수는 얼마인가?
• RQ5 K-행렬의 고유분해는 헤케 유형 대수의 표현 관점에서 어떻게 해석될 수 있는가?

주요 결과

• $U_q(\widehat{\mathfrak{sl}}_n^{(1)}), U_q(\widehat{\mathfrak{so}}_n^{(1)}), U_q(\widehat{\mathfrak{sp}}_n^{(1)}), U_q(\widehat{\mathfrak{so}}_n^{(1)})$의 K-행렬은 대각 행렬에 의해 공역을 취한 후 대칭성을 가진다.
• 많은 경우에서 K-행렬은 희박성 조건을 만족한다: 각 행과 열에 최대 두 개의 비영원소가 존재한다.
• 각 K-행렬은 호프 대수 자동형사상 군의 작용에 의해 최대 두 개의 추가 자유 매개변수를 가진 형태로 동치임을 보였다.
• $C^{-1}K(q^{-1}u)$의 고유분해는 고유값의 중복도가 $\frac{N-1}{2}, \lceil \frac{N-1}{2} \rceil$, 및 $1$임을 드러내며, 이는 헤케 대수 표현과의 연결성을 시사한다.
• 아핀화 및 회전 대칭성이 도출되었으며, $K(u) = K_0 + u C K_0^{-1} C^{-1}/(1 - u)$ 및 $K_\rho(u) = K(u)$ 형태를 포함하며, $K(u)^t + K(u^{-1}) = (q^{-1/2} - q^{1/2})\text{Id}$를 만족한다.