Exotic cluster structures on SL_n with Belavin-Drinfeld data of minimal size. I. The structure

DOI10.1007/S11856-017-1469-ZMaRDI QIDQ522341zbMATH OpenOpenAlexFDO

Authors Idan Eisner

Publication date 28 April 2017

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1412.5352

zbMATH Keywords

Belavin-Drinfeld solutionsclassical Yang-Baxter equationscluster structuresPoisson-Lie structures

Mathematics Subject Classification ID

Cluster algebras (13F60) Representations of quivers and partially ordered sets (16G20)

Abstract: Using the notion of compatibility between Poisson brackets and cluster structures in the coordinate rings of simple Lie groups, Gekhtman Shapiro and Vainshtein conjectured a correspondence between the two. Poisson Lie groups are classified by the Belavin-Drinfeld classification of solutions to the classical Yang Baxter equation. For any non trivial Belavin-Drinfeld data of minimal size for $S{L}_n$, we give an algorithm for constructing an initial seed $Sigma$ in $mathcalO(S{L}_n)$. The cluster structure $mathcalC=mathcalC(Sigma)$ is then proved to be compatible with the Poisson bracket associated with that Belavin-Drinfeld data, and the seed $Sigma$ is locally regular. This is the first of two papers, and the second one proves the rest of the conjecture: the upper cluster algebra $$ is naturally isomorphic to $mathcalO(S{L}_n)$, and the correspondence of Belavin-Drinfeld classes and cluster structures is one to one.

Review text

Editorial remark: This is mostly a joint review of [Isr. J. Math. 218, 391--443 (2017; Zbl 1367.13017); ibid. 218, 445--487 (2017; Zbl 1367.13018)]. Cluster algebras were introduced by \textit{S. Fomin} and \textit{A. Zelevinsky} [J. Am. Math. Soc. 15, No. 2, 497--529 (2002; Zbl 1021.16017)]; they are commutative algebras carrying a set of distinguished generators (the \textit{cluster variables}) grouped into overlapping subsets (the \textit{clusters}) of constant cardinality (the \textit{rank}) which are constructed recursively via \textit{mutation} from an \textit{initial cluster}. Cluster algebras have become central objects in contemporary mathematics thanks of their deep links with other interesting branches as integrable systems, higher Teichmüller spaces, combinatorics, discrete dynamical systems, commutative and noncommutative algebraic geometry, mathematical physics, representation theory of quivers and finite-dimensional algebras or Poisson geometry. The article under review may be framed into a program initiated by M. Gekhtman, M. Shapiro, and A. Vainshtein to explore the connection (in both directions) of cluster and Poisson algebras. A central problem of the area consists of identifying cluster structures in algebras of regular functions on various algebraic varieties of interest arising in some of the fields listed above; then features of cluster algebras may be applied to study geometric properties of the underlying varieties. It is worthwhile to note that these works have pointed out that, given an algebraic variety, there exists a unique natural cluster structure associated with it. Partial answers were given for Grassmannians and double Bruhat cells [\textit{A. Berenstein} et al., Duke Math. J. 126, No. 1, 1--52 (2005; Zbl 1135.16013)]. The article [\textit{M. Gekhtman} et al., Mosc. Math. J. 12, No. 2, 293--312 (2012; Zbl 1259.53075)] studied multiple cluster structures in the rings of regular functions on simple Lie groups \(\mathcal{G}\), focusing on compatible Poisson structures on the Lie groups; in other words on compatible Poisson-Lie structures. Recall that a Poisson bracket \(\{-,-\}\) on \(\mathcal{F}_{\mathbb{C}}=\mathbb{C}(x_1,\dots,x_{n+m})\) is \textit{compatible} with the cluster algebra \(\mathcal{A}\) if, for any extended cluster \(\widetilde{x}=(x_1,\dots,x_{n+m})\), we have \(\{x_i,x_j\}=\omega_{ij}x_ix_j\), where \(\omega_{ij}\in\mathbb{Z}\) are constants for all \(1\leq i,j\leq n+m\). In [\textit{M. Gekhtman} et al., Cluster algebras and Poisson geometry. Providence, RI: American Mathematical Society (AMS) (2010; Zbl 1217.13001)], this construction was applied to double Bruhat cells in semisimple Lie groups equipped with the restriction of the standard Poisson-Lie structure, recovering the cluster structure built by A. Berenstein, S. Fomin, and A. Zelevinsky. The key point of their construction was that the standard Poisson-Lie structure is a particular case of Poisson-Lie structures corresponding to quasi-triangular Lie bialgebras. Such structures are associated with solutions to the classical Yang-Baxter equation (CYBE), called classical R-matrices, whose complete classification was obtained by Belavin and Drinfeld in terms of the so-called \textit{Belavin-Drinfeld triples}; they are pairs of isometric subsets of simple roots of the Lie algebra \(\mathfrak{g}\) of the simple Lie group \(\mathcal{G}\). The trivial case when these subsets are empty corresponds to the standard Poisson-Lie bracket on \(\mathcal{G}\), giving rise to the Berenshtein-Fomin-Zelevinsky cluster structure on double Bruhat cells. Furthermore, M. Gekhtman, M. Shapiro, and A. Vainshtein conjectured that any Belavin-Drinfeld pair gives rise to a compatible cluster structure on the Lie group, whose properties are similar to those of the Berenshtein-Fomin-Zelevinsky cluster structure. More precisely, as the author of the article under review writes: ``According to the conjecture [Conjecture 2.3], for a given BD class for \(\mathcal{G}\), there exists a cluster structure on \(\mathcal{G}\), with rank determined by the BD class for \(\mathcal{G}\). This cluster structure is compatible with the associated Poisson bracket. The conjecture also states that the structure is regular, and that the upper cluster algebra coincides with the ring of regular functions on \(\mathcal{G}\). This conjecture holds for the standard case and for the whole Belavin-Drinfeld classification in \(\text{SL}_n\) for \(n=2,3,4\) ( Cluster structures on simple complex Lie groups ). The Cremmer-Gervais was proved in [\textit{M. Gekhtman} et al., Proc. Natl. Acad. Sci. USA 111, No. 27, 9688--9695 (2014; Zbl 1355.17023)]. Finally, the author found that this conjecture is true for all possible BD classes for \(\text{SL}_5\). In the pair of articles [Isr. J. Math. 218, 391--443 (2017; Zbl 1367.13017); ibid. 218, 445--487 (2017; Zbl 1367.13018)], the author proves the conjecture for \(\text{SL}_n\) when the BD data is of minimal size (i.e. the two subsets contain only one simple root). Note that a Poisson-Lie bracket on \(\text{SL}_n\) can be extended to a one on \(\text{GL}_n\), with the determinant being a Casimir function. Then the author discusses \(\text{GL}_n\), and note that any statement can be restricted to \(\text{SL}_n\) by dropping the determinant function. In this first part, the main result is Theorem 2.4 which states the part (1) of Conjecture 2.3 (for \(\text{SL}_n\) when the BD data is of minimal size). More precisely, it is proved that for any Belavin-Drinfeld triple \(T\) there exists a cluster structure on \(\text{SL}_n\) with a locally regular initial seed and with \(2k_T\) stable variables, which is compatible with the Sklyanin bracket associated with \(T\).

