[논문 리뷰] Localizations for quiver Hecke algebras

Masaki Kashiwara, Myungho Kim외 2명|arXiv (Cornell University)|2019. 01. 27.

Algebraic structures and combinatorial models참고 문헌 16인용 수 6

한 줄 요약

이 논문은 퀼리 히케 대수의 일반화된 국소화 절차를 실수로 가환하는 브레이더 가닥의 가닥을 정의하여 도입함으로써, 양자 유니포텐트 좌표환의 카테고리화로부터 국소화된 모노이드 카테고리 $\widetilde{\mathscr{C}}_w$를 구성한다. 주요 결과는 $\widetilde{\mathscr{C}}_w$가 왼쪽 리지드임을 보이며, 이는 이전의 양자 클러스터 대수와 모노이드 카테고리화 작업을 확장하는 추측과 관련된다.

ABSTRACT

We provide the localization procedure for monoidal categories by a real commuting family of braiders. For an element $w$ of the Weyl group, $\mathscr{C}_w$ is a subcategory of modules over quiver Hecke algebra which categorifies the quantum unipotent coordinate algebra $A_q[\mathfrak{n}(w)]$. We construct the localization $\widetilde{\mathscr{C}_w}$ of $\mathscr{C}_w$ by adding the inverses of simple modules which correspond to the frozen variables in the quantum cluster algebra $A_q[\mathfrak{n}(w)]$. The localization $\widetilde{\mathscr{C}_w}$ is left rigid and we expect that it is rigid.

연구 동기 및 목표

• 모노이드 카테고리의 국소화 절차를 이전 설정을 넘어서 중심 대상이 아닌 브레드 스트럭처를 포함하도록 일반화하기 위해.
• 양자 클러스터 대수의 동결 변수에 해당하는 단순 모듈을 역으로 하여 국소화된 카테고리 $\widetilde{\mathscr{C}}_w$를 구성하기 위해.
• $\widetilde{\mathscr{C}}_w$의 왼쪽 리지드성을 입증하여 완전 리지드성 증명을 위한 단계를 확립하기 위해.
• 국소화를 통해 동결 변수를 포함하는 양자 유니포텐트 좌표환의 모노이드 카테고리화를 일반화하기 위해.
• 모노이드 구조와 쌍대성 성질을 유지하는 함자적 국소화의 프레임워크를 제공하기 위해.

제안 방법

• 퀄리 히케 대수의 맥락에서 실수로 가환하는 브레이더 가닥의 개념을 도입하기 위해.
• 동결 변수에 해당하는 단순 모듈 $\mathsf{M}(w\Lambda_i, \Lambda_i)$를 역으로 하여 $\mathscr{C}_w$의 국소화 $\widetilde{\mathscr{C}}_w$를 정의하기 위해.
• $R$-gmod의 콘볼루션 곱과 그린 구조를 사용하여 모노이드 카테고리 연산을 정의하기 위해.
• 드린펠트 스위치 $\mathscr{D}^{-1}$의 역을 이용하여 역 함자를 구성하기 위해, T계열과 행렬식 모듈을 활용하기 위해.
• 드린펠트 스위치 $\mathscr{D}^{-1}$를 적용하여 단순 모듈과 그 반복에 의한 이미지의 행동을 분석하기 위해.
• 왼쪽 리지드성을 입증하기 위해, $\widetilde{\mathscr{C}}_w$의 단순 $M$에 대해 $({\mathscr{D}^{-1}})^6(M) \simeq M \circ \mathsf{C}_{\beta + w_0\beta}$임을 보이기 위해.

실험 결과

연구 질문

• RQ1 모노이드 카테고리의 국소화 절차는 중심 대상 외에 브레드 스트럭처를 포함하도록 어떻게 일반화될 수 있는가?
• RQ2 국소화된 카테고리 $\widetilde{\mathscr{C}}_w$가 원래 카테고리 $\mathscr{C}_w$의 리지드성을 어떻게 유지하는가?
• RQ3 드린펠트 스위치 $\mathscr{D}^{-1}$를 사용하여 $\mathscr{C}_w$의 단순 모듈에 대한 역함수를 구성할 수 있는가?
• RQ4 $({\mathscr{D}^{-1}})^6$의 작용이 단순 모듈에 대해 양자 클러스터 대수의 구조와 어떻게 관련되는가?
• RQ5 국소화된 카테고리 $\widetilde{\mathscr{C}}_w$는 리지드한가, 그리고 등식 $({\mathscr{D}^{-1}})^6(M) \simeq M \circ \mathsf{C}_{\beta + w_0\beta}$는 $M \in \widetilde{\mathscr{C}}_{w_0}$에서 함자적으로 만들 수 있는가?

주요 결과

• 국소화된 카테고리 $\widetilde{\mathscr{C}}_w$는 모든 객체가 왼쪽 쌍대를 가지므로 왼쪽 리지드임이 입증되었다.
• 드린펠트 스위치 $\mathscr{D}^{-1}$는 임의의 단순 $R(\beta)$-모듈 $M$에 대해 $({\mathscr{D}^{-1}})^6(M) \simeq M \circ \mathsf{C}_{\beta + w_0\beta}$를 만족한다.
• 등식 $({\mathscr{D}^{-1}})^6(M) \simeq M \circ \mathsf{C}_{\beta + w_0\beta}$는 높이 $\mathrm{ht}(\beta)$에 대한 귀납법과 콘볼루션 곱에서의 사상 유일성에 의해 증명되었다.
• $\widetilde{\mathscr{C}}_w$의 구성은 이전 연구에서 중심 대상만을 사용한 것과는 달리 실수로 가환하는 브레이더 가닥의 가닥을 기반으로 하며, 이를 일반화한 것이다.
• 국소화 과정은 양자 클러스터 대수 $A_q(\mathfrak{n}(w))$에서 동결 변수에 해당하는 단순 모듈 $\mathsf{M}(w\Lambda_i, \Lambda_i)$를 역으로 하여 카테고리화를 풍부하게 한다.
• 추측 5.15는 등식 $({\mathscr{D}^{-1}})^6(M) \simeq M \circ \mathsf{C}_{\beta + w_0\beta}$가 $M \in \widetilde{\mathscr{C}}_{w_0}$에서 함자적으로 만들 수 있음을 제안한다.