[論文レビュー] Semi-derived Hall algebras and tilting invariance of Bridgeland-Hall algebras

Mikhail Gorsky|arXiv (Cornell University)|Mar 23, 2013

Algebraic structures and combinatorial models参考文献 14被引用数 25

ひとこと要約

本稿は、有限性条件を満たす完全系列の圏上の有界複体から構成される、古典的ホール代数と導来ホール代数の間を補間する新しい代数的構造として、半導来ホール代数（SDH）を導入する。SDHが、tilting関手によって誘導される導来同値のもとで不変であることを証明し、ブリッジランド・ホール代数がtiltingのもとで保存されることを確立するとともに、SDHの$\rvert\mathbb{Z}/2$-次数版がブリッジランドの2周期的ホール代数と同型であることを示し、ブリッジランド・ホール代数のtilting不変性を証明する。

ABSTRACT

Inspired by recent work of Bridgeland, from the category C^b(E) of bounded complexes over an exact category E satisfying certain finiteness conditions, we construct an associative unital "semi-derived Hall algebra" SDH(E). This algebra is an object sitting, in some sense, between the usual Hall algebra H(C^b(E)) and the Hall algebra of the bounded derived category D^b(E), introduced by Toen and further generalized by Xiao and Xu. It has the structure of a free module over a suitably defined quantum torus of acyclic complexes, with a basis given by the isomorphism classes of objects in the bounded derived category D^b(E). We prove the invariance of SDH(E) under derived equivalences induced by exact functors between exact categories. For E having enough projectives and such that each object has a finite projective resolution, we describe a similar construction for the category of Z/2-graded complexes, with similar properties of associativity, freeness over the quantum torus and derived invariance. In particular, we obtain that this Z/2-graded semi-derived Hall algebra is isomorphic to the two-periodic Hall algebra recently introduced by Bridgeland. We deduce that Bridgeland's Hall algebra is preserved under tilting. When E is hereditary and has enough projectives, we show that the multiplication in SDH(E) is given by the same formula as the Ringel-Hall multiplication, and SDH(E) is isomorphic to a certain quotient of the classical Hall algebra H(C^b(E)) localized at the classes of acyclic complexes. We also prove the same result in the Z/2-graded case.

研究の動機と目的

• 古典的ホール代数と導来ホール代数の間を補間する新しいホール代数、すなわち半導来ホール代数（SDH）を構成すること。
• 特にtilting関手によって誘導される完全系列関手による導来同値のもとで、SDHの不変性を確立すること。
• SDHの$\rvert\mathbb{Z}/2$-次数版がブリッジランドの2周期的ホール代数と同型であることを示すこと。
• ブリッジランド・ホール代数がtiltingによって保存されることを証明し、導来圏への不変性結果を拡張すること。
• SDHの乗法が、十分に射影的対象をもつ遺伝的圏におけるリングエル・ホール積と一致することを示し、SDHを局所化された古典的ホール代数の商として同定すること。

提案手法

• 有界複体の導来圏$\mathcal{D}^b(\mathcal{E})$における同型類によって添字づけられる基底をもつ、サイクル的複体の量子トーラス上の自由加群として、半導来ホール代数$\mathcal{SDH}(\mathcal{E})$を構成する。
• 完全系列の圏$\mathcal{E}$における有限性条件を用いて、ホール構造のwell-defined性と結合的を保証する。
• $\mathbb{Z}/2$-次数複体を用いて$\mathcal{SDH}(\mathcal{E})$の$\mathbb{Z}/2$-次数版を定義し、それがブリッジランドの2周期的ホール代数と同型であることを示す。
• tilting関手による導来同値$\mathcal{E}$と$\mathcal{E}'$の間で、$\mathcal{SDH}(\mathcal{E})$と$\mathcal{SDH}(\mathcal{E}')$の間に自然な同型写像を構成することで、導来不変性を証明する。
• 遺伝的圏に十分な射影的対象をもつ場合、$\mathcal{SDH}(\mathcal{E})$がサイクル的複体の類を局所化した古典的ホール代数$\mathcal{H}(\mathcal{C}^b(\mathcal{E}))$の商と同型であることを示し、SDHと古典的ホール代数との関係を確立する。
• Lusztigのブraid群作用が、フーリエ変換を介して量子群に作用することを用いて、SDH構造がLusztigの構成と一致するように、$\mathbb{Z}/2$-次数半導来ホール代数に自然に実現されることを示す。

実験結果

リサーチクエスチョン

• RQ1 有界複体の古典的ホール代数と、導来圏の導来ホール代数の間を補間する新しいホール代数を構成することは可能か？
• RQ2 特に導来同値の文脈において、ブリッジランド・ホール代数はtilting関手によって不変か？
• RQ3 $\mathbb{Z}/2$-次数半導来ホール代数は、ブリッジランドの2周期的ホール代数と同型か？
• RQ4 十分に射影的対象をもつ遺伝的圏において、半導来ホール代数の乗法はリングエル・ホール積と一致するか？
• RQ5 遺伝的状況において、半導来ホール代数は、サイクル的複体の類を局所化した古典的ホール代数の商として実現可能か？

主な発見

• 半導来ホール代数$\mathcal{SDH}(\mathcal{E})$は、サイクル的複体の量子トーラス上の自由加群であり、$\mathcal{D}^b(\mathcal{E})$における同型類によって添字づけられる基底をもつ、結合的で単位的代数である。
• 十分な射影的対象と有限射影的分解をもつ完全系列の圏において、$\mathcal{SDH}(\mathcal{E})$の$\mathbb{Z}/2$-次数版はブリッジランドの2周期的ホール代数と同型である。
• $\mathcal{SDH}(\mathcal{E})$の構成は、完全系列関手、特にtilting関手によって誘導される導来同値のもとで不変である。
• 遺伝的圏に十分な射影的対象をもつ場合、$\mathcal{SDH}(\mathcal{E})$は、サイクル的複体の類を局所化した古典的ホール代数$\mathcal{H}(\mathcal{C}^b(\mathcal{E}))$の商と同型である。
• 遺伝的圏において、$\mathcal{SDH}(\mathcal{E})$の乗法はリングエル・ホール乗法と一致する。
• $\mathbb{Z}/2$-次数半導来ホール代数において、量子群へのブraid群作用（以前はフーリエ変換を介して構成されたもの）が自然に実現され、Lusztigの構成と一致する。