GENERALIZED CLUSTER STRUCTURES RELATED TO THE DRINFELD DOUBLE OF GLn MISHA GEKHTMAN, MICHAEL SHAPIRO, AND ALEK VAINSHTEIN Abstract. We prove that the regular generalized cluster structure on the Drinfeld double of GLn constructed in [9] is complete and compatible with the standard Poisson–Lie structure on the double. Moreover, we show that for n = 4 this structure is distinct from a previously known regular generalized cluster structure on the Drinfeld double, even though they have the same compatible Poisson structure and the same collection of frozen variables. Further, we prove that the regular generalized cluster structure on band periodic matrices constructed in [9] possesses similar compatibility and completeness properties. 1. Introduction In [6, 8] we constructed an initial seed Σn for a complete generalized cluster D structure GCn in the ring of regular functions on the Drinfeld double D(GLn) and proved that this structure is compatible with the standard Poisson–Lie structure on D(GLn). In [9, Section 4] we constructed a different seed Σ¯ n for a regular D D generalized cluster structure GCn on D(GLn). In this note we prove that GCn D shares all the properties of GCn : it is complete and compatible with the standard Poisson–Lie structure on D(GLn). Moreover, we prove that the seeds Σ¯ 4(X, Y ) and T T Σ4(Y ,X ) are not mutationally equivalent. In this way we provide an explicit example of two different regular complete generalized cluster structures on the same variety with the same compatible Poisson structure and the same collection of frozen D variables. Further, from the above properties of GCn we derive that the generalized cluster structure in the ring of regular functions on band periodic matrices built in [9, Section 5] is complete and compatible with the restriction of the standard Poisson–Lie structure. arXiv:2004.05118v1 [math.RT] 8 Apr 2020 Section 2 contains all necessary information about generalized cluster structures borrowed mainly from [9] to make this text self-contained. Section 3 is devoted to D the study of GCn . The initial seed is described in Section 3.1. The main result of D this section is Theorem 3.1 which claims that GCn is compatible with the standard Poisson–Lie structure on D(GLn) and complete. The former statement is proved in Sections 3.2 and 3.3, and the latter in Section 3.4. In Section 4 we compare two D D T T generalized cluster structures on D(GL4): GC4 and GC4 (Y ,X ) described in [8]. These two structures have the same set of frozen variables, and we prove that they are distinct, that is, the two seeds are not mutationally equivalent. Finally, Section 5 treats the case of periodic band matrices. The initial seed Σkn for the generalized cluster structure on the space Lkn of (k + 1)-diagonal n-periodic band matrices is described in Section 5.1. The main result of this section is Theorem 5.1 which claims that GC(Σkn) is compatible with the restriction of the standard Poisson–Lie 1 2 MISHA GEKHTMAN, MICHAEL SHAPIRO, AND ALEK VAINSHTEIN structure on D(Matn) and complete. The former statement is proved in Section 5.2, and the latter in Section 5.3. 2. Preliminaries 2.1. Generalized cluster structures. Following [8], we remind the definition of a generalized cluster structure represented by a quiver with multiplicities. Let (Q, d1,...,dN ) be a quiver on N mutable and M frozen vertices with positive inte- ger multiplicities di at mutable vertices. A vertex is called special if its multiplicity is greater than 1. A frozen vertex is called isolated if it is not connected to any other vertices. Let F be the field of rational functions in N + M independent vari- ables with rational coefficients. There are M distinguished variables corresponding to frozen vertices; they are denoted xN+1,...,xN+M . The coefficient group is a free multiplicative abelian group of Laurent monomials in stable variables, and its A¯ Z ±1 ±1 ±1 −1 integer group ring is = [xN+1,...,xN+M ] (we write x instead of x, x ). An extended seed (of geometric type) in F is a triple Σ = (x, Q, P), where x = (x1,...,xN , xN+1,...,xN+M ) is a transcendence basis of F over the field of fractions of A¯ and P is a set of N strings. The ith string is a collection of mono- A Z mials pir ∈ = [xN+1,...,xN+M ], 0 ≤ r ≤ di, such that pi0 = pidi = 1; it is called trivial if di = 1, and hence both elements of the string are equal to one. The monomials pir are called exchange coefficients. Given a seed as above, the adjacent cluster in direction k,1 ≤ k ≤ N, is defined ′ ′ ′ by x = (x \ {xk}) ∪ {xk}, where the new cluster variable xk is given by the generalized exchange relation dk ′ r [r] dk−r [dk−r] (2.1) xkxk = pkruk;>vk;>uk;< vk;< ; r=0 X here uk;> and uk;<, 1 ≤ k ≤ N, are defined by uk;> = xi, uk;< = xi, k→Yi∈Q i→Yk∈Q where the products are taken over all edges between k and mutable vertices, and [r] [r] stable τ-monomials vk;> and vk;<, 1 ≤ k ≤ N, 0 ≤ r ≤ dk, defined by [r] ⌊rbki/dk⌋ [r] ⌊rbik /dk⌋ (2.2) vk;> = xi , vk;< = xi , N+1≤Yi≤N+M N+1≤Yi≤N+M where bki is the number of edges from k to i and bik is the number of edges from i to k; here, as usual, the product over the empty set is assumed to be equal to 1. The right hand side of (2.1) is called a generalized exchange polynomial. The standard definition of the quiver mutation in direction k is modified as follows: if both vertices i and j in a path i → k → j are mutable, then this path ′ contributes dk edges i → j to the mutated quiver Q ; if one of the vertices i or j is ′ frozen then the path contributes dj or di edges i → j to Q . The multiplicities at the vertices do not change. Note that isolated vertices remain isolated in Q′. The exchange coefficient mutation in direction k is given by ′ pi,di−r, if i = k; (2.3) pir = (pir, otherwise. GENERALIZED CLUSTER STRUCTURES RELATED TO THE DOUBLE OF GLn 3 Given an extended seed Σ = (x, Q, P), we say that a seed Σ′ = (x′,Q′, P′) is adjacent to Σ (in direction k) if x′, Q′ and P′ are as above. Two such seeds are mutation equivalent if they can be connected by a sequence of pairwise adjacent seeds. The set of all seeds mutation equivalent to Σ is called the generalized cluster structure (of geometric type) in F associated with Σ and denoted by GC(Σ). Fix a ground ring A such that A ⊆ A ⊆ A¯. The generalized upper cluster algebra A(GC)= A(GC(Σ)) is the intersection of the rings of Laurent polynomials over A in cluster variables takenb over all seeds inbGC(Σ). Let V be a quasi-affine variety over C, C(V ) be the field of rational functions on V , and O(V ) be the ring of regularb functions on V . A generalized cluster structure GC(Σ) in C(V ) is an embedding of x into C(V ) that can be extended to a field isomorphism between FC = F ⊗ C and C(V ). It is called regular on V if any cluster variable in any cluster belongs to O(V ), and complete if A(GC) tensored with C is isomorphic to O(V ). The choice of the ground ring is discussed in [8, Section 2.1]. Let {·, ·} be a Poisson bracket on the ambient field F, and GC be a generalized cluster structure in F. We say that the bracket and the generalized cluster structure are compatible if any extended cluster x = (x1,...,xN+M ) is log-canonical with respect to {·, ·}, that is, {xi, xj } = ωij xixj , where ωij ∈ Z are constants for all i, j, 1 ≤ i, j ≤ N + M. e For any mutable vertex k ∈ Q define the y-variable dk uk;>vk;> (2.4) yk = . dk uk;<vk;< The following statement is an immediate corollary of [8, Proposition 2.5]. Proposition 2.1. Assume that for any mutable vertex j ∈ Q {log xi, log yj } = λdj δij for any i ∈ Q, where λ is a rational number not depending on j, δij is the Kronecker symbol, and all Laurent monomials dk [r] [dk−r] pkrvk;>vk;< pˆkr = r dk −r vk;>vk;< are Casimirs of the bracket {·, ·}. Then the bracket {·, ·} is compatible with GC(Σ). The notion of compatibility extends to Poisson brackets on FC without any changes. Fix an arbitrary extended cluster x = (x1,...,xN+M ) and define a local toric W F F F action of rank s as a map Tq : C → C given on the generators of C = C (x1,...,xN+M ) by the formula e s N+M W wiα C∗ s (2.5) Tq (x)= xi qα , q = (q1,...,qs) ∈ ( ) , α=1 ! Y i=1 where W = (wiαe) is an integer (N +M)×s weight matrix of full rank, and extended naturally to the whole FC. Let x′ be another extended cluster in GC, then the corresponding local toric action defined by the weight matrix W ′ is compatible with the local toric action (2.5) ife it commutes with the sequence of (generalized) cluster transformations that takes x to x′. If local toric actions at all clusters are compatible, they define a e e 4 MISHA GEKHTMAN, MICHAEL SHAPIRO, AND ALEK VAINSHTEIN global toric action Tq on FC called a GC-extension of the local toric action (2.5).