Table of Contents
Fetching ...

A quantum cluster algebra structure on the semi-derived Hall algebra

Alessandro Contu

Abstract

Using Hernandez-Leclerc's isomorphism between the derived Hall algebra of a representation-finite quiver $Q$ and the quantum Grothendieck ring of the quantum loop algebra of the Dynkin type of $Q$, we lift the (quantum) cluster algebra structure of the quantum Grothendieck ring to the semi-derived Hall algebra, introduced by Gorsky, of the category of bounded complexes of projective modules over the path algebra of $Q$. We also construct a braid group action on the semi-derived Hall algebra, lifting Kashiwara-Kim-Oh-Park's braid group action on the quantum Grothendieck ring.

A quantum cluster algebra structure on the semi-derived Hall algebra

Abstract

Using Hernandez-Leclerc's isomorphism between the derived Hall algebra of a representation-finite quiver and the quantum Grothendieck ring of the quantum loop algebra of the Dynkin type of , we lift the (quantum) cluster algebra structure of the quantum Grothendieck ring to the semi-derived Hall algebra, introduced by Gorsky, of the category of bounded complexes of projective modules over the path algebra of . We also construct a braid group action on the semi-derived Hall algebra, lifting Kashiwara-Kim-Oh-Park's braid group action on the quantum Grothendieck ring.

Paper Structure

This paper contains 19 sections, 33 theorems, 230 equations, 3 figures.

Key Result

Theorem 1.1

There is an isomorphism of $\mathcal{K}(C^b(\mathcal{P}))$-graded $\mathbb{Q}(v^{1/2})$-algebras which makes the diagram (intro_commutative_square_[a,b]) commute.

Figures (3)

  • Figure 1: The quiver $\widetilde{Q}^{[-\infty,3],\mathfrak{s}}$ for $\mathfrak{g}$ of type $A_3$
  • Figure 2: The quiver ${Q}(\mathfrak{C})$ for $\mathfrak{g}$ of type $A_4$
  • Figure 3: The quiver $\widetilde{Q}(\mathfrak{C})$ for $\mathfrak{g}$ of type $A_4$

Theorems & Definitions (72)

  • Theorem 1.1: Theorem \ref{['teo_quantum_clust_semiderived_[a,b]']}
  • Theorem 1.2: Corollary \ref{['cor_clust_semiderived']}
  • Theorem 1.3: Theorem \ref{['teo_braid']}
  • Remark 2.1
  • Definition 2.2
  • Remark 2.3
  • Proposition 2.4: Hernandez2004_alg_approach
  • Proposition 2.5: Hernandez2004_alg_approach
  • Proposition 2.6
  • Proposition 2.7
  • ...and 62 more