Picard Groups for Derived Module Categories (Q4418976)

As in the introduction (section 1), let \(k\) be a commutative ring and let \(A\) be a \(k\)-algebra. An \(A\)-module means a left \(A\)-module, \(A^o\) denotes the opposite \(k\)-algebra of \(A\) and let \({\mathcal D}^b(A)\) denote the full subcategory of the derived category of \(A\)-modules consisting of objects with bounded homology. Also identify the category of \(A\)-modules with the full subcategory of \({\mathcal D}^b(A)\) of complexes concentrated in degree \(0\). A bounded complex \(X\) of \((A, A)\)-bimodules is invertible if there is a bounded complex \(Y\) of \((A, A)\)-bimodules such that \(X\otimes^L_AY\cong A\) and \(Y\otimes^L_AX\cong A\) in the derived category of \((A, A)\)-bimodules. The group \(\text{Tr\,Pic}(A)\) is defined by: its elements are isomorphism classes of invertible complexes in the derived category of \((A, A)\)-bimodules, and the product of the classes of \(X\) and \(X'\) is the class of \(X\otimes^L_A X'\). The inverse of the class of \(X\) is the class of \(Y\) where \(X\otimes^L_AY\cong A\) in the derived category of \((A, A)\)-bimodules. The subgroup of \(\text{Tr\,Pic}(A)\) given by complexes with homology concentrated in degree \(0\) is the usual Picard group \(\text{Pic}(A)\). Let \(B\) also be a \(k\)-algebra. By Rickard's theory, an equivalence between the derived categories of \(k\)-algebras A and B that are projective in \(k\)-mod induces an isomorphism between \(\text{Tr\,Pic}(A)\) and \(\text{Tr\,Pic}(B)\). Section 2 (on Rickard's tilting theory) presents basic results on: Standard derived equivalences (section 2.2), some invariants of a standard derived equivalence (section 2.3), flat central base (ring) change (section 2.4), degenerate cases (section 2.5) and stable equivalences. Section 3 (Picard groups) presents the precise definition of \(\text{Tr\,Pic}(A)\) (section 3.1) and fundamental considerations of these groups with regard to: Base (ring) change (section 3.2), a localization sequence (section 3.3), and stable Picard groups (section 3.4). The final section 4 (Brauer tree algebras) presents an analysis of a Brauer tree algebra A with no exceptional vertices and n simple modules that relates Artin's braid group on \(n+ 1\) strings to \(\text{Tr\,Pic}(A)\).