F-invariant in cluster algebras

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Cao, Peigen
Format: Preprint
Veröffentlicht: 2023
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866909826228944896
author Cao, Peigen
author_facet Cao, Peigen
contents We consider skew-symmetrizable (upper) cluster algebras with a compatible Poisson structure, called $\mathsfΛ$-(upper) cluster algebras. For any two good elements (e.g., cluster monomials) in a $\mathsfΛ$-upper cluster algebra, we introduce two invariants, called tropical invariant and $F$-invariant. We prove that (i) the product of two cluster monomials is still a cluster monomial if and only if their $F$-invariant is zero; (ii) if two cluster variables are log-canonical, then they are contained in the same cluster; and (iii) the notion of $F$-invariant for a pair of cluster monomials can be defined for any (upper) cluster algebra, regardless of whether it is a $\mathsfΛ$-(upper) cluster algebra. When restricting to cluster monomials, we prove that the tropical invariant and $F$-invariant respectively coincide with the $Λ$-invariant and twice $\mathfrak{d}$-invariant in the monoidal cluster categorification using various monoidal subcategories of finite-dimensional modules over quantum affine algebras and quiver Hecke algebras; and we prove that the $F$-invariant coincides with the $E$-invariant in the additive cluster categorification using the theory of quivers with potentials. Inspired by $F$-invariant, we introduce the dominant sets for seeds of cluster algebras as a replacement of torsion classes for $τ$-tilting pairs in $τ$-tilting theory. With the help of the dominant sets, we prove that the oriented exchange graphs of cluster algebras are acyclic. In particular, this implies that green mutations induce a partial order on the set of seeds (up to seed equivalence) of cluster algebras. We prove that the oriented exchange graphs of cluster algebras coincide with the Hasse quivers of the above posets of seeds.
format Preprint
id arxiv_https___arxiv_org_abs_2306_11438
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle F-invariant in cluster algebras
Cao, Peigen
Representation Theory
Rings and Algebras
13F60, 16G20, 18M05
We consider skew-symmetrizable (upper) cluster algebras with a compatible Poisson structure, called $\mathsfΛ$-(upper) cluster algebras. For any two good elements (e.g., cluster monomials) in a $\mathsfΛ$-upper cluster algebra, we introduce two invariants, called tropical invariant and $F$-invariant. We prove that (i) the product of two cluster monomials is still a cluster monomial if and only if their $F$-invariant is zero; (ii) if two cluster variables are log-canonical, then they are contained in the same cluster; and (iii) the notion of $F$-invariant for a pair of cluster monomials can be defined for any (upper) cluster algebra, regardless of whether it is a $\mathsfΛ$-(upper) cluster algebra. When restricting to cluster monomials, we prove that the tropical invariant and $F$-invariant respectively coincide with the $Λ$-invariant and twice $\mathfrak{d}$-invariant in the monoidal cluster categorification using various monoidal subcategories of finite-dimensional modules over quantum affine algebras and quiver Hecke algebras; and we prove that the $F$-invariant coincides with the $E$-invariant in the additive cluster categorification using the theory of quivers with potentials. Inspired by $F$-invariant, we introduce the dominant sets for seeds of cluster algebras as a replacement of torsion classes for $τ$-tilting pairs in $τ$-tilting theory. With the help of the dominant sets, we prove that the oriented exchange graphs of cluster algebras are acyclic. In particular, this implies that green mutations induce a partial order on the set of seeds (up to seed equivalence) of cluster algebras. We prove that the oriented exchange graphs of cluster algebras coincide with the Hasse quivers of the above posets of seeds.
title F-invariant in cluster algebras
topic Representation Theory
Rings and Algebras
13F60, 16G20, 18M05
url https://arxiv.org/abs/2306.11438