[논문 리뷰] DG-Enhanced Hecke and KLR Algebras

Ruslan Maksimau, Pedro Vaz|arXiv (Cornell University)|2019. 06. 07.

Algebraic structures and combinatorial models참고 문헌 21인용 수 1

한 줄 요약

이 논문은 순환 Hecke 대수열을 해결하는 미분을 도입하여 열화되고 비열화된 아핀 Hecke 대수의 DG-강화된 형태를 구성한다. 완비화된 DG-강화 아핀 Hecke 대수와 순환 매개변수에 의해 정의된 쿼버에 대해 완비화된 DG-강화 KLR 대수 사이의 동형사상이 존재하며, 이러한 DG-대수의 호모로지가 제로 차수에 집중되어 있고, 이는 해당 순환 Hecke 대수와 동형임을 보여준다.

ABSTRACT

We construct DG-enhanced versions of the degenerate affine Hecke algebra and of the affine Hecke algebra. We extend Brundan-Kleshchev and Rouquier's isomorphism and prove that after completion DG-enhanced versions of affine Hecke algebras (degenerate or nondegenerate) are isomorphic to completed DG-enhanced versions of KLR algebras for suitably defined quivers. As a byproduct, we deduce that these DG-algebras have homologies concentrated in degree zero. These homologies are isomorphic respectively to the degenerate cyclotomic Hecke algebra and the cyclotomic Hecke algebra.

연구 동기 및 목표

• 논문은 순환 Hecke 대수의 자유 해석으로서 열화되고 비열화된 아핀 Hecke 대수의 DG-강화된 형태를 구성하고자 한다.
• Brundan–Kleshchev–Rouquier(BKR) 동형사상이 DG-강화된 대수로 확장되는지 조사한다.
• 이 작업의 목적은 이러한 DG-대수의 호모로지가 제로 차수에 집중되어 있음을 증명하는 것이다.
• 특정 쿼버에 대해 DG-강화 아핀 Hecke 대수와 DG-강화 KLR 대수 사이의 완비화된 동형사상을 확립하고자 한다.
• DG-강화된 대수의 호모로지가 표준 순환 Hecke 대수를 회복함을 보이고자 한다.

제안 방법

• 저자들은 제어자 θ를 도입하여 제어자 θ의 차수를 1로 하고 θ² = 0이며 T₁과의 특정 관계를 갖는 아핀 Hecke 대수에 DG-대수의 구조를 정의한다.
• 이 대수에 대해 BQ라는 미분을 정의하며, BQ(θ) = ∏ᵣ(X₁ − Qᵣ)로 설정한다. 여기서 Q = (Q₁, ..., Qₗ) ∈ kˡ이다.
• 무한차원의 구조를 다루기 위해 수열 a ∈ kᵈ에 따라 이상수에 대한 완비화를 사용한다.
• KLR 쪽에서는 정점 I ⊆ k와 간선 i → j가 j+1=i일 때 존재하는 쿼버를 사용하여 DG-강화 KLR 대수 pRpν), dΛ)를 정의하고, dΛ를 순환 조건을 모방하는 미분을 통해 정의한다.
• 완비화된 Hecke 대수와 KLR 대수 사이의 Sd-불변 대수 동형사상 α를 통해 동형사상을 확립한다. 이 동형사상은 DG-구조를 유지한다.
• 증명은 동형사상 α가 BQ와 dΛ의 미분을 유지함을 보여주는 것으로 구성되며, α가 생성자에 대해 명시적인 공식을 갖는다.

실험 결과

연구 질문

• RQ1 DG-강화된 아핀 Hecke 대수는 아핀 Hecke 대수 위에서 순환 Hecke 대수의 자유 해석으로서 구성될 수 있는가?
• RQ2 BKR 동형사상은 완비화된 DG-강화 아핀 Hecke 대수와 완비화된 DG-강화 KLR 대수 사이의 동형사로 확장되는가?
• RQ3 이러한 DG-대수의 호모로지는 제로 차수에 집중되어 있는가?
• RQ4 DG-강화된 아핀 Hecke 대수의 호모로지는 해당 순환 Hecke 대수와 동형인가?
• RQ5 이 동형사상은 열화된 경우와 비열화된(q-아핀) 경우 모두에서 성립하는가?

주요 결과

• 논문은 제어자 θ를 차수 1로 추가하고 BQ(θ) = ∏ᵣ(X₁ − Qᵣ)로 정의된 미분 BQ를 도입함으로써 열화되고 비열화된 아핀 Hecke 대수의 DG-강화된 형태를 구성한다.
• 완비화된 DG-강화 아핀 Hecke 대수 (x¯Ha, BQ)가 매개변수 Q에 의해 정의된 쿼버에 대해 완비화된 DG-강화 KLR 대수 (pRpν), dΛ)와 동형임을 증명한다.
• Sd-불변 대수 동형사상 α를 통해 명시적으로 동형사상을 구성하며, 이는 DG-구조를 유지한다.
• DG-강화된 열화된 아핀 Hecke 대수 (sHd, BQ)의 호모로지는 제로 차수에 집중되어 있으며, 열화된 순환 Hecke 대수 sHQd와 동형이다.
• DG-강화된 q-아핀 Hecke 대수 (Hd, BQ)의 호모로지는 제로 차수에 집중되어 있으며, 순환 Hecke 대수 HQd와 동형이다.
• 결과는 임의의 체 k에 대해 성립하며, DG-구조를 자명하게 만들면 고전적 BKR 동형사상으로 축소된다.