pith. sign in

arxiv: 2601.18636 · v2 · pith:SY6LX5L4new · submitted 2026-01-26 · 🧮 math.QA · math-ph· math.MP· math.RT

Birational Weyl Group Action on the Symplectic Groupoid and Cluster Algebras

Woojin Choi This is my paper

Pith reviewed 2026-05-22 11:26 UTC · model grok-4.3

classification 🧮 math.QA math-phmath.MPmath.RT
keywords birational Weyl group actionsymplectic groupoidcluster algebrasPoisson reductionTeichmüller spaceunipotent matricesreflection equationDT-transformation
0
0 comments X

The pith

A birational Weyl group action on the A_n symplectic groupoid makes its Poisson invariants a finite central extension of the matrix entry algebra.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines a birational action of the Weyl group on the symplectic groupoid of triangular bilinear forms that Poisson-commutes with the structure on unipotent upper-triangular matrices A_n. This action is generated by cluster transformations tied to cycles in the associated quiver. The main theorem establishes that the subalgebra of invariants under the action is a finite central extension of the algebra of functions generated by the matrix entries. With this structure in hand, the exact image of the embedding of the i-quantum group of type AI_n is identified as a Poisson quotient of the invariants. The same action allows a uniform description of the cluster Poisson reduction of A_n that captures the image of the Teichmüller space map, because the group acts transitively on the components of the defining rank condition.

Core claim

We introduce a birational Weyl group action on Bondal's symplectic groupoid, generated by cluster transformations from the A_n-quiver cycles. We prove that the Poisson subalgebra of Weyl group invariants is a finite central extension of the algebra generated by the matrix entries of A_n. Using the action we show that the classical image of the i-quantum group embedding of type AI_n is Poisson isomorphic to a quotient of these invariants. For the Poisson map from Teichmüller space we reduce A_n by the condition rank(A+A^T) ≤ 4 and use transitivity of the Weyl group on solution components to describe the cluster structure on the image.

What carries the argument

The birational Weyl group action on the symplectic groupoid, generated by cluster transformations associated with cycles of the A_n-quiver.

If this is right

  • The invariants subalgebra centrally extends the coordinate ring of A_n by a finite-dimensional center.
  • The classical limit of the i-quantum group image is Poisson-isomorphic to a quotient of the Weyl invariants.
  • The cluster structure on the Teichmüller image is obtained by reducing A_n under the rank-four condition, with all components equivalent under the Weyl action.
  • The longest Weyl group element induces a DT-transformation on even A_{2k} quivers that yields a canonical basis for the cluster algebra.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the action extends to other quivers, it could unify descriptions of invariants in quantum cluster algebras of different types.
  • The transitivity result implies that the reduced Poisson geometry is independent of the choice of component in the rank condition.
  • DT-transformations from Weyl elements may provide canonical bases in a wider class of cluster algebras without reddening sequences.

Load-bearing premise

The Weyl group acts transitively on the irreducible components of the variety defined by rank(A + A^T) ≤ 4.

What would settle it

An explicit matrix in the image of phi_n from Teichmüller space whose reduced Poisson bracket fails to match the one induced from the quotient of Weyl invariants on any single component.

Figures

Figures reproduced from arXiv: 2601.18636 by Woojin Choi.

