타입 B 스네이크 모듈의 랭글란즈 분기 규칙 확립

초록

저자들은 양자 Kac–Moody 대수 (B_n^{(1)})의 스네이크 모듈이 랭글란즈 이중 대수 (A_{2n-1}^{(2)})에 대응되는 표현을 갖는다는 Frenkel‑Hernandez 추측을 증명하고, 그 분해에서 등장하는 모든 가중치의 곱셈 계수를 1로 하는 명시적 “랭글란즈 분기 규칙”을 제시한다.

상세 분석

본 논문은 두 가지 주요 문제를 해결한다. 첫 번째는 Frenkel‑Hernandez가 제시한 “첫 번째 추측”(모듈 V에 대해 최고 가중치 (\lambda)가 주어지면, 그 랭글란즈 이중 모듈 (L V)가 존재하고 (\Pi(\lambda))가 최고 가중치가 된다)의 타입 (B_n^{(1)}) → (A_{2n-1}^{(2)}) 경우에 대한 증명이다. 저자들은 스네이크 모듈을 경로(pathe)와 스네이크 위치(snake positions)라는 조합적 데이터로 기술하고, 이를 통해 비틀린 타입 (A_{2n-1}^{(1)})와의 연결 고리를 만든다. 특히, 섹션 4에서 정의한 점, 경로, 비중첩 경로 사이의 전사적 사상은 스네이크 모듈의 구조를 보존하면서도 랭글란즈 변환을 구현한다.

두 번째는 “두 번째 추측”(모듈의 캐릭터 (\chi(V))를 랭글란즈 이중 대수의 캐릭터들의 양의 정수 선형 결합으로 분해할 수 있다) 즉, 양의 정수 계수를 갖는 분기 규칙을 제시하는 것이다. 저자들은 먼저 타입 (A_{2n-1}^{(1)})와 (A_{2n-1}^{(2)}) 사이의 폴딩(folding) 사상을 이용해 캐릭터를 일치시킨다(정리 3.14). 이어서 Mukhin‑Young의 경로 기술을 활용해 타입 (B_n^{(1)}) 스네이크 모듈의 (q)-캐릭터를 비중첩 경로 집합으로 표현하고, 이를 비틀린 타입 (A_{2n-1}^{(2)})의 경로와 일대일 대응시킨다(정리 6.2, 6.6).

핵심은 섹션 5에서 증명된 정리 5.2이다. 여기서는 타입 (A_{n-1}^{(1)}) 스네이크 모듈들의 캐릭터가 행렬식 형태로 표현될 수 있음을 보이고, 이를 통해 두 종류의 경로 집합 사이의 동등성을 확립한다. 이 행렬식 공식은 이전 연구(예: