The Berenstein–Zelevinsky quantum cluster algebra conjecture

On 2nd-stage quantization of quantum cluster algebras

In this paper we study consequences of the results of Kang et al. [ Monoidal categorification of cluster algebras , J. Amer. Math. Soc. 31 (2018), 349–426] on a monoidal categorification of the unipotent quantum coordinate ring $A_{q}(\mathfrak{n}(w))$ together with the Laurent phenomenon of cluster algebras. We show that if a simple module $S$ in the category ${\mathcal{C}}_{w}$ strongly commutes with all the cluster variables in a cluster $[\mathscr{C}]$ , then $[S]$ is a cluster monomial in $[\mathscr{C}]$ . If $S$ strongly commutes with cluster variables except for exactly one cluster variable $[M_{k}]$ , then $[S]$ is either a cluster monomial in $[\mathscr{C}]$ or a cluster monomial in $\unicode[STIX]{x1D707}_{k}([\mathscr{C}])$ . We give a new proof of the fact that the upper global basis is a common triangular basis (in the sense of Qin [ Triangular bases in quantum cluster algebras and monoidal categorification conjectures , Duke Math. 166 (2017), 2337–2442]) of the localization $\widetilde{A}_{q}(\mathfrak{n}(w))$ of $A_{q}(\mathfrak{n}(w))$ at the frozen variables. A characterization on the commutativity of a simple module $S$ with cluster variables in a cluster $[\mathscr{C}]$ is given in terms of the denominator vector of $[S]$ with respect to the cluster $[\mathscr{C}]$ .

Given a standard complex semisimple Poisson Lie group $(G, \pi_{st})$, generalised double Bruhat cells $G^{u, v}$ and generalised Bruhat cells $O^u$ equipped with naturally defined holomorphic Poisson structures, where u, v are finite sequences of Weyl group elements, were defined and studied by Jiang Hua Lu and the author. We prove in this paper that $G^{u,u}$ is naturally a Poisson groupoid over $O^u$, extending a result from the aforementioned authors about double Bruhat cells in $(G, \pi_{st})$. Our result on $G^{u,u}$ is obtained as an application of a construction interesting in its own right, of a local Poisson groupoid over a mixed product Poisson structure associated to the action of a pair of Lie bialgebras. This construction involves using a local Lagrangian bisection in a double symplectic groupoid closely related to the global R-matrix studied by Weinstein and Xu, to twist a direct product of Poisson groupoids.

$Q$-systems are recursion relations satisfied by the characters of the restrictions of special finite-dimensional modules of quantum affine algebras. They can also be viewed as mutations in certain cluster algebras, which have a natural quantum deformation. In this paper, we explain the relation in the simply-laced case between the resulting quantum $Q$-systems and the graded tensor product of Feigin and Loktev. We prove the graded version of the $M=N$ identities, and write expressions for these as non-commuting evaluated multi-residues of suitable products of solutions of the quantum $Q$-system. This leads to a simple reformulation of Feigin and Loktev's fusion coefficients as matrix elements in a representation of the quantum $Q$-system algebra.

We discuss a discretization of the quantum Toda field theory associated with a semisimple finite-dimensional Lie algebra or a tamely-laced infinite-dimensional Kac–Moody algebra G, generalizing the previous construction of discrete quantum Liouville theory for the case G = A1. The model is defined on a discrete two-dimensional lattice, whose spatial direction is of length L. In addition we also find a ‘discretized extra dimension’ whose width is given by the rank r of G, which decompactifies in the large r limit. For the case of G = AN or , we find a symmetry exchanging L and N under appropriate spatial boundary conditions. The dynamical time evolution rule of the model is quantizations of the so-called Y-system, and the theory can be well described by the quantum cluster algebra. We discuss possible implications for recent discussions of quantum chaos, and comment on the relation with the quantum higher Teichmüller theory of type AN.

We solve the quantum version of the A 1 T-system by use of quantum networks. The system is interpreted as a particular set of mutations of a suitable (infinite-rank) quantum cluster algebra, and Laurent positivity follows from our solution. As an application we re-derive the corresponding quantum network solution to the quantum A 1 Q-system and generalize it to the fully non-commutative case. We give the relation between the quantum T-system and the quantum lattice Liouville equation, which is the quantized Y-system.

In Berenstein and Rupel (2015), the authors defined algebra homomorphisms from the dual Ringel-Hall algebra of certain hereditary abelian category \(\mathcal {A}\) to an appropriate q-polynomial algebra. In the case that \(\mathcal {A}\) is the representation category of an acyclic quiver, we give an alternative proof by using the cluster multiplication formulas in (Ding and Xu, Sci. China Math. 55(10) 2045–2066, 2012). Moreover, if the underlying graph of Q associated with \(\mathcal {A}\) is bipartite and the matrix B associated to the quiver Q is of full rank, we show that the image of the algebra homomorphism is in the corresponding quantum cluster algebra.

Recently it has become apparent that N = 2 supersymmetric quantum field theory has something to do with cluster algebras. I review one aspect of the connection: supersymmetric quantum field theories have associated hyperkähler moduli spaces, and these moduli spaces carry a structure that looks like an extension of the notion of cluster variety. In particular, one encounters the usual variables and mutations of the cluster story, along with more exotic extra variables and generalized mutations. I focus on a class of examples where the underlying cluster varieties are moduli spaces of flat connections on surfaces, as considered by Fock and Goncharov [Fock V, Goncharov A (2006) Publ Math Inst Hautes Études Sci 103:1-211]. The work reviewed here is largely joint with Davide Gaiotto and Greg Moore.

Let \(S(n)\) be the category of invariant subspaces of nilpotent operators with nilpotency index at most \(n\). Such submodule categories have been studied already in 1934 by Birkhoff, they have attracted a lot of attention in recent years, for example in connection with some weighted projective lines (Kussin, Lenzing, Meltzer). On the other hand, we consider the preprojective algebra \(\Pi _n\) of type \(\mathbb {A}_n\); the preprojective algebras were introduced by Gelfand and Ponomarev, they are now of great interest, for example they form an important tool to study quantum groups (Lusztig) or cluster algebras (Geiss, Leclerc, Schroer). We are going to discuss the connection between the submodule category \(\mathcal {S}(n)\) and the module category \(\hbox {mod}\;\Pi _{n-1}\) of the preprojective algebra \(\Pi _{n-1}\). Dense functors \(\mathcal {S}(n) \rightarrow \hbox {mod}\;\Pi _{n-1}\) are known to exist: one has been constructed quite a long time ago by Auslander and Reiten, recently another one by Li and Zhang. We will show that these two functors are full, dense, objective functors with index \(2n\), thus \(\hbox {mod}\;\Pi _{n-1}\) is obtained from \(\mathcal {S}(n)\) by factoring out an ideal which is generated by \(2n\) indecomposable objects. As a byproduct we also obtain new examples of ideals in triangulated categories, namely ideals \(\mathcal {I}\) in a triangulated category \(\mathcal {T}\) which are generated by an idempotent such that the factor category \(\mathcal {T}/\mathcal {I}\) is an abelian category.

Let G be a simple classical algebraic group over an algebraically closed field K of characteristic p ? 0 with natural module W. Let H be a closed subgroup of G and let V be a nontrivial irreducible tensor indecomposable -restricted rational KG-module such that the restriction of V to H is irreducible. In this paper we classify the triples (G,H,V ) of this form, where H is a closed disconnected almost simple positive-dimensional subgroup of G acting irreducibly on W. Moreover, by combining this result with earlier work, we complete the classifcation of the irreducible triples (G,H,V ) where G is a simple algebraic group over K, and H is a maximal closed subgroup of positive dimension.

There is a longstanding conjecture, due to Gregory Cherlin and Boris Zilber, that all simple groups of finite Morley rank are simple algebraic groups. One of the major theorems in the area is Borovik's trichotomy theorem. The ‘trichotomy’ here is a case division of the generic minimal counterexamples within odd type, that is, groups with a large and divisible Sylow° 2-subgroup. The so-called ‘uniqueness case’ in the trichotomy theorem is the existence of a proper 2-generated core. It is our aim to drive the presence of a proper 2-generated core to a contradiction, and hence bind the complexity of the Sylow° 2-subgroup of a minimal counterexample to the Cherlin–Zilber conjecture. This paper shows that the group in question is a minimal connected simple group and has a strongly embedded subgroup, a far stronger uniqueness case. As a corollary, a tame counterexample to the Cherlin–Zilber conjecture has Prüfer rank at most two.

We survey recent results regarding embeddings of finite simple groups (and their nonsplit central extensions) in complex Lie groups, especially the Lie groups of exceptional type. Introduction Throughout this paper, L will be a finite group. Representation theory for L is usually understood to be the study of group morphisms L → GL(n, k) for distinguished collections of fields k (e.g., all overfields of a fixed field F ) and positive integers n . The topic of this survey is motivated by the question as to what happens if GL ( n ,·) is replaced by another algebraic group G (·). We shall mainly be concerned with the case where L is a finite simple group (that is, a finite nonabelian simple group) or a central extension thereof, and G(k) is a connected simple algebraic group over a field k . A further restriction of our discussion concerns the field k . It will mostly be taken to be the complex numbers, in which case we will mainly study group morphisms from L to the complex Lie group G (ℂ). (See below for some exceptions in §3 and §5.) For G (·) of classical type, the theory for representations L → G (ℂ) differs little from the usual one for GL ( n , ℂ). Indeed, a representation L → GL ( n , ℂ) decomposes into irreducible subrepresentations. The decomposition is well controlled by character theory.

This is an introductory survey on cluster algebras and their (additive) categorification using derived categories of Ginzburg algebras. After a gentle introduction to cluster combinatorics, we review important examples of coordinate rings admitting a cluster algebra structure. We then present the general definition of a cluster algebra and describe the interplay between cluster variables, coefficients, c-vectors and g-vectors. We show how c-vectors appear in the study of quantum cluster algebras and their links to the quantum dilogarithm. We then present the framework of additive categorification of cluster algebras based on the notion of quiver with potential and on the derived category of the associated Ginzburg algebra. We show how the combinatorics introduced previously lift to the categorical level and how this leads to proofs, for cluster algebras associated with quivers, of some of Fomin-Zelevinsky's fundamental conjectures.

Superstability and central extensions of algebraic groups

We give an algebraic proof of the independence of Coxeter moves involved in the construction of positive representations of split-real quantum groups, thus completing a gap in the original construction. To do this, we propose a new quantized version of Lusztig’s Injectivity Lemma in the language of quantum cluster algebra, the proof of which by Tits’ Lemma reduces to calculations involving sequences of Coxeter moves forming rank 3 cycles. We give a new, constructive proof of Tits’ Lemma, and provide the required explicit computation of the quantum cluster mutations under these rank 3 cycles using certain cluster algebraic tricks via universally Laurent polynomials.