[논문 리뷰] Characteristic-free bases and BGG resolutions of unitary simple modules for quiver Hecke and Cherednik algebras

C. Bowman, Emily Norton외 1명|arXiv (Cornell University)|2018. 03. 23.

Algebraic structures and combinatorial models참고 문헌 42인용 수 12

한 줄 요약

이 논문은 퀼 레이크 및 체레드니크 대수의 유니터리 단순 모듈에 대해 특성에 의존하지 않는 BGG 분해를 구성함으로써 Berkesch–Griffeth–Sam의 추측을 증명한다. 다이어그램 계산을 사용하여 일반적인 계수체 및 순환 경우로 결과를 일반화하고, 대칭 선형 부분공간 배열의 베티 수와 Castelnuovo–Mumford 정규성에 대한 명시적 공식을 도출한다.

ABSTRACT

We construct characteristic-free bases and BGG resolutions of unitary simple modules of quiver Hecke algebras and Cherednik algebras. We hence solve and vastly generalise Berkesch-Griffeth-Sam's conjecture, calculate the Castelnuovo-Mumford regularity of ideals of of certain highly symmetric linear subspace arrangements, and compute Dirac homology of Cherednik algebras.

연구 동기 및 목표

• 대칭군의 유리형 체레드니크 대수에 대한 유니터리 단순 모듈이 BGG 분해를 갖는다는 Berkesch–Griffeth–Sam의 추측을 해결하기 위해.
• 이 추측과 그 해법을 임의의 계수체로 일반화하고 순환 체레드니크 및 히드라 대수로 확장하기 위해.
• 이 가족의 대수에서 유니터리 단순 모듈에 대한 특성에 의존하지 않는 기저를 구성하기 위해.
• 등식 또는 단위근에 의해 정의된 대칭 선형 부분공간 배열에 대해 그 겹침 수와 Castelnuovo–Mumford 정규성을 계산하기 위해.
• $\pi^\ell_n(h)$, 즉 최대 $h$개의 열을 가진 $\pi$-분할의 집합으로 악대 모델을 확장하고, 해당 단순 모듈에 대한 BGG 분해를 구성하기 위해.

제안 방법

• Webber(2017)의 다이어그램적 체레드니크 대수를 활용하여 계산을 위한 등급이 부여된 대수적 프레임워크를 제공하기 위해.
• 2-카테고리적 다이어그램 계산을 사용하여 BGG 분해 복합체 $\mathbf{C}_\bullet(\lambda) = \bigoplus_{\lambda \trianglerighteq \nu} \Delta(\nu)\langle \ell(\nu) \rangle$ 를 정의하고, 한 열의 호모모르피즘에 대한 교대 합으로 주어진 미분을 계산하기 위해.
• 아핀 타입 $A$의 악대 기하학을 활용하여 유니터리 모듈을 기본 악대 내의 분할을 통해 특성화하기 위해.
• 분해에서 호모로지 차수 $d$를 $\lambda$에서 $\nu$로의 벽 반사의 수와 관련지어, 기본 악대에서의 거리 증가와 관련지기 위해.
• Auslander–Buchsbaum 공식을 적용하여 좌표환 $\mathbb{C}[X_{e,k,n}]$ 의 깊이와 프로젝티브 차수를 계산하기 위해.
• $I_{e,k,n}$ 가 단일 차수에서 생성된다는 사실을 활용하여 $\ell$-왜곡된 경우 $X_{e,k,n}(\ell)$ 로 분해를 옮기며, Cohen–Macaulay 성질을 유지하고 정규성을 $\ell(c_{(k^e)} - c_{\mathrm{triv}}) - (e-1)k$ 를 통해 계산하기 위해.

실험 결과

연구 질문

• RQ1 형식 $A$의 체레드니크 대수에 대한 유니터리 단순 모듈이 임의의 체에서 BGG 분해를 갖는가?
• RQ2 순환 체레드니크 대수의 BGG 분해의 구조는 무엇이며, 원래의 추측을 어떻게 일반화하는가?
• RQ3 대칭 선형 부분공간 배열 $X_{e,k,n}$ 과 $X_{e,k,n}(\ell)$ 에 대해 베티 수와 Castelnuovo–Mumford 정규성을 어떻게 계산할 수 있는가?
• RQ4 악대 모델은 $e=1$ 경우를 초월하여 유니터리 모듈을 특성화하는 데 어떤 역할을 하는가?
• RQ5 파라미터 $c = a/e$ 는 분해의 구조와 정규성, 베티 수와 같은 불변량에 어떻게 영향을 미치는가?

주요 결과

• BGG 분해 $\mathbf{C}_\bullet(\lambda)$ 는 0차수를 제외하고 정확하며, $H_0(\mathbf{C}_\bullet(\lambda)) = L(\lambda)$ 이므로 Berkesch–Griffeth–Sam의 추측이 증명된다.
• $n = ke$ 인 $X_{e,k,n}$ 에서 $\mathbb{C}[X_{e,k,n}]$ 의 프로젝티브 차수는 $(e-1)k$ 이고, 깊이는 $k$ 이며, 이는 Cohen–Macaulay임을 확인한다.
• $\mathbb{C}[X_{e,k,n}]$ 의 Castelnuovo–Mumford 정규성은 $c_{(k^e)} - c_{\mathrm{triv}} - (e-1)k$ 를 통해 계산된 $rac{k(n - e - k + 1)}{2}$ 이다.
• $\ell$-왜곡된 다양체 $X_{e,k,n}(\ell)$ 에서 정규성은 $rac{k[\ell(n + e - k - 1) - 2(e - 1)]}{2}$ 이며, 분해는 여전히 최소이고 등급이 부여된 자유 복합체이다.
• $L_{1/e}(\mathrm{triv})[c_{\mathrm{triv}}]$ 의 베티 수는 분해를 통해 결정되며, $e=3$, $n=6$ 인 경우, 분해는 차수 $[6], [5], [4], [2], 0$ 에 항목을 가지며, 정규성은 2이다.
• $c = a/e$ 이고 $\gcd(a,e)=1$ 이면, 분해의 형태는 $a$ 에 영향을 받지 않지만, 베티 수는 $\beta_{i,j}(L_{a/e}(\lambda)) = \beta_{i,j/a}(L_{1/e}(\lambda))$ 로 스케일되며, $j/a \notin \mathbb{Z}$ 이면 0이 된다.