Ramified Quivers with Potentials, Monodromy Characters, and Cluster Bases I

Abstract

We construct categorical models and cluster characters for skew-symmetrizable cluster algebras admitting good ramified realizations. Goodness is equivalent to nondegenerate realizability. When a reddening sequence is given, it is enough to check sign coherence of the arrow types along that sequence. Triangular extensions with arbitrary connecting bimodule types preserve goodness when both component matrices admit reddening sequences. Consequently, every matrix obtained from one vertex by triangular extensions and mutations admits a good Jacobi-finite nondegenerate realization for every compatible positive integral symmetrizer. For a good Jacobi-finite nondegenerate realization, the monodromy $F$-polynomials satisfy mutation for all finite decorated representations, without a rigidity hypothesis. A full initial order determines valued universal presentations and their cluster characters. Under the reachability condition, these characters form a basis of the middle cluster algebra for arbitrary geometric coefficients, with frozen variables inverted, and contain all cluster monomials. The same family is an upper-cluster-algebra basis when the middle and upper algebras coincide. For a fixed Jacobian algebra and $δ$-vector, the Newton polytope of the generic monodromy $F$-polynomial is independent of the order.