pith. sign in

arxiv: 2310.18751 · v3 · submitted 2023-10-28 · 🧮 math.SG · math-ph· math.MP· nlin.SI

Compatible Poisson structures on multiplicative quiver varieties

Maxime Fairon This is my paper

Pith reviewed 2026-05-24 06:29 UTC · model grok-4.3

classification 🧮 math.SG math-phmath.MPnlin.SI
keywords multiplicative quiver varietiesPoisson structuresquasi-Poisson structuresHamiltonian reductionspin Ruijsenaars-Schneidercharacter varietiessymplectic forms
0
0 comments X

The pith

Multiplicative quiver varieties carry a pencil of compatible Poisson structures reduced from a larger family of quasi-Poisson structures.

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

The paper establishes that the Poisson structure on a multiplicative quiver variety, obtained by reduction from a single Hamiltonian quasi-Poisson structure, belongs to a full pencil of mutually compatible Poisson structures. This pencil is produced by reducing an ambient pencil of Hamiltonian quasi-Poisson structures whose dimension equals ℓ(ℓ−1)/2 for ℓ the number of arrows in the quiver. On the smooth locus each element of the pencil corresponds to a symplectic form or a quasi-Hamiltonian structure obtained by the same reduction. The same construction accounts for the compatibility of two Poisson structures already studied on the spin Ruijsenaars-Schneider phase space and extends formally to character varieties and ordinary quiver varieties.

Core claim

Any multiplicative quiver variety is endowed with a pencil of compatible Poisson structures, each arising by reduction from a corresponding element of a pencil of Hamiltonian quasi-Poisson structures of dimension ℓ(ℓ−1)/2. For every member of the pencil the reduction produces a compatible symplectic form on the smooth locus or a quasi-Hamiltonian structure, and the same reduction procedure explains the compatibility of two Poisson structures on the spin Ruijsenaars-Schneider system.

What carries the argument

A pencil of Hamiltonian quasi-Poisson structures on the representation space of the quiver, reduced while preserving Poisson compatibility to the multiplicative quiver variety.

If this is right

  • The space of compatible Poisson structures on the variety has dimension at least ℓ(ℓ−1)/2.
  • Each element of the pencil supplies its own symplectic structure on the smooth locus via quasi-Hamiltonian reduction.
  • The same pencil construction applies verbatim to character varieties and to ordinary quiver varieties.
  • Two Poisson structures on the spin Ruijsenaars-Schneider phase space are recovered as distinct elements of one such pencil.

Where Pith is reading between the lines

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

  • The dimension formula suggests that the number of independent compatible brackets is controlled purely by the arrow count of the quiver, independent of the representation dimension.
  • One could check the claim by computing the reduced brackets for a small quiver with ℓ=3 and verifying that all linear combinations remain Poisson.
  • The construction may supply a systematic source of compatible Poisson pairs for other reduced spaces that admit quasi-Poisson lifts.

Load-bearing premise

The reduction map that turns one Hamiltonian quasi-Poisson structure into a Poisson structure on the quotient extends without obstruction or loss of compatibility to every element of the ambient pencil.

What would settle it

An explicit low-dimensional quiver for which two linearly independent reduced Poisson brackets fail to satisfy the compatibility identity that any linear combination remains Poisson would falsify the claim.

read the original abstract

Any multiplicative quiver variety is endowed with a Poisson structure constructed by Van den Bergh through reduction from a Hamiltonian quasi-Poisson structure. The smooth locus carries a corresponding symplectic form defined by Yamakawa through quasi-Hamiltonian reduction. In this note, we include the Poisson structure as part of a pencil of compatible Poisson structures on the multiplicative quiver variety. The pencil is defined by reduction from a pencil of Hamiltonian quasi-Poisson structures which has dimension $\ell(\ell-1)/2$, where $\ell$ is the number of arrows in the underlying quiver. For each element of the pencil, we exhibit the corresponding compatible symplectic or quasi-Hamiltonian structure. We comment on analogous constructions for character varieties and quiver varieties. This formalism is applied to the spin Ruijsenaars-Schneider phase space in order to explain the compatibility of two Poisson structures that have recently appeared in the literature.

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

