arXiv++ Combinatorics

The $F$-invariant in cluster algebras is a combinatorial invariant that unifies the $E$-invariant from additive categorification and the $\mathfrak{d}$-invariant from monoidal categorification. In this paper, we study its refinement, the partial $F$-invariant, and establish its mutation formula under changes of the initial seed. As an application, we prove a conjecture of Reading, which asserts that the non-compatible cluster variables can be separated by sign-coherence of $g$-vectors upon varying the initial seed. We further show that, for cluster monomials, the partial $F$-invariants coincide with both the partial $E$-invariants for reachable decorated representations of quivers with potentials and the pole orders of normalized $R$-matrices (or partial $\mathfrak{d}$-invariants) for finite-dimensional reachable simple modules over quantum affine algebras. As consequences, we obtain a combinatorial formula for the pole orders for reachable simple modules in terms of $q$-characters; we verify the conjectural explicit formula for the pole orders between Kirillov--Reshetikhin modules.

For a complex finite-dimensional simple Lie algebra $\mathfrak{g}$, we introduce the notion of Q-datum, which generalizes the notion of a Dynkin quiver with a height function from the viewpoint of Weyl group combinatorics. Using this notion, we develop a unified theory describing the twisted Auslander-Reiten quivers and the twisted adapted classes introduced in [O.-Suh, J. Algebra, 2019] with an appropriate notion of the generalized Coxeter elements. As a consequence, we obtain a combinatorial formula expressing the inverse of the quantum Cartan matrix of $\mathfrak{g}$, which generalizes the result of [Hernandez-Leclerc, J. Reine Angew. Math., 2015] in the simply-laced case. We also find several applications of our combinatorial theory of Q-data to the finite-dimensional representation theory of the untwisted quantum affine algebra of $\mathfrak{g}$. In particular, in terms of Q-data and the inverse of the quantum Cartan matrix, (i) we give an alternative description of the block decomposition results due to [Chari-Moura, Int. Math. Res. Not., 2005] and [Kashiwara-Kim-O.-Park, arXiv:2003.03265], (ii) we present a unified (partially conjectural) formula of the denominators of the normalized R-matrices between all the Kirillov-Reshetikhin modules, and (iii) we compute the invariants $Λ(V,W)$ and $Λ^\infty(V, W)$ introduced in [Kashiwara-Kim-O.-Park, Compos. Math., 2020] for each pair of simple modules $V$ and $W$.