Heisenberg doubles and derived categories (Q1265520): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Mikhail Kapranov / rank | |||
Property / reviewed by | |||
Property / reviewed by: Andrei Marcus / rank | |||
Property / author | |||
Property / author: Mikhail Kapranov / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Andrei Marcus / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2025283953 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: q-alg/9701009 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \((T^*G)_ t\): a toy model for conformal field theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hidden quantum groups inside Kac-Moody algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4321790 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4889850 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hall algebras, hereditary algebras and quantum groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994341 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4317871 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Eisenstein series and quantum affine algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3127984 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3999005 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to quantum groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Canonical Bases Arising from Quantized Enveloping Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quivers, Perverse Sheaves, and Quantized Enveloping Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hall algebras and quantum groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Composition Algebra of a Cyclic Quiver / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4880625 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4314350 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Drinfeld double and Ringel-Green theory of Hall algebras / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:18, 28 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Heisenberg doubles and derived categories |
scientific article |
Statements
Heisenberg doubles and derived categories (English)
0 references
15 April 1999
0 references
The paper addresses the problem of defining a Hall algebra of the derived category \(D^b(\mathcal A)\) of the abelian category \(\mathcal A\). One assumes that \(\mathcal A\) has finite homological dimension, every object \(A\) of \(\mathcal A\) has a finite number of subobjects, and all the groups \(\text{Ext}_{\mathcal A}^i(A,B)\) are finite and zero for almost all \(i\) and for all \(i>0\). This problem is related to \textit{C. M. Ringel}'s Hall algebra construction [Invent. Math. 101, No. 3, 583-591 (1990; Zbl 0735.16009)], associating to \(\mathcal A\) an algebra \(R(\mathcal A)\) (related in a particular case to the quantized enveloping algebra \(U_q({\mathfrak g})\) of a certain semisimple Lie algebra \({\mathfrak g}\)). Extending this construction to triangulated categories such as \(D^b(\mathcal A)\) appears to be difficult. In this paper the author constructs an algebra \(L(\mathcal A)\), called the lattice algebra of \(\mathcal A\), using the Heisenberg double as an essential tool. The paper is divided into four sections. Section 1 discusses the Heisenberg double Heis\((\mathcal A)=HD(B(\mathcal A),B(\mathcal A),\phi)\) of the extended Ringel algebra \(B(\mathcal A)={\mathbb{C}}[\mathcal K_0\mathcal A]\otimes R(\mathcal A)\), where \(\phi\) is a Hopf pairing on \(B(\mathcal A)\). The main result of Section 2 states that if \(F\:D^b(\mathcal A) \to D^b(\mathcal B)\) is a tilting (that is, an equivalence such that \(F(\mathcal A)\subset D^{[0,1]}(\mathcal B)\)), then there is an injective homomorphism of algebras \(F_*\:R(\mathcal A)\to\text{Heis}(\mathcal B)\). In Section 3 the lattice algebra \(L(\mathcal A)\) of \(\mathcal A\) is defined by taking infinitely many copies of \(R(\mathcal A)\), one for each site of an infinite lattice, and by imposing Heisenberg-like commutation relations between algebras at adjacent sites of the lattice. Several examples and related constructions are discussed in the last section. Some technical points of the proofs rely on another recent paper of the author [\textit{M. M. Kapranov}, J. Math. Sci. 84, No. 5, 1311-1360 (1997)].
0 references
abelian categories
0 references
derived categories
0 references
Hopf algebras
0 references
Hall-Ringel algebra
0 references
Heisenberg doubles
0 references
lattice algebra
0 references
tilting
0 references