[论文解读] 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

一句话总结

本文引入了半衍生 Hall 代数（SDH）作为一种新的代数结构，它在经典 Hall 代数与导出 Hall 代数之间进行插值，构造于满足有限性条件的精确范畴上的有界复形。证明了 SDH 在由倾斜函子诱导的导出等价下保持不变，从而确立了 Bridgeland-Hall 代数在倾斜下的不变性，并表明 SDH 的 $\rvert\mathbb{Z}/2$-分次版本同构于 Bridgeland 的二周期 Hall 代数，从而证明了 Bridgeland-Hall 代数的倾斜不变性。

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.

研究动机与目标

• 构造一种新的 Hall 代数，即半衍生 Hall 代数（SDH），使其在有界复形的经典 Hall 代数与导出范畴的导出 Hall 代数之间进行插值。
• 建立 SDH 在由精确函子诱导的导出等价下的不变性，特别是倾斜函子的情形。
• 证明 SDH 的 $\rvert\mathbb{Z}/2$-分次版本同构于 Bridgeland 的二周期 Hall 代数。
• 证明 Bridgeland-Hall 代数在倾斜下保持不变，将不变性结果推广至导出范畴。
• 将 SDH 的乘法与遗传范畴中的 Ringel-Hall 乘积联系起来，识别出 SDH 为局部化经典 Hall 代数的商代数。

提出的方法

• 将半衍生 Hall 代数 $\mathcal{SDH}(\mathcal{E})$ 构造为一个由无圈复形的量子环面生成的自由模，其基由 $\mathcal{D}^b(\mathcal{E})$ 中的同构类给出。
• 利用精确范畴 $\mathcal{E}$ 的有限性条件，确保 Hall 结构的良好定义与结合性。
• 通过使用 $\mathbb{Z}/2$-分次复形，定义 $\mathcal{SDH}(\mathcal{E})$ 的 $\mathbb{Z}/2$-分次版本，并证明其同构于 Bridgeland 的二周期 Hall 代数。
• 通过在 $\mathcal{E}$ 与 $\mathcal{E}'$ 沿倾斜函子导出等价时，构造 $\mathcal{SDH}(\mathcal{E})$ 与 $\mathcal{SDH}(\mathcal{E}')$ 之间的典范同构，证明导出不变性。
• 通过证明在具有足够投射对象的遗传范畴中，$\mathcal{SDH}(\mathcal{E})$ 同构于 $\mathcal{H}(\mathcal{C}^b(\mathcal{E}))$ 局部化于无圈复形类的商代数，建立 SDH 与经典 Hall 代数之间的联系。
• 利用 braid 群通过傅里叶变换在量子群上的作用，将 SDH 结构与 Lusztig 的 braid 群作用联系起来。

实验结果

研究问题

• RQ1 能否构造一种新的 Hall 代数，使其位于有界复形的经典 Hall 代数与导出范畴的导出 Hall 代数之间？
• RQ2 Bridgeland-Hall 代数在倾斜函子下是否保持不变，特别是在导出等价的背景下？
• RQ3 SDH 的 $\mathbb{Z}/2$-分次版本是否同构于 Bridgeland 的二周期 Hall 代数？
• RQ4 在具有足够投射对象的遗传范畴中，半衍生 Hall 代数的乘法是否与 Ringel-Hall 乘法一致？
• RQ5 在遗传情形下，半衍生 Hall 代数能否被实现为经典 Hall 代数的局部化商代数？

主要发现

• 半衍生 Hall 代数 $\mathcal{SDH}(\mathcal{E})$ 是一个结合的单位元代数，是无圈复形的量子环面上的自由模，其基由 $\mathcal{D}^b(\mathcal{E})$ 中的同构类索引。
• 对于具有足够投射对象且具有有限投射分解的精确范畴，$\mathcal{SDH}(\mathcal{E})$ 的 $\mathbb{Z}/2$-分次版本同构于 Bridgeland 的二周期 Hall 代数。
• SDH 的构造在由精确函子诱导的导出等价下保持不变，特别是对倾斜函子成立。
• 在具有足够投射对象的遗传范畴中，$\mathcal{SDH}(\mathcal{E})$ 同构于经典 Hall 代数 $\mathcal{H}(\mathcal{C}^b(\mathcal{E}))$ 局部化于无圈复形类的商代数。
• 在遗传范畴中，$\mathcal{SDH}(\mathcal{E})$ 的乘法与 Ringel-Hall 乘法一致。
• 此前通过傅里叶变换构造的 braid 群在量子群上的作用，自然地在 $\mathbb{Z}/2$-分次半衍生 Hall 代数中实现，与 Lusztig 的构造相匹配。