1 Introduction
In recent years, cluster algebras have emerged as a powerful tool in various branches of mathematics, including algebraic geometry, representation theory, and mathematical physics. These structures provide deep insights into the interplay between algebraic and combinatorial phenomena. Strongly related to a cluster algebra is its upper cluster algebra. Upper cluster algebras are overrings of cluster algebras that are in general better behaved from a ring-theoretic perspective and often even coincide with the cluster algebra, for instance, in the locally acyclic case [Reference Berenstein, Fomin and ZelevinskyBFZ05, Reference MullerMul14].
Cluster algebras were introduced by Fomin and Zelevinsky [Reference Fomin and ZelevinskyFZ02] in the early 2000s, with the intent of investigating dual canonical bases and total positivity within semisimple Lie groups. Quickly, cluster algebra theory has evolved into a distinct and self-sustained domain, transcending its initial motivations, cf. for example the surveys [Reference Fomin and ZelevinskyFZ03, Reference KellerKel12, Reference LeclercLec10, Reference Leclerc and WilliamsLW14, Reference NakanishiNak22, Reference ZelevinskyZel05]. It has found numerous applications, particularly in fields like representation theory, Poisson geometry, and Teichmüller theory. In this article, we focus on ring-theoretic properties of (upper) cluster algebras, following in the footsteps of [Reference Cao, Keller and QinCKQ23, Reference Elsener, Lampe and SmertnigGELS19, Reference Geiss, Leclerc and SchröerGLS13, Reference MullerMul13].
The well-known Laurent phenomenon from [Reference Fomin and ZelevinskyFZ02](see Theorem 2.9) implies that every seed gives rise to an embedding of the cluster algebra into a Laurent polynomial ring. The upper cluster algebra is defined as the intersection of all these Laurent polynomial rings. Therefore upper cluster algebras are an upper bound for cluster algebras. The intrinsic characteristics of upper cluster algebras simplify the exploration of their factorization properties. An even more accessible scenario emerges within the case of full rank cluster algebras, where upper cluster algebras take the form of a finite intersection of Laurent polynomial rings.
Locally acyclic cluster algebras and full rank upper cluster algebras are Krull domains. Krull domains [Reference FossumFos73] are one of the central objects in the study of non-unique factorizations. They form an important generalization of unique factorization domains (UFDs), because they possess unique factorization on the level of divisorial ideals, which allows one to systematically study factorizations of elements. A key invariant of Krull domains are their class groups, which measure the failure of unique factorization in these domains. In particular, a domain is a UFD if and only if it is a Krull domain with trivial class group. In the present article, we study class groups of upper cluster algebras that satisfy the starfish condition at one seed (see Definition 2.13), in particular this includes all full rank upper cluster algebras.
The exploration of factorization properties within cluster algebras was initially undertaken by Geiss, Leclerc, and Schröer [Reference Geiss, Leclerc and SchröerGLS13]. Subsequently, Garcia Elsener, Lampe, and Smertnig achieved a breakthrough by computing class groups and their ranks for acyclic cluster algebras [Reference Elsener, Lampe and SmertnigGELS19]. Very recently, Cao, Keller, and Qin [Reference Cao, Keller and QinCKQ23] switched the focus to upper cluster algebras. They provided a complete characterization of full rank upper cluster algebras that are UFDs and they also exhibited local factorization properties using valuation pairs.
In this article, we simultaneously generalize results of Garcia Elsener, Lampe, and Smertnig and Cao, Keller, and Qin, computing the class group of full rank upper cluster algebras in terms of the exchange polynomials. We show that the class group
$\mathcal {C}(\mathcal {U})$
of a full rank upper cluster algebra
$\mathcal {U}$
is a finitely generated free abelian group with rank
$r=t-n$
, where t is the number of irreducible factors of the exchange polynomials and n is the number of exchangeable variables (see Theorem 4.8). Furthermore, we show that in this case the upper cluster algebra
$\mathcal {U}$
contains infinitely many height-1 prime divisors in each class. This leads to a fascinating dichotomy between those upper cluster algebras that are UFDs and those that are not: in the latter case every finite set
$L\subseteq \mathbb {Z}_{\ge 2}$
can be realized as a length set of some element. This result even applies to a larger class of upper cluster algebras than the full rank ones (see Section 4).
We remark that compared to the results of Garcia Elsener, Lampe, and Smertnig [Reference Elsener, Lampe and SmertnigGELS19] we need the extra assumption on full rank; on the other hand we do not need the acyclicity assumption present in their work. Thus, while our results do not fully generalize results of [Reference Elsener, Lampe and SmertnigGELS19] in every case, they do so in a large and important subclass.
Whereas factorization properties in cluster algebras that are Krull domains have been studied, so far it has not been considered which factorization properties hold in full generality in arbitrary (upper) cluster algebras. For instance, the Markov cluster algebra is not a Krull domain [Reference Elsener, Lampe and SmertnigGELS19, Section 6]. Interestingly, its upper cluster algebra is however a UFD. Indeed, the question of whether upper cluster algebras that are not Krull domains exist remains an open problem. In the setting of (upper) cluster algebras without any extra conditions, we establish that every (upper) cluster algebra is a finite factorization domain (see Theorem 3.7). That is, every element has a factorization into atoms (i.e., irreducible elements) and for a given element there are only finitely many such factorizations up to permutation and associativity. This improves on a recent result by which such algebras are bounded factorization domains (i.e., every element has at most finitely many different factorization lengths) [Reference Cao, Keller and QinCKQ23, Appendix A].
The article is organized as follows. In Section 2, we recall basic definitions and results on cluster algebras, factorization theory, and Krull domains. In Section 3, we study some factorization properties of (upper) cluster algebras, proving that cluster algebras and upper cluster algebras are finite factorization domains. The proof we will not necessitate preliminaries on Krull domains. In Section 4, we focus on full rank upper cluster algebras, computing their class groups. Finally in Section 5, we give an interpretation in terms of multiplicative ideal theory of the notion of valuation pairing and local factorization introduced in [Reference Cao, Keller and QinCKQ23].
Notations and assumptions
Throughout the article, we consider cluster algebras of geometric type, allowing frozen variables. However, we always assume that all frozen variables are invertible. Moreover, K will denote a field of characteristic zero, or the ring
$\mathbb {Z}$
of integers. If the base ring K is a field, we assume that the underlying quiver
$\Gamma (B)$
of the exchange matrix B of our cluster algebra has no isolated exchangeable vertices.
A domain is a non-zero commutative ring A without non-zero zero-divisors. We denote by
$A^\times $
its group of units, by
$A^\bullet =A\setminus \{0\}$
its monoid of non-zero elements, and by
$\mathbf {q}(A)$
its quotient field. We denote by
$\mathbb {N}$
the semigroup of positive integers and by
$\mathbb {N}_0$
the monoid
$\mathbb {N}\cup \{0\}$
. Moreover, if
$n\in \mathbb {N}$
, we denote by
$[1,n]$
the set
$\{1,\dots ,n\}$
.
2 Preliminaries
2.1 Quivers
A quiver is a finite directed graph. Thus, it is a tuple
$\mathcal {Q}=(\mathcal {Q}_0,\mathcal {Q}_1,s,t)$
where
$\mathcal {Q}_0$
(the set of vertices) and
$\mathcal {Q}_1$
(the set of arrows) are finite sets and
$s,t\colon \mathcal {Q}_1\to \mathcal {Q}_0$
are maps (the sources and the targets). We write
$\alpha \colon i \to j$
to indicate that
$\alpha $
is an arrow in
$\mathcal {Q}_1$
with
$s(\alpha )=i$
and
$t(\alpha )=j.$
Through the entire article, a quiver has no oriented cycles of length one or two.
Definition 2.1 (Ice quivers)
An ice quiver is a quiver
$\mathcal {Q}=(\mathcal {Q}_0,\mathcal {Q}_1,s,t)$
together with a partition of
$\mathcal {Q}_0$
into exchangeable and frozen vertices, with the assumption that there are no arrows between two frozen vertices. The exchangeable part of
$\mathcal {Q}$
is the subquiver on the set of exchangeable vertices. We say that
$\mathcal {Q}$
is acyclic if its exchangeable part is an acyclic quiver, i.e., if it does not contain any oriented cycles.
Let
$n,m\in \mathbb {N}_0$
such that
$n+m>0$
. Let
$\mathcal {Q}=(\mathcal {Q}_0,\mathcal {Q}_1,s,t)$
be an ice quiver with exchangeable vertices
$[1,n]$
and frozen vertices
$[n+1,n+m].$
We can associate to
$\mathcal {Q}$
a matrix
$B=B(\mathcal {Q})=(b_{ij})\in \mathcal {M}_{(n+m)\times n}(\mathbb {Z})$
defined by

