[論文レビュー] Hall algebras and quantum symmetric pairs I: foundations

Ming Lu, Weiqiang Wang|arXiv (Cornell University)|Jan 31, 2019

Algebraic structures and combinatorial models参考文献 47被引用数 19

ひとこと要約

本稿は、非巡回クーヴァーに自己同型を備えたものから ıquiver 代数を導入し、それらの半導来リングエル＝ホール代数を構成する。これにより、有限型の普遍 ı量子群と同型であることが確立される。これらのホール代数に対して単項式基底とPBW基底を構成し、1-ゴレンシュタイン代数とティルティング理論を用いて ı量子群のホール代数的カテゴリフィケーションを実現する。主な結果として、ホール代数と ı量子群の同型、および半導来ホール代数のティルティングに関する不変性が得られる。

ABSTRACT

A quantum symmetric pair consists of a quantum group $\mathbf U$ and its coideal subalgebra ${\mathbf U}^{\imath}_{\boldsymbolς}$ with parameters $\boldsymbolς$ (called an $\imath$quantum group). We initiate a Hall algebra approach for the categorification of $\imath$quantum groups. A universal $\imath$quantum group $\widetilde{\mathbf U}^{\imath}$ is introduced and ${\mathbf U}^{\imath}_{\boldsymbolς}$ is recovered by a central reduction of $\widetilde{\mathbf U}^{\imath}$. The semi-derived Ringel-Hall algebras of the first author and Peng, which are closely related to semi-derived Hall algebras of Gorsky and motivated by Bridgeland's work, are extended to the setting of 1-Gorenstein algebras, as shown in Appendix A by the first author. A new class of 1-Gorenstein algebras (called $\imath$quiver algebras) arising from acyclic quivers with involutions is introduced. The semi-derived Ringel-Hall algebras for the Dynkin $\imath$quiver algebras are shown to be isomorphic to the universal quasi-split $\imath$quantum groups of finite type. Monomial bases and PBW bases for these Hall algebras and $\imath$quantum groups are constructed.

研究の動機と目的

• ı量子群のホール代数的アプローチを発展させ、ブリッジランドの量子群に関する研究を一般化すること。
• クイバーに自己同型を備えたものから生じる 1-ゴレンシュタイン代数の新規クラスとして ıクイバー代数を導入すること。
• 半導来リングエル＝ホール代数を 1-ゴレンシュタイン代数へと拡張し、先行研究の半単純なカテゴリへの一般化を行うこと。
• ıクイバー代数の半導来ホール代数と有限型の普遍 ı量子群との同型を確立すること。
• 組合せ論的およびホモロジー的データを用いて、ホール代数および ı量子群の単項式基底と PBW 基底を構成し、カテゴリフィケーションのための代数的構造を提供すること。

提案手法

• 自己同型を備えたクイバー上のテンソル代数として ıクイバー代数を定義し、束縛クイバー記述を用いる。
• ıクイバー代数が 1-ゴレンシュタインであることを証明し、半導来ホール代数の存在を保証する。
• Z/2-次数付き複体とオイラー形式を用いて、半導来リングエル＝ホール代数を構成する。
• ティルティング理論を用いて、ıクイバー代数のホール代数と、導来同値な代数のホール代数を関連付ける。
• 中心的還元を介して、ıクイバー代数の半導来ホール代数と普遍 ı量子群との代数的同型を確立する。
• 組合せ論的およびホモロジー的データを用いて、ホール代数および ı量子群の単項式基底と PBW 基底を構成する。

実験結果

リサーチクエスチョン

• RQ1 ホール代数を 1-ゴレンシュタイン代数へと拡張することで、ı量子群をカテゴリフィケーションできるか。
• RQ2 ıクイバー代数の半導来リングエル＝ホール代数は、有限型の普遍 ı量子群と同型であるか。
• RQ3 単項式基底と PBW 基底は、ıクイバー代数および ı量子群の文脈でどのように生じるか。
• RQ4 ティルティング理論は、1-ゴレンシュタイン設定における半導来ホール代数の構造を保存するか。
• RQ5 普遍 ı量子群は、ホール代数の構成における中心的還元から回復可能か。

主な発見

• ディンキン型 ıクイバー代数の半導来リングエル＝ホール代数は、有限型の普遍準分裂 ı量子群と同型である。
• ıクイバー代数のホール代数は、次元ベクトルと適合するフラッグによってインデックスづけられる単項式基底を有する。
• 退化過程とホール多項式を用いて、ıクイバー代数のホール代数に PBW 基底を構成した。
• 普遍 ı量子群 eUı が導入され、Uıς は eUı の中心的還元として回復された。
• 半導来ホール代数はティルティングに関して不変である：A が 1-ゴレンシュタインで、T がティルティング加群であり、Γ = EndA(T)op も 1-ゴレンシュタインであるならば、SDH(A) ≅ SDH(Γ) が成り立つ。
• ホール代数と ı量子群の同型は、torsion 対から得られる短完全系列を用いて、写像 ψ̃ が [M] を q^{-⟨M,TM⟩}[F(TM)]^{-1} ⋄ [F(XM])} にマッピングすることで実現される。