[논문 리뷰] On graded presentations of Hecke algebras and their generalizations

Ben Webster|arXiv (Cornell University)|2013. 05. 02.

Algebraic structures and combinatorial models참고 문헌 15인용 수 17

한 줄 요약

이 논문은 '헤크 가닥'의 완비화된 대수들—아핀 헤크, 순환 헤크, q-스푸르 대수를 일반화한 것—과 'KLR 가닥'의 대응하는 대수들 사이의 등급 이sovomorphism을 확립한다. 이는 가중치가 있는, 순환적인 KLR 대수를 포함한 KLR 가닥을 포함한다. 핵심 기여는 형식적 매개변수에 대한 완비화를 통한 통합된 프레임워크로, 브운단-클레슈체프 이sovomorphism을 일반화하고, A형 및 애피니티 A형에서 다양한 표현론적 대상에 대한 등급 표현을 제공한다.

ABSTRACT

In this paper, we define a number of closely related isomorphisms. On one side of these isomorphisms sit a number of of algebras generalizing the Hecke and affine Hecke algebras, which we call the "Hecke family"; on the other, we find generalizations of KLR algebras in finite and affine type A, the "KLR family." We show that these algebras have compatible isomorphisms generalizing those between Hecke and KLR algebras given by Brundan and Kleshchev. This allows us to organize a long list of algebras and categories into a single system, including (affine/cyclotomic) Hecke algebras, (affine/cyclotomic) $q$-Schur algebras, (weighted) KLR algebras, category $\mathcal{O}$ for $\mathfrak{gl}_N$ and for the Cherednik algebras for the groups $\mathbb{Z}/e\mathbb{Z}\wr S_m$, and give graded presentations of all of these objects.

연구 동기 및 목표

• 표현 이론의 다양한 대수들—아핀 헤크 대수, 순환 헤크 대수, q-스푸르 대수, KLR 대수—를 하나의 구조적 프레임워크 아래 통합하기.
• 헤크 대수와 KLR 대수 사이의 브운단-클레슈체프 이sovomorphism을 가중치가 있는, 프레임된, 그리고 병합된 WF형 대수를 포함하도록 일반화하기.
• glN의 O 범주와 체레드니크 대수를 포함한 광범위한 대수 및 범주에 대한 등급 표현 제공하기.
• 형식적 매개변수와 비드럼 필터링을 사용하여 헤크형과 KLR형 대수의 완비화 사이의 이sovomorphism 수립하기.
• 완비화와 등급 모리타 동치를 통해 열화된 설정과 비열화된 설정 간의 관계 명확히 하기.

제안 방법

• 두 가닥의 대수를 정의한다: '헤크 가닥'(헤크와 q-스푸르 대수를 일반화함)과 'KLR 가닥'(KLR와 가중치가 있는 KLR 대수를 일반화함), 각각 순위 n과 매개변수 q로 매개변수화된다.
• 형식적 매개변수 h를 사용하여 이러한 대수의 형식적 완비화를 도입하며, 헤크 측은 q = qeh로, KLR 측은 h로 딜레이크 다이어그램을 변형한다.
• 각 4가지 유형(O, W, F, WF)에 대해 비드럼을 유지하는 사상으로 헤크형과 KLR형 대수의 완비화 사이의 이sovomorphism을 구성한다.
• 도식적 계산과 다항식 표현을 사용하여 이sovomorphism을 검증하며, 특히 빨간색과 가시성 없는 실선(ghost strands)을 포함한 교차점과 비드럼을 비교한다.
• KLR 측에서 등급 비드럼(e′′ 등)을 정의하여 헤크 측의 불안정한 비드럼과 호환되도록 하며, 등급과의 일치를 보장한다.
• 기존의 모리타 동치 및 등급 모리타 동치 결과(예: 아리키의 q-스푸르 대수와의 관계)를 활용하여 등급 구조의 일관성 확인하기.

실험 결과

연구 질문

• RQ1 모든 유형(O, W, F, WF)에 걸쳐 일반화된 헤크 대수와 KLR 대수 사이에 통합된 이sovomorphism 프레임워크를 수립할 수 있는가?
• RQ2 완비화 하에서 순환 헤크 대수와 q-스푸르 대수의 등급 표현이 KLR 대수의 표현과 어떻게 관련되는가?
• RQ3 형식적 매개변수 h는 이러한 이sovomorphism에서 열화된 설정과 비열화된 설정을 통합하는 데 어떤 역할을 하는가?
• RQ4 KLR 도식학에서 비드럼 축소와 가시성 없는 실선 구조에 대해 이sovomorphism은 어떻게 행동하는가?
• RQ5 이러한 이sovomorphism은 O 범주와 양자군의 분류된 범주화와 같은 카테고리적 구조를 어느 정도 유지하는가?

주요 결과

• 논문은 일반화된 WF형 헤크 대수와 WF형 KLR 대수의 완비화 사이에 명시적인 이sovomorphism을 구성하며, 브운단-클레슈체프 이sovomorphism을 일반화한다.
• 이sovomorphism은 헤크 측의 비드럼 ǫu를 KLR 측의 대응 비드럼 eu로 보냄으로써, 가시성 없는 실선과 교차점의 구조를 유지한다.
• 이 사상은 Xr 및 ψr 연산자의 작용을 존중하며, (6.4a) 및 (6.4b)에 명시된 공식을 통해 Xr가 가시성 없는 레이블과 유리 함수의 합으로 표현됨을 보여준다.
• 순환 q-스푸르 대수의 등급 구조는 동차 비드럼 e′′를 통해 실현되며, 아리키의 등급과 등급 모리타 동치를 통해 일치한다.
• 완비화 과정을 통해 이sovomorphism이 형식적 멱급수 대수인 bHh 및 bRh 수준에서 유지되어, 열화된 설정과 비열화된 설정의 통합이 가능해진다.
• 이 프레임워크는 체레드니크 대수 Z/eZ ≀ Sn의 O 범주를 WF형 헤크 대수의 특수한 경우로 포함하며, 이 범주에 대한 새로운 등급 표현을 제공한다.