arXiv Science⌕ Search

arXiv subjects

Changjian Fu

Publications and source records attributed to Changjian Fu.

At least 19 recordsLinked to original sources
arXiv2026

Representations of Bound Quivers over $\mathbb{F}_1$ and Hall Algebras

Representations of quivers over the virtual field $\mathbb{F}_1$ can be naturally extended to bound quivers with monomial and commutativity relations. In this paper, we introduce and study the Hall algebra $\mathcal{H}_{\mathbb{F}_1}(Q,I)$ for a bound quiver $(Q,I)$ equipped with such relations. As in the quiver setting, $\mathcal{H}_{\mathbb{F}_1}(Q,I)$ is a graded, connected, and cocommutative bialgebra, and the free subgroup generated by all indecomposable representations forms a Lie subalgebra. We study $\mathcal{H}_{\mathbb{F}_1}(Q,I)$ in detail for two special classes of bound quivers: Nakayama bound quivers and gentle one-cycle bound quivers. In both cases, we prove that for any triple $L, M, N$ of $\mathbb{F}_1$-representations over $(Q,I)$, the Hall number $g_{N,L}^M$ coincides with the evaluation of the corresponding Hall polynomial $ϕ_{N,L}^M(t)$ at $t=1$. Consequently, there exists a canonical isomorphism between $\mathcal{H}_{\mathbb{F}_1}(Q,I)$ and the degenerate Hall algebra $\mathcal{H}_1(Q,I)$, justifying Tits's $\mathbb{F}_1$-philosophy in these settings.

math.RT↗
arXiv2026

Acyclic quantum cluster algebras via Hall algebras associated to cluster categories

Let $Q$ be a finite acyclic valued quiver. We establish an alternative cluster multiplication formula in the quantum cluster algebra associated with $Q$, which exhibits certain symmetries similar to 2-Calabi--Yau properties of cluster categories. Motivated by this formula, we introduce a Hall algebra $\mathcal {D}\mathcal {H}_Λ^{cl}(\widetilde{\mathcal{A}})$ via a certain quotient of a derived Hall subalgebra associated with $Q$, serving as an algebra counterpart to cluster categories of hereditary algebras. As our main result, we prove that the quantum cluster algebra associated with $Q$ is isomorphic to the exceptional subalgebra of $\mathcal{D}\mathcal{H}_Λ^{cl}(\widetilde{\mathcal{A}})$, namely, the subalgebra generated by exceptional objects. Furthermore, when $Q$ is of Dynkin type, the quantum cluster algebra is naturally isomorphic to $\mathcal{D}\mathcal{H}_Λ^{cl}(\widetilde{\mathcal{A}})$ itself. This establishes a Hall algebra realization for all acyclic quantum cluster algebras. As an application, we introduce the Hall subalgebra of $\mathcal{D}\mathcal{H}_Λ^{cl}(\widetilde{\mathcal{A}})$ generated by projectives, yielding a Hall algebra analogue of the lower bound quantum cluster algebras. Then we show that the standard monomials of quantum projective cluster variables form a basis of the quantum cluster algebras via Hall algebra approach. Moreover, we show that the Auslander--Reiten translation of cluster categories induces an algebra automorphism of $\mathcal {D}\mathcal {H}_Λ^{cl}(\widetilde{\mathcal{A}})$. Finally, we apply the BGP-reflections to $\mathcal {D}\mathcal {H}_Λ^{cl}(\widetilde{\mathcal{A}})$, and prove that the Hall algebra $\mathcal {D}\mathcal {H}_Λ^{cl}(\widetilde{\mathcal{A}})$ is invariant up to isomorphism under the mutations at sink vertices of $Q$.

math.RT↗
arXiv2026

Are cluster automorphism groups finitely generated?

This paper investigates the finite generation of cluster automorphism groups. By applying the pseudo $\mathbb{N}$-grading introduced in our previous work, we establish a sufficient condition for a cluster automorphism group to be finitely generated. As applications, we re-establish the finite generation of the automorphism groups for all finite mutation type cluster algebras, and verify the acyclic cases. Furthermore, we illustrate through examples that our approach significantly simplifies the computation of presentations for these groups in certain cases.

math.RA↗
arXiv2026

A correspondence between additive and monoidal categorifications with application to Grassmannian cluster categories

Building on work of Derksen-Fei and Plamondon, we formulate a conjectural correspondence between additive and monoidal categorifications of cluster algebras, which reveals a new connection between the additive reachability conjecture and the multiplicative reachability conjecture. Evidence for this conjecture is provided by results on Grassmannian cluster algebras and categories in the tame types. Moreover, we give a construction of the generic kernels introduced by Hernandez and Leclerc for type $\mathbb{A}$ via the Grassmannian cluster categories. As an application of the correspondence, we construct rigid indecomposable modules and indecomposable non-rigid modules in Grassmannian cluster categories.

