[論文レビュー] $\imath$Hall algebra of the projective line and $q$-Onsager algebra

Ming Lu, Shiquan Ruan+1 more|arXiv (Cornell University)|Oct 1, 2020

Algebraic structures and combinatorial models参考文献 28被引用数 8

ひとこと要約

本稿は、有限体上の射影直線の$\imath$ Hall代数を用いて、Drinfeld型提示における普遍$q$-Onsager代数の実現を確立する。1周期的局所自由層の複体の$\imath$ Hall代数が、普遍$q$-Onsager代数に同型であり、捩れ層を用いて虚根ベクトルを、線分束$\mathcal{O}(r)$を用いて実根ベクトルを実現する。また、導来同値により、Serre提示とDrinfeld提示の間の同型が説明される。

ABSTRACT

The $\imath$Hall algebra of the projective line is by definition the twisted semi-derived Ringel-Hall algebra of the category of $1$-periodic complexes of coherent sheaves on the projective line. This $\imath$Hall algebra is shown to realize the universal $q$-Onsager algebra (i.e., $\imath$quantum group of split affine $A_1$ type) in its Drinfeld type presentation. The $\imath$Hall algebra of the Kronecker quiver was known earlier to realize the same algebra in its Serre type presentation. We then establish a derived equivalence which induces an isomorphism of these two $\imath$Hall algebras, explaining the isomorphism of the $q$-Onsager algebra under the two presentations.

研究の動機と目的

• 普遍$q$-Onsager代数のDrinfeld型提示を、幾何的Hall代数を用いて実現すること。
• クイバー・モデルを超えた$\imath$量子群の幾何的実現を構成することで、$\imath$プログラムを拡張すること。
• 基礎となるカテゴリーの導来同値を用いて、$q$-Onsager代数のSerre提示とDrinfeld提示の同型を説明すること。
• $\mathbb{P}^1$上の捩れ層と捩れなし層を用いて、虚根ベクトルと実根ベクトルのHall代数的実現を明示すること。

提案手法

• 1周期的局所自由層の複体の幾何的Hall代数として、$\imath$ Hall代数を、半導来Ringel-Hall代数の歪みを用いて構成する。
• 1-ゴレンシュタインの完全カテゴリーの枠組みを用いて、$\imath$ Hall代数構造を定義する。
• $\mathbb{P}^1$の$\imath$ Hall代数への、Drinfeld提示における普遍$q$-Onsager代数からの$\mathbb{Q}(\mathbf{v})$-代数準同型$\Omega$を確立する。
• $B_{1,r}$を$-\frac{1}{q-1}[\mathcal{O}(r)]$として、$\Theta_m$を捩れ層$S_x^{(\lambda)}$を用いて$\widehat{\Theta}_m$として実現する。
• $\widehat{H}_m$と$\widehat{\Theta}_m$の関係を、$\widehat{H}_{m,x}$を含む指数関数的公式を用いて、生成関数$\widehat{\Theta}(z)$と$\widehat{\Theta}_x(z)$を導出する。
• $\mathbb{P}^1$上の1周期的複体の$\imath$ Hall代数とクライナーク・クイバーの$\imath$ Hall代数の間の導来同値により、2つの提示の同型が示され、提示の等価性が説明される。

実験結果

リサーチクエスチョン

• RQ1 普遍$q$-Onsager代数のDrinfeld提示は、$\mathbb{P}^1$上の局所自由層のHall代数を用いて幾何的に実現可能か？
• RQ2 $\mathbb{P}^1$の$\imath$ Hall代数において、虚根ベクトル$\Theta_m$はどのように実現されるか？
• RQ3 Serre提示とDrinfeld提示の間の同型のカテゴリカルな起源は何か？
• RQ4 Drinfeld提示における生成子$H_m$と$\Theta_m$は、$\imath$ Hall代数におけるどの幾何的対象に対応するか？
• RQ5 導来同値は、$\imath$量子群の異なる提示を統合するために果たす役割は何か？

主な発見

• $\mathbb{F}_q$上の射影直線の$\imath$ Hall代数は、Drinfeld型提示における普遍$q$-Onsager代数に同型である。
• 準同型$\Omega$は$B_{1,r}$を$-\frac{1}{q-1}[\mathcal{O}(r)]$に写像し、$\mathbb{P}^1$上の線分束を用いて実根ベクトルを実現する。
• 虚根ベクトル$\Theta_m$は$\widehat{\Theta}_m = \sum_{x,d_x|m} \frac{[m]}{m} d_x \sum_{|\lambda|=m/d_x} n_x(\ell(\lambda)-1) \frac{[S_x^{(\lambda)}]}{|\operatorname{Aut}(S_x^{(\lambda)})|}$として実現される。
• 生成子$H_m$は$\widehat{H}_m = \sum_{x,d_x|m} \frac{[m]}{m} d_x \sum_{|\lambda|=m/d_x} n_x(\ell(\lambda)-1) \frac{[S_x^{(\lambda)}]}{|\operatorname{Aut}(S_x^{(\lambda)})|} - \delta_{m,\text{ev}} \frac{[m]}{m} [K_{m/2 \delta}]$として表現される。
• $\mathbb{P}^1$上の1周期的複体のカテゴリーとクライナーク・クイバーの加群のカテゴリーの間の導来同値は、$q$-Onsager代数の2つの提示の同型を誘導する。