[論文レビュー] A note on Bridgeland's Hall algebra of two-periodic complexes

Shintarou Yanagida|arXiv (Cornell University)|Jul 4, 2012

Algebraic structures and combinatorial models参考文献 9被引用数 4

ひとこと要約

本稿は、有限なグローバル次元をもつ半単純なアーベル圏における2周期的複体のブリッジランド・ホール代数が、その圏の通常の拡張ホール双代数のドリンフェルト双対と同型であることを確立する。この同型はエラー形式によるねじれと、アサイクル複体での局在化を通じて生じ、カテゴライズド・ホール代数と量子群構成との間の構造的リンクを提供する。

ABSTRACT

We show that the Hall algebra of two-periodic complexes, which is recently introduced by T.Bridgeland, coincides with the Drinfeld double of the ordinary Hall bialgebra.

研究の動機と目的

• ブリッジランドの2周期的複体のホール代数と既知の量子群構成との間の明確な代数的同型を確立すること。
• 有限体上のアーベル圏における$Δ$-次数付き複体に関連するホール代数の代数的構造を明確にすること。
• この構成が導来同値に関して函子的であることを示し、導来圏に関して不変であることを保証すること。
• 導来圏の文脈において、カテゴライズド・ホール代数とドリンフェルト双対を結ぶ概念的枠組みを提供すること。
• ドリンフェルト双対構成を用いて、ホール代数の技法を導来圏へと拡張可能であることを示すこと。

提案手法

• 有限体上のアーベル圏$Α$における$Δ$-次数付き複体（$Δ = \mathbb{Z}/2\mathbb{Z}$）のホール代数を定義する。
• $\cal{A}$のエラー形式を用いて、ねじれたホール代数$\cal{H}_{\mathrm{tw}}(\cal{C}(\cal{P}))$を構成する。
• このねじれた代数をアサイクル複体で局在化して、ブリッジランドの代数$\cal{DH}(\cal{A})$を定義する。
• $\cal{DH}(\cal{A})$と拡張ホール双代数$\widetilde{\cal{H}}(\cal{A})$のドリンフェルト双対との間の同型を確立する。
• ドリンフェルト双対の理論と半単純な圏の構造を用いて、代数的関係および生成元のレベルで同型を検証する。
• リングエルおよびクレーマーの結果を適用して、函手性と導来同値に関しての不変性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ブリッジランドの2周期的複体ホール代数は、ドリンフェルト双対のような既知の量子群構成と同型であるか？
• RQ2 半単純な圏における複体のホール代数から、ドリンフェルト双対構造はどのように生じるか？
• RQ3 エラー形式およびアサイクル複体での局在化が、ドリンフェルト双対を実現するために果たす役割は何か？
• RQ4 この構成は、元の圏の導来同値に関して不変に拡張可能か？
• RQ5 楕円曲線の場合、群$\operatorname{SL}_2(\mathbb{Z})$はホール代数にどのように作用するか？

主な発見

• 2周期的複体のホール代数$\cal{DH}(\cal{A})$は、拡張ホール双代数$\widetilde{\cal{H}}(\cal{A})$のドリンフェルト双対と、結合代数として同型である。
• 同型は、$\cal{A}$が半単純で、有限なグローバル次元を持ち、十分な射影的対象をもち、非ゼロ対象が$K(\cal{A})$において非ゼロの類を定めるという条件下で成立する。
• この構成は函手的である：導来同値$\Phi: D^b(\cal{A}) \xrightarrow{\sim} D^b(\cal{B})$は、代数同型$\Phi^{\cal{DH}}: \cal{DH}(\cal{A}) \xrightarrow{\sim} \cal{DH}(\cal{B})$を誘導し、合成と整合する。
• $\cal{A} = \operatorname{Coh}(C)$を楕円曲線$C$上のものとすると、群$\operatorname{Auteq}(D^b(\cal{A}))$は$\operatorname{Aut}^{\cal{DH}}(\cal{T})$へ写像され、$\operatorname{SL}_2(\mathbb{Z})$は$\cal{DH}(\cal{T})$上で自己同型として作用する。
• $\cal{DH}(\cal{T})$における$\operatorname{SL}_2(\mathbb{Z})$の作用は、AGT対応に関する他の研究で得られた$\operatorname{SL}_2(\mathbb{Z})$-自己同型と同型である。
• $DH: \operatorname{Auteq}(\cal{T}) \to \operatorname{Aut}^{\cal{DH}}(\cal{T})$の核は$\mathbb{Z}/2\mathbb{Z}$であり、これは$\cal{DH}(\cal{T})$上の対合$*$に対応する。