math.RT↗
arXiv2026

GIM and Elliptic Lie algebras via Ringel--Hall Lie algebras

For any symmetrizable generalized intersection matrix (GIM) $C$, we construct an acyclic valued quiver $(Q,\mathbf{d})$ endowed with an involution $θ$. Let $\mathcal{D}$ be the bounded derived category of finite-dimensional representations of $(Q,\mathbf{d})$, and let $Σ$ stand for the suspension functor of $\mathcal{D}$. We show that the orbit category $\mathcal{D}/(θ\circΣ)$ carries a canonical triangulated structure and is $2$-periodic. Applying Peng--Xiao's construction to this orbit category, we prove that the GIM algebra $\operatorname{gim}(C)$ is isomorphic to the integral Ringel--Hall Lie algebra associated with $\mathcal{D}/(θ\circΣ)$. As a further application of the above machinery, we investigate elliptic Lie algebras of types $D_4^{(1,1)}$, $E_6^{(1,1)}$, $E_7^{(1,1)}$ and $E_8^{(1,1)}$. For each elliptic Dynkin diagram, we define a finite-dimensional algebra $A$ by taking an appropriate quotient of the acyclic quiver $Q$ attached to the GIM matrix $C$. From the resulting $2$-periodic triangulated categories, we build the corresponding Ringel--Hall Lie algebras, and establish a surjective Lie algebra homomorphism from each elliptic Lie algebra to its integral Ringel--Hall counterpart. This map is conjectured to be injective, and its injectivity on real root spaces is confirmed.

math.RT↗
arXiv2026

Homological rigidity of quiver representations over $\mathbb{F}_1$

We establish a homological rigidity phenomenon for the category of representations of quivers over the virtual field $\mathbb{F}_1$, which is inherently non-additive and does not admit classical homological algebra tools. We prove that all higher Yoneda extension groups vanish beyond degree two for arbitrary quivers, including infinite ones. Consequently, the global dimension of the category is universally bounded by 2. Moreover, we obtain a complete classification of quivers according to their homological dimension, which is determined solely by the underlying orientation structure.

math.RT↗
arXiv2026

On $τ$-tilting graphs for quasi-silted algebras

We prove that the $τ$-tilting graph of any quasi-silted algebra is connected and has the reachable-in-face property. Our approach utilizes $τ$-reduction and wall and chamber structures. In particular, we observe a sufficient condition on the wall and chamber structure under which the connectivity of $τ$-tilting graphs is preserved under taking quotients of algebras. As an immediate consequence, the connectivity of $τ$-tilting graphs is also established for several new classes of algebras.

math.RT↗
arXiv2026

On higher extensions of quiver representations over $\mathbb{F}_1$

We show that higher extension spaces between finite-dimensional nilpotent $\mathbb{F}_1$-representations maybe infinite-dimensional, thereby clarifying a misconception in the literature. Our examples arise from cyclic quivers. In particular, for a cyclic quiver $Δ_n$, we show that $\operatorname{Ext}^3(-,-)$ vanishes for any pair of finite-dimensional nilpotent $\mathbb{F}_1$-representations of $Δ_n$, while $\operatorname{Ext}^2(-,-)$ is infinite-dimensional for any pair of simple representations.

math.RT↗
arXiv2026

On endomorphism algebras of silting complexes over hereditary abelian categories

Let $\mathcal{E}$ be the class of finite-dimensional algebras isomorphic to endomorphism algebras of silting complexes over hereditary abelian categories. It is proved that the class $\mathcal{E}$ is closed under taking idempotent quotients, idempotent subalgebras and $τ$-reduction. We also show that the proper class consisting of shod algebras is also closed under these operations. In addition, several classic classes of algebras -- including laura, glued, weakly shod algebras -- are proved to be closed under idempotent quotients, thereby generalizing a known result originally established for specific idempotents.

math.RT↗
arXiv2025

From quantum groups to quantum cluster algebras

We provide a homomorphism of algebras from the quantum group $\mathbf{U}^+_v(\mathfrak{g})$ to the corresponding quantum cluster algebra $\mathcal {A}_q$ with principal coefficients. As a by-product, we show that the quantum cluster variables arising from one-step mutations from the initial cluster variables satisfy the (high order) quantum Serre relations in $\mathcal {A}_q$.

math.QA↗
arXiv2025

$f$-vectors and $F$-invariant in generalized cluster algebras

