[논문 리뷰] Monoidal categories associated with strata of flag manifolds

Masaki Kashiwara, Myungho Kim외 2명|arXiv (Cornell University)|2017. 08. 15.

Algebraic structures and combinatorial models참고 문헌 14인용 수 3

한 줄 요약

이 논문은 화살표 히케 대수의 계수 부여된 모듈러 범주에 대한 부분범주로 단순화된 모노이드 범주 $\mathscr{C}_{w,v}$를 구성하며, 이는 이중으로 불변인 대수 ${}^{N'(w)}\mathbb{C}[N]^{N(v)}$를 분류하고, 국소화를 거치면 열린 리처드슨 다양체의 좌표 대수 $\mathbb{C}[\mathcal{R}_{w,v}]$를 얻는다. 주요 결과는 $\mathscr{C}_{w,v}$가 $\mathbb{C}[\mathcal{R}_{w,v}]$ 위에 존재하는 양자 클러스터 대수의 구조를 모노이드적으로 분류하며, 행렬식 모듈러들이 양자 모노이드 시드를 이룬다.

ABSTRACT

We construct a monoidal category $\mathscr{C}_{w,v}$ which categorifies the doubly-invariant algebra $^{N'(w)}\mathbb{C}[N]^{N(v)}$ associated with Weyl group elements $w$ and $v$. It gives, after a localization, the coordinate algebra $\mathbb{C}[\mathcal{R}_{w,v}]$ of the open Richardson variety associated with $w$ and $v$. The category $\mathscr{C}_{w,v}$ is realized as a subcategory of the graded module category of a quiver Hecke algebra $R$. When $v= \mathrm{id}$, $\mathscr{C}_{w,v}$ is the same as the monoidal category which provides a monoidal categorification of the quantum unipotent coordinate algebra $A_q(\mathfrak{n}(w))_{\mathbb{Z}[q,q^{-1}]}$ given by Kang-Kashiwara-Kim-Oh. We show that the category $\mathscr{C}_{w,v}$ contains special determinantial modules $\mathsf{M}(w_{\le k}Λ, v_{\le k}Λ)$ for $k=1, \ldots, \ell(w)$, which commute with each other. When the quiver Hecke algebra $R$ is symmetric, we find a formula of the degree of $R$-matrices between the determinantial modules $\mathsf{M}(w_{\le k}Λ, v_{\le k}Λ)$. When it is of finite $ADE$ type, we further prove that there is an equivalence of categories between $\mathscr{C}_{w,v}$ and $\mathscr{C}_u$ for $w,u,v \in \mathsf{W}$ with $w = vu$ and $\ell(w) = \ell(v) + \ell(u)$.

연구 동기 및 목표

• Weyl 군 원소 $w$와 $v$와 관련된 이중 불변 대수 ${}^{N'(w)}\mathbb{C}[N]^{N(v)}$를 분류하는 단순화된 모노이드 범주 $\mathscr{C}_{w,v}$를 구성하는 것.
• 국소화를 거친 후 $\mathscr{C}_{w,v}$가 열린 리처드슨 다양체 $\mathcal{R}_{w,v}$의 좌표 대수 $\mathbb{C}[\mathcal{R}_{w,v}]$를 실현하는 것.
• $\mathscr{C}_{w,v}$가 서로 교환 가능한 특수 행렬식 모듈러 $\mathsf{M}(w_{\leq k}\Lambda, v_{\leq k}\Lambda)$를 포함하며, 이들이 양자 모노이드 시드를 이룬다는 것을 확립하는 것.
• 화살표 히케 대수가 대칭적이고 유한한 $ADE$ 유형일 경우, $w = vu$ 이며 $\ell(w) = \ell(v) + \ell(u)$ 라면 $\mathscr{C}_{w,v}$가 $\mathscr{C}_u$와 동치임을 증명하는 것.

제안 방법

• 화살표 히케 대수 $R$의 계수 부여된 모듈러 범주의 전체 부분범주로서 $\mathscr{C}_{w,v}$를 구성하며, [24]에서 제시된 쿠스피드 분해와 볼록 전순서를 활용한다.
• 행렬식 모듈러 $\mathsf{M}(w_{\leq k}\Lambda, v_{\leq k}\Lambda)$는 Weyl 군의 무게에 대한 작용을 연결하는 함수자 $\mathbb{W}$에 의한 상으로 구성된다.
• 행렬식 모듈러 간의 $R$-행렬은 정규화된 $R$-행렬 공식을 사용하여 분석되며, 대칭 화살표 히케 대수의 조건 하에서 차수 공식이 유도된다.
• 코너볼루션 곱과 양자 클러스터 대수의 구조 간의 호환성을 바탕으로 단순화된 구조를 확립하며, 이는 초기 시드의 적합성에 의존한다.
• 화살표 히케 대수가 대칭적이고 $ADE$ 유형일 때, 조건 $\ell(w) = \ell(v) + \ell(u)$와 함께 $\mathscr{C}_{w,v}$와 $\mathscr{C}_u$ 사이의 동치성을 증명한다.
• 초기 시드의 이미지가 $\mathbb{W}$에 의해 양자 클러스터 대수의 적합성 조건을 만족함을 보여 이로써 $\mathscr{C}_{w,v}$가 양자 클러스터 대수 $A_{w,v}$의 모노이드적 분류임을 검증한다.

실험 결과

연구 질문

• RQ1 Weyl 군 원소 $w$와 $v$에 대해 이중 불변 대수 ${}^{N'(w)}\mathbb{C}[N]^{N(v)}$를 분류하는 단순화된 모노이드 범주를 어떻게 구성할 수 있는가?
• RQ2 $\mathscr{C}_{w,v}$와 열린 리처드슨 다양체 $\mathcal{R}_{w,v}$의 좌표 대수 $\mathbb{C}[\mathcal{R}_{w,v}]$ 사이의 관계는 무엇인가?
• RQ3 $\mathscr{C}_{w,v}$ 내의 행렬식 모듈러 $\mathsf{M}(w_{\leq k}\Lambda, v_{\leq k}\Lambda)$가 상호 교환 가능하며 양자 모노이드 시드를 형성하는가?
• RQ4 $w = vu$ 이며 $\ell(w) = \ell(v) + \ell(u)$ 라면, 어떤 조건에서 $\mathscr{C}_{w,v}$가 $\mathscr{C}_u$와 동치가 되는가?
• RQ5 $\mathscr{C}_{w,v}$가 $\mathbb{C}[\mathcal{R}_{w,v}]$ 위의 양자 클러스터 대수의 구조를 모노이드적으로 분류할 수 있는가?

주요 결과

• $\mathscr{C}_{w,v}$는 화살표 히케 대수 $R$의 계수 부여된 모듈러 범주의 부분범주로서 구성되며, 이는 이중 불변 대수 ${}^{N'(w)}\mathbb{C}[N]^{N(v)}$를 분류한다.
• 국소화를 거친 후 $\mathscr{C}_{w,v}$는 열린 리처드슨 다양체 $\mathcal{R}_{w,v}$의 좌표 대수 $\mathbb{C}[\mathcal{R}_{w,v}]$를 실현하며, 기하학적 및 대수적 구조를 연결한다.
• $\mathscr{C}_{w,v}$는 $k=1,\dots,\ell(w)$에 대해 특수 행렬식 모듈러 $\mathsf{M}(w_{\leq k}\Lambda, v_{\leq k}\Lambda)$를 포함하며, 코너볼루션 곱에 대해 짝별로 교환 가능하다.
• 화살표 히케 대수가 대칭적일 경우, 행렬식 모듈러 간의 $R$-행렬의 차수에 대한 공식이 유도되며, 이는 양자 $R$-행렬 작용의 명시적 계산을 가능하게 한다.
• 유한한 $ADE$ 유형의 화살표 히케 대수에 대해, $w = vu$ 이며 $\ell(w) = \ell(v) + \ell(u)$ 라면 범주 간의 동치 $\mathscr{C}_{w,v} \simeq \mathscr{C}_u$ 가 확립되며, 이는 Weyl 군 원소의 분해를 반영한다.
• $\bigl{(}\{\mathsf{M}(w_{\leq p+k}\Lambda_{i_{p+k}}, v_{\leq p+k}\Lambda_{i_{p+k}})\}_{1\leq k\leq q}, \widetilde{B}\bigr{)}$는 적합한 초기 시드를 형성하며, 이는 $\mathscr{C}_{w,v}$가 양자 클러스터 대수 $A_{w,v}$의 모노이드적 분류임을 확인한다.