[논문 리뷰] Dual polar graphs, the quantum algebra U_q(sl_2), and Leonard systems of dual q-Krawtchouk type

Chalermpong Worawannotai|arXiv (Cornell University)|2012. 05. 10.

Algebraic structures and combinatorial models참고 문헌 22인용 수 16

한 줄 요약

이 논문은 이중 극성 그래프, 양자군 $U_q(\mathfrak{sl}_2)$, 및 이중 $q$-크라프치쿨 레오나르드 시스템 간의 깊은 대수적 연결을 수립한다. 이중 극성 그래프의 부분구성 대수 $T(x)$가 기약 모듈러에 대해 이중 $q$-크라프치쿨 유형의 레오나르드 시스템을 유도하며, 그래프의 표준 모듈러에 대해 두 개의 서로 다른 $U_q(\mathfrak{sl}_2)$-모듈러 구조가 이 시스템으로부터 유도되며, $T(x)$의 생성자들과 $U_q(\mathfrak{sl}_2)$의 균형 잡힌 생성자들 간의 명시적 공식이 제시된다.

ABSTRACT

In this paper we consider how the following three objects are related: (i) the dual polar graphs; (ii) the quantum algebra U_q(sl_2); (iii) the Leonard systems of dual q-Krawtchouk type. For convenience we first describe how (ii) and (iii) are related. For a given Leonard system of dual q-Krawtchouk type, we obtain two U_q(sl_2)-module structures on its underlying vector space. We now describe how (i) and (iii) are related. Let Γdenote a dual polar graph. Fix a vertex x of Γand let T = T(x) denote the corresponding subconstituent algebra. By definition T is generated by the adjacency matrix A of Γand a certain diagonal matrix A* = A*(x) called the dual adjacency matrix that corresponds to x. By construction the algebra T is semisimple. We show that for each irreducible T-module W the restrictions of A and A* to W induce a Leonard system of dual q-Krawtchouk type. We now describe how (i) and (ii) are related. We obtain two U_q(sl_2)-module structures on the standard module of Γ. We describe how these two U_q(sl_2)-module structures are related. Each of these U_q(sl_2)-module structures induces a $\mathbb{C}$-algebra homomorphism U_q(sl_2) ightarrow T. We show that in each case T is generated by the image together with the center of T. Using the combinatorics of Γwe obtain a generating set L, F, R, K of T along with some attractive relations satisfied by these generators.

연구 동기 및 목표

• 이중 극성 그래프, 양자 대수 $U_q(\mathfrak{sl}_2)$, 및 이중 $q$-크라프치쿨 유형의 레오나르드 시스템 간의 대수적 관계를 명확히 하기 위해.
• 이중 극성 그래프의 부분구성 대수 $T(x)$의 기약 모듈러가 이중 $q$-크라프치쿨 유형의 레오나르드 시스템을 지닌다는 것을 보여주기 위해.
• 이중 극성 그래프의 표준 모듈러에 대해 두 개의 서로 다른 $U_q(\mathfrak{sl}_2)$-모듈러 구조를 그래프의 조합론적 성질로부터 구성하기 위해.
• 부분구성 대수 $T(x)$의 생성자 $L, F, R, K$를 $U_q(\mathfrak{sl}_2)$의 균형 잡힌 생성자 $x, y, z$로 표현하기 위해.
• 중앙 원소 $\Upsilon$ 및 $\Psi$를 포함한 자동형사에 의해 두 개의 $U_q(\mathfrak{sl}_2)$-모듈러 구조 간의 정확한 관계를 묘사하기 위해.

제안 방법