Given an
$(n+m)\times n$
matrix, its principal part is the submatrix supported on the first n rows. Notice that the principal part of
$B(\mathcal {Q})$
is skew-symmetric.
Definition 2.2 (Exchange matrices)
A matrix
$B=(b_{ij})\in \mathcal {M}_{n\times n}(\mathbb {Z})$
is skew-symmetrizable if there exists a diagonal matrix
$D\in \mathcal {M}_{n\times n}(\mathbb {N})$
such that
$DB$
is skew-symmetric. An
$(n+m)\times n$
integer matrix is an exchange matrix if its principal part is skew-symmetrizable.
For a matrix
$B=(b_{ij})\in \mathcal {M}_{n\times n}(\mathbb {Z})$
being skew-symmetrizable is equivalent to the existence of positive integers
$d_1,\dots ,d_n$
such that
$d_ib_{ij}=-d_jb_{ji}$
for every
$i,j\in [1,n],$
hence if B is a skew-symmetrizable matrix, either
$b_{ij}=b_{ji}=0$
or
$b_{ij}b_{ji}< 0$
, so in particular
$b_{ii}=0$
.
Remark 2.3 Let
$\mathcal {Q}$
be an ice quiver, then the matrix
$B(\mathcal {Q})$
is an exchange matrix with skew-symmetric principal part. Conversely, we can associate to any exchange matrix B an ice quiver
$\Gamma (B)$
. The exchangeable and frozen vertices of
$\Gamma (B)$
are
$[1,n]$
and
$[n+1,n+m],$
respectively. The arrows of
$\Gamma (B)$
are defined as follows: if
$b_{ij}>0$
, add
$b_{ij}$
arrows from i to j. If i is a frozen vertex and
$b_{ij}<0$
, then add also
$-b_{ij}$
arrows from j to
$i.$
If B has skew-symmetric principal part, then
$B(\Gamma (B))=B.$
2.2 Seeds, mutations, and cluster algebras
A cluster is a pair
$(\mathbf {x},\mathbf {y})$
with
$\mathbf {x}=(x_1$
,
$\ldots $
,
$x_n)$
and
$\mathbf {y}=(x_{n+1}$
,
$\ldots $
,
$x_{n+m})$
such that
$(x_1$
,
$\ldots $
,
$x_n$
,
$\ldots $
,
$x_{n+m})$
are
$n+m$
algebraically independent indeterminates over K. We refer to the elements of
$\mathbf {x}$
as exchangeable variables and to the elements of
$\mathbf {y}$
as frozen variables. Given a cluster, the field
$\mathcal {F}=\mathbf {q}(K)(x_1$
,
$\ldots $
,
$x_{n+m})$
is called the ambient field.
Definition 2.4 (Seeds)
A seed is a triple
$\Sigma =(\mathbf {x},\mathbf {y}, B)$
such that
$(\mathbf {x},\mathbf {y})$
is a cluster and B is a
$(n+m)\times n$
exchange matrix. We always tacitly assume
$\mathbf {x}=(x_1,\ldots ,x_n)$
and
$\mathbf {y}=(x_{n+1},\ldots ,x_{n+m})$
. A seed is called acyclic if the ice quiver
$\Gamma (B)$
is acyclic.
We identify two seeds
$\Sigma =(\mathbf {x},\mathbf {y},B)$
and
$\Sigma '=(\mathbf {x}',\mathbf {y}',B')$
if there exists a permutation
$\sigma \in S_{n+m}$
such that
$\sigma (i)\in [1,n]$
for all
$i\in [1,n]$
and
-
•
$b_{ij}=b^{\prime }_{\sigma (i),\sigma (j)}$ for every
$i,j\in [1,n+m]$ ;
-
•
$x_i=x^{\prime }_{\sigma (i)},\, y_j=y^{\prime }_{\sigma (j)}$ for every
$i\in [1,n]$ and
$j\in [n+1,n+m]$ .
Definition 2.5 (Mutation of seeds)
Let
$\Sigma =(\mathbf {x},\mathbf {y}, B)$
be a seed with ambient field
$\mathcal {F}$
. Fix an exchangeable index
$i\in [1,n].$
The mutation of
$\Sigma $
in direction i is the triple
$\mu _i(\Sigma )=(\mathbf {x}_i,\mathbf {y}_i,B_i)$
defined as follows
-
(a)
$\mathbf {x}_i=(x_1,\dots ,x_i',\dots ,x_n)$ with
$$ \begin{align*}x_i'=\frac{1}{x_i}\left(\prod_{b_{ki}>0}x_k^{b_{ki}}+\prod_{b_{ki}<0}x_k^{-b_{ki}}\right)\in \mathcal{F};\end{align*} $$
-
(b)
$\mathbf {y}_i=\mathbf {y}$ ;
-
(c)
$B_i=(b^{\prime }_{jk})\in \mathcal {M}_{(n+m)\times n}(\mathbb {Z})$ with
$$\begin{align*}b_{jk}'=\begin{cases}-b_{jk}& \text{if } j=i \text{ or } k=i;\\ b_{jk}+\frac{1}{2}(|b_{ji}|b_{ik}+b_{ji}|b_{ik}|) & \text{otherwise.} \end{cases} \end{align*}$$
One can prove that
$\mu _i(\Sigma )$
is a seed with the same number of exchangeable and frozen variables and the same ambient field as
$\Sigma $
, and
$B_i$
has the same rank as B. Notice that
$(\mu _i\circ \mu _i)(\Sigma )=\Sigma .$
Definition 2.6 (Exchange polynomials)
Let
$\Sigma =(\mathbf {x},\mathbf {y}, B)$
be a seed. Suppose that
$i\in [1,n]$
is an exchangeable index. The polynomial

is called the exchange polynomial associated with
$x_i$
(with respect to the seed
$\Sigma $
).
Mutations induce an equivalence relation on seeds. Indeed we say that two seeds
$\Sigma =(\mathbf {x},\mathbf {y},B)$
and
$\Sigma '=(\mathbf {z},\mathbf {y},C)$
are mutation-equivalent if there exist
$i_1,\dots ,i_k\in [1,n]$
such that
$\Sigma '=(\mu _{i_1}\circ \ldots \circ \mu _{i_k})(\Sigma )$
. In this case, we write
$\Sigma \sim \Sigma ',$
or, if no confusion can arise,
$\mathbf {x}\sim \mathbf {z}$
. Denote by
$\mathcal {M}(\Sigma )$
the mutation equivalence class of
$\Sigma $
and by
$\mathcal {X}=\mathcal {X}(\Sigma )$
the set of all exchangeable variables appearing in
$\mathcal {M}(\Sigma ).$
Definition 2.7 (Cluster algebras)
Let
$\Sigma =(\mathbf {x},\mathbf {y}, B)$
be a seed. The cluster algebra associated with
$\Sigma $
is the K-algebra

The elements
$x\in \mathcal {X}$
are called cluster variables of
$\mathcal {A}(\Sigma )$
; the cluster variables in the initial seed
$\Sigma $
are called initial cluster variables; the elements
$y \in \mathbf {y}$
are called frozen variables.
In the literature, one can also find the definition of a cluster algebra associated with a seed
$\Sigma =(\mathbf {x},\mathbf {y}, B)$
as the K-algebra
$K[x,y\mid x\in \mathcal {X}, y\in \mathbf {y}]$
. However we only deal with the case of invertible frozen variables.
For any seed
$\Sigma =(\mathbf {x},\mathbf {y}, B)$
, denote by

the localization of
$K[u\mid u\in \mathbf {x}\cup \mathbf {y}]$
at
$S_{\mathbf {x}}:=\{\,{x_1^{a_1}\ldots x_{n+m}^{a_{n+m}}\mid a_i\in \mathbb {N}_0}\,\} $
and by

the localization of
$\mathbb {Z}[u\mid u\in \mathbf {x}\cup \mathbf {y}]$
at
$S_{\mathbf {x}}. $
Definition 2.8 (Upper cluster algebras)
Let
$\Sigma =(\mathbf {x},\mathbf {y}, B)$
be a seed. The upper cluster algebra associated with
$\Sigma $
is the K-algebra

An upper cluster algebra
$\mathcal {U}(\Sigma )$
is called a full rank upper cluster algebra if its initial exchange matrix has full rank. For a full rank upper cluster algebra
$\mathcal {U}$
, every exchange matrix of
$\mathcal {U}$
has full rank, since, as mentioned above, mutations preserve the rank [Reference Berenstein, Fomin and ZelevinskyBFZ05, Lemma 3.2].
The following result, known as Laurent phenomenon, is due to Fomin and Zelevinsky and explains the relation between cluster algebras and upper cluster algebras.
Theorem 2.9 (Laurent phenomenon, [Reference Fomin and ZelevinskyFZ02]
Let
$\Sigma =(\mathbf {x},\mathbf {y}, B)$
be a seed. Let
$\mathcal {X}(\Sigma )$
be the set of cluster variables associated with
$\Sigma $
and let
$\mathcal {A}(\Sigma ),\,\mathcal {U}(\Sigma )$
be the cluster algebra and the upper cluster algebra associated with
$\Sigma ,$
respectively. Then

Given a seed
$\Sigma =(\mathbf {x},\mathbf {y},B)$
, the following inclusions hold

In certain instances, the inclusions (2.1) turn into equalities, see Examples 2.12.
Locally acyclic cluster algebras were introduced by Muller in [Reference MullerMul13] to generalize acyclic cluster algebras and at the same time maintaining some of their properties. They are a much large class than the acyclic cluster algebras, in particular they include cluster algebras arising from marked surfaces with at least two marked points in the boundary. Locally acyclic cluster algebras are finitely generated, noetherian, and integrally closed [Reference MullerMul13, Theorem 4.2]. Moreover, the following theorem holds.
Theorem 2.10 [Reference MullerMul14, Theorem 2]
If
$\mathcal {A}$
is locally acyclic, then
$\mathcal {A}=\mathcal {U}$
.
Another class for which one of the inclusions becomes an equality is the one of full rank upper cluster algebra. The following result is known as Starfish lemma.
Theorem 2.11 [Reference Cao, Keller and QinCKQ23, Theorem 2.16]
Let
$\mathcal {U}$
be a full rank upper cluster algebra. Then

for all seeds
$(\mathbf {x},\mathbf {y},B)$
.
Assume that K is a field and that
$\Sigma $
is an isolated seed, i.e.,
$\Sigma =\left (\left (x_1,\dots ,x_n\right ),\emptyset ,0\right )$
. Then all the inclusions (2.1) are equalities. Indeed

Examples 2.12
-
(1) The first example of a cluster algebra for which
$\mathcal {A}\ne \mathcal {U}$ is due to Berenstein, Fomin, and Zelevinsky [Reference Berenstein, Fomin and ZelevinskyBFZ05] and it is the Markov cluster algebra. It is the cluster algebra with base ring
$K=\mathbb Z$ associated with the following quiver
$\mathcal {Q}$
$\mathcal {A}(\mathcal {Q})$ is a
$\mathbb {N}$ -graded algebra [Reference MullerMul13], with the degree of all cluster variables equal to
$1$ . For any cluster
$(x_1,x_2,x_3)$ , the element
$M=\frac {x_1^2+x_2^2+x_3^2}{x_1x_2x_3}$ is in
$\mathcal {U}(\mathcal {Q})$ , but it has graded degree
$-1$ , so it is not in
$\mathcal {A}(\mathcal {Q})$ . Moreover, the upper cluster algebra is factorial and it is given by
$\mathbb {Z}[x_1,x_2,x_3,M]$ [Reference Matherne and MullerMM15, Proposition 6.7].
-
(2) Consider the quiver
and the element
$$ \begin{align*}s=\frac{1+x_2}{x_1x_3}\in K(x_1,x_2,x_3).\end{align*} $$
It is easy to see that
$$ \begin{align*}s=\frac{x_1'}{x_3}=\frac{x_3'}{x_1}\in \bigcap_{i=0}^3\mathcal{L}_{\mathbf{x}_i}.\end{align*} $$
However,
$(x_1',x_2,x_3')$ is a seed, obtained by mutating
$\mathbf {x}$ in direction 3 and then 1, and
$s\notin K[{x_1'}^{\pm 1},x_2^{\pm 1},{x_3'}^{\pm 1}].$ Indeed, if we express s in terms of the new seed we obtain
$$ \begin{align*}s=\frac{x_1'x_3'}{1+x_2}\end{align*} $$
$(x_1',x_2,x_3')$ . Hence
$\mathcal {U}(A_3)\subsetneq \bigcap _{i=0}^3\mathcal {L}_{\mathbf {x}_i}$ .
However, there are non-full rank upper cluster algebras for which the Starfish lemma holds. For example, any factorial upper cluster algebra satisfies the Starfish lemma as shown in [Reference Geiss, Leclerc and SchröerGLS13, Corollary 1.5].
Definition 2.13 Let
$\mathcal {U}$
be an upper cluster algebra. We say that
$\mathcal {U}$
satisfies the starfish condition at the seed
$(\mathsf{{x}}, \mathsf{{y}}\, \mathsf{B})$
if

If
$\mathcal {U}$
has full rank, then Theorem 2.11 implies that
$\mathcal {U}$
satisfies the starfish condition at all seeds. We introduced this definition because for our results we don’t need the starfish condition at all seeds but just at one of them (see Section 4).
Remark 2.14 Let
$\Sigma =(\mathbf {x},\mathbf {y},B)$
be a seed. Suppose that
$i\in [1,n]$
is isolated, i.e.,
$x_ix_i'=2$
. If K is a field, the index i is isolated if and only if
$x_i\in K^\times $
. Therefore, if we freeze i, we obtain an algebra isomorphic to the original one. Hence, from now on, if K is a field we assume without restriction that
$[1,n]$
has no isolated indices.
2.3 Factorization theory
In this section, we recall some basic notions of the theory of factorization. For more details see for instance [Reference Geroldinger and Halter-KochGHK06]. We always assume that our monoids are commutative and cancellative.
Definition 2.15 Let H be a monoid.
-
(1) Let
$a,b \in H$ . We say that
$a | b$ if there exists an element
$c\in H$ such that
$b=ca.$
-
(2) Two elements
$a,b\in H$ are associated if there exists a unit
$\epsilon \in H^\times $ such that
$a=\epsilon b.$ In this case we write
$a\simeq _H b$ .
-
(3) A non-unit
$u\in H$ is an atom, or an irreducible element, if
$u=ab$ with
$a,b\in H$ implies
$a\in H^\times $ or
$b\in H^\times $ .
-
(4) An atom
$u\in H$ is a strong atom, or an absolutely irreducible element, if for all positive integers
$n>1$ the only factorization (up to associates) of u is
$u^n=u\cdots u.$
-
(5) A non-unit
$p\in H$ is a prime element if
$p|ab$ with
$a,b\in H$ implies
$p|a$ or
$p|b$ .
It is well known that

We will denote by
$\mathcal {A}(H)$
the set of atoms of the monoid H.
Definition 2.16 Let H be a monoid.
-
(1) H is atomic if every non-unit of H can be written as a finite product of atoms.
-
(2) H is a bounded factorization monoid, in short BF-monoid, if it is atomic and for every non-unit
$a\in H$ there exist
$\lambda (a)\in \mathbb {N}_0$ such that
$a=x_1\ldots x_n$ for
$x_1,\dots ,x_n$ atoms implies
$n\le \lambda (a).$
-
(3) H is a finite factorization monoid, in short FF-monoid, if it is atomic and every non-unit factors into atoms in only finitely many ways up to order and associates.
-
(4) H is factorial, or UF-monoid, if it is atomic and every non-unit of A factors in a unique way up to order and associates.
The connection between the notions in Definition 2.16 is described by the following picture:

Recall these different characterizations of BF-monoids and FF-monoids (see [Reference Geroldinger and Halter-KochGHK06, Propositions 1.3.3 and 1.5.5]).
-
• H is a BF-monoid if and only if there exists a length function, i.e., a map
$\lambda \colon H\to \mathbb {N}_0$ such that
$\lambda (a)<\lambda (b)$ whenever
$a|b$ and
$a\not \simeq _H b$ .
-
• H is an FF-domain if and only if every
$a\in H$ has only finitely many non-associated divisors.
Let A be a domain. We say that A is an atomic (resp. BF, FF, factorial) domain if the monoid
$A^\bullet $
is atomic (resp. BF, FF, factorial).
We conclude this subsection with two well-known properties of localizations of domains. Denote by
$\operatorname {\mathrm {Spec}}(A)$
the set of all prime ideals of A. Recall that a multiplicative closed subset of A is a subset
$S\subseteq A$
such that
$1\in S,\, S\cdot S\subseteq S$
, and
$0\notin S$
.
Proposition 2.17 Let A be a domain and
$S\subseteq A$
a multiplicatively closed set of A. There is an inclusion-preserving bijection

In particular, the bijection preserves the height of every prime ideal that does not meet S.
Proposition 2.18 Let A be a factorial domain, and S a multiplicatively closed set of A. Denote by T the set of all the prime elements of A that divide an element of S, and by
$M=\mathcal {A}(A)\setminus T.$
Then
$S^{-1}T\subseteq (S^{-1}A)^{\times }$
and
$S^{-1}M\subseteq \mathcal {A}(S^{-1}A)$
.
2.4 Krull domains
In this section, we recall some basic notions about Krull domains. For more details, see [Reference FossumFos73, Reference Geroldinger and Halter-KochGHK06].
Recall that a discrete valuation ring, in short DVR, is a factorial domain A with a unique prime element p (up to associates), that is, every
$a \in A$
has a unique factorization of the form
$a=up^n$
with
$u\in A^\times $
and
$n\in \mathbb {N}_0$
. Equivalently, a domain A is a discrete valuation ring if there exists a discrete valuation
$v\colon \mathbf {q}(A)\to \mathbb {Z}\cup \{\infty \}$
such that
$A= \{\,x\in \mathbf {q}(A)\mid v(x)\ge 0\,\}.$
With this notation, every
$a\in A$
can be uniquely written as
$a=up^{v(a)}$
, with
$u\in A^\times $
(see [Reference Geroldinger and Halter-KochGHK06, Theorem 2.3.8]).
Definition 2.19 (Krull domains)
Let A be a domain and let
$\mathfrak {X}(A)$
be the set of all height-1 prime ideals of A. Then A is a Krull domain if
-
(1)
$A_{\mathfrak {p}}$ is a discrete valuation ring for every
$\mathfrak {p}\in \mathfrak {X}(A);$
-
(2)
$A=\bigcap _{\mathfrak {p}\in \mathfrak {X}(A)}A_{\mathfrak {p}}$ ;
-
(3) every non-zero element
$a\in A$ is contained in at most a finite number of height-1 prime ideals of A.
Equivalently, A is a Krull domain if and only if there exists a family {
$v_i\}_{i\in I}$
of discrete valuations on the quotient field
$\mathbf {q}(A)$
such that, for all
$x\in \mathbf {q}(A)\setminus \{0\}$
,
-
(i)
$ v_i(x)= 0$ for all but finitely many
$i\in I;$
-
(ii)
$x\in A$ if and only
$v_i(x)\ge 0$ for all
$i\in I.$
Let A be a domain. For any non-empty subsets X,
$Y\subset \mathbf {q}(A)$
, we define

A subset
$\mathfrak {c}\subseteq A$
is called a divisorial ideal of A if
$\mathfrak {c}_v=\mathfrak {c}$
and a subset
$\mathfrak {c}\subseteq \mathbf {q}(A)$
is called a fractional divisorial ideal of A if there exists some
$x\in A^\bullet $
such that
$x\mathfrak {c}$
is a divisorial ideal of A. We denote by
$\mathcal {I}_v(A)$
the set of all divisorial ideals of A and by
$\mathcal {F}_v(A)$
the set of all fractional divisorial ideal of A. For fractional ideals
$\mathfrak {a}$
,
$\mathfrak {b}\in \mathcal {F}_v(A)$
, define their v-product by
$\mathfrak {a}\cdot _v \mathfrak {b}=(\mathfrak {a}\mathfrak {b})_v$
, and for k fractional divisorial ideals
$\mathfrak {a}_1,\dots ,\mathfrak {a}_k$
define their v-product to be

By convention, an empty product is equal to the trivial ideal A. A fractional divisorial ideal
$\mathfrak {a}\in \mathcal {F}_v(A)$
is v-invertible if
$\mathfrak {a}\cdot _v\mathfrak {a}^{-1}=A.$
Every non-zero principal fractional ideal
$xA$
is invertible with inverse
$x^{-1}A$
. The group
$\mathcal {F}_v(A)^\times $
is the group of v-invertible fractional ideals. We have that
$(xA)\cdot _v (yA)=xyA,$
hence the subset
$\mathcal {H}(A)$
of all non-zero principal fractional ideals is a subgroup of
$\mathcal {F}_v(A)^\times .$
So the following definition makes sense.
Definition 2.20 (Class groups)
Let A be a Krull domain. The (divisor) class group of A is the quotient group
$\mathcal {C}(A)=\mathcal {F}_v(A)^\times /\mathcal {H}(A).$
We write the group additively. For
$\mathfrak {a}\in \mathcal {F}_v (A)^\times $
we denote by
$[\mathfrak {a}] \in C(A)$
the class containing
$\mathfrak {a}$
.
A domain A is v-noetherian if it satisfies the ascending chain condition on divisorial ideals. An element
$x \in \mathbf {q}(A)$
is almost integral if there exists
$c \in \mathbf {q}(A)^\bullet $
such that
$cx^n\in A$
for all
$n\ge 0$
. A domain A is completely integrally closed if
$A=\{\,x\in \mathbf {q}(A)\mid x \, \text {almost integral}\,\}$
. Every noetherian domain is v-noetherian and a noetherian domain is integrally closed if and only if it is completely integrally closed. The following theorem is a characterization of Krull domains in terms of multiplicative ideal theory.
Theorem 2.21 [Reference FossumFos73]
Let A be a domain. Then A is a Krull domain if and only if A is completely integrally closed and v-noetherian.
Dedekind domains are exactly the one-dimension Krull domains [Reference Geroldinger and Halter-KochGHK06, Theorem 2.10.6]. In a Dedekind domain every non-zero proper ideal factors into a product of prime ideals. Krull domains generalize this property of Dedekind domains, as shown in the next theorem.
Theorem 2.22 [Reference FossumFos73, Corollary 3.14]
Let A be a Krull domain. Then every invertible fractional divisorial ideal
$\mathfrak {a}\in \mathcal {F}_v(A)^\times $
has a representation as divisorial product

with uniquely determined
$n_{\mathfrak {p}}\in \mathbb {Z},$
almost all of which are 0. We have
$a\in \mathcal {I}_v(A)^\bullet $
if and only if
$n_{\mathfrak {p}}\ge 0$
for all
$\mathfrak {p}\in \mathfrak {X}(A)$
.
For
$\mathfrak {a}\in \mathcal {F}_v(A)^\times $
we define the
$\mathfrak {p}$
-adic valuation of
$\mathfrak {a}$
as
$v_{\mathfrak {p}}(\mathfrak {a})=n_{\mathfrak {p}}$
with
$n_{\mathfrak {p}}$
as in the previous theorem. For
$x\in \mathbf {q}(A)$
one has
$x\in A$
if and only if
$v_{\mathfrak {p}}(x)=v_{\mathfrak {p}}(xA)\ge 0$
for every
$\mathfrak {p}\in \mathfrak {X}(A)$
.
Krull domains theory and factorization theory are intimately related by the following theorem.
Theorem 2.23 [Reference Geroldinger and Halter-KochGHK06]
Let A be a domain. Then the following are equivalent:
-
(a) A is factorial;
-
(b) A is atomic and every atom is a prime element;
-
(c) A is a Krull domain and
$\mathcal {C}(A)=0$ .
Krull domains have the following important property, which we will use later to prove our main theorem (cf. Section 4).
Theorem 2.24 (Approximation property, [Reference FossumFos73]
Let A be a Krull domain. For all
$n\in \mathbb {N}$
, pairwise distinct
$\mathfrak {p}_1,\dots ,\mathfrak {p}_n \in \mathfrak {X}(A)$
and integers
$e_1,\dots ,e_n\in \mathbb {Z}$
, there exists an element
$x\in \mathbf {q}(A)$
such that
$v_{\mathfrak {p}_i}(x)=e_i$
and
$v_{\mathfrak {p}}(x)\ge 0$
for every
$\mathfrak {p}\in \mathfrak {X}(A)\setminus \{\mathfrak {p}_1,\dots ,\mathfrak {p}_n\}.$
3 Factorization theory in upper cluster algebras
In this section, we prove that every cluster variable is a strong atom and that every (upper) cluster algebra is an FF-domain. Recall the following.
Theorem 3.1 [Reference Cao, Keller and QinCKQ23]
Let
$\Sigma =(\mathbf {x},\mathbf {y},B) $
be a seed. Let
$\mathcal {A}=\mathcal {A}(\Sigma )$
,
$\mathcal {U}=\mathcal {U}(\Sigma )$
be the cluster algebra and upper cluster algebra associated with
$\Sigma $
, respectively. Then
-
(1)
-
(i)
$\mathcal {A}^\times =\{\,\lambda x_{n+1}^{a_{n+1}}\dots x_{n+m}^{a_{n+m}}\,\mid \, \lambda \in K^\times ,\, a_i\in \mathbb {Z}\,\}$ ;
-
(ii) every cluster variable is an atom of
$\mathcal {A}$ (pairwise non-associated).
-
-
(2)
-
(i)
$\mathcal {U}^\times =\{\,\lambda x_{n+1}^{a_{n+1}}\dots x_{n+m}^{a_{n+m}}\,\mid \, \lambda \in K^\times ,\, a_i\in \mathbb {Z}\,\}$ ;
-
(ii) every cluster variable is an atom in
$\mathcal {U}$ (pairwise non-associated).
-
From the existing literature ([Reference Geiss, Leclerc and SchröerGLS13, Corollary 4.2], [Reference Elsener, Lampe and SmertnigGELS19, Corollary 1.23], and [Reference Cao, Keller and QinCKQ23, Theorem 4.9]), we obtain the following characterization of factorial (upper) cluster algebras. We remark the directions (c)
$\,\Rightarrow $
(a) (or (b)
$\,\Rightarrow \,$
(a)) actually make use of the fact that (upper) cluster algebras are atomic, see Remark 3.8 below.
Proposition 3.2 Let
$\Sigma =(\mathbf {x},\mathbf {y},B) $
be a seed. Let H be either
$\mathcal {A}(\Sigma )$
or
$\mathcal {U}(\Sigma )$
. Then the following are equivalent:
-
(a) H is factorial,
-
(b) every cluster variable is a prime element of H,
-
(c) the variables
$x_1,\dots ,x_n$ are prime elements of H,
If
$H=\mathcal {U}$
and H is factorial, then
$H=\bigcap _{i=0}^n\mathcal {L}_{\mathbf {x}_i}$
.
To show that cluster variables are not just atoms, but even strong atoms, we need the following.
Lemma 3.3 [Reference Cao, Keller and QinCKQ23, Lemma 5.2]
Let
$\mathcal {U}$
be an upper cluster algebra and
$(\mathbf {x},\mathbf {y},B)$
be a seed. If
$x_1^{a_1}\ldots x_n^{a_n}\in \mathcal {U}$
for some
$a_1,\dots ,a_n\in \mathbb {Z}$
, then
$a_1,\dots ,a_n\in \mathbb {N}_0$
.
For every subset S of a domain A we denote by the divisor-closed submonoid generated by S
, that is the set of all elements that divide an element of the submonoid generated by S. In particular if
$u\in A$
then

Proposition 3.4 Let
$\mathcal {A}$
be a cluster algebra and
$\mathcal {U}$
be the corresponding upper cluster algebra. Let
$(\mathbf {x},\mathbf {y},B)$
be an arbitrary seed. Then the divisor-closed submonoid generated by a cluster monomial in
$\mathbf {x}$
is

for all
$e_1,\dots ,e_n\in \mathbb {N}_0$
.
In particular, the monoid is isomorphic to
$K^\times \times \mathbb {N}_0^n$
.
Proof Denote by M the set
$M=\{\epsilon x_1^{a_1}\ldots x_n^{a_n}\mid \epsilon \in \mathcal {U}^\times ,\, a_i\in \mathbb {N}_0, \, \text {with} \, a_i=0 \, \text {if} e_i=0\}.$
First, we prove that . Let
$a\in M$
, say
$a=\epsilon x_1^{a_1}\ldots x_n^{a_n}$
for some
$a_i\in \mathbb {N}_0$
,
$\epsilon \in \mathcal {U}^\times $
. Then a divides the
$N^{\text {th}}$
-power of
$x_1^{e_1}\ldots x_n^{e_n}$
with
$N=\max \{\lceil \frac {a_i}{e_i} \rceil ,\, i\in [1,n],\, e_i\ne 0 \}$
, since trivially

holds. Hence .
Now, we show that . Let
, so there exist a non-negative integer
$N\in \mathbb {N}_0$
and an element
$b\in \mathcal {U}$
such that

Consider the Laurent expansion of a and b with respect to
$\mathbf {x}$
, say

where P,
$Q\in K[\mathbf {x},\mathbf {y}]$
and
$\alpha _i$
,
$\beta _i\in \mathbb {N}_0$
for every
$i\in [1,n+m]$
.
So Equation (3.1) can be rewritten as

hence P and Q must be monomials in
$x_1,\dots ,x_{n+m}$
, and a fortiori a, b are associated with Laurent monomials in
$x_1,\dots ,x_{n+m}.$
By Lemma 3.3, we get
$a=\epsilon x_1^{a_1}\cdots x_{n}^{a_{n}}$
with
$a_1,\dots ,a_n\in \mathbb {N}_0$
and
$\epsilon \in \mathcal {U}^\times .$
Observe that, if there is
$i\in [1,n]$
such that
$e_i=0,$
then
$x_i \nmid a,$
whence
$a_i=0.$
Therefore, we have proved the following inclusions

and this concludes the proof.
Corollary 3.5 Let
$\Sigma =(\mathbf {x},\mathbf {y},B) $
be a seed. Let
$\mathcal {A}=\mathcal {A}(\Sigma )$
and
$\mathcal {U}=\mathcal {U}(\Sigma )$
be the cluster algebra and upper cluster algebra associated with
$\Sigma $
, respectively. Then every cluster variable is a strong atom of
$\mathcal {A}$
and
$\mathcal {U}$
.
Proof The statement is a direct consequence of Proposition 3.4 applied to the divisor-closed submonoid generated by one cluster variable.
The Laurent phenomenon implies that
$ A\subseteq \mathcal {U}\subseteq \bigcap _{k=0}^n\mathcal {L}_{\mathbf {x}_k}$
, for every seed
$(\mathbf {x},\mathbf {y},B)$
. The ring
$\bigcap _{k=0}^n\mathcal {L}_{\mathbf {x}_k}$
is a finite intersection of Laurent polynomial rings, which, being factorial, are in turn intersections of DVRs. So we can write
$\bigcap _{k=0}^n\mathcal {L}_{\mathbf {x}_k}=\bigcap _{i\in I}D_i$
, with
$D_i$
a DVR for every
$i\in I$
. Hence we have a monoid homomorphism

where
$v_i\colon \mathbf {q}(D_i)\to \mathbb {Z}$
is the discrete valuation of
$D_i$
and
$\mathbb {N}_0^{(I)}=\{\,(a_i)\in \mathbb {N}_0^I\mid a_i=0 \,\, \text {for all but} \text {fi\-ni\-te\-ly many}\, i\in I\,\}$
. Observe that, by Theorem 3.1,

Lemma 3.6 Let
$\Sigma =(\mathbf {x},\mathbf {y},B)$
be a seed and
$\mathcal {A}=\mathcal {A}(\Sigma )$
and
$\mathcal {U}=\mathcal {U}(\Sigma )$
be the cluster algebra and the upper cluster algebra associated with
$\Sigma $
, respectively. Let
$\mathbf {v}\colon \mathcal {U}\to \mathbb {N}_0^{(I)}$
be the monoid homomorphism defined above. Then

Proof First assume that a, b are two elements of
$\mathcal {U}$
such that
$\mathbf {v}(a)=\mathbf {v}(b)$
, say
$v_i(a)=v_i(b)=n_i$
for every
$i\in I$
. Let
$p_{i}$
denote the unique (up to associates) prime element of
$D_{i}$
with
$i\in I$
. By definition of a DVR (see Section 2.4), for every
$i\in I$
, we have that
$a=u_ip_i^{n_i}$
and
$b=u_i'p_i^{n_i}$
with
$u_i$
,
$u^{\prime }_i\in D_i^\times $
, that is
$a=w_ib$
for some
$w_i\in D_i^\times $
. Hence
$w_ib=w_jb$
for all
$ i$
,
$j\in I$
implies
$w_i=w_j$
and so
$a=wb$
for some
$w\in \bigcap _{i\in I} D_i^\times $
. Thus Equation (3.2) implies that
$a\simeq _{\,\mathcal {U}} b$
, and this is equivalent to
$a\simeq _{\mathcal {A}} b$
. The other direction is straightforward.
Theorem 3.7 Let
$\Sigma =(\mathbf {x},\mathbf {y},B)$
be a seed and
$\mathcal {A}=\mathcal {A}(\Sigma )$
and
$\,\mathcal {U}=\mathcal {U}(\Sigma )$
be the cluster algebra and the upper cluster algebra associated with
$\Sigma $
, respectively. Then
$\mathcal {A}$
and
$\mathcal {U}$
are FF-domains. In particular, they are BF-domains and atomic.
Proof Let H denote either
$\mathcal {A}^\bullet $
or
$\mathcal {U}^\bullet $
, and let
$a\in H$
. We want to show that a has only finitely many non-associated divisors. Consider the set
$\Omega =\{\,e_i\mid v_i(a)>0\,\}$
of all the atoms of
$\mathbb {N}_0^{(I)}$
that divide
$\mathbf {v}(a)$
. Here
$e_i$
denotes the tuple with all components
$0$
except the ith entry that is
$1$
. Notice that
$\Omega $
is finite.
Let
$v\in H$
be such that
$v| a$
. Then, since
$\mathbf {v}(v)|\mathbf {v}(a)$
, there exist
$\omega _1,\dots ,\omega _k\in \Omega $
such that
$\mathbf {v}(v)=\omega _1+\ldots +\omega _k,$
hence, since
$\Omega $
is finite, there are only finitely many possibilities for
$\mathbf {v}(v)$
for each divisor v of a. So let u be another divisor of a such that
$\mathbf {v}(u)=\omega _1+\ldots +\omega _k=\mathbf {v}(v).$
Then Lemma 3.6 implies that
$u\simeq _H v$
, thus a has only finitely many non-associated divisors.
Remark 3.8 In [Reference Elsener, Lampe and SmertnigGELS19] the cluster algebras under investigation are usually Krull domains, and hence FF-domains (in particular, atomic). However, [Reference Elsener, Lampe and SmertnigGELS19, Corollary 1.23] (which is subsumed in our Proposition 3.2), concerns arbitrary cluster algebras. To deduce that the cluster variables being prime is sufficient for an (upper) cluster algebra to be factorial, one needs to know a priori that the cluster algebra is atomic. This was taken for granted in [Reference Elsener, Lampe and SmertnigGELS19, Corollary 1.23]. However, it is somewhat non-trivial and our Theorem 3.7 provides a proof of this fact. More generally, in the statement [Reference Elsener, Lampe and SmertnigGELS19, Corollary 1.20] of a corollary of Nagata’s theorem, an assumption that A be atomic is missing. See [Reference Anderson, Anderson and ZafrullahAAZ92, Section 1] for details. A proof that (upper) cluster algebras are atomic is published in [Reference Cao, Keller and QinCKQ23, Appendix A]. In fact, this proof shows that they are BF-domains (but not the the stronger claim that they are FF-domains).
Recall that a domain is a Krull domain if and only if it is completely integrally closed and v-noetherian. Moreover, a Krull domain is always an FF-domain.
Theorem 3.9 Let
$\Sigma =(\mathbf {x},\mathbf {y},B)$
be a seed and
$\,\mathcal {U}=\mathcal {U}(\Sigma )$
be the upper cluster algebra associated with
$\Sigma $
. Then
$\mathcal {U}$
is completely integrally closed. Moreover, if there exists a seed such that
$\,\mathcal {U}$
satisfies the starfish condition at that seed, then
$\mathcal {U}$
is a Krull domain.
Proof The upper cluster algebra
$\mathcal {U}$
, being an intersection of completely integrally closed domains, is completely integrally closed. Moreover, if we assume
$\mathcal {U}=\bigcap _{i=0}^n\mathcal {L}_{\mathbf {x}_i}$
for some seed
$(\mathbf {x},\mathbf {y},B)$
, then
$\mathcal {U}$
, being a finite intersection of Krull domains, is a Krull domain.
4 Class Groups of Upper Cluster Algebras
In this section, we determine the class groups of full rank upper cluster algebras (more generally, upper cluster algebras, satisfying the starfish condition). To do so, we need some preliminary results. We prove them in the more general setting of upper cluster algebras that are Krull domains.
Proposition 4.1 Let A be a domain and let
$x_1,\dots ,x_n\in A$
be such that
$A_{\mathbf {x}}:=A[x_1^{-1},\dots ,x_n^{-1}]=D[x_1^{\pm 1},\dots ,x_n^{\pm 1}]$
is a factorial Laurent polynomial ring for some subring D of A. If
$f\in A$
is such that
$f\notin A_{\mathbf {x}}^\times $
and f has no repeated factors in
$A_{\mathbf {x}}$
, then there exist a height-
$1$
prime ideal
$\mathfrak {p}$
of A and a discrete valuation
$v_{\mathfrak {p}}\colon \mathbf {q}(A)\to \mathbb {Z}\cup \{\infty \}$
such that
$v_{\mathfrak {p}}(f)=1$
and
$v_{\mathfrak {p}}(x_i)=0$
for
$i\in [1,n].$
Proof Let
$p\in A_{\mathbf {x}}$
be a prime factor of f. Set
$\mathfrak {p}=pA_{\mathbf {x}}\cap A.$
The prime ideal
$pA_{\mathbf {x}}$
has height
$1$
by Krull’s Principal Ideal theorem and hence so does
$\mathfrak {p}$
(Proposition 2.17). Since f has no repeated factors,
$v_{\mathfrak {p}}(f)=1$
. For
$i\in [1,n]$
,
$x_i$
is a unit of
$A_{\mathbf {x}}$
, therefore
$x_i\notin \mathfrak {p}$
. Hence
$v_{\mathfrak {p}}(x_i)=0.$
Notice that for the proof a weaker assumption is sufficient. It is enough to assume that there exists
$f\notin A_{\mathbf {x}}^\times $
that has a prime factor of multiplicity
$1$
.
Corollary 4.2 Let
$\Sigma =(\mathbf {x},\mathbf {y}, B)$
be a seed. Let
$\mathcal {U}=\mathcal {U}(\Sigma )$
be the upper cluster algebra associated with
$\Sigma $
. Then, for every
$i \in I$
there exists a height-
$1$
prime ideal
$\mathfrak {p}$
of
$\mathcal {U}$
such that
$v_{\mathfrak {p}}(x_i)=1$
and
$v_{\mathfrak {p}}(x_j)=0$
for every
$j\in [1,n]\setminus \{i\}$
.
Proof We mutate
$\mathbf {x}=(x_1,\dots ,x_n)$
in direction i obtaining a new seed
$\mathbf {x}_i.$
Let
$f_i=x_ix_i'\in K[\mathbf {x}_i,\mathbf {y}]$
be the exchange polynomial of
$x_i$
associated with
$\Sigma .$
We have that

hence
$K[\mathbf {x}_i^{\pm 1},\mathbf {y}^{\pm 1}]$
is a Laurent polynomial ring, and therefore factorial. By [Reference Elsener, Lampe and SmertnigGELS19, Proposition 2.3] we know that
$f_i$
does not have repeated factors. Moreover, due to our assumption on isolated seeds (Remark 2.14), one has
$f_i\notin K[\mathbf {x}_i^{\pm 1},\mathbf {y}^{\pm 1}]^\times $
, so
$f_i$
satisfies the hypothesis of Proposition 4.1. Hence we can conclude that there exists a height-
$1$
prime ideal
$\mathfrak {p}$
of
$\mathcal {U}$
such that
$v_{\mathfrak {p}}(f_i)=1$
,
$v_{\mathfrak {p}}(x_j)=0$
for every
$j\in [1,n]\setminus \{i\}$
, and
$v_{\mathfrak {p}}(x_i')=0$
, hence
$v_{\mathfrak {p}}(x_i)=1$
.
Let us recall this very general result on Krull domains.
Theorem 4.3 [Reference Elsener, Lampe and SmertnigGELS19, Theorems 3.1 and 3.2]
Let A be a Krull domain, and let
$x_1,\dots ,x_n\in A$
be such that
$A_{\mathbf {x}}:=A[x_1^{-1},\dots ,x_n^{-1}]=D[x_1^{\pm 1},\dots ,x_n^{\pm 1}]$
is a factorial Laurent polynomial ring for some subring D of A. Let
$\mathfrak {p}_1,\dots ,\mathfrak {p}_t$
be the pairwise distinct height-1 prime ideals of A containing one of the elements
$x_1,\dots ,x_n$
. Suppose that

with
$\mathbf {a}_i=(a_{ij})_{j=1}^t\in \mathbb {N}_0^t.$
Then
$\mathcal {C}(A)\cong \mathbb {Z}^t/\langle \mathbf {a}_i\mid i\in [1,n]\rangle $
and it is generated by
$[\mathfrak {p}_1],\dots ,[\mathfrak {p}_t]$
.
Suppose in addition that D is infinite and either
$n\ge 2$
or
$n=1$
and D has at least
$|D|$
height-1 prime ideals. Then every class of
$\mathcal {C}(A)$
contains precisely
$|D|$
height-1 prime ideals.
Before presenting the main result on the class groups of upper cluster algebras that are Krull domains, it should be noted that Theorem 4.4 is, with the exception of the transition from cluster algebras to upper cluster algebras, almost verbatim from [Reference Elsener, Lampe and SmertnigGELS19, Theorem A].
Theorem 4.4 Let
$\Sigma =(\mathbf {x},\mathbf {y}, B)$
be a seed and let
$\mathcal {U}=\mathcal {U}(\Sigma )$
be the upper cluster algebra associated with
$\Sigma $
. Suppose that
$\mathcal {U}$
is a Krull domain. Let
$t\in \mathbb {N}_0$
denote the number of height-
$1$
prime ideals that contain one of the exchangeable variables
$x_1,\ldots ,x_n$
. Then the class group
$\mathcal {C}(\mathcal {U})$
of
$\mathcal {U}$
is a free abelian group of rank
$t-n$
.
In particular, each class contains exactly
$|K|$
height-1 prime ideals.
Proof The proof follows the strategy of [Reference Elsener, Lampe and SmertnigGELS19, Theorem A] where the authors proved the statement for cluster algebras that are Krull domains.
In order to apply Theorem 4.3, notice that the Laurent phenomenon implies that

and
$K[\mathbf {x}^{\pm 1},\mathbf {y}^{\pm 1}]$
is a factorial domain.
$\mathcal {U}$
is a Krull domain by assumption, hence any principal ideal is a divisorial product of height-
$1$
prime ideals, in particular, for every
$i\in [1,n]$
there exist
$a_{i1},\dots ,a_{it}\in \mathbb {N}_0$
such that

with
$\mathfrak {p}_1,\dots , \mathfrak {p_t}$
pairwise distinct height-
$1$
prime ideals of
$\mathcal {U}$
that contain one of the elements
$x_1,\dots ,x_n$
and
$a_{ij}=v_{\mathfrak {p}_j}(x_i)$
. Thus Theorem 4.3 implies that
$C(\mathcal {U})$
is generated by
$[\mathfrak {p}_1],\dots ,[\mathfrak {p}_t]$
.
By Corollary 4.2, for every
$i\in [1,n]$
there exists
$\mathfrak {p}\in \mathfrak {X}(\mathcal {U})$
such that
$v_{\mathfrak {p}}(x_i)=1$
and
$v_{\mathfrak {p}}(x_j)=0$
for every
$j\ne i$
. Thus, since
$\mathfrak {p}_1,\dots , \mathfrak {p_t}$
are all the height-1 prime ideals that contain
$x_i$
, there exists
$k_i\in [1,t]$
such that
$v_{\mathfrak {p}_{k_i}}(x_i)=a_{ik_i}=1$
and
$v_{\mathfrak {p}_{k_i}}(x_j)=a_{jk_i}=0$
for every
$j\in [1,n]\setminus \{i\}$
. Hence, by (4.1),

that is
$[\mathfrak {p}_{k_i}]$
is a linear combination of
$[\mathfrak {p}_1],\dots ,[\mathfrak {p}_t]$
. If
$i,j\in [1,n]$
with
$j\ne i$
, then
$\mathfrak {p}_{k_i}\ne \mathfrak {p}_{k_{j}}.$
Indeed, if they were equal, Corollary 4.2 would imply
$1=a_{ik_i}=a_{ik_{j}}=0$
and this would be a contradiction. Thus
$\mathfrak {p}_{k_1},\dots ,\mathfrak {p}_{k_n}$
are n superfluous generators and
$C(\mathcal {U})$
is a free abelian group generated by
$t-n$
elements.
If
$n+m\ge 2$
, or
$n+m=1$
and
$K=\mathbb {Z}$
, we can apply Theorem 4.3 to obtain that every class contains exactly
$|K|$
height-1 prime ideals. Suppose then
$n+m=1$
and K is a field. Since we assumed there is no isolated exchangeable index, necessarily
$n=0$
and
$m=1$
. Then
$\mathcal {U}=K[x_1^{\pm 1}]$
,
$\mathcal {C}(\mathcal {U})=0$
and
$\mathcal {U}$
contains
$|K|$
pairwise non-associated prime elements.
This theorem leads us to a dichotomy between factorial upper cluster algebras and non-factorial ones. Let A be a domain and
$a \in A^\bullet $
. We call
$k \ge 0$
a length of a if there exist atoms
$u_1,\dots ,u_k \in A^\bullet $
such that
$a=u_1\ldots u_k$
. The length set of a, denoted by
$\mathsf L(a)$
, is the set of all such lengths; we set
$\mathsf L(a)=\{0\}$
for
$a \in A^\times $
. Then
$\mathsf L(a) = \{0\}$
if and only if a is a unit, and
$\mathsf L(a) = \{1\}$
if and only if a is an atom. In a Krull domain
$\mathsf L(a)$
is always a finite set.
Corollary 4.5 Let
$\mathcal {U}$
be an upper cluster algebra. Assume that
$\mathcal {U}$
is a Krull domain.
-
• If
$\mathcal {U}$ is factorial, then
$\mathsf L(u)$ is a singleton for each non-zero element
$u \in \mathcal {U}.$
-
• If
$\mathcal {U}$ is not factorial, then for every finite set
$L \subseteq \mathbb {Z}_{\ge 2}$ there exists an element
$u \in \mathcal {U}^\bullet $ such that
$\mathsf L(u) = L$ .
Proof If
$\mathcal {U}$
is factorial the claim is trivial. If
$\mathcal {U}$
is not factorial, the claim follows by Theorem 4.4 and a result of Kainrath [Reference KainrathKai99, Theorem 1].
Now we compute the rank of the class group of a full rank upper cluster algebra in terms of the irreducible factors of the exchange polynomials.
Let
$\Sigma =(\mathbf {x},\mathbf {y},B)$
be a seed and
$\mathcal {U}=\mathcal {U}(\Sigma )$
be the upper cluster algebra associated with
$\Sigma .$
Recall that, by definition, the upper cluster algebra
$\mathcal {U}$
is an intersection of some
$\mathcal {L}_{\mathbf {z}}$
, where
$\mathcal {L}_{\mathbf {z}}=K[u^{\pm 1}\mid u\in \mathbf {z}\cup \mathbf {y}]$
is the localization of
$\mathcal {U}$
to the set
$S_{\mathbf {z}}=\{\,z_{1}^{a_1}\ldots z_n^{a_n} x_{n+1}^{a_{n+1}}\ldots x_{n+m}^{a_{n+m}}\mid a_i\in \mathbb {N} _0\,\},$
where
$\mathbf {z}\sim \mathbf {x}$
. On the other hand if we suppose that
$\mathcal {U}$
is a Krull domain, then
$\mathcal {U}=\bigcap _{\mathfrak {p}\in \mathfrak {X}(\mathcal {U})}\mathcal {U}_{\mathfrak {p}}.$
Moreover, the following equalities holds

where the last equality follows from Proposition 2.17, since
$\mathcal {L}_{\mathbf {z}}$
is the localization of
$\mathcal {U}$
at
$S_{\mathbf {z}}.$
Theorem 4.6 Let
$\Sigma =(\mathbf {x},\mathbf {y},B)$
be a seed and
$\mathcal {U}=\mathcal {U}(\Sigma )$
be the upper cluster algebra associated with
$\Sigma .$
Suppose in addition that
$\mathcal {U}$
is a Krull domain. Then for every height-1 prime ideal
$\mathfrak {p}$
of
$\mathcal {U}$
there exists a seed
$(\mathbf {z},\mathbf {y},C)$
such that
$\mathfrak {p}\mathcal {L}_{\mathbf {z}}\in \mathfrak {X}(\mathcal {L}_{\mathbf {z}}).$
Furthermore, if
$\mathcal {U}=\bigcap _{i=0}^{n}\mathcal {L}_{\mathbf {z}_i}$
for some seed
$(\mathbf {z},\mathbf {y},C)$
, then for every height-1 prime ideal
$\mathfrak {p}$
of
$\mathcal {U}$
there exists
$k\in [0,n]$
such that
$\mathfrak {p}\mathcal {L}_{\mathbf {z}_k}\in \mathfrak {X}(\mathcal {L}_{\mathbf {z}_k}).$
Proof We prove the first claim, the second is completely analogous. Proceed by contradiction, i.e., suppose that there exist
$\mathfrak {p}_{0}\in \mathcal {X}(\mathcal {U})$
such that
$\mathfrak {p}_{0}\mathcal {L}_{\mathbf {z}}\notin \mathfrak {X}(\mathcal {L}_{\mathbf {z}})$
for every seed
$(\mathbf {z},\mathbf {y},C).$
We claim that there exists an element
$a\in \mathcal {U}$
such that
$v_{\mathfrak {p}_{0}}(a)<0.$
Let
$y\in \mathfrak {p}_{0},$
and let
$\mathfrak {p}_1,\dots ,\mathfrak {p}_r\in \mathfrak {X}(\mathcal {U})$
be such that
$\{\mathfrak {p}_{0},\mathfrak {p}_{1},\dots ,\mathfrak {p}_{r}\} $
is the set of all the distinct height-1 prime ideals of
$\mathcal {U}$
that contain y. Notice that
$v_{\mathfrak {p}_i}(y)>0$
for every
$i\in [0,r]$
and
$v_{\mathfrak {q}}(y)=0$
for every
$\mathfrak {q}\ne \mathfrak {p}_i$
. Set
$e_i:=v_{\mathfrak {p}_i}(y)\in \mathbb {N}$
for every
$i\in [1,r]$
and
$e_{0}=0$
. By the Approximation property (Theorem 2.24) there exists an element
$x\in \mathcal {U}$
such that
$ v_{\mathfrak {p}_i}(x)= e_i$
for every
$i\in [0,r]$
and
$v_{\mathfrak {q}}(x)\ge 0$
for every
$\mathfrak {q}\in \mathfrak {X}(\mathcal {U})\setminus \{\mathfrak {p}_0,\dots ,\mathfrak {p}_r\}.$
Define now
$a:=x/y\in \mathbf {q}(\mathcal {U}).$
By construction then

for every
$i\in [1,r]$
and
$v_{\mathfrak {q}}(a)=v_{\mathfrak {q}}(x)\ge 0$
for every
$\mathfrak {q}\in \mathfrak {X}(\mathcal {U})\setminus \{\mathfrak {p}_{0},\mathfrak {p}_{1},\dots ,\mathfrak {p}_{r}\}.$
Hence this implies that
$a\in \mathcal {U}_{\mathfrak {q}}$
for every
$\mathfrak {q} \in \mathfrak {X}(\mathcal {U})\setminus \{\mathfrak {p}_0\}$
and
$a\notin \mathcal {U}_{\mathfrak {p}_0}$
, hence
$a\notin \mathcal {U}$
. On the other hand, by assumption
$\mathfrak {p}_0\cap S_{\mathbf {z}}\ne \emptyset $
for every seed
$(\mathbf {z},\mathbf {y},C)$
, hence

therefore we found our contradiction.
The theorem has an important consequence if we consider the case of upper cluster algebras that satisfy the starfish condition at one seed.
Corollary 4.7 Let
$\mathcal {U}$
be an upper cluster algebra that satisfies the starfish condition at a seed
$(\mathbf {x},\mathbf {y},B)$
. Let
$\mathfrak {p}$
be a height-1 prime ideal of
$\mathcal {U}$
that contains
$x_i$
for some
$i\in [1,n]$
. Then
$\mathfrak {p}\mathcal {L}_{\mathbf {x}_i}$
is a height-1 one prime ideal of
$\mathcal {L}_{\mathbf {x}_i}$
. In particular, every height-1 prime ideal of
$\mathcal {U}$
that contains the cluster variable
$x_i$
does not contain any element of the set
$\{x_1,\dots ,x_i',\dots , x_{n+m}\}.$
Proof By Theorem 4.6 there exists
$k\in [0,n]$
such that
$\mathfrak {p}\mathcal {L}_{\mathbf {x}_k}\in \mathfrak {X}(\mathcal {L}_{\mathbf {x}_k}).$
In particular
$\mathfrak {p}\cap \{x_1,\dots ,x_k',\dots ,x_{n+m}\}=\emptyset .$
Therefore k must be i and
$x_j\notin \mathfrak {p}$
for every
$j\in [1,n+m]\setminus \{i\}.$
We are now ready to determine the rank of the class group of an upper cluster algebra that satisfies the starfish condition at one seed.
Theorem 4.8 Let
$\mathcal {U}$
be an upper cluster algebra that satisfies the starfish condition at a seed
$(\mathbf {x},\mathbf {y},B)$
. For every
$i\in [1,n]$
let
$l_i$
be the number of irreducible factors in
$K[\mathbf {x}, \mathbf {y}^{\pm 1}]$
of the exchange polynomial
$f_i$
. Then

Proof Theorem 3.9 implies that
$\mathcal {U}$
is a Krull domain, so we can apply Theorem 4.4 and claim that
$\mathcal {C}(\mathcal {U})$
is a free abelian group of rank
$t-n$
with t the number of prime ideals that contain one of the cluster variables
$x_1,\dots , x_n$
. By Corollary 4.7, if a height-1 prime ideal of
$\mathcal {U}$
contains a cluster variable
$x_i$
, then it does not contain
$x_j$
for every
$j\in [1,n]\setminus \{i\}$
, that is

Fix an index
$i\in [1,n]$
, and let
$r_1,\dots ,r_{l_i}\in K[\mathbf {x}_{i},\mathbf {y}]$
be the pairwise non-associated irreducible factors of the exchangeable polynomial
$f_i=x_ix_i'\in K[\mathbf {x}_i,\mathbf {y}]. $
We claim that

Let
$\mathfrak {p}\in \mathfrak {X}(\mathcal {U})$
be a height-1 prime ideal that contains the cluster variable
$x_i$
. Corollary 4.7 implies that
$\mathfrak {p}':=\mathfrak {p}\mathcal {L}_{\mathbf {x}_i}$
is a height-1 prime ideal of
$\mathcal {L}_{\mathbf {x}_i}$
that contains
$x_{i}$
. Observe that
$f_i\in \mathfrak {p}'$
. Since none of the factors of
$f_i$
can be a monomial in
$\mathbf {x}$
, Lemma 2.18 implies that, for all
$k\in [1,l_i]$
,
$r_k$
is also irreducible in
$\mathcal {L}_{\mathbf {x}_i} .$
The ideal
$\mathfrak {p}'$
is prime, hence necessarily one of the irreducible factors of
$f_i$
, say
$r_k$
, must be in
$\mathfrak {p}'.$
Therefore, since
$\mathfrak {p}'$
has height
$1$
and
$\mathcal {L}_{\mathbf {x}_i}$
is factorial, we have that
$\mathfrak {p}'=r_k\mathcal {L}_{\mathbf {x}_i},$
and hence
$\mathfrak {p}=\mathcal {U}\cap r_k\mathcal {L}_{\mathbf {x}_i}$
. This proves that

A similar argument shows that
$\mathfrak {p}_j:=\mathcal {U}\cap r_j \mathcal {L}_{\mathbf {x}_i}$
is a height-1 prime ideal of
$\mathcal {U}$
that contains
$x_i$
, for every
$j\in [1,l_i]$
. Assume
$\mathfrak {p}_j=\mathfrak {p}_k$
for some
$j\ne k$
. Then
$r_j \mathcal {L}_{\mathbf {x}_i}=r_k \mathcal {L}_{\mathbf {x}_i}$
and hence
$r_j\simeq r_k$
, that is impossible by assumption, whence

If
$l_i=1$
for every
$i\in [1,n]$
, we get immediately the following corollary, which is a slight generalization of [Reference Cao, Keller and QinCKQ23, Theorem 4.9].
Corollary 4.9 Let
$\mathcal {U}$
be an upper cluster algebra that satisfies the starfish condition at a seed
$(\mathbf {x},\mathbf {y},B)$
. Then
$\mathcal {U}$
is factorial if and only if the exchange polynomials
$f_i=x_ix_i'$
are irreducible in
$K[\mathbf {x},\mathbf {y}^{\pm 1}]$
.
Notice we cannot extend this theorem to upper cluster algebras that are just Krull domains. Indeed, consider the (upper) cluster algebra of finite type
$A_3.$
The cluster algebra is a Krull domain and we know that is not factorial (
$1+x_{2}^{2}=x_{1}x_{1}'=x_{3}x_{3}'$
), hence
$\mathcal {C}(\mathcal {U})\ne 0.$
However,
$\sum _{i=1}^3 l_i -3=0,$
so the theorem does not apply in this case.
Remark 4.10 If the seed is in addition acyclic, the cluster algebra and the upper cluster algebra coincide and we could get the conclusions of Theorem 4.8 as a consequence of the main theorem of [Reference Elsener, Lampe and SmertnigGELS19]. Two indices i,
$j\in [1,n]$
are partners if
$f_i$
and
$f_j$
have a common non-trivial factor. If
$\,\mathcal {U}$
satisfies the starfish condition at a seed
$(\mathbf {x},\mathbf {y},B)$
, then no distinct indices are partners. Indeed, first notice that, if i and j are partners, then
$(x_1,\dots ,x_i',\dots ,x_j',\dots ,x_n)$
is a seed, since
$b_{ij}=b_{ji}=0$
(cf. [Reference Elsener, Lampe and SmertnigGELS19, Lemma 2.7]). Suppose now, by contradiction, that there exist two partners
$i,j\in [1,n]$
with
$i< j$
. Thus there exists
$h\in K[\mathbf {x},\mathbf {y}]\setminus K[\mathbf {x},\mathbf {y}]^\times $
such that
$f_i=hg_i$
and
$f_j=hg_j$
for some
$g_i,g_j\in K[\mathbf {x},\mathbf {y}]$
. Hence the element
$s=\frac {hg_ig_j}{x_ix_j}\in \bigcap _{k=0}^n\mathcal {L}_{\mathbf {x}_k},$
but
$s\notin K[x_1^{\pm 1},\dots ,{x_i'}^{\pm 1},\dots ,{x_j'}^{\pm 1},\dots ,x_n^{\pm 1}]$
, and this is a contradiction. Assume in addition that the (upper) cluster algebra
$\,\mathcal {U}$
is acyclic. Then, since the only partner sets are the sets
$\{i\}$
,
$i\in [1,n] $
, in [Reference Elsener, Lampe and SmertnigGELS19, Theorem A] implies that the rank of the class group of
$\,\mathcal {U}$
is equal to
$t-n$
with
$t=\sum _{i=1}^n |\{\, \mathfrak {p}\in \mathfrak {X}(\mathcal {U})\mid x_i\in \mathfrak {p}\,\}|$
.

Remark 4.11 For a more detailed discussion on the factorization of exchange polynomials, the reader is referred to [Reference Elsener, Lampe and SmertnigGELS19, Section 2.1], where this topic is treated exhaustively.
Denote by
$\mu _{d}^*(K)$
the set of primitive dth roots of unit in K.
Examples 4.12 Let us compute the class group in some specific examples.
-
(1) Consider the seed
$\Sigma =\left (\left (x_1,x_2,x_3,x_4\right ),\emptyset ,B\right )$ where B is the matrix
$$ \begin{align*} B=\begin{pmatrix} 0 & -1 & 0 & 4 \\ 2 & 0 & 3 & 6 \\ 0 & -3 & 0 & 0 \\ -4 & -3 & 0 & 0 \end{pmatrix}. \end{align*} $$
B is a full rank skew-symmetrizable matrix (consider
$d_1=d_4=2,\, d_2=d_3=1$ ).
The exchange polynomials associated with
$\Sigma $ are:
$$ \begin{align*} f_1=x_2^2+x_4^4,\quad f_2=x_1x_3^3x_4^3+1,\\ f_3=x_2^3+1, \quad f_4=x_1^4x_2^6+1. \end{align*} $$
The polynomial
$f_1$ has 2 factors if
$\mu _4^*(K)\ne \emptyset $ , otherwise 1, the polynomial
$f_3$ has 3 factors if
$\mu _6^*(K)\ne \emptyset $ , otherwise 2, and the polynomial
$f_4$ has 2 factors if
$\mu _4^*(K)\ne \emptyset $ , otherwise 1. The following table shows the class group of
$\mathcal {U}$ in all the possible cases:
Notice that
$U(\Sigma )$ is not factorial independently from the choice of the field.
-
(2) Consider the following quiver
$\mathcal {Q}$ :
The matrix associated with
$\mathcal {Q}$ is
$$ \begin{align*} B=\begin{pmatrix} 0 & 0 & 1 & -1 \\ 0 & 0 & -1 & -1 \\ -1 & 1 & 0 & 1 \\ 1 & 1 & -1 & 0 \end{pmatrix} \end{align*} $$
$$ \begin{align*} & f_1=x_3+x_4,\quad f_2=x_3x_4+1,\\ & f_3=x_2x_4+x_1, \quad f_4=x_1x_2+x_3. \end{align*} $$
B has full rank and the polynomials are irreducible, hence
$\mathcal {U}(\mathcal {Q})$ is factorial.
-
(3) Consider the seed
$\Sigma =((x_1,x_2,x_3),\{x_4\},B)$ where B is the matrix
$$ \begin{align*} B=\begin{pmatrix} 0 & 2 & -2 \\ -2 & 0 & 2 \\ 2 & -2 & 0 \\ 2 & 0 & 0 \end{pmatrix}. \end{align*} $$
B has full rank and the exchange polynomials are
$$ \begin{align*}f_1=x_2^2+x_3^2x_4^2,\quad f_2=x_1^2+x_3^2,\quad f_3=x_1^2+x_2^2.\end{align*} $$
Hence, if
$\mu _4^*(K)\ne \emptyset $ , then
$\mathcal {C}(\mathcal {U})\cong \mathbb {Z}^3$ , otherwise
$\mathcal {U}$ is factorial.
Observe that the exchangeable part of the quiver
$\Gamma (B)$ , being the Markov quiver, is not acyclic, hence we could not have applied in [Reference Elsener, Lampe and SmertnigGELS19, Theorem B].
5 Valuation Pairing
In [Reference Cao, Keller and QinCKQ23], the authors introduced the notion of a valuation pairing on an upper cluster algebra and proved a local unique factorization for full rank upper cluster algebras. In this section we give an interpretation of the valuation pairing in terms of the
$\mathfrak {p}$
-adic valuation in Krull domains.
Definition 5.1 (Valuation pairing, [Reference Cao, Keller and QinCKQ23])
Let
$\mathcal {U}$
be an upper cluster algebra and
$\mathcal {X}$
be the set of cluster variables of
$\mathcal {U}.$
Define

Clearly,
$(x\mid u)_v=0$
if and only if
$x\nmid u.$
If
$r=(x\mid u)_v>0$
, then
$u/x^r\in \mathcal {U}$
and
$u/x^{r+1}\notin \mathcal {U}$
, that is there exists
$y\in \mathcal {U}$
such that
$u=x^ry$
and
$x \nmid y$
.
Definition 5.2 (Local factorization, [Reference Cao, Keller and QinCKQ23])
Let
$\mathcal {U}$
be an upper cluster algebra and
$u\in \mathcal {U}$
. We say that
$u=ab $
is a local factorization of u with respect to the seed
$(\mathbf {x},\mathbf {y},B)$
if a is a monomial in
$\mathbf {x}$
and
$(x_i\mid b)_v=0$
for every
$i\in [1,n].$
Using valuation pairings, Cao, Keller, and Qin proved the following.
Theorem 5.3 [Reference Cao, Keller and QinCKQ23, Proposition 3.5 and Theorem 3.7]
Let
$\mathcal {U}$
be an upper cluster algebra and
$(\mathbf {x},\mathbf {y},B)$
any seed. Then every
$0\ne u\in \mathcal {U}$
admits a local factorization with respect to
$(\mathbf {x},\mathbf {y},B)$
. Moreover, if
$\mathcal {U}$
has full rank, then this local factorization is unique (up to associates).
Let
$\mathcal {U}$
be an upper cluster algebra. We can interpret the valuation pairing in terms of discrete valuations on
$\mathcal {U}$
. By definition,
$\mathcal {U}$
is an intersection of (possibly infinitely many) Laurent polynomial rings. Each of these Laurent polynomial rings gives rise to a family of discrete valuations, arising from the height-1 prime ideals of the Laurent polynomial ring. Let
$\{\,v_i :i \in I\,\}$
be the set of all such discrete valuations arising from all the Laurent polynomial rings.
Let
$x\in \mathcal {X}$
and let
$V \subseteq \{\, v_i : i \in I\,\}$
the subset of all valuations
$v_i$
for which
$v_i(x)>0$
. Now consider an element
$u \in \mathcal {U}^\bullet $
and set
$r=(x\mid u)_v.$
Let us write
$u=x^ry$
with
$y\in \mathcal {U}$
such that
$x\nmid y$
. Clearly, we have that
$v_{i}(x)r\le v_{i}(u),$
for every
$v_i \in V$
, hence

Let
$s:=\inf _{v_i\in V}\Big \lfloor \frac {v_{i}(u)}{v_{i}(x)}\Big \rfloor .$
Then
$u/x^s\in \mathcal {U}$
since

hence

Remark 5.4 If
$\mathcal {U}$
is a Krull domain, then the discrete valuations V are just those arising from the finitely many height-1 prime ideals of
$\mathcal {U}$
containing x, so in this case
