From quantum groups to quantum cluster algebras

Basic Information

• Paper ID: 2511.14240
• Title: From quantum groups to quantum cluster algebras
• Authors: Changjian Fu, Haicheng Zhang
• Classification: math.QA (Quantum Algebra), math.RA (Rings and Algebras), math.RT (Representation Theory)
• Submission Date: November 18, 2025 (arXiv submission)
• Paper Link: https://arxiv.org/abs/2511.14240
• Author Affiliations:
  • Changjian Fu: School of Mathematics, Sichuan University
  • Haicheng Zhang: School of Mathematical Sciences, Nanjing Normal University

Abstract

This paper constructs an algebraic homomorphism from the positive part of the quantum group $U^+_v(\mathfrak{g})$ to the corresponding quantum cluster algebra $\mathcal{A}_q$ with principal coefficients. As a byproduct, it is proven that quantum cluster variables obtained from initial cluster variables by one-step mutation satisfy the (higher-order) quantum Serre relations in $\mathcal{A}_q$.

Research Background and Motivation

1. Research Problem

This paper aims to establish explicit algebraic homomorphism relationships between quantum groups and quantum cluster algebras, particularly proving that quantum cluster variables satisfy quantum Serre relations, a fundamental property.

2. Importance of the Problem

• Ringel-Hall algebras have established a bridge between representation theory and Lie theory; the Ringel-Hall algebra of finite-dimensional hereditary algebras realizes the positive half of the corresponding quantum group
• Cluster algebras, invented by Fomin and Zelevinsky, are used to study total positivity in algebraic groups and canonical bases of quantum groups
• Although homomorphisms from dual Hall algebras to quantum cluster algebras exist, they all require twisting using the Euler form and skew-symmetric bilinear form Λ

3. Limitations of Existing Methods

• Works by Berenstein-Rupel 1, Chen-Ding-Xu 6, Ding-Xu-Zhang 10, Fu-Peng-Zhang 12, etc., all require Λ-twisting of Hall algebras
• Huang et al. 14 recently proved fundamental relations through direct, elementary but complex calculations, but lack a unified algebraic structure perspective

4. Research Motivation

• Utilize existing algebraic homomorphism theory to recover and generalize fundamental relations in a more structured manner
• Construct new compatible pairs for homomorphisms from Ringel-Hall algebras directly to quantum cluster algebras
• Establish (higher-order) quantum Serre relations in quantum cluster algebras

Core Contributions

1. Recovery of Fundamental Relations: Using the algebraic homomorphism in 6 and the compatible pair considered in 14, the (higher-order) fundamental relations obtained through direct calculation in 14 are recovered via algebraic homomorphisms.
2. Construction of New Compatible Pairs: For acyclic valued quivers Q, another compatible pair $(Λ, \tilde{B})$ is provided where Λ has special structure.
3. Establishment of Main Homomorphism: Using this special Λ, an algebraic homomorphism from the Ringel-Hall algebra $H_v(\mathcal{A})$ to the quantum cluster algebra $\mathcal{A}_q(Q)$ is constructed.
4. Proof of Quantum Serre Relations: As the main result, (higher-order) quantum Serre relations are established in the quantum cluster algebra $\mathcal{A}_q(Q)$.
5. Theoretical Unification: Quantum group theory, Hall algebra theory, and quantum cluster algebra theory are unified within a single framework.

Detailed Methodology

Task Definition

Given an acyclic valued quiver Q (without cycles or 2-cycles), let $\mathcal{A}$ be the category of finite-dimensional nilpotent representations of Q over a finite field $k = \mathbb{F}_q$. The task is to:

• Construct an algebraic homomorphism from the quantum group $U^+_v(\mathfrak{g})$ to the quantum cluster algebra $\mathcal{A}_q(Q)$
• Prove that quantum cluster variables satisfy quantum Serre relations

Core Mathematical Structures

1. Quantum Group $U_v(\mathfrak{g})$

Let I = {1,2,...,n} be an index set, C = $(c_{ij})$ a symmetrizable generalized Cartan matrix with symmetrizer $D = \text{diag}(d_i | i \in I)$. The quantum group $U_v(\mathfrak{g})$ is generated by $E_i, F_i, K_i, K_i^{-1}$ satisfying:

