[논문 리뷰] Affinizations and R-matrices for quiver Hecke algebras

Masaki Kashiwara, Euiyong Park|arXiv (Cornell University)|2015. 05. 13.

Algebraic structures and combinatorial models참고 문헌 11인용 수 5

한 줄 요약

이 논문은 대칭 사례로부터 일반화된 임의의 퀘이브 히케 대수에 대해 아핀화와 R-행렬을 도입한다. 유한형일 경우, 유한 차원성을 유지하고 단순 모듈을 단순 모듈 또는 영으로 보존하는 이중성 함자 $ \mathfrak{F}^{\mathcal{D}} $ 를 구축하며, 양자군 간의 단사 준동형을 분류화한다.

ABSTRACT

We introduce the notion of affinizations and R-matrices for arbitrary quiver Hekcke algebras. We show that they enjoy similar properties to those for symmetric quiver Hecke algebras. We next define the notion of a duality datum and construct a tensor functor between graded module categories of two quiver Hecke algebras. We give several examples of such functors .

연구 동기 및 목표

• 대칭 퀘이브 히케 대수에서의 아핀화와 R-행렬 개념을 임의의 퀘이브 히케 대수로 일반화한다.
• 아핀화된 실수 단순 모듈과 그들의 R-행렬로 구성된 이중성 자료 $\mathcal{D}$ 를 정의한다.
• 퀘이브 히케 대수 $R^\mathcal{D}$ 와 $R$ 의 그레이드 모듈 범주 사이의 텐서 함자 $\mathfrak{F}^{\mathcal{D}}$ 를 구축한다.
• $R^\mathcal{D}$ 가 유한형일 경우 $\mathfrak{F}^{\mathcal{D}}$ 가 유한 차원 모듈을 유한 차원 모듈로 보존하고 정확성을 유지함을 증명한다.
• 함자 $\mathfrak{F}^{\mathcal{D}}$ 가 양자군의 음의 부분군 간 단사 준동형을 분류화함을 보인다.

제안 방법

• 정의 2.2에서 제시된 조건을 만족하는, 동차 자기형사상 $z_\mathsf{M}$ 를 가진 그레이드 $R(\beta)$-모듈 $\mathsf{M}$ 을 $\bar{M}$ 의 아핀화 $(\mathsf{M}, z_\mathsf{M})$ 로 정의한다. 여기서 $\mathsf{M}/z_\mathsf{M}\mathsf{M} \simeq \bar{M}$ 이다.
• 스펙트럴 매개변수와의 호환성을 확보하기 위해, $s$ 를 $R_{\mathsf{M},N}$ 의 영점의 차수로 두고, 정규화된 R-행렬 $R^{\mathrm{norm}}_{\mathsf{M},N} = z_\mathsf{M}^{-s} R_{\mathsf{M},N}$ 을 구성한다.
• 브레드 관계와 교환 관계를 만족하는, 아핀화된 실수 단순 모듈 $\Delta(\beta_j)$, 그들의 스펙트럴 매개변수 $z_j$, 그리고 정규화된 R-행렬 $\mathsf{R}_{j,k}$ 로 이루어진 이중성 자료 $\mathcal{D}$ 를 정의한다.
• 이중성 자료 $\mathcal{D}$ 를 사용하여 콘볼루션과 인버트워 기법을 활용해, $\mathfrak{F}^{\mathcal{D}}: \operatorname{Mod}_{\mathrm{gr}}(R^\mathcal{D}) \to \operatorname{Mod}_{\mathrm{gr}}(R)$ 를 구성한다.
• $R^\mathcal{D}$ 가 유한형일 경우 $\mathfrak{F}^{\mathcal{D}}$ 가 정확하고, 유한 차원성을 유지함을 증명한다.
• $\mathcal{D}$ 에서 유도된 행렬 $\mathsf{A}^\mathcal{D}$ 가 유한형 리 대수의 카르탕 행렬과 일치함을 확인하여, 양자군 준동형의 분류화를 보장한다.

실험 결과

연구 질문

• RQ1 대칭 퀘이브 히케 대수에서의 아핀화와 R-행렬을 임의의 퀘이브 히케 대수로 일반화할 수 있는가?
• RQ2 유한 차원 모듈을 유한 차원 모듈로 보존하고 단순성을 유지하는 이중성 함자 $\mathfrak{F}^{\mathcal{D}}$ 가 존재하는가?
• RQ3 아핀화된 실수 단순 모듈의 R-행렬이 텐서 함자를 유도하는 이중성 자료 $\mathcal{D}$ 를 형성할 수 있는가?
• RQ4 $\mathfrak{F}^{\mathcal{D}}$ 가 양자군의 음의 부분군 간 단사 준동형을 분류화하는가?
• RQ5 $R^\mathcal{D}$ 가 유한형일 경우 $\mathfrak{F}^{\mathcal{D}}$ 가 단순 모듈에 대해 정확히 어떻게 작용하는가?

주요 결과

• $\mathfrak{F}^{\mathcal{D}}$ 는 $R^\mathcal{D}$-유한 차원 모듈을 $R$-유한 차원 모듈로 보낸다.
• $R^\mathcal{D}$ 가 유한형일 경우, 함자 $\mathfrak{F}^{\mathcal{D}}$ 는 정확하다.
• $\mathfrak{F}^{\mathcal{D}}$ 는 $R^\mathcal{D}$-단순 모듈을 $R$-단순 모듈 또는 영으로 보낸다.
• 아핀화된 실수 단순 모듈과 그들의 R-행렬로부터 구성된 이중성 자료 $\mathcal{D}$ 에 대해 $\mathfrak{F}^{\mathcal{D}}$ 는 단사 준동형 $U^{-}(\overline{\mathfrak{g}}) \to U^{-}(\mathfrak{g})$ 를 분류화한다.
• $R^\mathcal{D}$ 가 $A_{\ell-1}$ 형식이고 $R$ 가 $B_\ell$ 형식일 경우, $j=1$ 이면 $\mathfrak{F}^{\mathcal{D}}(L^\mathcal{D}(j)) \simeq L(1,1,2)$ 이고, $j \neq 1$ 이면 $L(j+1)$ 이다.
• $\mathfrak{F}^{\mathcal{D}}$ 가 콘볼루션 곱에 작용하는 방식은 $j \neq 1$ 이면 $\mathfrak{F}^{\mathcal{D}}(N \diamond L^\mathcal{D}(j)) \simeq \mathfrak{F}^{\mathcal{D}}(N) \diamond L(j+1)$ 이고, $j=1$ 이면 $\mathfrak{F}^{\mathcal{D}}(N) \diamond L(1,1,2)$ 이다.