Figure 1
Figure 1. Figure 1: [CS23a] Examples of An-quivers. Let (M, ω) be a symplectic manifold. A Hamiltonian reduction, established by J. Marsden and A. Weinstein [MW74], is a Poisson projection from the manifold M onto a lower-dimensional manifold. This is achieved by restricting to a level set of a moment map µ and taking the quotient of a Lie group G such that the induced form on the quotient space is symplectic. Let par(n) = ( … view at source ↗
Figure 2
Figure 2. Figure 2: Examples of doubled An-quivers. Each color of vertices represents the main cycle. Next, we investigate the Weyl group invariants. In higher Teichm¨uller theory, the Fock-Goncharov￾Shen Weyl group acts on oriented hyperbolic surfaces as a permutation of the eigenvalues of monodromy operators. As a result, the group action preserves the trace of the monodromy. The birational Weyl group action considered in t… view at source ↗
Figure 3
Figure 3. Figure 3: Geodesics in the upper half plane We cut infinite hyperboloids attached to the holes along a closed geodesic which is homeomorphic to a loop around each hole. Such a closed geodesic is called the bottleneck curve. Then, we get a reduced surface, which is an open Riemann surface with all infinite hyperboloids removed with bounding bottleneck curves. Let us define an ideal triangulation of the reduced surfac… view at source ↗
Figure 4
Figure 4. Figure 4: An example of an ideal triangulation on the reduced surface. The blue vertices are ideal points, [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The red line indicates a part of the path [PITH_FULL_IMAGE:figures/full_fig_p010_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Graphical description of the Poisson bracket. [PITH_FULL_IMAGE:figures/full_fig_p011_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Graphical description of the skein relation. [PITH_FULL_IMAGE:figures/full_fig_p011_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: 4-triangular quiver with variables. Note that dashed arrow has a weight [PITH_FULL_IMAGE:figures/full_fig_p011_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Fock-Goncharov SL3-quiver and a graph P3 which is dual to the 3-triangular quiver. On the planar graph Pn that is dual to the n-triangular quiver, we label the vertices on the right, left, and bottom sides from 1 to n, 1′ to n ′ , and 1′′ to n ′′ as shown in the orange graph in [PITH_FULL_IMAGE:figures/full_fig_p012_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: [CS23a] Graphical description of Ki below for SL6-quiver. Let Ki := Z 2 0,i,n−i i Y−1 j=1 Zj,i−j,n−iZi n−Y i−1 j=1 Zj,i,n−i−j . (3.1) for i ∈ {1, · · · , n − 1}. Consider a locus defined by Ki = 1 to make A unipotent. Each Ki is expressed as shown in [PITH_FULL_IMAGE:figures/full_fig_p013_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: [CS23a] An-quivers. Remark 3.1.6. (An-quivers) 1. There are no dashed arrows due to the amalgamation. 13 [PITH_FULL_IMAGE:figures/full_fig_p013_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: We have 2nd cycle (blue vertices) as Z2,3,1 → Z2,4,0 = Z4,0,2 → Z4,1,1 → Z4,2,0 = Z2,0,4 → Z2,1,3 → Z2,2,2 → Z2,3,1 and 3rd cycle (green vertices) as Z3,2,1 → Z3,3,0 = Z3,0,3 → Z3,1,2 → Z3,2,1 in the A6-quiver. We label the cluster variables of the lth cycle as Xl,j according to their cyclic order, with l ∈ {1, . . . , ⌊n/2⌋} and j ∈ {1, . . . , Nl}. The Nl denotes the length of the lth main cycle; Nl = n… view at source ↗
Figure 13
Figure 13. Figure 13: Examples of q2, q3, and q4. Consider a set {j1, j2, · · · , jN } which is a permutation of the set J. We define the cycle mutation over the qN by τJ := µj1 ◦ · · · ◦ µjN−1 ◦ πjN−1,jN ◦ µjN−1 ◦ · · · ◦ µj1 (3.4) where µk is the cluster mutation at the direction k and πjN−1,jN is the transformation just switching the labels jN−1 and jN . Then, we have following theorem: Theorem 3.3.1. [GS18, Theorem 7.1 and… view at source ↗
Figure 14
Figure 14. Figure 14: Glued An-quivers for n = 5, 6. 17 [PITH_FULL_IMAGE:figures/full_fig_p017_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: Doubled A5-quiver and A6-quiver. We refer to this quiver the doubled An-quiver, or simply the Adbl n -quiver. Observe the symmetry between the variables Xgi,j and Xi,j . This symmetry is equivalent to the condition that the rational function fields K(X|An|) and K(X|Adbl n | ) become Poisson isomorphic when restricted to the locus Xgi,j = Xi,j . Example 3.4.3. The example of the doubled A3-quiver is as fol… view at source ↗
Figure 16
Figure 16. Figure 16: Main cycles and elementary geodesic functions are represented on the union of two triangles, each [PITH_FULL_IMAGE:figures/full_fig_p021_16.png] view at source ↗
Figure 17
Figure 17. Figure 17: Two expressions of the A6-quiver. The red arrows also represent the element A5,6. Definition 4.1.4. Denote Gn by the Poisson subalgebra in the rational function field K(X|An|) generated by elementary geodesic functions. It contains all geodesic functions due to the Bondal Poisson bracket in (1.4). We prove each matrix entry of an A has a form M1/2 · L where M is a monomial and L is a Laurent polynomial in… view at source ↗
Figure 18
Figure 18. Figure 18: This expresses adjacency relations between the elementary geodesic function and the 1st cycle. [PITH_FULL_IMAGE:figures/full_fig_p025_18.png] view at source ↗
Figure 19
Figure 19. Figure 19: The quiver expresses adjacency relations between the elementary geodesic function and [PITH_FULL_IMAGE:figures/full_fig_p026_19.png] view at source ↗
Figure 20
Figure 20. Figure 20: The quiver expresses adjacency relations between the elementary geodesic function and [PITH_FULL_IMAGE:figures/full_fig_p027_20.png] view at source ↗
Figure 21
Figure 21. Figure 21: The quiver expresses adjacency relations between the elementary geodesic function and [PITH_FULL_IMAGE:figures/full_fig_p027_21.png] view at source ↗
Figure 22
Figure 22. Figure 22: The quiver expresses adjacency relations between the elementary geodesic function and cycles [PITH_FULL_IMAGE:figures/full_fig_p028_22.png] view at source ↗
Figure 23
Figure 23. Figure 23: An-quivers and its dual quiver for n = 4, 5. The dual quiver is expressed via red arrows. Example 4.3.1. (Formal geodesic function examples for n = 4) Let us calculate A1,3 and A2,4 (see [PITH_FULL_IMAGE:figures/full_fig_p030_23.png] view at source ↗
Figure 24
Figure 24. Figure 24: The red parallelogram (♢4,6) corresponds to A4,6, while the mint tiny polygon (□2,1) denotes B2,1. The purple variables are common variables of these shapes. Observe that the inner product of ♢4,6 with □2,1 is − 1 2 (0 − 2) = 1, whereas its inner product with all other tiny polygons are 0. For instance, the inner product with □2,5 (generated by X2,5, X2,6, X3,3, X1,5) is zero; specifically, in the column … view at source ↗
Figure 25
Figure 25. Figure 25: SL3-quiver and Pˆ 3. Theorem 5.1.4. [CSS21] Consider a n × n matrix with entries Sij = (−1)n−i δi,n+1−j and let M1 = ST(1)D −1 1 , M2 = ST(2)D −1 2 , and M3 = ST(3)D −1 3 , where D1 := Yn k=1 Y i+j=n−k Z k n i,j,k, D2 := Yn k=1 Y i+j=n−k Z k n i,k,j , and D3 := Yn k=1 Y i+j=n−k Z k n k,i,j . Then the following groupoid condition holds: M2 = M3M1. From the groupoid condition, we have A = MT 1 M2 = T T (1)S… view at source ↗
Figure 26
Figure 26. Figure 26: An innermost cycle of the A5-quiver. After applying mutations of 4, 1, 2, the quiver is transformed into the right-hand side quiver. This new quiver includes the Markov quiver as its full-subquiver. Since Markov quiver does not allow a reddening sequence: see Example 6.1.7, the right-hand side quiver does not allow reddening sequence by Theorem 6.1.5. Hence, the left-hand side quiver also does not allow a… view at source ↗
Figure 27
Figure 27. Figure 27: An innermost cycle of the An-quiver. Consider a sequence of mutations µ2mµ2m−1µ2m−2 · · · µ5µ4µ3 on the right-hand side quiver above. This transforms the quiver to following quiver: 47 [PITH_FULL_IMAGE:figures/full_fig_p047_27.png] view at source ↗
Figure 28
Figure 28. Figure 28: A quiver after applying mutations µ2mµ2m−1µ2m−2 · · · µ5µ4µ3 on a quiver of the [PITH_FULL_IMAGE:figures/full_fig_p048_28.png] view at source ↗
Figure 29
Figure 29. Figure 29: A quiver after after applying mutations µ2m+1µ2mµ2m−2 · · · µ10µ8µ6 on a quiver of the [PITH_FULL_IMAGE:figures/full_fig_p048_29.png] view at source ↗
Figure 30
Figure 30. Figure 30: Triangulation of a torus with two punctures which are marked by a disk and a square respectively. [PITH_FULL_IMAGE:figures/full_fig_p050_30.png] view at source ↗
Figure 31
Figure 31. Figure 31: Laminations on the twice-punctured torus. The pink, red, blue, green, mint, and orange lines [PITH_FULL_IMAGE:figures/full_fig_p051_31.png] view at source ↗
read the original abstract

A. Bondal's symplectic groupoid of triangular bilinear forms induces a Poisson structure on the space $\mathcal{A}_n$ of $n \times n$ unipotent upper-triangular matrices. It is governed by the classical $\mathfrak{so}(n)$ reflection equation. L. Chekhov and M. Shapiro described log-canonical coordinates on this groupoid via the $\mathcal{A}_n$-quiver. We introduce a birational Weyl group action on this symplectic groupoid, generated by cluster transformations associated with certain cycles of the quiver. We prove that the Poisson subalgebra of Weyl group invariants is a finite central extension of the algebra generated by the matrix entries of $\mathcal{A}_n$. J. Song embedded the $\imath$-quantum group of type $\mathrm{AI}_n$ into the quantum cluster algebra of the $\Sigma_n$-quiver (obtained by adding frozen vertices to the $\mathcal{A}_{n+1}$-quiver). Utilizing our Weyl group action, we determine the exact image of this embedding in the classical case, proving it is Poisson isomorphic to a quotient algebra of Weyl group invariants. V. Fock and L. Chekhov defined a Poisson map $\phi_n$ from the Teichm\"uller space $\mathcal{T}_{g,s}$ into $\mathcal{A}_n$. To describe the cluster structure of $\operatorname{Im}(\phi_n)$, we apply a cluster Poisson reduction to $\mathcal{A}_n$ based on the rank condition $\operatorname{rank}(A+A^T) \le 4$, which is satisfied by all $A \in \operatorname{Im}(\phi_n)$. Although the solution set of this condition has multiple irreducible components, the Weyl group acts transitively on them, making the corresponding reductions conjugate. Thus, it suffices to determine the reduction on a single component. Finally, we show that the longest element of the Weyl group corresponds to a cluster DT-transformation on the $\mathcal{A}_{2k}$-quiver, providing a canonical basis for the cluster algebra, whereas no reddening sequence exists for odd $n$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript introduces a birational Weyl group action on Bondal's symplectic groupoid of triangular bilinear forms on A_n, generated by cluster transformations associated with cycles of the A_n-quiver. It proves that the Poisson subalgebra of Weyl group invariants is a finite central extension of the algebra generated by the matrix entries of unipotent upper-triangular matrices. This action is used to identify the classical image of Song's embedding of the i-quantum group of type AI_n as Poisson-isomorphic to a quotient of these invariants. For the Fock-Chekhov map phi_n from Teichmüller space, a cluster Poisson reduction of A_n is performed under the condition rank(A + A^T) ≤ 4; the paper claims the Weyl group acts transitively on the irreducible components of this variety so that reduction on one component determines the structure on Im(phi_n). The longest Weyl element is shown to induce a DT-transformation on A_{2k}-quivers, yielding a canonical basis, while no reddening sequence exists for odd n.

Significance. If the transitivity claim and the resulting Poisson isomorphism hold, the work would connect birational Weyl actions, cluster Poisson structures, and embeddings of quantum groups in a concrete way, extending prior constructions of Chekhov-Shapiro and Fock-Chekhov. The explicit generation of the action via quiver cycles and the reduction technique could supply new invariants for Teichmüller images. The manuscript does not supply machine-checked proofs or computational verification of the transitivity statement.

major comments (2)
  1. In the section applying cluster Poisson reduction to describe the cluster structure of Im(phi_n): the claim that the Weyl group acts transitively on the irreducible components of the variety {A | rank(A + A^T) ≤ 4} is load-bearing for the assertion that reduction on a single component suffices and that the image is Poisson-isomorphic to the quotient of Weyl invariants. The manuscript states the transitivity but provides no explicit verification, orbit computation, or check for small n (e.g., n=3 or n=4), leaving the reduction step incompletely justified.
  2. In the proof that the Poisson subalgebra of Weyl group invariants is a finite central extension of the algebra generated by the matrix entries of A_n: the argument relies on the birational action generated by the specified quiver cycles, yet the precise generators of the extension and the centrality relations are not exhibited in sufficient detail to permit direct verification of the finite-extension property.
minor comments (2)
  1. The distinction between the A_n-quiver and the Sigma_n-quiver (obtained by adding frozen vertices) should be illustrated with an explicit diagram or coordinate list in the introductory section on quivers.
  2. Notation for the symplectic groupoid and the classical so(n) reflection equation could be cross-referenced more clearly to the earlier works of Bondal and Chekhov-Shapiro to aid readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the two major points below and will revise the manuscript to incorporate additional explicit verifications and details as outlined.

read point-by-point responses

  1. Referee: In the section applying cluster Poisson reduction to describe the cluster structure of Im(phi_n): the claim that the Weyl group acts transitively on the irreducible components of the variety {A | rank(A + A^T) ≤ 4} is load-bearing for the assertion that reduction on a single component suffices and that the image is Poisson-isomorphic to the quotient of Weyl invariants. The manuscript states the transitivity but provides no explicit verification, orbit computation, or check for small n (e.g., n=3 or n=4), leaving the reduction step incompletely justified.

    Authors: We agree that an explicit check strengthens the argument. The transitivity is a consequence of the birational action generated by the specified cycles of the A_n-quiver, which permute the components corresponding to different rank strata. In the revised manuscript we will add a new subsection containing explicit orbit computations for n=3 and n=4, confirming that every irreducible component lies in a single orbit. This will make the reduction step fully justified and show that the Poisson structure on Im(phi_n) is determined by the quotient of the Weyl invariants. revision: yes

  2. Referee: In the proof that the Poisson subalgebra of Weyl group invariants is a finite central extension of the algebra generated by the matrix entries of A_n: the argument relies on the birational action generated by the specified quiver cycles, yet the precise generators of the extension and the centrality relations are not exhibited in sufficient detail to permit direct verification of the finite-extension property.

    Authors: We accept that greater explicitness is needed for verification. The extension is generated by the matrix entries together with a finite set of central elements obtained from the invariants under the longest Weyl element. In the revision we will insert a detailed paragraph listing these generators and deriving the centrality relations directly from the Poisson bracket on the symplectic groupoid, thereby making the finite-extension property directly checkable. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation introduces independent Weyl group action and uses it to establish new results on invariants and embeddings.

full rationale

The paper defines a new birational Weyl group action via cluster transformations on the symplectic groupoid (itself constructed from prior external work by Bondal, Chekhov-Shapiro). It then proves the Poisson subalgebra of invariants is a finite central extension of the matrix-entry algebra and uses the action to identify the image of Song's embedding as a quotient of those invariants. The rank(A+A^T)≤4 reduction and transitivity claim on components are presented as consequences of the new action rather than inputs that the results are fitted to or defined by. No step reduces by construction to a self-citation, fitted parameter renamed as prediction, or ansatz smuggled from the authors' own prior work; external citations supply the groupoid and quiver foundations but do not bear the load of the central claims. The derivation chain remains self-contained against the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper builds on standard domain assumptions in Poisson geometry and cluster algebras, introducing the Weyl group action as the primary new element without additional free parameters or invented entities apparent from the abstract.

axioms (2)
  • domain assumption The space A_n of n x n unipotent upper-triangular matrices carries a Poisson structure induced by the symplectic groupoid of triangular bilinear forms governed by the classical so(n) reflection equation.
    This is the foundational setup from prior work by Bondal, Chekhov and Shapiro as stated in the abstract.
  • ad hoc to paper Cluster transformations associated with certain cycles of the A_n-quiver generate a birational Weyl group action on the symplectic groupoid.
    This is the main new construction introduced in the paper.

pith-pipeline@v0.9.0 · 5928 in / 1590 out tokens · 68024 ms · 2026-05-22T11:26:43.170432+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · 5 internal anchors

  1. [1]

    The geometry of cluster varieties from surfaces

    [All18] D. Allegretti. The geometry of cluster varieties from surfaces.arXiv:1606.07788v2,

    work page internal anchor Pith review Pith/arXiv arXiv

  2. [2]

    Brodsky, P

    [BDH+24] E. Brodsky, P. Dangwal, S. Hamlin, L. Chekhov, M. Shapiro, S. Sottile, X. Lian, and Z. Zhan. Geometric leaf of symplectic groupoid.arXiv:2410.22620v3,

    work page arXiv

  3. [3]

    [Che07] L. Chekhov. Lecture notes on quantum teichmuller theory.arXiv:0710.2051,

    work page internal anchor Pith review Pith/arXiv arXiv 2051

  4. [4]

    Chekhov and M

    [CS23a] L. Chekhov and M. Shapiro. Log-canonical coordinates for symplectic groupoid and cluster algebras.International Mathematics Research Notices, 2023(11):9565–9652,

    work page 2023

  5. [5]

    Chekhov, M

    [CS23b] L. Chekhov and M. Shapiro. Symplectic groupoid and cluster algebras.arXiv:2304.05580,

    work page arXiv

  6. [6]

    Chekhov, M

    [CSS21] L. Chekhov, M. Shapiro, and H. Shibo. Characteristic equation for symplectic groupoid and cluster algebras. arXiv:2101.10323,

    work page arXiv

  7. [7]

    [Foc94] V. Fock. Description of moduli space of projective structures via fat graphs.arXiv:hep-th/9312193,

    work page internal anchor Pith review Pith/arXiv arXiv

  8. [8]

    [Gol09] W. Goldman. Trace coordinates on fricke spaces of some simple hyperbolic surfaces.arXiv:0901.1404,

    work page internal anchor Pith review Pith/arXiv arXiv

  9. [9]

    Stability structures, motivic Donaldson-Thomas invariants and cluster transformations

    [KS08] M. Kontsevich and Y. Soibelman. Stability structures, motivic donaldson-thomas invariants and cluster transfor- mations.arXiv:0811.2435,

    work page internal anchor Pith review Pith/arXiv arXiv

  10. [10]

    Masuda, N

    [MOT23] T. Masuda, N. Okubo, and T. Tsuda. Birational weyl group actions and q-painleve equations via mutation combi- natorics in cluster algebras.arXiv:2303.06704,

    work page arXiv

  11. [11]

    Mandel and F

    [MQ23] T. Mandel and F. Qin. Bracelets bases are theta bases.arXiv:2301.11101,

    work page arXiv

  12. [12]

    [She22] L. Shen. Cluster nature of quantum groups.arXiv:2209.06258,

    work page arXiv