• Commutation relations: $K_iK_i^{-1} = 1$, $[K_i, K_j] = 0$
• Conjugation relations: $K_iE_j = v_i^{c_{ij}}E_jK_i$
• Quantum Serre relations: $\sum_{t=0}^{1-c_{ij}} (-1)^t \begin{bmatrix} 1-c_{ij} \\ t \end{bmatrix}_{v_i} E_i^{1-c_{ij}-t}E_jE_i^t = 0, \quad i \neq j$

2. Ringel-Hall Algebra

The Hall algebra $H(\mathcal{A})$ has basis $\{u_M | M \in \text{Iso}(\mathcal{A})\}$ with multiplication: $u_M \diamond u_N = \sum_{L} \frac{|\text{Ext}^1_{\mathcal{A}}(M,N)_L|}{|\text{Hom}_{\mathcal{A}}(M,N)|} u_L$

The v-twisted Hall algebra (Ringel-Hall algebra) $H_v(\mathcal{A})$ has multiplication: $u_M * u_N = v^{\langle M,N \rangle} u_M \diamond u_N$

where $\langle M,N \rangle = \dim_k \text{Hom}(M,N) - \dim_k \text{Ext}^1(M,N)$ is the Euler form.

Ringel-Green Theorem: There exists an injective algebra homomorphism $\lambda: U^+_v(\mathfrak{g}) \to H_v(\mathcal{A})$ defined by $\lambda(E_i) = (q_i-1)^{-1}u_{S_i}$.

3. Quantum Cluster Algebra

Given a compatible pair $(Λ, \tilde{B})$ where:

• Λ is an $m \times m$ skew-symmetric matrix (such that 2Λ is an integer matrix)
• $\tilde{B}$ is an $m \times n$ integer matrix with upper $n \times n$ submatrix B skew-symmetrizable
• Compatibility condition: $\tilde{B}^{\text{tr}}Λ = (D | 0)$

The quantum torus $T_{q,Λ}$ has basis $\{X^e : e \in \mathbb{Z}^m\}$ with multiplication: $X^e X^f = q^{\frac{1}{2}Λ(e,f)} X^{e+f}$

The quantum cluster algebra $\mathcal{A}_q(Λ, \tilde{B})$ is the subalgebra of $T_{q,Λ}$ generated by all quantum cluster variables.

Technical Innovations

1. Λ-twisted Ringel-Hall Algebra

Define the Λ-twisted multiplication: $u_M \star u_N = v^{Λ(\tilde{E}\mathbf{m}, \tilde{E}\mathbf{n}) + \langle M,N \rangle} u_M * u_N = q^{\frac{1}{2}Λ(\tilde{E}\mathbf{m}, \tilde{E}\mathbf{n}) + \langle M,N \rangle} u_M \diamond u_N$

where $\tilde{E} = \tilde{I} - \tilde{R}'$, with $\tilde{R}'$ related to the Ext groups of the quiver.

2. Quantum Caldero-Chapoton Map