Recommendations

• Exotic cluster structures on \(SL_{n}\) with Belavin-Drinfeld data of minimal size. II. Correspondence between cluster structures and Belavin-Drinfeld triples
• Exotic cluster structures on \(\mathrm{SL}_n\): the Cremmer-Gervais case
• Cremmer-Gervais cluster structure on \(\mathrm{SL}_n\)
• Cluster structures on simple complex Lie groups and Belavin-Drinfeld classification
• Poisson structures compatible with the cluster algebra structure in Grassmannians

Cites work

• Cluster algebras and Poisson geometry
• Cluster algebras. I: Foundations
• Cluster algebras. II: Finite type classification
• Cluster algebras. III: Upper bounds and double Bruhat cells.
• Cluster structures on simple complex Lie groups and Belavin-Drinfeld classification
• Cremmer-Gervais cluster structure on \(\mathrm{SL}_n\)
• Exotic cluster structures on \(\mathrm{SL}_n\): the Cremmer-Gervais case
• Exotic cluster structures on \(SL_{n}\) with Belavin-Drinfeld data of minimal size. II. Correspondence between cluster structures and Belavin-Drinfeld triples
• Exotic cluster structures onSL₅
• GRASSMANNIANS AND CLUSTER ALGEBRAS
• scientific article; zbMATH DE number 1380572 (Why is no real title available?)
• scientific article; zbMATH DE number 2100971 (Why is no real title available?)
• scientific article; zbMATH DE number 793872 (Why is no real title available?)
• Solutions of the classical Yang-Baxter equation for simple Lie algebras

Cited in

(17)

• Generalized cluster structure on the Drinfeld double of \(\mathrm{GL}_n\)
• Upper cluster algebras and choice of ground ring
• Towards a cluster structure on trigonometric zastava
• Exotic cluster structures onSL₅
• Cremmer-Gervais cluster structure on \(\mathrm{SL}_n\)
• Cluster \({\mathcal X}\)-varieties for dual Poisson-Lie groups. I.
• Poisson structures compatible with the cluster algebra structure in Grassmannians
• Drinfeld double of \(GL_n\) and generalized cluster structures
• Cluster structures on simple complex Lie groups and Belavin-Drinfeld classification
• Exotic cluster structures on \(SL_{n}\) with Belavin-Drinfeld data of minimal size. II. Correspondence between cluster structures and Belavin-Drinfeld triples
• Exotic cluster structures on \(\mathrm{SL}_n\): the Cremmer-Gervais case
• Cluster -varieties, amalgamation, and Poisson-Lie groups
• Cluster algebra structures on Poisson nilpotent algebras
• Multiple generalized cluster structures on
• Generalized cluster structures related to the Drinfeld double of GLnGL_n
• A plethora of cluster structures on GL_n
• Generalized cluster structures of Drinfeld Double of SO(3,C)

This page was built for publication: Exotic cluster structures on \(SL_{n}\) with Belavin-Drinfeld data of minimal size. I. The structure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q522341)