Coupled double Poisson brackets
Pith reviewed 2026-05-19 21:52 UTC · model grok-4.3
The pith
Pairs of coupled double Poisson brackets stand in bijection with wheeled Poisson brackets.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A bijection exists between pairs of coupled double Poisson brackets and wheeled Poisson brackets. Each Van den Bergh double bracket, each Fairon-McCulloch right double bracket, and each wheeled Poisson bracket induces a GL_N-invariant Poisson structure on Rep_N(A). The cross-Jacobi identity supplies the missing link that makes the correspondence hold in both directions. On free polynomial algebras, linear coupled brackets are equivalent to Poisson-left-pre-Lie algebras, and quadratic coupled brackets arise from compatible solutions of the associative and classical Yang-Baxter equations.
What carries the argument
The coupled double Poisson bracket: a pair consisting of a generalized Van den Bergh double Poisson bracket and a generalized Fairon-McCulloch right double Poisson bracket that together satisfy the cross-Jacobi identity.
If this is right
- Every wheeled Poisson bracket arises from a unique coupled pair.
- Linear coupled brackets on free polynomial algebras are in one-to-one correspondence with Poisson-left-pre-Lie algebras.
- Quadratic coupled brackets on free polynomial algebras are classified by solutions of the associative and classical Yang-Baxter equations satisfying a compatibility condition.
- Both coupled pairs and wheeled brackets produce the same GL_N-invariant Poisson structures on representation schemes.
Where Pith is reading between the lines
- The bijection may let constructions known for one type of bracket be transferred directly to the other.
- The cross-Jacobi condition could serve as a test for whether a given pair of brackets on an algebra will produce a consistent Poisson structure on all representation schemes.
- The new Poisson-left-pre-Lie structure offers an algebraic handle on linear cases that might extend to other free or graded algebras.
Load-bearing premise
The two component brackets must satisfy the cross-Jacobi identity for the pair to qualify as coupled.
What would settle it
An explicit pair of double Poisson brackets on an associative algebra that induces a wheeled Poisson bracket on every Rep_N(A) yet fails the cross-Jacobi identity, or a wheeled Poisson bracket that cannot be recovered from any such coupled pair.
read the original abstract
We introduce coupled double Poisson brackets on an associative algebra $A$ as pairs consisting of a generalized Van den Bergh's double Poisson bracket and a generalized Fairon--McCulloch's right double Poisson bracket subject to a cross-Jacobi identity. Each of Van den Bergh's double brackets, Fairon--McCulloch's right double brackets, and also Ginzburg--Schedler's wheeled Poisson brackets induces a $\operatorname{GL}_N$-invariant Poisson structure on the representation scheme $\operatorname{Rep}_N(A)$ parametrizing $N$-dimensional representations of $A$, thereby satisfying the Kontsevich--Rosenberg principle. Wheeled Poisson brackets seem to be the most general such structures, and while their relation to Van den Bergh's double Poisson brackets is known, their relation to Fairon--McCulloch's right double Poisson brackets has remained open. We fill this gap and establish a bijection between pairs of coupled double Poisson brackets and wheeled Poisson brackets of Ginzburg and Schedler. On free polynomial algebras, we furthermore establish a one-to-one correspondence between linear coupled double Poisson brackets and a new algebraic structure that we call Poisson-left-pre-Lie algebras, and describe quadratic ones via solutions of the associative and classical Yang--Baxter equations satisfying a compatibility condition.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines coupled double Poisson brackets on an associative algebra A as a pair consisting of a generalized Van den Bergh double Poisson bracket and a generalized Fairon-McCulloch right double Poisson bracket that together satisfy an additional cross-Jacobi identity. It proves a bijection between such coupled pairs and Ginzburg-Schedler wheeled Poisson brackets. On free polynomial algebras it further establishes a one-to-one correspondence between linear coupled double Poisson brackets and Poisson-left-pre-Lie algebras, and parametrizes quadratic ones by solutions of the associative and classical Yang-Baxter equations satisfying a stated compatibility condition. All three classes of structures are shown to induce GL_N-invariant Poisson structures on the representation scheme Rep_N(A).
Significance. If the bijection and the two correspondences on free algebras hold, the work supplies a missing link between wheeled Poisson brackets and right double Poisson brackets, thereby unifying several existing constructions that each satisfy the Kontsevich-Rosenberg principle. The new notion of Poisson-left-pre-Lie algebra and the explicit YBE description of the quadratic case are concrete algebraic contributions that may be useful beyond the immediate context.
major comments (2)
- [Proof of the main bijection (likely §4)] The central bijection is stated between wheeled Poisson brackets and coupled pairs (i.e., pairs already required to satisfy the cross-Jacobi identity). The manuscript must therefore verify explicitly that the pair of double brackets induced by an arbitrary wheeled Poisson bracket satisfies the cross-Jacobi identity; this verification is load-bearing for the claim that the correspondence is bijective rather than merely injective on a subclass. Please indicate the precise location (section and equation) where this identity is checked.
- [Quadratic case on free algebras] In the quadratic case on free polynomial algebras, the compatibility condition between solutions of the associative Yang-Baxter equation and the classical Yang-Baxter equation is invoked to describe the coupled structures. It is not immediately clear from the abstract whether this condition is derived from the cross-Jacobi identity or imposed separately; an explicit equation relating the two YBE solutions to the cross term would clarify the scope of the parametrization.
minor comments (2)
- [Linear case] The new term 'Poisson-left-pre-Lie algebra' is introduced without an immediate comparison to existing pre-Lie or left-pre-Lie structures in the literature; a short remark distinguishing the Poisson compatibility from the usual pre-Lie axiom would aid readability.
- [Introduction and definitions] Notation for the two component brackets (generalized Van den Bergh versus generalized Fairon-McCulloch) should be fixed early and used consistently; occasional switches between 'left' and 'right' double brackets risk confusion.
Simulated Author's Rebuttal
We thank the referee for the positive evaluation and the recommendation for minor revision. The comments help improve the clarity of the central results. We address each major comment below and will update the manuscript accordingly.
read point-by-point responses
-
Referee: [Proof of the main bijection (likely §4)] The central bijection is stated between wheeled Poisson brackets and coupled pairs (i.e., pairs already required to satisfy the cross-Jacobi identity). The manuscript must therefore verify explicitly that the pair of double brackets induced by an arbitrary wheeled Poisson bracket satisfies the cross-Jacobi identity; this verification is load-bearing for the claim that the correspondence is bijective rather than merely injective on a subclass. Please indicate the precise location (section and equation) where this identity is checked.
Authors: We thank the referee for this observation. In the proof of the bijection (Theorem 4.2 in Section 4), we construct the coupled pair from a wheeled Poisson bracket and verify that the cross-Jacobi identity holds by direct expansion using the wheeled axioms; the relevant computation appears in the chain of identities leading to equation (4.18). To address the request for explicit indication, we will add a short dedicated paragraph immediately after the theorem statement that isolates this verification and references the precise equations. revision: yes
-
Referee: [Quadratic case on free algebras] In the quadratic case on free polynomial algebras, the compatibility condition between solutions of the associative Yang-Baxter equation and the classical Yang-Baxter equation is invoked to describe the coupled structures. It is not immediately clear from the abstract whether this condition is derived from the cross-Jacobi identity or imposed separately; an explicit equation relating the two YBE solutions to the cross term would clarify the scope of the parametrization.
Authors: The compatibility condition is derived from the cross-Jacobi identity rather than imposed ad hoc. In the quadratic analysis (Section 5.3), substituting the quadratic ansatz into the cross-Jacobi identity produces the stated relation between the associative Yang-Baxter solution and the classical Yang-Baxter solution. We will insert an explicit displayed equation in the revised text that isolates this cross-term contribution, thereby making the derivation transparent. revision: yes
Circularity Check
No circularity; definitions and bijections are self-contained mathematical constructions
full rationale
The paper defines coupled double Poisson brackets explicitly as pairs of a generalized Van den Bergh double bracket and a generalized Fairon-McCulloch right double bracket that additionally satisfy a cross-Jacobi identity. It then proves a bijection between these defined objects and the wheeled Poisson brackets of Ginzburg-Schedler. This is a standard definitional setup followed by an explicit correspondence theorem on free polynomial algebras and via Yang-Baxter solutions in the quadratic case. No result reduces by the paper's own equations to a fitted input, renamed prior result, or self-citation chain; the cross-Jacobi condition is transparently part of the new definition rather than a hidden assumption that forces the output. The derivation is self-contained against external benchmarks and does not rely on load-bearing self-citations or ansatzes smuggled from prior work by the same author.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Cross-Jacobi identity for the pair consisting of a generalized Van den Bergh double bracket and a generalized Fairon-McCulloch right double bracket.
- domain assumption Compatibility condition between solutions of the associative Yang-Baxter equation and the classical Yang-Baxter equation.
invented entities (2)
-
Coupled double Poisson bracket
no independent evidence
-
Poisson-left-pre-Lie algebra
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We introduce coupled double Poisson brackets on an associative algebra A as pairs consisting of a generalized Van den Bergh's double Poisson bracket and a generalized Fairon–McCulloch's right double Poisson bracket subject to a cross-Jacobi identity... establish a bijection between pairs of coupled double Poisson brackets and wheeled Poisson brackets of Ginzburg and Schedler.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
On free polynomial algebras, we furthermore establish a one-to-one correspondence between linear coupled double Poisson brackets and Poisson-left-pre-Lie algebras, and describe quadratic ones via solutions of the associative and classical Yang–Baxter equations satisfying a compatibility condition.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Classification of constant solutions for associative Yang-Baxter equation on $gl(3)$
Classification of constant solutions of the associative Yang-Baxter equation on \(Mat_3\) , author=. Theoretical and Mathematical Physics , volume=. 2013 , publisher=. 1212.6421 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[2]
Letters in Mathematical Physics , volume=
Deformation quantization of Poisson manifolds , author=. Letters in Mathematical Physics , volume=. 2003 , publisher=
work page 2003
-
[3]
Transactions of the American Mathematical Society , volume=
Double poisson algebras , author=. Transactions of the American Mathematical Society , volume=. 2008 , eprint=
work page 2008
-
[4]
Noncommutative geometry and Cayley-smooth orders , author=. 2007 , publisher=
work page 2007
-
[5]
Universal localizations, Atiyah conjectures and graphs of groups , author=. 2024 , eprint=
work page 2024
-
[6]
Representations of rings over skew fields , author=. 1985 , publisher=
work page 1985
-
[7]
Pacific Journal of Mathematics , volume=
Universal derivations and universal ring constructions , author=. Pacific Journal of Mathematics , volume=. 1978 , publisher=
work page 1978
-
[8]
Journal of the American Mathematical Society , volume=
Algebra extensions and nonsingularity , author=. Journal of the American Mathematical Society , volume=. 1995 , publisher=
work page 1995
-
[9]
On certain noncommutative geometries via categories of sheaves of (graded) PI-algebras , author=. 2024 , eprint=
work page 2024
-
[10]
Approximability and Rouquier dimension for noncommutative algebras over schemes , author=. 2024 , eprint=
work page 2024
-
[11]
Commutative Poisson algebras from deformations of noncommutative algebras , author=. 2024 , eprint=
work page 2024
-
[12]
Inventiones mathematicae , volume=
Harmonic analysis on the infinite symmetric group , author=. Inventiones mathematicae , volume=. 2004 , publisher=
work page 2004
- [13]
-
[14]
Journal of pure and applied Algebra , volume=
The equivalence of certain categories of twisted Lie and Hopf algebras over a commutative ring , author=. Journal of pure and applied Algebra , volume=. 1993 , publisher=
work page 1993
-
[15]
Geometric Applications of Homotopy Theory II: Proceedings, Evanston, March 21--26, 1977 , pages=
Twisted Lie algebras , author=. Geometric Applications of Homotopy Theory II: Proceedings, Evanston, March 21--26, 1977 , pages=. 1978 , organization=
work page 1977
- [16]
-
[17]
Symplectic wheelgebras and noncommutative geometry , author=. 2025 , eprint=
work page 2025
-
[18]
A Koszul duality for props , volume=
Vallette, Bruno , year=. A Koszul duality for props , volume=. Transactions of the American Mathematical Society , publisher=
-
[19]
Differential operators and BV structures in noncommutative geometry
Differential operators and BV structures in noncommutative geometry , author=. Selecta Mathematica , volume=. 2010 , publisher=. 0710.3392 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv 2010
- [20]
-
[21]
Non-commutative Symplectic Geometry, Quiver varieties, and Operads , author=. 2000 , eprint=
work page 2000
-
[22]
Letters in Mathematical Physics , volume=
Double Poisson brackets and involutive representation spaces , author=. Letters in Mathematical Physics , volume=. 2024 , publisher=. 2310.01086 , archivePrefix=
-
[23]
An answer to a question on MathOverflow: ''Are the trace relations among matrices generated by cyclic permutations?'' , AUTHOR =
-
[24]
Lie groups: an approach through invariants and representations , author=. 2007 , publisher=
work page 2007
-
[25]
Letters in Mathematical Physics , volume=
Parametrizing equivalence classes of invariant star products , author=. Letters in Mathematical Physics , volume=. 1998 , publisher=
work page 1998
-
[26]
Deformation theory and quantization. I. Deformations of symplectic structures , author=. Annals of Physics , volume=. 1978 , publisher=
work page 1978
-
[27]
Deformation theory and quantization. II. Physical applications , author=. Annals of Physics , volume=. 1978 , publisher=
work page 1978
- [28]
-
[29]
Deformations of algebras over operads and the Deligne conjecture , author=. Conf. 2000 , organization=
work page 2000
-
[30]
Deformation theory and symplectic geometry (Ascona, 1996) , series=
Formality conjecture , author=. Deformation theory and symplectic geometry (Ascona, 1996) , series=. 1997 , publisher=
work page 1996
-
[31]
Integrable systems in the realm of algebraic geometry , author=. 2001 , publisher=
work page 2001
-
[32]
Deformation quantization of polynomial Poisson algebras , author=. Journal of Algebra , volume=. 2000 , publisher=
work page 2000
-
[33]
Advances in Mathematics , volume=
Covariant and equivariant formality theorems , author=. Advances in Mathematics , volume=. 2005 , publisher=
work page 2005
-
[34]
Cattaneo and Giovanni Felder and Lorenzo Tomassini , title =
Alberto S. Cattaneo and Giovanni Felder and Lorenzo Tomassini , title =. Duke Mathematical Journal , number =
-
[35]
Poisson-Geometrie und Deformationsquantisierung: Eine Einf
Waldmann, Stefan , year=. Poisson-Geometrie und Deformationsquantisierung: Eine Einf
-
[36]
Letters in Mathematical Physics , volume=
Classification of equivariant star products on symplectic manifolds , author=. Letters in Mathematical Physics , volume=. 2016 , publisher=
work page 2016
-
[37]
Algebraic structures in Integrability , author=
-
[38]
Noncommutative birational geometry, representations and combinatorics , volume=
Double Poisson brackets on free associative algebras , author=. Noncommutative birational geometry, representations and combinatorics , volume=. 2013 , eprint=
work page 2013
-
[39]
Parameter-dependent associative Yang-Baxter equations and Poisson brackets
Parameter-dependent associative Yang--Baxter equations and Poisson brackets , author=. International Journal of Geometric Methods in Modern Physics , volume=. 2014 , publisher=. 1311.4321 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv 2014
- [40]
-
[41]
Communications in Algebra , volume=
Around Van den Bergh’s double brackets for different bimodule structures , author=. Communications in Algebra , volume=. 2023 , publisher=. 2204.03298 , archivePrefix=
-
[42]
Noncommutative smooth spaces , author=. The Gelfand mathematical seminars, 1996--1999 , pages=. 2000 , organization=. math/9812158 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[43]
The Gelfand mathematical seminars, 1990--1992 , pages=
Formal (non)-commutative symplectic geometry , author=. The Gelfand mathematical seminars, 1990--1992 , pages=. 1993 , organization=
work page 1990
-
[44]
Advances in Mathematics , volume=
Noncommutative geometry and quiver algebras , author=. Advances in Mathematics , volume=. 2007 , publisher=
work page 2007
-
[45]
Compositio Mathematica , volume=
Noncommutative schemes , author=. Compositio Mathematica , volume=. 1998 , publisher=
work page 1998
-
[46]
Modified double brackets and a conjecture of
Fairon, Maxime , journal=. Modified double brackets and a conjecture of. 2025 , eprint=
work page 2025
-
[47]
Liu, Leilei and Zeng, Jieheng and Zhao, Hu , year=. Shifted double. 2510.27299 , archivePrefix=
-
[48]
The tetrahedral flow is a coboundary in 4D , author=
Kontsevich graphs act on Nambu--Poisson brackets, II. The tetrahedral flow is a coboundary in 4D , author=. 2024 , eprint=
work page 2024
-
[49]
Letters in Mathematical Physics , volume=
Operads and motives in deformation quantization , author=. Letters in Mathematical Physics , volume=. 1999 , publisher=
work page 1999
-
[50]
Poisson algebras and Yang-Baxter equations
Schedler, Travis , booktitle=. 2009 , publisher=. math/0612493 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv 2009
- [51]
- [52]
-
[53]
Non-commutative Symplectic Geometry, Quiver varieties, and Operads
Non-commutative symplectic geometry, quiver varieties, and operads , author=. arXiv preprint math/0005165 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[54]
Non-commutative quasi-Hamiltonian spaces
Non-commutative quasi-Hamiltonian spaces , author=. Poisson Geometry in Mathematics and Physics , series=. 2008 , publisher=. math/0703293 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[55]
Journal of Physics: Conference Series , volume=
Deformation quantization: a survey , author=. Journal of Physics: Conference Series , volume=. 2008 , organization=
work page 2008
-
[56]
Cattaneo, Alberto and Keller, Bernhard and Torossian, Charles and Bruguieres, Alain , year=. D
-
[57]
Results in Mathematics , volume=
Transposed Poisson structures , author=. Results in Mathematics , volume=. 2024 , publisher=
work page 2024
- [58]
-
[59]
Compositio Mathematica , volume=
An homotopy formula for the Hochschild cohomology , author=. Compositio Mathematica , volume=
-
[60]
Moscow Mathematical Journal , volume=
Moyal quantization and stable homology of necklace Lie algebras , author=. Moscow Mathematical Journal , volume=. 2006 , publisher=
work page 2006
- [61]
-
[62]
Commentarii Mathematici Helvetici , volume=
Preprojective algebras, differential operators and a Conze embedding for deformations of Kleinian singularities , author=. Commentarii Mathematici Helvetici , volume=. 1999 , publisher=
work page 1999
-
[63]
Double Poisson Cohomology of Path Algebras of Quivers
Double Poisson cohomology of path algebras of quivers , author=. Journal of Algebra , volume=. 2008 , publisher=. math/0701837 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[64]
Differential calculus over double
Chemla, Sophie , journal=. Differential calculus over double. 2020 , publisher=. 1712.05619 , archivePrefix=
-
[65]
Noncommutative geometry and physics: renormalisation, motives, index theory , pages=
A short survey on pre-Lie algebras , author=. Noncommutative geometry and physics: renormalisation, motives, index theory , pages=. 2011 , publisher=
work page 2011
-
[66]
Algebra and Applications , volume=
An introduction to pre-Lie algebras , author=. Algebra and Applications , volume=
-
[67]
Left-symmetric algebras, or pre-Lie algebras in geometry and physics
Left-symmetric algebras, or pre-Lie algebras in geometry and physics , author=. Central European Journal of Mathematics , volume=. 2006 , publisher=. math-ph/0509016 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[68]
Aguiar, Marcelo , journal=. Pre-. 2000 , publisher=
work page 2000
-
[69]
Groups, Invariants, Integrals, and Mathematical Physics: The Wis
Lectures on Poisson algebras , author=. Groups, Invariants, Integrals, and Mathematical Physics: The Wis. 2023 , organization=. 2305.03578 , archivePrefix=
-
[70]
Modified double Poisson brackets , author=. Journal of Algebra , volume=. 2017 , publisher=. 1608.08287 , archivePrefix=
- [71]
-
[72]
Brackets in the Pontryagin algebras of manifolds
Massuyeau, Gw. Brackets in the. 2017 , publisher=. 1308.5131 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[73]
Derived Representation Schemes and Cyclic Homology
Derived representation schemes and cyclic homology , author=. Advances in Mathematics , volume=. 2013 , publisher=. 1112.1449 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[74]
Derived Representation Schemes and Noncommutative Geometry
Derived representation schemes and noncommutative geometry , author=. Expository Lectures on Representation Theory , series=. 2014 , organization=. 1304.5314 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[75]
Noncommutative Poisson structures, derived representation schemes and Calabi-Yau algebras
Berest, Yuri and Chen, Xiaojun and Eshmatov, Farkhod and Ramadoss, Ajay , booktitle=. Noncommutative. 2012 , organization=. 1202.2717 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv 2012
- [76]
-
[77]
Fairon, Maxime , journal=. Double quasi-. 2021 , publisher=. 1905.11273 , archivePrefix=
-
[78]
Fairon, Maxime , journal=. Morphisms of double (quasi-). 2022 , eprint=
work page 2022
-
[79]
Euler continuants in noncommutative quasi-
Fairon, Maxime and Fern. Euler continuants in noncommutative quasi-. Forum of Mathematics, Sigma , volume=. 2022 , publisher=. 2105.04858 , archivePrefix=
-
[80]
Massuyeau, Gw. Quasi-. International Mathematics Research Notices , volume=. 2014 , publisher=. 1205.4898 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv 2014
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.