Table of Contents
Fetching ...

On class groups of upper cluster algebras

Mara Pompili

TL;DR

This paper develops a unified factorization-theoretic framework for (upper) cluster algebras by leveraging Krull-domain methods. It establishes that all cluster and upper cluster algebras are finite factorization domains (FF-domains), with cluster variables acting as strong atoms, and uses this to study the multiplicative structure via valuation pairings. For full rank upper cluster algebras, it computes the class group: under the starfish condition at a seed, $\mathcal{C}(\mathcal{U})$ is a free abelian group of rank $t-n$, where $t$ counts height-1 primes containing exchangeable variables; this yields a clear dichotomy between factorial (UFD) and non-factorial cases, linked to the irreducibility of exchange polynomials. Overall, the work connects exchange-polynomial data to divisor-class theory, providing concrete invariants and local-to-global factorization insights for upper cluster algebras.

Abstract

We compute the class group of a full rank upper cluster algebra in terms of its exchange polynomials. As a corollary, we recover a theorem by Cao, Keller, and Qin from 2023 characterizing the UFDs among these algebras. Furthermore, under the additional hypothesis of acyclicity, we obtain a result by Garcia Elsener, Lampe, and Smertnig from 2019. Moreover, we show that all cluster and upper cluster algebras are finite factorization domains, meaning that every non-unit factors as a product of atoms (or irreducibles) and, for each element, there are only finitely many such factorizations up to order and associates. This strengthens another result by Cao, Keller, and Qin showing that cluster and upper cluster algebras are atomic.

On class groups of upper cluster algebras

TL;DR

This paper develops a unified factorization-theoretic framework for (upper) cluster algebras by leveraging Krull-domain methods. It establishes that all cluster and upper cluster algebras are finite factorization domains (FF-domains), with cluster variables acting as strong atoms, and uses this to study the multiplicative structure via valuation pairings. For full rank upper cluster algebras, it computes the class group: under the starfish condition at a seed, is a free abelian group of rank , where counts height-1 primes containing exchangeable variables; this yields a clear dichotomy between factorial (UFD) and non-factorial cases, linked to the irreducibility of exchange polynomials. Overall, the work connects exchange-polynomial data to divisor-class theory, providing concrete invariants and local-to-global factorization insights for upper cluster algebras.

Abstract

We compute the class group of a full rank upper cluster algebra in terms of its exchange polynomials. As a corollary, we recover a theorem by Cao, Keller, and Qin from 2023 characterizing the UFDs among these algebras. Furthermore, under the additional hypothesis of acyclicity, we obtain a result by Garcia Elsener, Lampe, and Smertnig from 2019. Moreover, we show that all cluster and upper cluster algebras are finite factorization domains, meaning that every non-unit factors as a product of atoms (or irreducibles) and, for each element, there are only finitely many such factorizations up to order and associates. This strengthens another result by Cao, Keller, and Qin showing that cluster and upper cluster algebras are atomic.
Paper Structure (8 sections, 27 theorems, 45 equations)

This paper contains 8 sections, 27 theorems, 45 equations.

Key Result

Theorem 1.9

Let $\Sigma=(\mathbf{x},\mathbf{y}, B)$ be a seed. Let $\mathcal{X}(\Sigma)$ be the set of cluster variables associated to $\Sigma$ and let $\mathcal{A}(\Sigma),\,\mathcal{U}(\Sigma)$ be the cluster algebra and the upper cluster algebra associated to $\Sigma,$ respectively. Then

Theorems & Definitions (58)

  • Definition 1.1: Ice quivers
  • Definition 1.2: Exchange matrices
  • Remark 1.3
  • Definition 1.4: Seeds
  • Definition 1.5: Mutation of seeds
  • Definition 1.6: Exchange polynomials
  • Definition 1.7: Cluster algebras
  • Definition 1.8: Upper cluster algebras
  • Theorem 1.9: Laurent phenomenon, FZ02
  • Theorem 1.10: M14
  • ...and 48 more