[논문 리뷰] Affine Hecke algebras and generalisations of quiver Hecke algebras for type B

Loïc Poulain d’Andecy, Ruari Walker|arXiv (Cornell University)|2017. 12. 15.

Algebraic structures and combinatorial models참고 문헌 10인용 수 4

한 줄 요약

이 논문은 타입 B의 애파인 헤이크 복합체의 순환 몫과 바라고노로와 바세로트의 구성에서 영감을 얻은 일반화된 가중치 대수의 가군 사이에 등장하는 이somorphism을 수립하며, 고유값에 대한 제약 없이 브운단과 클레슈체프의 타입 A 이somorphism을 타입 B로 확장한다. 주요 기여는 타입 B의 순환 애파인 헤이크 대수를 퀴버 기반 대수를 통해 표현한 새로운 표현 방식으로, 이는 그들의 표현 이론을 분류화하는 데 기여한다.

ABSTRACT

We define and study cyclotomic quotients of affine Hecke algebras of type B. We establish an isomorphism between direct sums of blocks of these algebras and a generalisation, for type B, of cyclotomic quiver Hecke algebras which are a family of graded algebras closely related to algebras introduced by Varagnolo and Vasserot. Inspired by the work of Brundan and Kleshchev we first give a family of isomorphisms for the corresponding result in type A which includes their original isomorphism. We then select a particular isomorphism from this family and use it to prove our result.

연구 동기 및 목표

• 브운단과 클레슈체프의 타입 A에서의 순환 헤이크 대수와 순환 KLR 대수 사이의 이somorphism을 타입 B로 일반화한다.
• 고유값에 대한 제약 없이 모든 유한차원 표현을 포괄하는 타입 B의 애파인 헤이크 대수의 순환 몫을 정의한다.
• 순환 KLR 대수와 유사한 일반화된 가중치 대수의 가족을 구성하여, 이는 타입 B의 표현 이론을 분류화하는 프레임워크로 기능한다.
• 이러한 일반화된 대수들이 타입 B의 애파인 헤이크 대수의 순환 몫과 이somorphic임을 증명하며, 타입 A 결과를 고유값 제약 없이 전반적으로 확장한다.

제안 방법

• 정수 집합 $ I_{\nu_1} \cup \cdots \cup I_{\nu_l} $ 위에 다중도 수함수 $ m $을 사용하여 애파인 헤이크 대수 $ \text{H}(B_n) $의 순환 몫 $ H(B_n)_{\boldsymbol{\nu},m} $를 정의한다. 여기서 $ I_{\nu} = \{ \nu^\epsilon q^{2l} \mid \epsilon = \pm 1, l \in \mathbb{Z} \} $이다.
• 바라고노로와 바세로트가 사용한 퀴버를 일반화하여, 정점이 $ I_{\nu_1} \cup \cdots \cup I_{\nu_l} $에 의해 인덱싱되고 $ i $에서 $ q^2 i $로의 화살표를 갖는 퀴버 $ \Gamma_{\boldsymbol{\nu}} $를 구성한다.
• 퀴버 $ \Gamma_{\boldsymbol{\nu}} $에 관련된 가중치 대수로 정의된 대수 $ V_{\boldsymbol{\nu}}^n $과 다중도 수함수 $ m $에 의한 순환 몫 $ V_{\boldsymbol{\nu},m}^n $를 정의한다.
• 블록들 사이의 이소모르피즘의 가족을 수립하고, 이 가족에서 특정 이소모르피즘을 선택하여 주요 결과를 증명한다.
• 특히 $ X^{-\alpha_0} $와 $ X^{-\alpha_1} $를 포함하는 경우에 대해, 애파인 헤이크 대수 $ \widehat{H}(B_n)^{\text{loc}} $에서 국소화 기법을 사용하여 생성자 $ \Phi^H_0, \Phi^H_1, g_0, g_1 $의 브레인드 관계와 교환 관계를 검증한다.
• 일반화된 대수 $ V_{\boldsymbol{\nu},m}^n $의 정의 관계, 예를 들어 브레인드 관계와 $ \Phi_0, \Phi_1 $를 포함하는 교환 관계가 국소화된 대수에서의 직접 계산을 통해 $ H(B_n)_{\boldsymbol{\nu},m} $에서 만족됨을 확인한다.

실험 결과

연구 질문

• RQ1 타입 A에서의 순환 헤이크 대수와 순환 KLR 대수 사이의 이소모르피즘이 애파인 헤이크 대수의 타입 B로 확장될 수 있는가?
• RQ2 표현 이론을 분류화하는 데 적합한 타입 B에 대한 순환 KLR 대수의 적절한 일반화는 무엇인가?
• RQ3 고유값에 제약을 두지 않고, 타입 B의 애파인 헤이크 대수의 표현 이론을 순환 몫을 통해 완전히 포괄할 수 있는가?
• RQ4 일반화된 대수 $ V_{\boldsymbol{\nu},m}^n $의 정확한 대수적 구조는 무엇이며, 순환 몫 $ H(B_n)_{\boldsymbol{\nu},m} $와의 관계는 어떠한가?
• RQ5 일관된 이소모르피즘의 가족을 사용하여 $ H(B_n)_{\boldsymbol{\nu},m} $와 $ V_{\boldsymbol{\nu},m}^n $ 사이의 이소모르피즘을 수립할 수 있으며, 그 가족의 한 성분이 전체 결과를 도출할 수 있는가?

주요 결과

• 타입 B의 애파인 헤이크 대수의 순환 몫 $ H(B_n)_{\boldsymbol{\nu},m} $은 정점이 $ I_{\nu_1} \cup \cdots \cup I_{\nu_l} $이고 화살표가 $ i \to q^2 i $인 퀴버 $ \Gamma_{\boldsymbol{\nu}} $에 관련된 퀴버 대수의 순환 몫인 일반화된 대수 $ V_{\boldsymbol{\nu},m}^n $과 이소모르픽이다.
• 이소모르피즘은 이소모르피즘의 가족에서 특정 이소모르피즘을 선택하여 수립되며, 이는 브운단과 클레슈체프의 타입 A 결과를 타입 B로 일반화한다.
• 특히 $ \pm 1 $이 고유값에서 제외되는 제약이 제거되어, $ \widehat{H}(B_n) $의 모든 유한차원 표현이 이러한 몫을 통해 포괄된다.
• 일반화된 대수 $ V_{\boldsymbol{\nu},m}^n $은 바라고노로와 바세로트의 대수를 일반화하여 정점 집합에 $ \pm 1 $을 포함시키며, 완전한 분류화에 적합하다.
• 일반화된 대수 $ V_{\boldsymbol{\nu},m}^n $의 정의 관계, 예를 들어 브레인드 관계와 $ (\Phi_0^H \Phi_1^H - \Phi_1^H \Phi_0^H)e^H(\mathbf{i}) = (g_0 g_1 - g_1 g_0)e^H(\mathbf{i}) $와 같은 교환 관계가 국소화된 대수에서의 직접 계산을 통해 $ H(B_n)_{\boldsymbol{\nu},m} $에서 만족됨을 입증하였다.
• 모든 경우에서 생성자가 브레인드 관계를 만족할 경우 $ Br_\Phi e^H(\mathbf{i}) = 0 $이 성립함을 확인하여, 일반화된 대수의 구조와의 일관성을 확인하였다.