Lusztig sheaves and integrable highest weight modules in the symmetrizable case

기술 요약: 대칭 가능(Symmetrizable) 사례에서의 루스틱 층(Lusztig Sheaves)과 적분 가능한 최고 가중 모듈(Integrable Highest Weight Modules)

문제 제기
본 논문은 대칭 가능 일반 카탄 행렬(symmetrizable generalized Cartan matrices)과 연관된 양자 군(quantum groups) $U$에 대하여, 적분 가능한 최고 가중 모듈 $L(\lambda)$ 및 그 텐서 곱 $L(\lambda_1) \otimes L(\lambda_2)$의 기하학적 범주화(geometric categorification)를 다룬다. 대칭적인 경우(카탄 행렬이 대칭인 경우)는 쿼이버 다양체(quiver varieties) 상의 루스틱 층과 나카지마(Nakajima)의 구성을 통해 광범위하게 연구되어 왔다. 반면, 대칭 가능한 사례는 비자명한 자기동형 사상(automorphisms)의 존재로 인해 상당한 난제를 안고 있다. Fang, Lan, 그리고 Xiao [6, 10]의 선행 연구는 프레임드 쿼이버(framed quivers) 상의 루스틱 층의 국소화(localization)를 사용하여 대칭적인 행렬에 대한 이러한 모듈들을 성공적으로 구현하였다. 본 논문은 주어진 쿼이버가 허용 가능한 자기동형 사상 $a$를 갖는 대칭 가능한 설정으로 이러한 결과들을 일반화하는 것을 목표로 한다.

방법론
저자들은 루스틱의 [19] 프레임드 쿼이버와 자기동형 사상의 맥락으로 확장된 주기적 함자(periodic functors) 및 퍼버스 층(perverse sheaves) 이론에 기반한 기하학적 접근법을 채택한다.

1. 설정: 대칭 가능한 일반 카탄 행렬 $C = DB$가 주어졌을 때, 저자들은 허용 가능한 자기동형 사상$a$를 갖는 유한 쿼이버$Q$를 구성한다. 이들은$N$-프레임드 쿼이버$\tilde{Q}(N)$와 그에 연관된 표현 공간(moduli space of representations) $E_{V, W_\bullet, \Omega}$를 고려한다.
2. 국소화: 저자들은 특정 폐 부분 집합(특정 선형 사상이 단사(injective)인 개집합의 여집합) 위에 지지(support)되는 복합체들에 의해 생성되는, $G_V$-동변(equivariant) 구성 가능 층(constructible sheaves)의 두꺼운 부분 범주(thick subcategory) $N_V$를 정의한다. 핵심 연구 대상은 베르디에 몫 범주(Verdie quotient category) $D^b_{G_V}(E_{V, W_\bullet, \Omega})/N_V$이며, 이를 국소화(localization)라 부른다.
3. 주기적 함자: 자기동형 $a$를 처리하기 위해, 저자들은 루스틱의 주기적 함자 방법을 적용한다. 저자들은 국소화된 범주의 대상 $B$와, 주기성 조건(순환 $o$번 적용된 $a^*$의 합성인 $a^*$의 $o$제곱이 항등 함수인 조건)을 만족하는 동형 사상 $\phi: a^*B \to B$의 쌍으로 이루어진 새로운 범주 $\widehat{Q/N}$을 구성한다.
4. 함자적 작용: 저자들은 국소화된 범주 상에서 유도(induction) 및 제한(restriction) 함자 $E_i^{(n)}$과 $F_i^{(n)}$를 정의한다. 이들은 표준적인 기하학적 함자(그라스만 다양체 및 플래그 다양체와 관련된)를 주기적 구조와 합성하여 구성된다. 결정적으로, 저자들은 이 함자들이 $a^*$와 교환(commute)됨을 증명하여, $\widehat{Q/N}$ 상에서 잘 정의된 함자로 내려올 수 있음을 보인다.
5. 교환 관계: 논문의 중요한 기술적 부분은 이 함자들에 대한 교환 관계(특히 양자 세레 관계(quantum Serre relations)와 $E$와 $F$ 사이의 관계)를 증명하는 것이다. 증명 과정은 대칭적인 경우와 실질적으로 다르며, 무영(traceless) 대상에 대한 정밀한 분석과 모듈리 공간의 층화(stratification)에 대한 자기동형의 거동에 대한 면밀한 분석을 요구한다.

주요 기여 및 결과

• $L(\lambda)$ 및 텐서 곱의 범주화: 범주 $\widehat{Q/N}$ (단, $N=1$일 때)의 그로텐디크 군(Grothendieck group)은 양자 군 $U$의 적분 가능한 최고 가중 모듈 $L(\lambda)$와 정준적으로 동형임을 보인다. 2-프레임드 경우($N=2$), 그로텐디크 군은 텐서 곱 $L(\lambda_1) \otimes L(\lambda_2)$와 동형이다.
• 부호화된 정준 기저(Signed Canonical Bases): "무영 대상"(자기동형 $a^*$에 의한 궤도들의 직합으로서 특정 치환 구조를 갖는 대상들)을 뺌으로써, 범주 내의 단순 퍼버스 층들은 $L(\lambda)$ 및 $L(\lambda_1) \otimes L(\lambda_2)$에 대한 부호화된 기저를 생성한다. 이 기저는 공변적 기하학적 페어링(contravariant geometric pairing)에 대해 거의 직교(almost orthogonal)함을 보인다.
• 양-박스터 관계(Yang–Baxter Relation): 저자들은 제한 및 유도 함자의 합성으로부터 발생하는 연산자 $R_{ij}$에 대한 양-박스터 관계를, 기하학적 설정에서의 제한 함자의 결합성(coassociativity)을 활용하여 새로운 방식으로 증명한다.
• 결정 구조(Crystal Structures): 저자들은 다음의 집합들에 대하여 대칭 가능한 결정 구조를 확립한다:
  • 나카지마 쿼이버 다양체의 $a$-고정(fixed) 기약 성분(irreducible components)의 집합.
  • 나카지마 텐서 곱 다양체의 $a$-고정 기약 성분의 집합.
  • 프레프리프로젝티브 대수(preprojective algebras)의 루스틱 닐포텐트 다양체의 $a$-고정 기약 성분의 집합.
    이러한 결정 구조들은 양자 군과 연관된 결정 기저 $B(\lambda)$ 및 $B(\lambda_1) \otimes B(\lambda_2)$와 동형임이 증명된다.

의의
본 논문은 대칭 가능한 사례에 특화된 최고 가중 모듈 및 그 텐서 곱의 기하학적 구성을 제공함으로써 Fang, Lan, 그리고 Xiao [6, 10]가 시작한 프로그램을 완성한다고 주장한다. 이는 대칭 행렬에 대한 루스틱의 층 이론적 접근법과 더 복잡한 대칭 가능 설정 사이의 간극을 메운다. 이 연구는 주기적 함자와 루스틱 층의 국소화라는 도구가 대칭 가능한 사례를 다루기에 충분히 견고하며, 알려진 결정 구조를 회복하고 더 넓은 맥락에서 텐서 곱에 대한 부호화된 정준 기저를 기하학적으로 구현할 수 있음을 입증한다. 이 결과들은 양자 군 표현에 대한 기하학적 이해를 대칭적 유형과 대칭 가능한 유형 모두를 아우르며 통합한다.