1 major / 2 minor

Summary. The manuscript claims that multiplicative quiver varieties carry a pencil of compatible Poisson structures obtained via Van den Bergh reduction from a pencil of Hamiltonian quasi-Poisson structures on the representation space; the pencil has dimension ℓ(ℓ-1)/2 with ℓ the number of arrows. Corresponding symplectic or quasi-Hamiltonian structures on the smooth locus are exhibited for each element, and the formalism is applied to the spin Ruijsenaars-Schneider phase space to account for the compatibility of two known Poisson structures. Analogous constructions for character varieties and ordinary quiver varieties are briefly discussed.

Significance. If the compatibility of the reduced pencil is established, the work supplies a systematic source of Poisson pencils on these varieties and clarifies the origin of known compatible pairs in integrable systems. The explicit link between the pencil dimension and skew forms on the arrows, together with the use of standard quasi-Poisson reduction, is a clear strength.

major comments (1)
  1. [The reduction step (following the definition of the ambient pencil)] The central claim requires that the reduced bivectors π_i^red and π_j^red satisfy [π_i^red, π_j^red]_S = 0 on the quotient for every pair in the pencil. Because the reduction occurs at the level set of the multiplicative moment map (where the quasi-Poisson form is degenerate) and the quotient map is not a Poisson morphism, the vanishing of cross terms arising from the coadjoint action must be verified explicitly; this step does not follow formally from the single-structure case. The manuscript should supply the calculation or a general lemma establishing that the Schouten bracket reduces correctly for all pairs.
minor comments (2)
  1. [Introduction] The origin of the dimension ℓ(ℓ-1)/2 as the space of skew-symmetric forms on the arrows should be recalled with a short sentence or reference in the introduction.
  2. [Application to spin RS] In the spin Ruijsenaars-Schneider application, name the two specific Poisson structures whose compatibility is recovered by the pencil construction.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the precise identification of the point requiring additional justification in the reduction argument. We address the major comment below and will revise the manuscript to include the requested verification.

read point-by-point responses

  1. Referee: [The reduction step (following the definition of the ambient pencil)] The central claim requires that the reduced bivectors π_i^red and π_j^red satisfy [π_i^red, π_j^red]_S = 0 on the quotient for every pair in the pencil. Because the reduction occurs at the level set of the multiplicative moment map (where the quasi-Poisson form is degenerate) and the quotient map is not a Poisson morphism, the vanishing of cross terms arising from the coadjoint action must be verified explicitly; this step does not follow formally from the single-structure case. The manuscript should supply the calculation or a general lemma establishing that the Schouten bracket reduces correctly for all pairs.

    Authors: We agree that the compatibility of the full pencil on the quotient does not follow immediately from the single-structure reduction and that the cross terms must be checked explicitly. In the revised manuscript we will insert a new lemma (placed immediately after the definition of the ambient pencil) that establishes the required vanishing of the Schouten bracket on the quotient. The lemma proceeds by direct computation: the ambient bivectors are pairwise compatible and G-invariant, the multiplicative moment map is equivariant, and the coadjoint correction terms arising from the level-set constraint cancel identically for every pair because they are linear in the same moment-map components. The argument uses only the standard properties of quasi-Poisson reduction already employed for a single structure and therefore applies uniformly to the entire pencil of dimension ℓ(ℓ−1)/2. We will also add a short remark confirming that the same cancellation holds for the character-variety and ordinary-quiver-variety analogues mentioned in the paper. revision: yes

Circularity Check

0 steps flagged

Minor self-citation; central construction independent of fitted inputs or self-definition

full rationale

The paper extends Van den Bergh reduction of a single Hamiltonian quasi-Poisson structure to a pencil of dimension ℓ(ℓ-1)/2 on the multiplicative quiver variety, citing standard quasi-Poisson and quasi-Hamiltonian literature for the single-structure case. The pencil is obtained by applying the same reduction procedure to a combinatorially defined family of bivectors (skew forms on arrows). No equation or claim reduces a derived Poisson structure or compatibility condition back to a fitted parameter, a self-defined quantity, or a load-bearing self-citation chain. The construction remains self-contained against external benchmarks in the cited reduction theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper performs a construction inside the existing framework of quasi-Poisson geometry and reduction; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (1)
  • standard math Standard properties of Hamiltonian quasi-Poisson structures and their reduction to Poisson structures on quotients
    The construction invokes the known reduction theorem of Van den Bergh without re-deriving it.

