Connected quantized Weyl algebras and quantum cluster algebras

For an algebraically closed field K, we investigate a class of noncommutative K-algebras called connected quantized Weyl algebras. Such an algebra has a PBW basis for a set of generators {x1,…,xn} such that each pair satisfies a relation of the form xixj=qijxjxi+rij, where ⁎ qij∈K⁎ and rij∈K, with, in some sense, sufficiently many pairs for which rij≠0. For such an algebra it turns out that there is a single parameter q such that each qij=q±1. Assuming that q≠±1, we classify connected quantized Weyl algebras, showing that there are two types linear and cyclic. When q is not a root of unity we determine the prime spectra for each type. The linear case is the easier, although the result depends on the parity of n, and all prime ideals are completely prime. In the cyclic case, which can only occur if n is odd, there are prime ideals for which the factors have arbitrarily large Goldie rank.

We apply connected quantized Weyl algebras to obtain presentations of two classes of quantum cluster algebras. Let n≥3 be an odd integer. We present the quantum cluster algebra of a Dynkin quiver of type An−1 as a factor of a linear connected quantized Weyl algebra by an ideal generated by a central element. We also consider the quiver Pn+1(1) identified by Fordy and Marsh in their analysis of periodic quiver mutation. When n is odd, we show that the quantum cluster algebra of this quiver is generated by a cyclic connected quantized Weyl algebra in n variables and one further generator. We also present it as the factor of an iterated skew polynomial algebra in n+2 variables by an ideal generated by a central element. For both classes, the quantum cluster algebras are simple noetherian.

We establish Poisson analogues of the results on prime ideals and quantum cluster algebras. We determine the Poisson prime spectra for the semiclassical limits of the linear and cyclic connected quantized Weyl algebras and show that, when n is odd, the cluster algebras of An−1 and Pn+1(1) are simple Poisson algebras that can each be presented as a Poisson factor of a polynomial algebra, with an appropriate Poisson bracket, by a principal ideal generated by a Poisson central element.