REVIEW 1 cited by
Mutation matrices from Poisson CGL extensions
T0 review · reviewed 2026-07-09 · glm-5.2
Pith's one-line read Explicit matrix product formulas for Poisson CGL mutation matrices
desk verdict Solid explicit formulas for GY mutation matrices; clean identification with BFZ matrices read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The GSV Equations — a system of linear equations qM = -Λ and χ_y M = 0 relating the Poisson coefficient matrix q of the log-canonical cluster variables y, the torus character matrix χ_y, and a diagonal scalar matrix Λ — are the central object. The paper shows these equations have a unique solution given by the matrix product M = E^t ν^{-1} E Λ, where E is built from the successor map s and ν is the upper-triangular matrix of Poisson bracket constants. The existence of an integer solution is proved by expanding certain elements of the Poisson algebra as Laurent polynomials in the homogeneous Poisson prime elements y and reading off the exponents, which directly give the columns of M.
What would settle it
If the GSV Equations qM = -Λ, χ_y M = 0 admitted multiple solutions in Mat_{n×ex}(k) for some Poisson CGL extension, or if the matrix product E^t ν^{-1} E Λ failed to have integer entries for some valid CGL extension, the main formulas would break down. Concretely, one could test this on a specific symmetric Poisson CGL extension of small length and verify whether the Laurent monomial b_{s(j)} / y_{s(j)} predicted by the formula actually has the exponent vector given by the j-th column of M.
Extended reading notes
Core claim
The mutation matrices M_τ in the Goodearl-Yakimov cluster structure on a symmetric Poisson CGL extension are given explicitly by the matrix product M_τ = (E^{-1}_{τ^{-1}_•} E)^t M (E^{-1}_{τ^{-1}_•} E)_{ex×ex}, where M = E^t Q E is the base mutation matrix, E encodes the predecessor/successor maps, and Q = ν^{-1} Λ is determined by the Poisson bracket and torus weights. For CGL extensions from generalized Cartan matrices, these matrices are exactly the BFZ mutation matrices associated to signed words, via an explicit bijection between signed words and admissible triples (i, τ, ε_1).
Load-bearing premise
The interpretation of the explicit formulas as genuine cluster mutation matrices relies on the Goodearl-Yakimov theory, which requires a normality condition (certain scalars ι_{s(j)} equal 1) and a rationality condition on the ratio of Poisson scalars. The algebraic identities and matrix product formulas themselves hold without these assumptions, but their role as mutation matrices in a mutation-equivalent family of seeds depends on them.
Editorial extensions
If this is right
- The matrix product formula eB(i†) = E(i†)^t Q(i†) E(i†) for BFZ mutation matrices can be proved directly without Poisson CGL theory, providing a new algebraic tool for studying cluster structures on double Bruhat cells and Bott-Samelson cells.
- The non-zero entries of every M_τ are constrained to be ±1 or ±a where a is a negative Cartan integer, giving strong structural constraints on cluster algebras arising from Poisson CGL extensions.
- The identification of M_τ with BFZ matrices bridges the Goodearl-Yakimov Poisson-theoretic approach to cluster algebras with the Kashiwara-Kim exchange matrices from monoidal categorification, potentially allowing techniques to transfer between the two settings.
- The nondegenerate cluster ensemble matrix bB(i†) is shown to equal the full square matrix cM(i†) = E(i†)^t Q(i†) E(i†), giving a matrix product decomposition for both its skew-symmetrizable and symmetrizable parts.
Reading between the lines
- The matrix product formula M = E^t ν^{-1} E Λ suggests that mutation matrices in broader classes of cluster algebras with Poisson structures might admit similar factorizations through the combinatorics of predecessor/successor maps.
- The connection between Poisson cohomology classes (via the vectors θ_{(j,s(j))} in the second T-invariant Poisson cohomology) and mutation matrix entries hints at a deeper cohomological interpretation of cluster exchange relations that could extend beyond the CGL setting.
- The bijection between signed words and admissible triples (i, τ, ε_1) may serve as a dictionary for translating problems between the representation-theoretic side (quantum affine algebras, canonical bases) and the Poisson-geometric side (CGL extensions, Poisson brackets).
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper derives explicit formulas for the mutation matrices M_tau arising in the Goodearl-Yakimov cluster structure theory for symmetric Poisson CGL extensions. For an arbitrary (not necessarily symmetric) T-Poisson CGL extension R of length n, the authors show that the unique solution to the GSV Equations (1.9) is given by the matrix product M = E^t nu^{-1} E Lambda (Theorem 3.4.5, Corollary 3.3.2), and they verify existence by showing that the element b_{s(j)}/y_{s(j)} is a Laurent monomial whose exponent vector gives the j-th column of M (Proposition 3.4.3). For symmetric extensions, they obtain the more symmetric formula M = E^t Q E_{n x ex} (Theorem 4.3.3) and, for each tau in Xi_n, the formula M_tau = E^t_{tau bullet} Q tau^t_bullet E_{n x ex} (Theorem 4.7.5), together with an entry-wise description in terms of Cartan integers (Theorem 4.7.10). As an application, for symmetric CGL extensions R_{(A,i)} constructed from a symmetrizable generalized Cartan matrix A and a word i, they establish a bijection between signed words and admissible triples (Section 5.3) and prove that the BFZ mutation matrix eB(i dagger) equals a permutation of M_tau (Theorem 5.4.8), also yielding a matrix product formula for the nondegenerate cluster ensemble matrix bB(i dagger) (Theorem 5.5.1).
Significance. The paper solves a concrete and well-motivated problem: the mutation matrices M_tau in the Goodearl-Yakimov theory were previously characterized only as unique solutions to a linear system (via an involved induction in [GY23, Theorem 11.1]), and this paper replaces that characterization with explicit closed-form expressions. The matrix product formula M = E^t nu^{-1} E Lambda is derived by elementary linear algebra (Lemma 3.3.1, Corollary 3.3.2), and the existence proof via the monomial property of b_{s(j)} (Proposition 3.4.3, Lemma 3.4.2) is self-contained. The connection to BFZ mutation matrices (Theorem 5.4.8) and cluster ensemble matrices (Theorem 5.5.1) provides a bridge between the Poisson CGL framework and the combinatorial theory of signed words, and the matrix product formula (5.15) for eB(i dagger) appears to be new. The entry-wise description of M_tau in terms of Cartan integers (Theorem 4.7.10) is a useful concrete output. The results are applicable to Poisson structures on Bott-Samelson cells.
Circularity Check
No significant circularity; algebraic formulas independently derived, cluster interpretation relies on [GY23]
full rationale
The paper's central derivation is self-contained. The GSV Equations (1.9) are stated independently as qM = -Λ and χ_y M = 0. The uniqueness of the solution M = E^t ν^{-1} EΛ is proved by elementary linear algebra (Corollary 3.3.2, via Lemma 3.3.1), and existence is proved by showing b_{s(j)} is a nonzero monomial using Lemma 3.4.2 and Lemma 3.3.3 (Proposition 3.4.3, Theorem 3.4.5). The formula M_τ = E^t_{τ•} Q τ^t_• E_{n×ex} (Theorem 4.7.5) is derived by applying Theorem 3.4.5 to the re-ordered CGL extension R_τ, using the conjugation identities in Lemma 4.7.2. The BFZ identification (Theorem 5.4.8) is verified by entry-wise comparison with [BZ05, (8.7)], and the matrix product formula (5.15) is independently derived from the Poisson CGL theory. The reliance on [GY23] (Goodearl-Yakimov) for the mutation equivalence of seeds (Theorem 4.6.2) is a dependency on external prior work for the cluster-theoretic interpretation, but the explicit formulas for M_τ and their algebraic properties (integrality, entry-wise description via Cartan integers) are established independently. The normality condition (ι_{s(j)}=1) is needed only for Theorem 3.6.1 (R = U(y, M^ε)), not for the formulas themselves, and Corollary 3.5.4 shows it is achievable by rescaling. No step in the derivation chain reduces to its own inputs by construction, and no self-citation chain is load-bearing for the algebraic results. The score of 2 reflects the minor dependency on [GY23] for the cluster interpretation, which the paper itself acknowledges (§1.1: 'we make use of many results from [GY23]').
Assumptions & free parameters
assumptions (6)
- domain assumption Existence and uniqueness of the sequence of homogeneous Poisson prime elements y = (y_1,...,y_n) for a T-Poisson CGL extension (Theorem 3.1.1, from [GY23])
- domain assumption Log-canonicality of the sequence y with Poisson coefficient matrix q = FλF^t (Lemma 3.1.5, from [GY23])
- domain assumption For symmetric CGL extensions, the proper re-orderings R_τ for τ ∈ Ξ_n are T-Poisson CGL extensions (Proposition 6.4 of [GY23])
- domain assumption The classification of symmetric Poisson CGL extensions via Cartan integers and Poisson cohomology from [ML25]
- domain assumption Normality condition: ι_{s(j)} = 1 for all j ∈ ex, and rationality condition: λ_{L(j)}/λ_{L(k)} ∈ Q_{>0} for all j,k ∈ ex
- standard math Standard properties of Poisson-Ore extensions, locally nilpotent derivations, and the reverse lexicographic order on Z^n
Cite this review
Pith. "Pith review of Mutation matrices from Poisson CGL extensions." pith.science (2026). https://pith.science/paper/2TY5PVKX
@misc{pith2026260707028,
author = {Pith},
title = {Pith review of: Mutation matrices from Poisson CGL extensions},
year = {2026},
howpublished = {\url{https://pith.science/paper/2TY5PVKX}},
note = {Machine review of arXiv:2607.07028}
}
read the original abstract
Symmetric Poisson CGL extensions form a particular class of polynomial Poisson algebras that are shown by K. Goodearl and M. Yakimov to admit compatible cluster structures. In this paper, we give explicit formulas for a family of mutation matrices in the Goodearl-Yakimov theory via matrix products as well as by entry-wise description.
Forward citations
Cited by 1 Pith paper
-
Poisson derivations and cohomology of Poisson nilpotent algebras
Under N_P(R)=Z_P(R), every Poisson derivation of a uniparameter PNA is uniquely Hamiltonian plus a weight-homogeneous central derivation, so PH^1(R) is free of rank equal to the PNA rank.
Reference graph
Works this paper leans on
- [1]
-
[2]
M. Kashiwara and M. Kim and S.-J. Oh and E. Park , title =. Invent. Math. , volume =
-
[3]
Masaki Kashiwara and Myungho Kim , keywords =. Exchange matrices of. Advances in Mathematics , volume =. 2026 , issn =. doi:https://doi.org/10.1016/j.aim.2025.110711 , url =
-
[4]
A. Contu and F. Qin and Q. Wei , title =. Pacific Journal of Mathematics , volume =
- [5]
-
[6]
A. B. Buan and R. Marsh and M. Reineke and I. Reiten and G. Todorov , title =. Advances in Mathematics , volume =
-
[7]
A. B. Buan and B. R. Marsh and I. Reiten , title =. Trans. Amer. Math. Soc. , volume =
- [8]
Show all 97 references
-
[9]
V. V. Fock and A. B. Goncharov , title =. Ann. Sci. de l’ENS , volume =
-
[10]
Goodearl and S
K. Goodearl and S. Launois , title =. Bull. Soc. Math. France , volume =
-
[11]
Fujiwara and Y
S. Fujiwara and Y. Gyoda , title =. SIGMA Symmetry Integrability Geom. Methods Appl. , volume =
-
[12]
Fomin and L
S. Fomin and L. Willaims and A. Zelevinsky , title =. 2019 , note =
2019
-
[13]
Galashin and T
P. Galashin and T. Lam , title =. 2019 , note =
2019
-
[14]
Scott , title =
J. Scott , title =. Proceedings of the London Mathematical Society , volume =
-
[15]
Berensteina and A
A. Berensteina and A. Zelevinsky , title=. Adv. in Math. , publisher=. 2005 , pages=. doi:, number=
2005
-
[16]
Casals and E
R. Casals and E. Gorsky and M. Gorsky and I. Le and L. Shen and J. Simental , title =. 2022 , note =
2022
-
[17]
Galashin and T
P. Galashin and T. Lam and M. Sherman-Bennett , title =
-
[18]
Drinfeld , title=
V.G. Drinfeld , title=. Doklady Mathematics , publisher=. 1982 , pages=. doi:, number=
1982
-
[19]
Drinfeld , TITLE =
V. Drinfeld , TITLE =. Proceedings of ICM 1986 , SERIES =. 1986 , ISBN =
1986
-
[20]
Elek and J.-H
B. Elek and J.-H. Lu , title=. Int. Math. Res. Not. , publisher=. 2021 , pages=. doi:, number=
2021
-
[21]
Cluster ensembles and
Harold Williams , journal =. Cluster ensembles and
-
[22]
Geiss and B
C. Geiss and B. Leclerc and J. Schroer , journal =
-
[23]
Geiss and B
C. Geiss and B. Leclerc and J. Schroer , journal =. Factorial cluster algebras , volume =
-
[24]
Gekhtman and M
M. Gekhtman and M. Shapiro and A. Vainshtein , title =
-
[25]
Gekhtman and M
M. Gekhtman and M. Shapiro and A. Vainshtein , title =. Proc. Lond. Math. Soc. , number =
-
[26]
Fomin and A
S. Fomin and A. Zelevinsky , journal =. Double
-
[27]
K. R. Goodearl and M. T. Yakimov , title=. Proc. Natl. Acad. Sci. USA , publisher=. 2014 , pages=. doi:, number=
2014
-
[28]
K. R. Goodearl and M. T. Yakimov , title=. J. Eur. Math. Soc. , publisher=. 2020 , pages=. doi:10.4171/JEMS/969 , number=
2020 doi
-
[29]
K. R. Goodearl and M. T. Yakimov , title=. Trans. Amer. Math. Soc. , publisher=. 2009 , pages=. doi:, number=
2009
-
[30]
K. R. Goodearl and M. T. Yakimov , title=. 2023 , pages=. doi:, journal=
2023
-
[31]
K. R. Goodearl and M. T. Yakimov , title=. 2017 , pages=. doi:, journal=
2017
-
[32]
K. R. Goodearl and M. T. Yakimov , title=. Duke Math. J. , publisher=. 2021 , pages=. doi:10.1215/00127094-2020-0061 , number=
2021 doi
-
[33]
Kogan and A
M. Kogan and A. Zelevinsky , title=. Int. Math. Res. Not. , publisher=. 2002 , pages=. doi:, number=
2002
-
[34]
Propp , title =
J. Propp , title =. Integers , volume =
-
[35]
Kimura and F
Y. Kimura and F. Qin and Q. Wei , title =. SIGMA Symmetry Integrability Geom. Methods Appl. , volume =
-
[36]
Brenner , TITLE =
S. Brenner , TITLE =. Proceedings of the Antwerp Conference , SERIES =. 1979 , ISBN =
1979
-
[37]
Brenner , TITLE =
S. Brenner , TITLE =. Representation Theory I: Finite Dimensional Algebras , SERIES =
-
[38]
M. C. R. Butler , TITLE =. Integral representations and applications (. 1981 , ISBN =
1981
-
[39]
Morier-Genoud , journal =
S. Morier-Genoud , journal =
-
[40]
Assem and C
I. Assem and C. Reutenauer and D. Smith , journal =. Friezes , volume =
-
[41]
M. W. Cheung and T. Magee and T. Mandel and G. Muller , title =
-
[42]
Fei , title =
J. Fei , title =. J. London Math. Soc. , number =. 2023 , doi =
2023
-
[43]
Cao and F
P. Cao and F. Li , title=. Compos. Math. , publisher=. 2020 , pages=. doi:10.1112/S0010437X20007113 , number=
2020 doi
-
[44]
Rietsch and L
K. Rietsch and L. Williams , journal =
-
[45]
Shen and D
L. Shen and D. Weng , title =. SIGMA Symmetry Integrability Geom. Methods Appl. , number =. 2020 , doi =
2020
-
[46]
Shen and D
L. Shen and D. Weng , title =. Forum of Math. SIGMA , number =. 2021 , doi =
2021
-
[47]
Oh , title =
S.Q. Oh , title =. Comm. Algebra , volume =
-
[48]
Dupont , title =
G. Dupont , title =. J. Pure Appl. Algebra , volume =
-
[49]
Cheung and M
M.-W. Cheung and M. Gross and G. Muller and G. Musiker and D. Rupel and S. Stella and H. Williams , title =. J. Combin. Theory Ser. A , volume =
-
[50]
Reading and D
N. Reading and D. E. Speyer , title =. J. Eur. Math. Soc. , volume =
-
[51]
Rupel and S
D. Rupel and S. Stella and H. Williams , =. Compos. Math. , volume =
-
[52]
Duke Math J
F.Qin , title =. Duke Math J. , volume =
-
[53]
, title =
Qin, F. , title =. 2022 , note=
2022
-
[54]
Fu and Y
C. Fu and Y. Gyoda. Compatibility degree of cluster complexes. 2023
2023
-
[55]
, title =
Muller, G. , title =. SIGMA Symmetry Integrability Geom. Methods Appl. , volume =. 2014 , PAGES =
2014
-
[56]
Selecta Math
Greedy elements in rank 2 cluster algebras , volume=. Selecta Math. , author=. 2014 , pages=
2014
-
[57]
Contemporary Mathematics , author=
On tropical dualities in cluster algebras , volume=. Contemporary Mathematics , author=. 2012 , pages=. doi:http://dx.doi.org/10.1090/conm/565 , number=
2012 doi
-
[58]
, TITLE =
Nakanishi, T. , TITLE =. Representations of algebras and related topics , SERIES =. 2011 , ISBN =. doi:10.4171/101-1/9 , URL =
2011 doi
-
[59]
Reading and S
N. Reading and S. Stella , title =. Pacific J. Math. , volume =
-
[60]
Hohlweg and V
C. Hohlweg and V. Pilaud and S. Stella , title =. Adv. Math. , volume =. 2018 , issn =. doi:https://doi.org/10.1016/j.aim.2018.01.019 , url =
2018 doi
-
[61]
Reading and S
N. Reading and S. Stella , title =. J. Comb. Algebra , volume =
-
[62]
Assem and G
I. Assem and G. Dupont , title =. J. Pure Appl. Algebra , volume =
-
[63]
Bobiński , title =
G. Bobiński , title =. Colloq. Math. , volume =
-
[64]
F. Qin. Analogs of the dual canonical bases for cluster algebras from Lie theorey. 2024
2024
-
[65]
P. Cao. F -invariant in cluster algebras. 2023
2023
-
[66]
Cao and Y
P. Cao and Y. Gyoda and T. Yurikusa , title =. Int. Math. Res. Not. IMRN , volume =
-
[67]
Lu and V
J.-H. Lu and V. Mouquin , title=. Adv. Math. , publisher=. 2017 , pages=. doi:, number=
2017
-
[68]
Lu and V
J.-H. Lu and V. Mouquin , title=. Int. Math. Res. Not. , publisher=. 2017 , pages=. doi:, number=
2017
-
[69]
Cao and F
P. Cao and F. Li , title =. Math. Ann. , volume =
-
[70]
Ceballos and V
C. Ceballos and V. Pilaud , title =. Trans. Amer. Math. Soc. , volume =
-
[71]
Dlab and P
V. Dlab and P. Gabriel , title =. Proceedings of the Workshop on the Present Trends in Representation Theory held at Carleton University, Ottawa, Ont., August 13–18, 1979 , pages =. 1980 , volume=
1979
-
[72]
Felikson and P
A. Felikson and P. Tumarkin , title =. Adv. Math. , year =
-
[73]
Gao and L
H. Gao and L. Shen and D. Weng , journal =. Augmentations, Fillings, and Clusters , pages =
-
[74]
and Demonet, L
Keller, B. and Demonet, L. , title =. Contemp. Math. , number =. 2020 , doi =
2020
-
[75]
Happel and U
D. Happel and U. Preiser and C. M. Ringel , title =. Representation theory, II (Proc. Second Internat. Conf., Carleton Univ., Ottawa, Ont., 1979) , pages =. 1980 , volume=
1979
-
[76]
and Fomin, S
Berenstein, A. and Fomin, S. and Zelevinsky, A. , TITLE =. Duke Math. J. , FJOURNAL =. 2005 , NUMBER =. doi:10.1215/S0012-7094-04-12611-9 , URL =
2005 doi
-
[77]
and Zelevinsky, A
Fomin, S. and Zelevinsky, A. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2003 , NUMBER =. doi:10.4007/annals.2003.158.977 , URL =
2003 doi
-
[78]
Melo and A
C. Melo and A. N. The cluster complex for cluster
-
[79]
Fomin and A
S. Fomin and A. Zelevinsky , title =. J. Amer. Math. Soc. , number =. 2002 , doi =
2002
-
[80]
Fomin and A
S. Fomin and A. Zelevinsky , journal =. Cluster algebras
-
[81]
Fomin and A
S. Fomin and A. Zelevinsky , title =. Compos. Math. , volume =
-
[82]
Gross and P
M. Gross and P. Hacking and S. Keel , title =. Algebraic geometry , volume =
-
[83]
Gross and P
M. Gross and P. Hacking and S. Keel and M. Kontsevich , title =. J. Amer. Math. Soc. , volume =
-
[84]
Guo , title =
L. Guo , title =. Int. Math. Res. Not. IMRN , volume =
-
[85]
Keller , title =
B. Keller , title =. Triangulated categories , pages =. 2010 , volume=
2010
-
[86]
Keller and S
B. Keller and S. Scherotzke , title =. Adv. Math. , volume =
-
[87]
Keller , title =
B. Keller , title =. Derived categories in algebraic geometry , pages =. 2012 , volume=
2012
-
[88]
Keller , title =
B. Keller , title =. Ann. of Math. (2) , volume =
-
[89]
Reading , title =
N. Reading , title =. Math. Z. , volume =
-
[90]
C. M. Ringel , title =. J. Algebraic Combin. , volume =
-
[91]
Rupel and S
D. Rupel and S. Stella , title =. SIGMA Symmetry Integrability Geom. Methods Appl. , volume =
-
[92]
Rupel and S
D. Rupel and S. Stella and H. Williams , title =. Int. Math. Res. Not. IMRN , volume =
-
[93]
Yang and A
S.-W. Yang and A. Zelevinsky , title =. Transform. Groups , volume =
-
[94]
A. de St. Germain , title =
-
[95]
A. de St. Germain , title =. 2023 , note =
2023
-
[96]
A. de St. Germain and M. Huang and J.H. Lu , title =. 2023 , note =
2023
-
[97]
Zamolodchikov , abstract =
Al.B. Zamolodchikov , abstract =. On the thermodynamic Bethe ansatz equations for reflectionless ADE scattering theories , journal =. 1991 , issn =. doi:https://doi.org/10.1016/0370-2693(91)91737-G , url =
1991 doi
Reviewed July 9, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.