[논문 리뷰] Generalized quiver Hecke algebras

Julia Sauter|arXiv (Cornell University)|2013. 06. 17.

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

한 줄 요약

이 논문은 Derksen과 Weyman이 정의한 일반화된 퀼리 표현으로 Varagnolo와 Vasserot의 기하적 구성법을 확장하여, 퀄리 히즈 대수를 일반화한다. 이를 통해 스케일드 군환, (아핀) 닐 히즈 대수, KLR 대수를 포함하는 클래스인 일반화된 퀄리-중심화 스프링거 이론을 위한 스텐버그 대수를 구성하며, Borel 경우에서 생성자와 관계를 가진 대수와 중심자 대수 사이의 동형사상이 직선화 규칙과 브레인 관계를 통해 증명된다.

ABSTRACT

We generalize the geometric construction of quiver Hecke algebras from Varagnolo and Vasserot to a setup with arbitrary connected reductive groups. This corresponds to replacing quiver representations by generalized quiver representations introduced by Derksen and Weyman. The class of algebras which we construct contains (affine) nil Hecke algebras, skew group rings of Weyl groups with polynomial rings and quiver Hecke algebras. We describe an explicit faithful representation in a polynomial ring and we calculate the generators and relations for these algebras.

연구 동기 및 목표

• 표준적인 퀄리 설정을 넘어서 일반화된 퀄리 표현으로 퀄리 히즈 대수의 기하적 구성법을 일반화하는 것.
• 이 구성에서 유도되는 새로운 대수의 클래스인 일반화된 퀄리-중심화 스프링거 이론을 위한 스텐버그 대수를 정의하고 연구하는 것.
• Weyl 군과 다항식환의 스케일드 군환, (아핀) 닐 히즈 대수, KLR 대수와 같은 기존 대수들을 하나의 프레임워크 안에서 통합하는 것.
• 생성자와 관계를 가진 대수와 일반화된 퀄리 표현의 중심자 대수 사이의 동형사상을 확립하는 것.
• 주로 Borel 설정에 적용 가능한 방법임에도 불구하고, 파라보릭 경우를 탐색하는 것.

제안 방법

• 연결된 재구성 군 $\mathbb{G}$, $G = C_{\mathbb{G}}(H)^o$ (여기서 $H \subset T \subset \mathbb{B}$ 는 아벨 부분군임), 그리고 $\mathfrak{g}$ 내의 기약 표현으로 분해되는 $G$-표현인 $V$ 를 포함하는 일반화된 퀄리 표현 $(\mathbb{G}, G, V, Gv)$ 를 사용한다.
• Borel 부분군과 관련된 코엑스터 시스템 $(W, S)$ 를 중심으로 하는 스프링거 이론의 기하적 방법을 적용한다. 여기서 $W$ 는 $\mathbb{G}$ 와 $G$ 의 웨일 군이다.
• 관계 (1)–(5) 를 만족하는 대수 $A$ 내의 생성자 $\widetilde{1_i}, \widetilde{z_i(t)}, \widetilde{\sigma_i(s)}$ 를 구성한다. 이 관계에는 브레인 관계와 다항식 작용이 포함된다.
• 웨일 군 내의 기약 단어로 인덱싱된 표준 단어의 $\mathcal{E}$-스팬으로 생성자의 곱을 표현하기 위해 직선화 규칙을 활용한다.
• 사상 $c_J: W^J \to W/W_J$ 와 브루하트 순서를 사용하여 최소 길이 대표를 정의하고 대수의 구조를 제어한다.
• 대수 $A$ 가 중심자 대수 $\mathcal{Z}_G$ 와 동형임을 증명하기 위해, $\mathcal{E}$-선형성과 자연 사상 $A \to \mathcal{Z}_G$ 의 상사상성에 의해 $A = \bigoplus_{w \in \mathbb{W}} \mathcal{E} * \widetilde{\sigma(w)}$ 를 보인다.

실험 결과

연구 질문

• RQ1 표준적인 퀄리 설정을 넘어서 일반화된 퀄리 표현을 포함하는 퀄리 히즈 대수의 기하적 구성법을 어떻게 일반화할 수 있는가?
• RQ2 이 일반화된 구성에서 유도되는 대수의 클래스는 무엇이며, KLR 대수나 닐 히즈 대수와 같은 기존 대수들과의 관계는 어떠한가?
• RQ3 기본적으로 Borel 설정에만 유효한 방법임에도 불구하고, 이 구성은 파라보릭 경우로 얼마나 확장될 수 있는가?
• RQ4 일반화된 퀄리-중심화 스프링거 이론에서 중심자 대수 $\mathcal{Z}_G$ 의 대수적 구조는 무엇인가?
• RQ5 생성자와 관계로 정의된 중심자 대수의 표현이 존재하는가? 그리고 이는 자연스럽게 정의된 대수 $A$ 와 동형인가?

주요 결과

• 일반화된 퀄리-중심화 스프링거 이론은 스케일드 군환, (아핀) 닐 히즈 대수, KLR 대수를 특수한 경우로 포함하는 스텐버그 대수의 클래스를 도출한다.
• 중심자 대수 $\mathcal{Z}_G$ 는 $\mathcal{Z}_G = \bigoplus_{w \in \mathbb{W}} \mathcal{E} * \sigma(w)$ 로 분해되며, 여기서 $\mathbb{W}$ 는 $G$ 의 웨일 군이다.
• 생성자 $\widetilde{1_i}, \widetilde{z_i(t)}, \widetilde{\sigma_i(s)}$ 가 각각 $1_i, z_i(t), \sigma_i(s)$ 로 사상되는 생성자와 관계를 가진 대수 $A$ 에서 중심자 대수 $\mathcal{Z}_G$ 로의 전사 대수 준동형사상을 구성한다.
• 직선화 규칙은 $A$ 내의 생성자 곱이 $w \in \mathbb{W}$ 에 대해 $\mathcal{E}$-스팬 $\widetilde{\sigma(w)}$ 내에 있음을 보장하며, 이는 $A = \bigoplus_{w \in \mathbb{W}} \mathcal{E} * \widetilde{\sigma(w)}$ 를 의미한다.
• 대수 $A$ 와 중심자 대수 $\mathcal{Z}_G$ 사이의 동형사상은 $\mathcal{E}$-선형성과 사상이 기저 원소에서 단사적이고 전사적임을 증명함으로써 유도된다.
• 증명은 $A$ 내의 브레인 관계와 다항식 작용이 $\mathcal{Z}_G$ 의 관계와 일치함을 보장하는 데 의존하며, 특히 $s\delta_t s$ 와 $t\delta_s t$ 항등식 및 계수의 나누어떨어짐 조건을 활용한다.