2014/09/24 by Gorsky, Mikhail
#Category Theory (math.CT) #FOS: Mathematics #Quantum Algebra (math.QA) #Representation Theory (math.RT)
paper · doi:10.48550/arxiv.1409.6798
Given a Frobenius category F satisfying certain finiteness conditions, we consider the localization of its Hall algebra H(F) at the classes of all projective-injective objects. We call it the \it "semi-derived Hall algebra" SDH(F, P(F)). We discuss its functoriality properties and show that it is a free module over a twisted group algebra of the Grothendieck group K0(P(F)) of the full subcategory of projective-injective objects, with a basis parametrized by the isomorphism classes of objects in the stable category \underlineF. We prove that it is isomorphic to an appropriately twisted tensor product of ℚK0(P(F)) with the derived Hall algebra (in the sense of Toën and Xiao-Xu) of \underlineF, when both of them are well-defined. We discuss some situations where the semi-derived Hall algebra is defined while the derived Hall algebra is not. The main example is the case of 2-periodic derived category of an abelian category with enough projectives, where the semi-derived Hall algebra was first considered by Bridgeland who used it to categorify quantum groups.