[논문 리뷰] Rigidity in higher representation theory

Sabin Cautis|arXiv (Cornell University)|2014. 09. 02.

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

한 줄 요약

이 논문은 카테고리적 $\mathfrak{g}$-작용의 최소 프레임워크로 $(\mathfrak{g},\theta)$ 작용을 도입하여, 호모로지 계산을 통해 이러한 작용이 퀼 히브 대수(즉, KLR 대수)의 작용을 자연스럽게 지닌다는 것을 증명한다. 핵심 결과는 강성 현상이다: 약간의 조건 하에, $\mathfrak{g}$-함수들의 복합체의 내부자기변환 대수는 리 대수 $\mathfrak{g}$에 의해 결정되며, 이는 카테고리화된 양자군에 대한 칸단-로우리에-루키에 2표현 이론을 더 일반적인 카테고리적 $\mathfrak{g}$-작용으로 일반화한다.

ABSTRACT

We describe a categorical g action, called a (g,theta) action, which is easier to check in practice. Most categorical g actions can be shown to be of this form. The main result is that a (g,theta) action carries actions of quiver Hecke algebras (KLR algebras). We discuss applications of this fact to categorical vertex operators, affine Grassmannians (or Nakajima quiver varieties) and to homological knot invariants.

연구 동기 및 목표

• 카테고리적 $\mathfrak{g}$-작용의 최소 프레임워크를 확립하여, 전체 칸단-로우리에-루키에 2표현보다 예제에서 검증하기 쉬운 구조를 제공한다.
• 단순한 카테고리적 $\mathfrak{g}$-작용이 사전에 분할 거듭제곱이나 세르 관계를 가정하지 않더라도, 카테고리화된 양자군에 필수적인 퀄 히브 대수의 작용을 지닐 수 있는지에 대한 문제를 해결한다.
• $(\mathfrak{g},\theta)$-작용의 구조 하에서 $\mathfrak{g}$-함수들의 복합체의 내부자기변환 대수가 KLR 대수에 의해 지배됨을 증명함으로써 강성 현상을 확립한다.
• KLR 작용에 필요한 충분한 조건를 규명하여, 칸단-로우리에 2표현 이론의 적용 범위를 더 넓은 범주적 $\mathfrak{g}$-작용 클래스로 확장한다.

제안 방법

• 카테고리적 $\mathfrak{g}$-작용의 최소 구조로 추가 데이터 $\theta$를 포함한 $(\mathfrak{g},\theta)$ 작용의 개념을 도입한다.
• 카테고리적 $\mathfrak{g}$-작용의 공리에서 유도되는 충족 조건과 동치관계를 이용해 $\operatorname{Hom}$-공간의 계산을 수행하여 자연 변환의 제약 조건을 유도한다.
• $\mathfrak{g}$-함수들의 복합체 사이의 $\operatorname{Hom}$-공간에서 차원 수세기와 비영성 증명을 통해 $T_{ij}$, $X_i$, $T_{ijk}$ 사상들을 구성한다.
• 호모로지 계산을 통해 필요한 관계(예: $T_{iji} = T_{jij}$, $T_{ijk} = T_{jik}$)를 검증함으로써 애매한 나일헤이크 대수의 작용을 확립한다.
• 소실 가능성이 있는 2모르피즘을 다루기 위해 일시적 사상(Transient maps)을 사용하며, $\mathfrak{g} = \mathfrak{sl}_n$일 경우 일시적 사상으로 나누는 것이 불필요하다는 조건을 도입한다.
• [CLa]의 결과를 응용하여, $(\mathfrak{g},\theta)$ 작용이 일시적 사상으로 나누어진 후 칸단-로우리에의 의미에서 2표현을 유도함을 밝힌다.

실험 결과

연구 질문

• RQ1 분할 거듭제곱이나 세르 관계를 가정하지 않은 단순한 카테고리적 $\mathfrak{g}$-작용이라도, 퀄 히브 대수(KLR 대수)의 작용을 지닐 수 있는가?
• RQ2 내부자기변환 대수가 KLR 대수에 의해 지배되도록 하기 위해 추가로 필요한 최소한의 구조($\theta$)는 무엇인가?
• RQ3 $\mathfrak{g}$-함수들의 복합체 사이의 자연 변환의 구조가 리 대수 $\mathfrak{g}$에 의해 얼마나 강하게 결정되는가?
• RQ4 일시적(소실 가능) 2모르피즘은 어떤 조건에서 KLR 대수 작용의 구성에서 안전하게 무시할 수 있는가?
• RQ5 강성 결과는 모든 카크-무디 대수로 확장 가능한가, 아니면 $\mathfrak{sl}_n$을 초월해 장애 요소가 존재하는가?

주요 결과

• 정리 2.2에 따르면, $(\mathfrak{g},\theta)$ 작용은 일시적 사상으로 나누어진 후에 퀄 히브 대수의 작용을 지닌다.
• $\operatorname{End}({\sf{E}}_i{\sf{E}}_i)$의 내부자기변환 대수는 $\mathfrak{g}$-작용 데이터에 의해 제약을 받으며, 이는 $X_i$와 $T_{ii}$ 사상의 구성에 기여한다.
• $\dim \operatorname{Hom}({\sf{E}}_i{\sf{E}}_j{\sf{E}}_k{\mathbf{1}}_\lambda, {\sf{E}}_k{\sf{E}}_j{\sf{E}}_i{\mathbf{1}}_\lambda\langle 3\rangle)$의 차원은 1 이하이며, 이는 특정한 무게 프로젝터 ${\mathbf{1}}_\mu$가 비영이면 정확히 1이 된다.
• 서로 다른 $i,j,k$에 대해 $\dim \operatorname{Hom}({\sf{F}}_k{\sf{E}}_i{\sf{E}}_j{\mathbf{1}}_\lambda, {\sf{E}}_j{\sf{E}}_i{\sf{F}}_k{\mathbf{1}}_\lambda\langle -\langle i,j\rangle \rangle) = 1$ 이다. 이는 모든 관련된 무게 프로젝터가 비영일 때에만 성립한다.
• $\mathfrak{g} = \mathfrak{sl}_n$일 경우 일시적 사상 조건을 생략할 수 있으며, KLR 대수 작용은 몫을 취하지 않아도 성립한다.
• 결과적으로 $(\mathfrak{g},\theta)$ 작용이 일시적 사상으로 나누어진 후 칸단-로우리에의 의미에서 2표현을 유도함을 시사한다.