pith-pipeline@v0.9.0 · 5674 in / 1331 out tokens · 20440 ms · 2026-05-24T06:29:39.833552+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

43 extracted references · 43 canonical work pages · 22 internal anchors

  1. [1]

    Quasi-Poisson Manifolds

    Alekseev, A.; Kosmann-Schwarzbach, Y.; Meinrenken, E. : Quasi-Poisson manifolds . Canad. J. Math. 54, no.1, 3–29 (2002); arXiv:math/0006168

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  2. [2]

    Alekseev, A.; Malkin, A.; Meinrenken, E.: Lie group valued moment maps . J. Differential Geom. 48, 445–495 (1998); arXiv:dg-ga/9707021

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  3. [3]

    Arutyunov, G.: Spin Ruijsenaars–Schneider Models from Reduction . Phys. Part. Nuclei Lett. 17, 730–733 (2020)

    work page 2020

  4. [4]

    Arutyunov, G.E., Frolov, S.A.: On the Hamiltonian structure of the spin Ruijsenaars-Schne ider model . J. Phys. A 31 (18), 4203–4216 (1998); arXiv:hep-th/9703119

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  5. [5]

    Arutyunov, G.; Olivucci, E.: Hyperbolic spin Ruijsenaars–Schneider model from Poisson reduction. Proc. Steklov Inst. Math. 309, 31–45 (2020); arXiv:1906.02619

    work page arXiv 2020

  6. [6]

    Bezrukavnikov, R.; Kapranov, M.: Microlocal sheaves and quiver varieties . Ann. Fac. Sci. Toulouse Math. (6) 25, no.2-3, 473–516 (2016); arXiv:1506.07050

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  7. [7]

    Nakajima and D

    Braverman, A.; Etingof, P.; Finkelberg, M.: Cyclotomic double affine Hecke algebras (with an appendix by H . Nakajima and D. Yamakawa) ; Ann. Sci Ec. Norm. Super. (4) 53, no.5, 1249–1312 (2020); arXiv:1611.10216

    work page arXiv 2020

  8. [8]

    Duke Math

    Boalch, P.: Quasi-Hamiltonian geometry of meromorphic connections . Duke Math. J. 139, no.2, 369–405 (2007); arXiv:math/0203161

    work page arXiv 2007

  9. [9]

    Boalch, P.: Geometry and braiding of Stokes data; Fission and wild chara cter varieties , Ann. of Math. 179, 301–365 (2014); arXiv:1111.6228

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  10. [10]

    Boalch, P.: Global Weyl groups and a new theory of multiplicative quiver varieties. Geom. Topol. 19, no.6, 3467–3536 (2015); arXiv:1307.1033

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  11. [11]

    Forum of Mathematics Sigma 11, Paper e87 (2023); arXiv:2203.14382

    Bozec, T.; Calaque, D.; Scherotzke, S.: Calabi–Yau structures on (quasi-)bisymplectic algebras . Forum of Mathematics Sigma 11, Paper e87 (2023); arXiv:2203.14382

    work page arXiv 2023

  12. [12]

    Chalykh, O.; Fairon, M.: On the Hamiltonian formulation of the trigonometric spin Ru ijsenaars–Schneider system. Lett. Math. Phys. 110, 2893–2940 (2020); arXiv:1811.08727

    work page arXiv 2020

  13. [13]

    Crawley-Boevey, W.: Monodromy for systems of vector bundles and multiplicative preprojective algebras. Bull. Lond. Math. Soc. 45, no.2, 309–317 (2013); arXiv:1109.2018

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  14. [14]

    Crawley-Boevey, W.; Shaw, P.: Multiplicative preprojective algebras, middle convoluti on and the Deligne- Simpson problem . Adv. Math. 201, no.1, 180–208 (2006); arXiv:math/0404186

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  15. [15]

    Fairon, M.: Double quasi-Poisson brackets: fusion and new examples . Algebr. Represent. Theory 24, no.4, 911–958 (2021); arXiv:1905.11273

    work page arXiv 2021

  16. [16]

    Preprint (52p.), arXiv:2108.02496

    Fairon, M.: Integrable systems on multiplicative quiver varieties fro m cyclic quivers . Preprint (52p.), arXiv:2108.02496

    work page arXiv

  17. [17]

    Fairon, M.; Feher, L.: A decoupling property of some Poisson structures on Mat n× d(C) × Matd× n(C) sup- porting GL (n, C) × GL(d, C) Poisson-Lie symmetry . J. Math. Phys. 62, no.3, Paper No. 033512, 14 pp (2021); arXiv:2112.00381

    work page arXiv 2021

  18. [18]

    Fairon, M.; Feher, L.: Integrable multi-Hamiltonian systems from reduction of an extended quasi-Poisson double of U(n). Ann. Henri Poincar´ e 24, no.10, 3461–3529 (2023); arXiv:2302.14392

    work page arXiv 2023

  19. [19]

    Preprint (46p.); arXiv:2103.10117

    Fairon, M.; Fern´ andez, D.: On the noncommutative Poisson geometry of certain wild char acter varieties . Preprint (46p.); arXiv:2103.10117

    work page arXiv

  20. [20]

    Fairon, M.; McCulloch, C.: Around Van den Bergh’s double brackets for different bimodul e structures . Comm. Algebra 51, no.4, 1673–1706 (2023); arXiv:2204.03298

    work page arXiv 2023

  21. [21]

    Preprint (64p.), arXiv:1901.11450

    Ganev, I.; Jordan, D.; Safronov, P.: The quantum Frobenius for character varieties and multipli cative quiver varieties. Preprint (64p.), arXiv:1901.11450

    work page arXiv 1901

  22. [22]

    Huebschmann, J.: Quasi Poisson structures, weakly quasi Hamiltonian struct ures, and Poisson geometry of various moduli spaces . J. Geom. Phys. 190, Paper No. 104851, 55 pp (2023); arXiv:2207.06002

    work page arXiv 2023

  23. [23]

    Quantized multiplicative quiver varieties

    Jordan, D. Quantized multiplicative quiver varieties . Adv. Math. 250, 420–466 (2014); arXiv:1010.4076

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  24. [24]

    Algebra Number Theory 17, no

    Kaplan, D.; Schedler, T.: Multiplicative preprojective algebras are 2-Calabi-Yau . Algebra Number Theory 17, no. 4, 831–883 (2023); arXiv:1905.12025. 28 MAXIME F AIRON

    work page arXiv 2023

  25. [25]

    Kosmann-Schwarzbach, Y.; Magri, F.: Lax-Nijenhuis operators for integrable systems . J. Math. Phys. 37, no.12, 6173–6197 (1996)

    work page 1996

  26. [26]

    Spin generalization of the Ruijsenaars-Schneider model, non-abelian 2D Toda chain and representations of Sklyanin algebra

    Krichever, I.M.; Zabrodin, A.: Spin generalization of the Ruijsenaars-Schneider model, t he nonabelian two- dimensionalized Toda lattice, and representations of the S klyanin algebra . Uspekhi Mat. Nauk 50, no.6(306), 3–56 (1995); arXiv:hep-th/9505039

    work page internal anchor Pith review Pith/arXiv arXiv 1995

  27. [27]

    Le Bruyn, L.; Procesi, C.: Semisimple representations of quivers . Trans. Amer. Math. Soc. 317, no.2, 585–598 (1990)

    work page 1990

  28. [28]

    In: Calaque et al

    Li-Bland, D.; ˇSevera, P.: Symplectic and Poisson geometry of the moduli spaces of flat c onnections over quilted surfaces. In: Calaque et al. (ed.), Mathematical aspects of quantum fi eld theories. Contributions of the les Houches winter school ‘Mathematical aspects of field theori es’, Les Houches, France, January and February

    work page

  29. [29]

    Symplectic and Poisson geometry of the moduli spaces of flat connections over quilted surfaces

    Cham: Springer. Mathematical Physics Studies, 343–4 11 (2015); arXiv:1304.0737

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  30. [30]

    Li-Bland, D.; ˇSevera, P.: Moduli spaces for quilted surfaces and Poisson structures . Doc. Math. 20, 1071–1135 (2015); arXiv:1212.2097

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  31. [31]

    Lu, J.-H.; Mouquin, V.: Mixed product Poisson structures associated to Poisson Lie groups and Lie bialgebras . Int. Math. Res. Not. IMRN 2017, no.19, 5919–5976 (2017); arXiv:1504.06843

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  32. [32]

    Massuyeau, G.; Turaev, V.: Quasi-Poisson structures on representation spaces of surf aces. Int. Math. Res. Not. IMRN, no. 1, 1–64 (2014); arXiv:1205.4898

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  33. [33]

    The pure cohomology of multiplicative quiver varieties

    McGerty, K.; Nevins, T.: The pure cohomology of multiplicative quiver varieties . Selecta Math. (N.S.) 27, no.1, Paper No. 5, 29 pp. (2021); arXiv:1903.08799

    work page internal anchor Pith review Pith/arXiv arXiv 2021

  34. [34]

    Duke Math

    Nakajima, H.: Instantons on ALE spaces, quiver varieties, and Kac–Moody a lgebras. Duke Math. J. 76, no.2, 365–416, (1994)

    work page 1994

  35. [35]

    Double affine Hecke algebras and Calogero-Moser spaces

    Oblomkov, A.: Double affine Hecke algebras and Calogero-Moser spaces . Represent. Theory 8, 243–266 (2004); arXiv:math/0303190

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  36. [36]

    Ruijsenaars, S.N.M.; Schneider, H.: A new class of integrable systems and its relation to soliton s. Ann. Physics 170(2), 370–405 (1986)

    work page 1986

  37. [37]

    In: Baranovsky et al

    Schedler, T.; Tirelli, A.: Symplectic resolutions for multiplicative quiver varieti es and character varieties for punctured surfaces. In: Baranovsky et al. (ed.), Representation theory and alg ebraic geometry. A conference celebrating the birthdays of Sasha Beilinson and Victor Gin zburg, Chicago, IL, USA, August 21–25, 2017. Cham: Birkh¨ auser. Trends M...

    work page arXiv 2017

  38. [38]

    On a Hamiltonian form of an elliptic spin Ruijsenaars-Schneider system

    Soloviev, F.L.: On the Hamiltonian form of the equations of the elliptic spin Ruijsenaars-Schneider model . Uspekhi Mat. Nauk 64, no.6(390), 179–180 (2009); arXiv:0808.3875

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  39. [39]

    Tacchella, A.: On a family of quivers related to the Gibbons-Hermsen system . J. Geom. Phys. 93, 11–32 (2015); arXiv:1311.4403

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  40. [40]

    Van den Bergh, M.: Double Poisson algebras . Trans. Amer. Math. Soc. 360, no.11, 5711–5769 (2008); arXiv:math/0410528

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  41. [41]

    Non-commutative quasi-Hamiltonian spaces

    Van den Bergh, M.: Non-commutative quasi-Hamiltonian spaces . In: Poisson geometry in mathematics and physics. Contemp. Math., vol. 450, Amer. Math. Soc., Provid ence, RI, pp. 273–299, 2008; arXiv:math/0703293

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  42. [42]

    Notes on the vector adelic Grassmannian

    Wilson, G.: Notes on the vector adelic Grassmannian . Preprint from 2009 (16p.), arXiv:1507.00693

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  43. [43]

    Yamakawa, D.: Geometry of multiplicative preprojective algebra . Int. Math. Res. Pap. IMRP 2008, Art. ID rpn008, 77pp (2008); arXiv:0710.2649. M. Fairon, Institut de Math ´ematiques de Bourgogne, UMR 5584, CNRS & Universit ´e de Bourgogne, 21000 Dijon, France E-mail address: maxime.fairon@u-bourgogne.fr

    work page internal anchor Pith review Pith/arXiv arXiv 2008