For any object $M \in \mathcal{A}$, define: $X_M := \sum_e v^{-\langle e, \mathbf{m}-e \rangle} |\text{Gre}_M| X^{-\tilde{E}'e - \tilde{E}(\mathbf{m}-e)}$

where $\text{Gre}_M$ is the set of all submodules of M with dimension vector e.

Key Proposition (Proposition 3.2): For each $1 \leq i \leq n$, the quantum cluster variable obtained by one-step mutation is $y_i = X_{S_i}$.

3. Main Homomorphism Theorem

Theorem 3.3: The map $Ψ: H_Λ(\mathcal{A}) \to T_{q,Λ}$ defined by $u_M \mapsto X_M$ is an algebra homomorphism.

This is the technical core of the paper, utilizing:

• The multiplication formula of Hall algebras
• The multiplicative structure of quantum tori
• Careful design of the Λ-twisting

4. Two Key Compatible Pairs

Compatible Pair 1 (for fundamental relations): Let $\tilde{Q}$ be the quiver obtained from Q by adding extra vertices $n+1,...,2n$, define: $Λ_1 = \begin{pmatrix} 0 & -D \\ D & -DB \end{pmatrix}$

Lemma 4.1: $Λ_1(\tilde{E}α, \tilde{E}β) = 0$ for all $α, β \in \mathbb{Z}^n$.

This property implies $H_q(\mathcal{A}) = H_{Λ_1}(\mathcal{A})$, allowing direct application of Ringel-Hall algebra results.

Compatible Pair 2 (for quantum Serre relations): For acyclic quiver Q, define the complex matrices: $Θ = \begin{pmatrix} -D^{-1}E & -D^{-1}E^{\text{tr}} \\ I_n & 0 \end{pmatrix}$

$Γ = \begin{pmatrix} E^{\text{tr}}-E & -E^{\text{tr}}-E \\ E^{\text{tr}}+E & E^{\text{tr}}-E \end{pmatrix}$

$Λ_0 = (Θ^{-1})^{\text{tr}}ΓΘ^{-1}$

Set $Λ_2 = \frac{1}{2}Λ_0$, then $(Λ_2, \tilde{B})$ is a compatible pair.

Lemma 5.3:

1. $Λ(\tilde{E}α, \tilde{E}'β) = -\frac{1}{2}(α, β)$
2. $Λ(\tilde{E}α, \tilde{E}β) = \frac{1}{2}(\langle β, α \rangle - \langle α, β \rangle)$

5. Key Isomorphism

Proposition 5.5: There exists an algebra isomorphism $ρ: H_v(\mathcal{A}) \to H_{Λ_2}(\mathcal{A})$ defined by: $ρ(u_M) = v^{\frac{1}{2}\langle \mathbf{m}, \mathbf{m} \rangle} u_M$

This establishes the connection between the standard Ringel-Hall algebra and the Λ₂-twisted Hall algebra.

Main Result Chain

1. Twisted Higher-Order Quantum Serre Relations (Proposition 3.4): For $1 \leq i \neq j \leq n$, positive integers l, p satisfying $p \geq -lc_{ij}$, $ε = ±1$: $\sum_{t=0}^{p+1} (-1)^t v_i^{ε(p+lc_{ij})t} v^{-a_{i,j;l,t}} \begin{bmatrix} p+1 \\ t \end{bmatrix}_{v_i} y_i^{p+1-t} y_j^l y_i^t = 0$ holds in the quantum torus $T_{q,Λ}$.
2. Fundamental Relations (Corollary 4.7): In $T_{q,Λ_1}$:

• If $b_{ij} \leq 0$: $\sum_{t=0}^{1-b_{ij}} (-1)^t q_i^{\frac{t(t-1)}{2}} \begin{bmatrix} 1-b_{ij} \\ t \end{bmatrix}_{q_i} y_i^{1-b_{ij}-t} y_j y_i^t = 0$
• If $b_{ij} > 0$: $\sum_{t=0}^{1+b_{ij}} (-1)^t q_i^{\frac{t(t-1)}{2}-tb_{ij}} \begin{bmatrix} 1+b_{ij} \\ t \end{bmatrix}_{q_i} y_i^{1+b_{ij}-t} y_j y_i^t = 0$

This recovers the results from 14.

3. Quantum Serre Relations (Corollary 5.8): In the quantum cluster algebra $\mathcal{A}_q(Q)$: $\sum_{t=0}^{1-c_{ij}} (-1)^t \begin{bmatrix} 1-c_{ij} \\ t \end{bmatrix}_{v_i} y_i^{1-c_{ij}-t} y_j y_i^t = 0$ where $-c_{ij} = [b_{ij}]_+ + [-b_{ij}]_+$.
4. Main Theorem (Corollary 5.7): There exists an algebra homomorphism $φ: U^+_v(\mathfrak{g}) \to \mathcal{A}_q(Q)$ defined by: $φ(E_i) = v_i^{\frac{1}{2}}(q_i-1)^{-1} y_i$

Experimental Setup

This is a pure mathematics theory paper without numerical experiments, but includes a detailed computational verification example.

Example 5.10: Quiver $Q: 1 \to 2$

Let $Q$ be the quiver $1 \to 2$, $D = I_2$. Computation yields:

$B̃ = \begin{pmatrix} 0 & 1 \\ -1 & 0 \\ 1 & 0 \\ 0 & 1 \end{pmatrix}, \quad R = \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix}, \quad E = \begin{pmatrix} 1 & -1 \\ 0 & 1 \end{pmatrix}$

$Λ_1 = \begin{pmatrix} 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \\ 1 & 0 & 0 & -1 \\ 0 & 1 & 1 & 0 \end{pmatrix}$

$Λ_2 = \frac{1}{2}\begin{pmatrix} 0 & 1 & -1 & 0 \\ -1 & 0 & 0 & -1 \\ 1 & 0 & 0 & -1 \\ 0 & 1 & 1 & 0 \end{pmatrix}$

Experimental Results

Verification of Fundamental Relations

In $T_{q,Λ_1}$, verify: $\sum_{t=0}^2 (-1)^t v^{-t} \begin{bmatrix} 2 \\ t \end{bmatrix}_v y_1^{2-t} y_2 y_1^t = [y_1, [y_1, y_2]_{q^{-1}}] = 0$

Through explicit calculation:

• $y_1 = X^{e_3-e_1} + X^{e_2-e_1}$
• $y_2 = X^{e_1+e_4-e_2} + X^{-e_2}$
• $[y_1, [y_1, y_2]]_{q^{-1}} = [X^{e_3-e_1} + X^{e_2-e_1}, (v^{-1}-v)X^{e_4}]_{q^{-1}} = 0$

Verification of Higher-Order Fundamental Relations

For $ε=1, l=2, p=2$, verify: $\sum_{t=0}^3 (-1)^t q^{-t} \begin{bmatrix} 3 \\ t \end{bmatrix}_v y_1^{3-t} y_2^2 y_1^t = [y_1, [y_1, [y_1, y_2^2]_{q^{-2}}]_{q^{-1}}]$

Through detailed calculation of each commutator, the expression is verified to equal 0.

Verification of Quantum Serre Relations

In $T_{q,Λ_2}$, verify: $\sum_{t=0}^2 (-1)^t \begin{bmatrix} 2 \\ t \end{bmatrix}_v y_1^{2-t} y_2 y_1^t = [y_1, [y_1, y_2]_v]_{v^{-1}} = 0$

and the higher-order case: $\sum_{t=0}^3 (-1)^t \begin{bmatrix} 3 \\ t \end{bmatrix}_v y_1^{3-t} y_2^2 y_1^t = [y_1, [y_1, [y_1, y_2^2]_q]]_{q^{-1}} = 0$

All calculations are verified successfully.

Related Work

1. Hall Algebras and Quantum Groups

• Ringel 16,17: Established connections between Hall algebras and quantum groups
• Green 13: Proved homomorphisms from Ringel-Hall algebras to quantum groups
• Lusztig 15: Systematically studied quantum groups and canonical bases

2. Cluster Algebra Theory

• Fomin-Zelevinsky 11: Invented cluster algebra theory
• Berenstein-Zelevinsky 2: Introduced quantum cluster algebras
• Caldero-Chapoton 3: Defined cluster characters, establishing connections between cluster algebras and representation theory
• Caldero-Keller 4,5: Cluster multiplication theorem

3. Quantum Cluster Characters

• Rupel 18: Introduced quantum cluster characters
• Berenstein-Rupel 1: Generalized quantum cluster characters, homomorphisms from dual Hall algebras to quantum polynomial algebras
• Fu-Peng-Zhang 12: Realized quantum cluster characters via Hall algebra methods
• Chen-Ding-Zhang 7: Quantum version of Caldero-Keller theorem

4. Hall Algebra Homomorphisms to Quantum Cluster Algebras

• Chen-Ding-Xu 6: Ringel-Hall algebra homomorphisms to quantum cluster algebras
• Ding-Xu-Zhang 10: Realization of acyclic quantum cluster algebras via morphism Hall algebras
• These works all require Λ-twisting

5. Relations in Quantum Cluster Algebras

• Huang-Chen-Ding-Xu 14: Recently proved fundamental relations through direct calculation
• This paper provides a more structured proof method

Innovations of This Paper

The main innovations are:

1. Not only recovering fundamental relations but establishing quantum Serre relations
2. Constructing new compatible pairs, particularly the construction of $Λ_2$
3. Establishing direct homomorphisms from quantum groups to quantum cluster algebras
4. Providing a unified theoretical framework

Conclusions and Discussion

Main Conclusions

1. Existence of Homomorphism: For acyclic valued quivers Q, there exists an algebra homomorphism $φ: U^+_v(\mathfrak{g}) \to \mathcal{A}_q(Q)$ mapping quantum group generators to quantum cluster variables.
2. Transmission of Quantum Serre Relations: Quantum Serre relations from quantum groups still hold in quantum cluster algebras, showing that quantum cluster algebras inherit certain fundamental algebraic structures from quantum groups.
3. Unification of Higher-Order Relations: Through Hall algebra methods, fundamental relations and quantum Serre relations are uniformly proved as special cases of higher-order quantum Serre relations.
4. Flexibility of Compatible Pairs: Different compatible pairs lead to different relation formulas; $Λ_1$ yields fundamental relations, $Λ_2$ yields quantum Serre relations.

Limitations

1. Quiver Restrictions: Main results (quantum Serre relations) are proven only for acyclic quivers. For quivers with oriented cycles, whether the image of the quantum Caldero-Chapoton map lies in the quantum cluster algebra remains unclear (Remark 3.1).
2. Compatible Pair Construction: The construction of $Λ_2$ is quite complex (involving matrices $Θ, Γ$, etc.), and its geometric or representation-theoretic meaning is not sufficiently clear.
3. Surjectivity of Homomorphism: The paper does not discuss whether the homomorphism $φ$ is surjective, i.e., whether the quantum cluster algebra is completely generated by the image of the quantum group.
4. Generalization: Whether results hold for more general cluster algebras (non-principal coefficient cases) requires further investigation.
5. Computational Complexity: While providing a theoretical framework, explicit computation of compatible pairs and verification of relations for large quivers remains complex.

Future Directions

Future research directions suggested by the paper include:

1. Extension to Cyclic Quivers: Study the case of quivers with oriented cycles, understanding the behavior of quantum cluster variables in more general settings.
2. Surjectivity Problem: Investigate whether the homomorphism from quantum groups to quantum cluster algebras is surjective, or characterize its image.
3. Geometric Interpretation: Seek geometric or categorical interpretations of compatible pairs such as $Λ_2$.
4. Canonical Bases: Use the established homomorphism to study canonical basis problems in quantum cluster algebras.
5. Complete Classification of Higher-Order Relations: Systematically study all possible higher-order relations in quantum cluster algebras.
6. Extension to Kac-Moody Case: Generalize results to infinite-dimensional settings.

In-Depth Evaluation

Strengths

1. Theoretical Depth

• Unified Framework: Successfully unifies quantum group theory, Hall algebra theory, and quantum cluster algebra theory within a single framework, demonstrating deep connections between these theories.
• Structured Proof: Compared to the direct calculations in 14, this paper provides more structured and elegant proofs through algebraic homomorphisms.
• Innovative Construction: The construction of $Λ_2$ is innovative; though complex, it effectively achieves the goal.

2. Mathematical Rigor

• All theorems and propositions have complete proofs
• Logical relationships between lemmas are clear
• Symbol system is consistent and precise
• Computational verification is detailed (Example 5.10)

3. Importance of Results

• Main Homomorphism (Corollary 5.7) represents important progress in the field, establishing for the first time a direct homomorphism from quantum groups to quantum cluster algebras
• Quantum Serre Relations in quantum cluster algebras have foundational significance
• Provides tools for further research on the structure of quantum cluster algebras

4. Writing Quality

• Clear structure: progresses layer by layer from preliminaries to main results
• Complete symbol definitions: though numerous symbols are used, all are clearly defined
• Detailed examples: Example 5.10 provides complete computational verification

Weaknesses

1. Readability Issues

• Symbol Overload: The paper uses numerous symbols ($\tilde{R}, \tilde{R}', \tilde{E}, \tilde{E}', Θ, Γ, Λ_0, Λ_1, Λ_2$, etc.), which is unfriendly to non-expert readers
• Insufficient Motivation: The motivation and geometric meaning of certain constructions (such as $Θ, Γ$ matrices) are not sufficiently explained
• Lack of Intuition: Missing diagrams or intuitive explanations to help understand complex algebraic structures

2. Technical Limitations

• Acyclic Restriction: Main results are limited to acyclic quivers, restricting the scope of applications
• Specificity of Compatible Pairs: The construction of $Λ_2$ depends on acyclicity, making generalization difficult
• Computational Complexity: Explicit computation remains difficult for large quivers

3. Completeness of Results

• Surjectivity Not Discussed: The surjectivity of homomorphism $φ$ is important for understanding the structure of quantum cluster algebras but is not addressed
• Completeness of Relations: Are quantum Serre relations all fundamental relations in quantum cluster algebras?
• Comparison with Other Results: Insufficient discussion of relationships with results in 14

4. Limitations of Examples

• Only one example ($1 \to 2$), which is the simplest case
• Lack of computational examples for more complex quivers
• No demonstration of applications to practical problems

Impact Assessment

1. Contribution to the Field

• Theoretical Progress: Establishing direct connections between quantum groups and quantum cluster algebras is important theoretical progress
• Methodology: Provides new methods for studying quantum cluster algebras through Hall algebras
• Inspiration: Offers new perspectives for researching the algebraic structure of quantum cluster algebras

2. Practical Value

• Theoretical Tools: Provides new tools for studying quantum cluster algebras
• Computational Methods: Though complex, provides systematic methods for verifying relation formulas
• Application Potential: May have applications to canonical bases, total positivity, and other problems

3. Reproducibility

• Theoretical Reproducibility: Strong; all proofs are complete and verifiable
• Computational Reproducibility: Moderate; Example 5.10 can be reproduced with symbolic computation software
• Generalizability: Methods can be applied to other quivers but require extensive computation

4. Value for Subsequent Research

• Open Problems: Raises important open problems such as the cyclic case
• Generalization Directions: Provides foundation for generalization to more general cases
• Cross-disciplinary Applications: May have applications in representation theory, algebraic geometry, and other fields

Applicable Scenarios

1. Theoretical Research

• Quantum Group Theory: Research on representations and structures of quantum groups
• Cluster Algebra Theory: Study of algebraic properties of quantum cluster algebras
• Hall Algebra Theory: Research on homomorphisms and representations of Hall algebras

2. Concrete Applications

• Acyclic Quivers: Representation-theoretic problems for acyclic quivers
• Quantization Problems: Research on quantization of cluster algebras
• Canonical Bases: Potential applications to canonical basis construction and research

3. Methodology

• Algebraic Homomorphism Method: Using homomorphisms to study algebraic structures
• Twisting Techniques: Applications of Λ-twisting to other problems
• Hall Algebra Methods: Using Hall algebras to study other algebraic objects

Overall Evaluation

This is a high-quality pure mathematics theory paper making important contributions at the intersection of quantum groups, Hall algebras, and quantum cluster algebras. The main achievement is establishing an algebraic homomorphism from quantum groups to quantum cluster algebras and proving that quantum Serre relations hold in quantum cluster algebras.

Main Advantages:

• Theoretical depth and innovation
• Mathematical rigor
• Unification of multiple theoretical frameworks

Main Challenges:

• High technical complexity
• Limited to acyclic cases
• Readability could be improved

The paper establishes important foundations for subsequent research in the field, particularly providing new perspectives for understanding the algebraic structure of quantum cluster algebras. For mathematicians working in quantum groups, representation theory, or cluster algebras, this is an important reference worthy of deep study.

Key References

1 A. Berenstein and D. Rupel, Quantum cluster characters of Hall algebras, Selecta Math. N.S. 21 (2015), 1121–1176.

2 A. Berenstein and A. Zelevinsky, Quantum cluster algebras, Adv. Math. 195 (2005), 405–455.

6 X. Chen, M. Ding and F. Xu, On homomorphisms from Ringel–Hall algebras to quantum cluster algebras, Algebr. Represent. Theor. 19 (2016), 171–180.

11 S. Fomin and A. Zelevinsky, Cluster algebras. I. Foundations, J. Amer. Math. Soc. 15 (2002), 497–529.

12 C. Fu, L. Peng and H. Zhang, Quantum cluster characters of Hall algebras revisited, Selecta Math. (N.S.) 29(1) (2023), Paper No. 4, 29 pp.

14 J. Huang, X. Chen, M. Ding and F. Xu, Fundamental relations in quantum cluster algebras, arXiv:2509.11635v1.

17 C. M. Ringel, Hall algebras and quantum groups, Invent. Math. 101 (1990), 583–592.