[논문 리뷰] Virtual crystals and fermionic formulas of type $D_{n+1}^{(2)}$, $A_{2n}^{(2)}$, and $C_n^{(1)}$

Masato Okado, Anne Schilling외 1명|ArXiv.org|2001. 05. 02.

Algebraic structures and combinatorial models참고 문헌 25인용 수 3

한 줄 요약

이 논문은 고전적 크리스탈의 $A_{2n-1}$로의 통합을 확장하여 애핀 유형 $D_{n+1}^{(2)}$, $A_{2n}^{(2)}$, $C_n^{(1)}$에 대한 가상 크리스탈을 도입한다. 이 가상 크리스탈이 유한 차원 $U_q'(rak{g})$-모듈의 크리스탈 기저를 실현한다고 추측하며, 고정된 구성 조건에 대해 레이저 구성 기법과 대응 역행성 대칭을 사용하여 특정 경우에 대한 페르미온 공식을 증명함으로써, 가상 크리스탈과 기존의 페르미온 표현 간의 연결 고리를 확립한다.

ABSTRACT

We introduce ``virtual'' crystals of the affine types $g=D_{n+1}^{(2)}$, $A_{2n}^{(2)}$ and $C_n^{(1)}$ by naturally extending embeddings of crystals of types $B_n$ and $C_n$ into crystals of type $A_{2n-1}$. Conjecturally, these virtual crystals are the crystal bases of finite dimensional $U_q'(g)$-modules associated with multiples of fundamental weights. We provide evidence and in some cases proofs of this conjecture. Recently, fermionic formulas for the one dimensional configuration sums associated with tensor products of the finite dimensional $U_q'(g)$-modules were conjectured by Hatayama et al. We provide proofs of these conjectures in specific cases by exploiting duality properties of crystals and rigged configuration techniques. For type $A_{2n}^{(2)}$ we also conjecture a new fermionic formula coming from a different labeling of the Dynkin diagram.

연구 동기 및 목표

• 고전 크리스탈의 $A_{2n-1}$로의 통합을 확장하여 애핀 유형 $D_{n+1}^{(2)}$, $A_{2n}^{(2)}$, $C_n^{(1)}$에 대한 가상 크리스탈을 구성한다.
• 이 가상 크리스탈이 기본 무게의 배수와 관련된 유한 차원 $U_q'(\frak{g})$-모듈의 크리스탈 기저를 실현한다고 추측한다.
• 레이저 구성 기법과 대칭성을 사용하여 특정 경우의 일차원 구성 합에 대한 페르미온 공식을 증명한다.
• 가상 크리스탈의 고전적 분해 및 구조적 성질을 검증하여 추측에 대한 증거를 제공한다.

제안 방법

• $B_n$ 및 $C_n$ 크리스탈의 $A_{2n-1}$ 크리스탈로의 기존 통합을 유한 애핀 크리스탈으로 확장하여 가상 크리스탈 $V^{r,s}$를 정의한다.
• 레이저 구성 이론을 사용하여 가상 크리스탈의 일차원 구성 합을 분석한다.
• 대응 역행성 대칭을 적용하여 가상 크리스탈의 원소와 그 쌍대를 연결함으로써, 페르미온 공식과의 호환성을 확보한다.
• 레이저 구성에 대한 역 알고리즘을 활용하여 텐서곱 성분을 재구성하고 타블로 조건을 검증한다.
• $j_{r,1}^{-1} \circ \cdots$ 및 $i_{r,1}^{-1} \circ \cdots$ 작용을 사용하여 단일 스트링을 제거하고 기본 사례로 축소한다.
• 결과로 얻어진 가상 크리스탈이 레이저 구성 이중사상의 상에 속하는 데 필요한 조건을 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 유형 $D_{n+1}^{(2)}$, $A_{2n}^{(2)}$, $C_n^{(1)}$에 대한 가상 크리스탈 $V^{r,s}$가 유한 차원 $U_q'(\frak{g})$-모듈의 크리스탈 기저를 실현하는가?
• RQ2 가상 크리스탈의 일차원 구성 합은 페르미온 공식으로 표현될 수 있는가?
• RQ3 가상 크리스탈 $V^{r,s}$의 고전적 분해가 기대되는 $A_{2n-1}$-크리스탈의 기약 분해와 일치하는가?
• RQ4 가상 크리스탈과 관련된 레이저 구성에 대해 대응 역행성 대칭이 성립하는가?
• RQ5 가상 크리스탈 $V^{r,1}$을 명시적으로 기술하여 페르미온 공식과의 비교를 가능하게 할 수 있는가?

주요 결과

• 유형 $A_{2n}^{(2)}$, $A_{2n}^{(2)lat}$, $C_n^{(1)}$에 대해, $s=1$일 때 가상 크리스탈 $V^{r,s}$가 추측된 크리스탈 $B^{r,s}$와 동형임을 증명하였다.
• 유형 $D_{n+1}^{(2)}$의 경우, 모든 $s \geq 1$에 대해 $V^{r,s}$가 최소한 기대되는 고전적 구성 요소를 갖는 것으로 나타났다.
• $A_{2n}^{(2)}$의 경우, $V^{r,1}$의 일차원 구성 합이 하타야마 등이 추측한 페르미온 공식과 일치함을 확인하였다.
• 레이저 구성 사상 $\overline{\phi} \circ \Psi_R$ 가 가상 크리스탈의 상에 전사임을 증명하여, 페르미온 표현과의 호환성을 확인하였다.
• 대응 역행성 대칭과 유도된 부등식 $u_{a+i-c} \leq n-c$ 덕분에 $(uv)|_{[n]}$가 타블로임이 보장되며, 이는 비타블로 구성이 발생하지 않음을 방지한다.
• 증명 과정에서 $|u|_{[n]} - |v|_{[n]}| = n - r$ 임을 확인하여, 가상 크리스탈 성분에 대한 정확한 무게 조건이 만족됨을 입증하였다.