[논문 리뷰] A categorification of a cyclotomic Hecke algebra

Alexei Oblomkov, Lev Rozansky|arXiv (Cornell University)|2018. 01. 18.

Advanced Topics in Algebra참고 문헌 5인용 수 3

한 줄 요약

이 논문은 프레임된 행렬 인수 분해의 등변 K-이론을 사용하여 순환 히킨 대수의 분류화를 제안하며, 이는 이전의 유한 히킨 대수에 대한 작업을 일반화한다. 이 구성은 대수의 충실한 실현을 제공하고, 플래그 힐버트 스킴 위의 층을 통해 주키스-머피 원소의 기하학적 해석을 가능하게 한다.

ABSTRACT

We propose a categorification of the cyclotomic Hecke algebra in terms of the equivariant K-theory of the framed matrix factorizations. The construction generalizes the earlier construction of the authors for a categorification of the finite Hecke algebra of type A. We also explain why our construction provides a faithful realization of the Hecke algebras and discuss a geometric realization of the Jucys-Murphy subalgebra.

연구 동기 및 목표

• 유한 히킨 대수의 분류화를 프레임된 행렬 인수 분해를 사용하여 순환 히킨 대수로 확장하기.
• 순환 히킨 대수의 기하학적 및 범주론적 프레임워크 내에서 충실한 표현을 제공하기.
• 플래그 힐버트 스킴 위의 층 이론적 구성으로 주키스-머피 부분대수의 기하학적 실현을 제공하기.
• 코즐 다중성에 의해 행렬 인수 분해 범주와 교환하는 다양체의 유도 범주 사이의 연결을 수립하기.
• 무한소 이웃을 통한 행렬 인수 분해 설정에서 선형화된 잠재력과 비선형 잠재력 간의 관계를 탐색하기.

제안 방법

• 중심 원소 $\Delta_n$ 에 대한 순환 관계를 통해 애질리프 히킨 대수의 몫으로서 순환 히킨 대수를 구성하기.
• 잠재력 $\bar{W}$ 를 가진 공간 $\bar{\mathcal{X}}_{r,n}$ 에서의 프레임된 행렬 인수 분해를 사용하여 분류화된 대수를 정의하기.
• 토루스 $\hat{T}$ 에 대한 등변 K-이론을 사용하여 행렬 인수 분해의 범주 $\mathbf{MF}^{\hat{T}}_{n,r}$ 를 정의하기.
• 전개 임베딩 $u: \bar{\mathcal{X}}^{0}_{r,n} \to \bar{\mathcal{X}}_{r,n}$ 을 사용하여 전체 범주를 국소화된 버전 $\mathbf{MF}^{\hat{T}}_{n,r,\circ}$ 와 연결하기.
• 코즐 다중성을 적용하여 행렬 인수 분해 범주를 교환하는 다양체의 유도 범주와 연결하기.
• 변수 치환 $Y \mapsto Y - \frac{1}{2}[Y,Z]_{++}$ 을 사용하여 비선형 잠재력 $\bar{W}$ 와 그 선형화된 형태 $\bar{W}^{\mathrm{lin}}$ 을 $\mathfrak{m}(Z)^2$ 차수까지 비교함으로써 두 번째 무한소 이웃에서의 동형을 확립하기.

실험 결과

연구 질문

• RQ1 등변 행렬 인수 분해를 사용하여 순환 히킨 대수를 분류화할 수 있는가?
• RQ2 분류화된 설정에서 주키스-머피 부분대수는 어떻게 기하학적으로 나타나는가?
• RQ3 행렬 인수 분해 설정에서 비선형 잠재력 $\bar{W}$ 와 그 선형화된 형태 $\bar{W}^{\mathrm{lin}}$ 간의 정확한 관계는 무엇인가?
• RQ4 더 높은 $k$ 에 대해 범주 $\mathbf{MF}^{\hat{T}}(\bar{\mathcal{X}}_{r,n}^{\sim k}, \bar{W})$ 와 $\mathbf{MF}^{\hat{T}}(\bar{\mathcal{X}}_{r,n}^{\sim k}, \bar{W}^{\mathrm{lin}})$ 가 어느 정도 일치하는가?
• RQ5 행렬 인수 분해 범주와 교환하는 다양체의 유도 범주 사이에 유도 동치가 존재하는가?

주요 결과

• 저자들은 $\bar{\mathcal{X}}_{r,n}$ 에서의 프레임된 행렬 인수 분해의 등변 K-이론을 통해 순환 히킨 대수 $\mathfrak{H}^{\mathrm{ct}}_{n,r}$ 의 충실한 분류화를 구성한다.
• 주키스-머피 원소는 유도 함자들을 통한 플래그 힐버트 스킴 위의 층에 의해 유도되는 연산자로서 기하학적으로 실현된다.
• 행렬 인수 분해 범주 $\mathbf{MF}^{\hat{T}}(\bar{\mathcal{X}}_{r,n}^{\sim 2}, \bar{W}^{\mathrm{lin}})$ 와 $\mathbf{MF}^{\hat{T}}(\bar{\mathcal{X}}_{r,n}^{\sim 2}, \bar{W})$ 간의 자연스러운 동형이 확립된다.
• 변수 치환 $Y \mapsto Y - \frac{1}{2}[Y,Z]_{++}$ 을 통해 $\bar{W}$ 는 $\mathfrak{m}(Z)^2$ 모듈로 $\bar{W}^{\mathrm{lin}}$ 과 일치하는 형태로 변환되며, 이는 두 번째 무한소 이웃에서의 동형을 가능하게 한다.
• 저자들은 이 동형이 모든 더 높은 차수의 무한소 이웃으로까지 확장될 것이라 추측하며, 이는 비선형 잠재력과 선형화된 잠재력 간의 깊은 동치를 시사한다.
• 이 틀은 $\mathbf{MF}^{\hat{T}}_{n,r,\circ}$ 와 유도 범주 $D^b(FM_{n,r})$ 간의 밀접한 관계를 시사하지만, 정확한 동치는 향후 발전에 따라 조건부로 남아있다.