[논문 리뷰] Representation type of finite quiver Hecke algebras of type $A^{(2)}_{2\ell}$

Susumu Ariki, Euiyong Park|arXiv (Cornell University)|2012. 08. 04.

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

한 줄 요약

이 논문은 $A^{(2)}_{2\ell}$ 유형의 유한 퀼레 히케 대수에 대한 치수 공식과 표현 유형 기준을 수립하며, 아이와호리-히케 대수에 대한 에르만과 나카노의 정리로 일반화한다. 이 대수들은 $k=0$일 때 단순하며, $k=1$일 때 유한 표현 유형이고, $k\geq2$일 때는 야수 표현 유형이며, 흐린 표현 유형은 발생하지 않으며, 순환 히케 대수를 초월한 기존 결과를 확장한다.

ABSTRACT

We study cyclotomic quiver Hecke algebras $R^{Λ_0}(β)$ in type $A^{(2)}_{2\ell}$, where $Λ_0$ is the fundamental weight. The algebras are natural $A^{(2)}_{2\ell}$-type analogue of Iwahori-Hecke algebras associated with the symmetric group, from the viewpoint of the Fock space theory developed by the first author and his collaborators. We give a formula for the dimension of the algebra, and a simple criterion to tell the representation type. The criterion is a natural generalization of Erdmann and Nakano's for the Iwahori-Hecke algebras. Except for the examples coming from cyclotomic Hecke algebras, no results of these kind existed for cyclotomic quiver Hecke algebras, and our results are the first instances beyond the case of cyclotomic Hecke algebras.

연구 동기 및 목표

• 아이와호리-히케 대수에서 에르만과 나카노의 표현 유형 분류를 순환 퀄레 히케 대수의 $A^{(2)}_{2\ell}$ 유형으로 확장하기.
• $R^{\Lambda_0}(\beta)$에 대한 치수 공식을 제공하여 순환 퀄레 히케 대수 이론에서 오랫동안 빈곤했던 부분을 메우기.
• 우도 순서와 캐논리컬 표에서 유도된 프로젝션 원소를 사용하여 $R^{\Lambda_0}(\beta)$에 대한 일반화된 셀룰러 구조를 수립하기.
• 모든 $\ell \geq 1$에 대해 $R^{\Lambda_0}(\beta)$의 표현 유형을 통일적으로 결정하기.
• 이 가족에서 흐린 표현 유형이 발생하지 않음을 보이며, 일부 다른 리 유형과 대조됨.

제안 방법

• 형식 $A^{(2)}_{2\ell}$에서 기본 무게 $\Lambda_0$와 관련된 순환 퀄레 히케 대수 $R^{\Lambda_0}(\beta)$를 폭발 공간 프레임워크를 사용하여 정의하기.
• 웨일 군 궤도와 무게 분해 $\beta = \Lambda_0 - \kappa + k\delta$를 사용하여 대수를 매개변수화하기.
• 우도 순서에 따라 정렬된 양의 영역을 인덱스로 하는 두쪽 이상의 아이디얼 $J^{<\lambda}$에 의한 필터링을 통해 일반화된 셀룰러 구조를 구성하기.
• 셀 모듈 $C(\lambda) = Ae_\lambda / J^{<\lambda}e_\lambda$과 이중 모듈 $C(\lambda) \otimes_{B^\lambda} C(\lambda)^{\rm op} \to A/J^{<\lambda}$를 정의하고, 곱셈 사상이 구조를 유도하기.
• 쌍 $(C(\lambda), C(\lambda)^{\rm op})$가 약한 모리타 쌍을 이룬다는 것을 증명하여 일반화된 셀룰러 대수 구조를 확립하기.
• 일반화된 셀룰러 구조를 적용하여 치수 공식을 유도하고 매개변수 $k$에 따라 표현 유형을 분석하기.

실험 결과

연구 질문

• RQ1 형식 $A^{(2)}_{2\ell}$에서 순환 퀄레 히케 대수 $R^{\Lambda_0}(\beta)$의 치수는 무엇인가?
• RQ2 $R^{\Lambda_0}(\beta)$의 표현 유형은 무엇이며, 무게 매개변수 $k$에 따라 어떻게 달라지는가?
• RQ3 $A^{(2)}_{2\ell}$에 대한 표현 유형 분류가 모든 $\ell \geq 1$에 대해, 특히 $\ell=1$일 때도 에르만과 나카노의 결과를 균일하게 일반화하는가?
• RQ4 캐논리컬 표와 우도 순서를 사용하여 $R^{\Lambda_0}(\beta)$에 대한 일반화된 셀룰러 구조를 구성할 수 있는가?
• RQ5 이 가족에서 흐린 표현 유형이 발생하는가, 아니면 $A^{(1)}_{e-1}$ 유형과 마찬가지로 존재하지 않는가?

주요 결과

• $R^{\Lambda_0}(\beta)$의 치수는 무게 $k$와 $e$-핵 분할에 따라 결정되는 공식으로 주어지며, 순환 히케 대수를 초월한 첫 번째 결과이다.
• 대수 $R^{\Lambda_0}(\beta)$는 $k=0$일 때 단순하며, $k=1$일 때는 유한 표현 유형이지만 단순하지는 않으며, $k \geq 2$일 때는 야수 표현 유형이며, 흐린 표현 유형은 발생하지 않는다.
• 표현 유형 기준은 $\ell \geq 1$ 전반에 걸쳐 통일적이며, $A^{(2)}_2$ 사례를 포함한다. 이는 $A^{(1)}_{e-1}$ 유형의 행동과는 대조된다.
• 일반화된 셀룰러 구조는 두쪽 이상의 아이디얼 $J^{<\lambda}$에 의한 필터링을 통해 구성되며, 캐논리컬 표에서 유도된 프로젝션 원소 $e_\lambda$를 사용하여 셀 모듈을 정의한다.
• 곱셈 사상 $\varphi_{A/J^{<\lambda}}$와 $\varphi_{B^\lambda}$는 약한 모리타 쌍의 공리를 만족하여 일반화된 셀룰러 성질을 확인한다.
• 곱셈 사상 $\varphi_{B^\lambda}$에 의해 유도되는 이중선형 형식 $\langle x,y \rangle$는 $\varphi_{A/J^{<\lambda}}$가 반대자기환과 교환 가능할 경우 대칭적이며, 일반화된 셀룰러 프레임워크를 뒷받침한다.