[論文レビュー] Characteristic-free bases and BGG resolutions of unitary simple modules for quiver Hecke and Cherednik algebras

C. Bowman, Emily Norton+1 more|arXiv (Cornell University)|Mar 23, 2018

Algebraic structures and combinatorial models参考文献 42被引用数 12

ひとこと要約

本稿は、図式的計算を用いて、任意の基底体および巡回的ケースに一般化された、型Aのクーヴ・ヘッケ代数およびチェレドニク代数の単位的単純加群に対する特徴的自由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の予想を解決すること。
• この予想およびその解決を、任意の基底体上の巡回的チェレドニクおよびヘッケ代数に一般化すること。
• この代数族における単位的単純モジュールの特徴的自由基底を構成すること。
• 等式または単位根によって定義される対称的線形部分空間配置 $X_{e,k,n}$ における、次数付きベッチ数およびCastelnuovo–Mumford正則性を計算すること。
• $\pi^\ell_n(h)$、すなわち高々 $h$ 列を持つ $\pi$-分割の集合に、アローブモデルを拡張し、対応する単純モジュールのBGG分解を構成すること。

提案手法

• Webber (2017) の図式的チェレドニク代数を用いて、計算のための次数付きで代数的な枠組みを提供する。
• 2-圏的図式的計算を用いて、微分が1列のホモモーフィズムの交錯和で与えられる、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$ のとき、$\mathbb{C}[X_{e,k,n}]$ の投射次元は $(e-1)k$、深さは $k$ であり、Cohen–Macaulayであることが確認された。
• Castelnuovo–Mumford正則性 $\mathbb{C}[X_{e,k,n}]$ は $\frac{k(n - e - k + 1)}{2}$ であり、$c_{(k^e)} - c_{\mathrm{triv}} - (e-1)k$ を用いて計算された。
• $\ell$-捩れ多様体 $X_{e,k,n}(\ell)$ に対しては、正則性が $\frac{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である。