• 고유값 수열 $\theta_i = h + \kappa q^{d-2i} + \upsilon q^{2i-d}$ 및 $\theta_i^* = h^* + \kappa^* q^{d-2i}$를 통해 이중 $q$-크라프치쿨 유형의 레오나르드 시스템을 정의한다.
• 정리 1.4 및 1.5를 사용하여 벡터 공간 $V$에 대해 $A = h + \epsilon\kappa x + \epsilon\upsilon y$ 및 $A^* = h^* + \epsilon\kappa^* z$ (또는 $x$와 $y$를 바꾼 경우)를 통해 두 개의 $U_q(\mathfrak{sl}_2)$-모듈러 구조를 구성한다.
• 이중 극성 그래프 $\Gamma$를 교차 차원 $D-1$에 대한 최대 자기부분공간의 그래프로 정의하며, 인접행렬은 $A$, 이중 인접행렬은 $A^*$이다.
• 부분구성 대수 $T = T(x)$를 $A$와 $A^*$가 생성하는 대수로 정의하고, 이것이 반단순적임을 보인다.
• 각 기약 $T$-모듈러 $W$에 대해, $A$와 $A^*$의 제한이 이중 $q$-크라프치쿨 유형의 레오나르드 시스템을 이룬다.
• $T$의 생성자 $L, F, R, K$를 $U_q(\mathfrak{sl}_2)$의 균형 잡힌 생성자 $x, y, z$로 중심 원소 $\Upsilon, \Psi$를 사용하여 표현하며, 레미마 30.1 및 30.2에 따라 한다.

실험 결과

연구 질문

• RQ1 부분구성 대수를 통해 이중 극성 그래프는 이중 $q$-크라프치쿨 유형의 레오나르드 시스템과 어떻게 관련되어 있는가?
• RQ2 이중 극성 그래프의 표준 모듈러에 대해 두 개의 서로 다른 $U_q(\mathfrak{sl}_2)$-모듈러 구조는 어떻게 구성할 수 있는가?
• RQ3 동일한 모듈러에 대해 두 개의 $U_q(\mathfrak{sl}_2)$-모듈러 구조 간의 정확한 관계는 무엇인가?
• RQ4 부분구성 대수 $T(x)$의 생성자 $L, F, R, K$는 $U_q(\mathfrak{sl}_2)$의 균형 잡힌 생성자 $x, y, z$로 어떻게 표현할 수 있는가?
• RQ5 부분구성 대수 $T(x)$의 중심 원소 $\Upsilon$ 및 $\Psi$는 $U_q(\mathfrak{sl}_2)$-모듈러 작용과 어떻게 관련되어 있는가?

주요 결과

• 모든 기약 $T(x)$-모듈러 $W$에 대해, $A$와 $A^*$의 제한은 이중 $q$-크라프치쿨 유형의 레오나르드 시스템을 유도한다.
• 이중 극성 그래프의 표준 모듈러에 대해 두 개의 서로 다른 $U_q(\mathfrak{sl}_2)$-모듈러 구조가 존재하며, 이는 정리 1.4 및 1.5에서 $\epsilon \in \{1, -1\}$의 두 선택에 해당한다.
• $T(x)$의 생성자 $L, F, R, K$는 레미마 30.1 및 30.2의 명시적 공식을 통해 $x, y, z$ 및 중심 원소 $\Upsilon, \Psi$로 표현된다.
• 두 개의 $U_q(\mathfrak{sl}_2)$-모듈러 구조는 휘감김을 통해 연결되어 있으며, 한 구조에서 $e$의 작용은 다른 구조에서 $-q^{-2e}\Upsilon^2\Psi^{-2}e$에 해당한다. 마찬가지로 $f$에 대해서도 동일하다.
• 부분구성 대수 $T(x)$는 $U_q(\mathfrak{sl}_2) \to T(x)$의 준동형사 아래에서 $U_q(\mathfrak{sl}_2)$의 상과 함께 $T(x)$의 중심으로 생성된다.
• $C_0$ 행렬은 기약 $T$-모듈러 $W$에 대해 최소점수 $r$, 이중 최소점수 $t$, 지름 $d$를 가질 때 $\chi_0(r,t,d)I$로 작용하며, 이는 29.2번 정리에서 $\Upsilon$ 및 $\Psi$를 통해 표현된다.