We establish certain fundamental properties of $f$-vectors and $F$-matrices for generalized cluster algebras, including the initial and final seed mutation formulas, the compatibility property and the symmetry property. Along the way, we also generalize the construction of $F$-invariant for generalized cluster algebras without assuming positivity and prove certain basic properties.

math.RA↗
arXiv2025

Pseudo grading on cluster automorphism group with application to cluster algebras of rank $3$

We introduce a pseudo $\mathbb{N}$-grading on the cluster auotmorphism group $\operatorname{Aut}(\mathcal{A})$ with respect to an initial seed of $\mathcal{A}$, which consists of a family of subsets $\{G_i\}_{i\in \mathbb{N}}$ of $\operatorname{Aut}(\mathcal{A})$ such that $\operatorname{Aut}(\mathcal{A})=\bigcup_{i\in \mathbb{N}}G_i$ and $G_k\cdot G_l\subset \bigcup_{i=0}^{k+l}G_i$. We prove that $\operatorname{Aut}(\mathcal{A})$ is generated by $G_0\cup G_1$, leading to an elementary approach for calculating cluster automorphism groups of certain cluster algebras. As an application, we completely determined the cluster automorphism groups of cluster algebras of rank $3$ with indecomposable exchange matrices.

math.RA↗
arXiv2024

On denominator conjecture for cluster algebras of finite type

We continue our investigation on denominator conjecture of Fomin and Zelevinsky for cluster algebras via geometric models initialed in \cite{FG22}. In this paper, we confirm the denominator conjecture for cluster algebras of finite type. The new contribution is a proof of this conjecture for cluster algebras of type $\mathbb{D}$ and an algorithm for the exceptional types. For the type $\mathbb{D}$ cases, our approach involves geometric model provided by discs with a puncture. By removing the puncture or changing the puncture to an unmarked boundary component, this also yields an alternative proof for the denominator conjecture of cluster algebras of type $\mathbb{A}$ and $\mathbb{C}$ respectively.

math.RT↗
arXiv2024

On $F$-Polynomials for Generalized Quantum Cluster Algebras and Gupta's Formula

We show the polynomial property of $F$-polynomials for generalized quantum cluster algebras and obtain the associated separation formulas under a mild condition. Along the way, we obtain Gupta's formulas of $F$-polynomials for generalized quantum cluster algebras. These formulas specialize to Gupta's formulas for quantum cluster algebras and cluster algebras respectively. Finally, a generalization of Gupta's formula has also been discussed in the setting of generalized cluster algebras.

math.RA↗
arXiv2024

Denominator conjecture for some surface cluster algebras

The denominator conjecture, proposed by Fomin and Zelevinsky, says that for a cluster algebra, the cluster monomials are uniquely determined by their denominator vectors with respect to an initial cluster. In this paper, for a cluster algebra from a marked surface with at least three boundary marked points, we establish this conjecture with respect to a given strong admissible tagged triangulation.

math.RT↗
arXiv2024

On homological properties of the category of $\mathbb{F}_1$-representations over a linear quiver of type $\mathbb{A}_n$

Let $Q$ be a quiver of type $\mathbb{A}_n$ with linear orientation and $\operatorname{rep}(Q,\mathbb{F}_1)$ the category of representations of $Q$ over the virtual field $\mathbb{F}_1$.It is proved that $\operatorname{rep}(Q,\mathbb{F}_1)$ has global dimension $2$ whenever $n\geq 3$ and it is hereditary if $n\leq 2$. As a consequence, the Euler form $\langle L, M\rangle=\sum_{i=0}^\infty (-1)^i\operatorname{dim} \operatorname{Ext}^i(L,M)$ is well-defined. However, it does not descend to the Grothendieck group of $\operatorname{rep}(Q,\mathbb{F}_1)$. This yields negative answers to questions raised by Szczesny in [IMRN, Vol. 2012, No. 10, pp. 237-2404].

math.RT↗
arXiv2023

Intersection vectors over tilings with applications to gentle algebras and cluster algebras

It is proved that a multiset of permissible arcs over a tiling is uniquely determined by its intersection vector under a mild condition. This generalizes a classical result over marked surfaces with triangulations. We apply this result to study $τ$-tilting theory of gentle algebras and denominator conjecture in cluster algebras. In the case of gentle algebras, it is proved that different $τ$-rigid $A$-modules over a gentle algebra $A$ have different dimension vectors if and only if $A$ has no even oriented cycle with full relations. For cluster algebras, the denominator conjecture has been established for cluster algebras of type $\mathbb{A}\mathbb{B}\mathbb{C}$.

math.RT↗