Local Poisson groupoids over mixed product Poisson structures and generalised double Bruhat cells

Victor Mouquin

REVIEW 3 major objections 3 minor 20 references

Local Poisson groupoids over mixed product Poisson structures and generalised double Bruhat cells

T0 review · 3 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every generalised double Bruhat cell $G^{u,u}$ is a Poisson groupoid over the Bruhat cell $O_u$.

desk verdict A solid, genuinely new extension of the Lu–Mouquin theorem to generalized double Bruhat cells; the main gap is an unverified (but likely routine) associativity-domain check in the twisting construction. read the letter →

arxiv 1908.04044 v1 pith:L64GRZ7Y submitted 2019-08-12 math.DG math.SG

Victor Mouquin This is my paper · ORCID

classification math.DGmath.SG MSC 53D1717B6222E46

keywords PoissongroupoidsmixedproductstructuresdoublesymplecticgeneralisedBruhatcellsLagrangianbisectionsLiegroupslocal

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that for any connected complex semisimple Poisson Lie group with its standard multiplicative Poisson structure, every generalised double Bruhat cell $G^{u,u}$, associated to a finite sequence $u$ of Weyl group elements, carries a natural Poisson groupoid structure with base the generalised Bruhat cell $O_u$. This extends the known theorem for ordinary double Bruhat cells, which are the length-one case, to sequences of arbitrary length. The result matters because it shows that the Poisson geometry of these cells is multiplicative: symplectic leaves sit inside a groupoid, and the Poisson structure is compatible with the partial multiplication. The proof goes through a new construction of local Poisson groupoids over mixed product Poisson structures, obtained by twisting a direct product of Poisson groupoids by a local Lagrangian bisection in a double symplectic groupoid.

What carries the argument

The carrying mechanism is a local Lagrangian bisection $L=(O_\Gamma)_{\mathrm{diag}}\subset \Gamma_{B^-}\times\Gamma_B$, the diagonal copy of an open subset of the double symplectic groupoid $\Gamma$ attached to the dual pair $(B,\pi_{\mathrm{st}})$ and $(B^-, -\pi_{\mathrm{st}})$. A double symplectic groupoid is a single space carrying two compatible symplectic groupoid structures, one over each of two dual Poisson Lie groups. Right action by this bisection twists the direct-product multiplication of two Poisson groupoids $\mathcal{Y}\Rightarrow Y$ and $\mathcal{Z}\Rightarrow Z$ into a local groupoid multiplication on $Y\times Z$, and Theorem 5.4 asserts that with the mixed product Poisson structure $\pi_Y\times_{(\rho,\lambda)}\pi_Z$ on the base this is a local Poisson groupoid. The paper also identifies the bisection as the reduced form of the global R-matrix of the Drinfeld double, making the construction the classical analogue of an $R$-matrix twist.

What would settle it

Take the model example in the paper, $T^*\mathbb{C}$ with $\mu(p,q)=e^{pq}$, and choose three composable elements for the displayed twisted multiplication whose two parenthesizations are both defined; a direct computation showing the two triple products differ, or a composable pair whose product leaves the claimed domain, would falsify the associativity claim of Theorem 5.4 and with it the induction behind Theorem 9.6.

Watch

Extended reading notes

Core claim

The central claim is Theorem 9.6: if $l\ge 1$, $w\in W^l$, and $\bar w\in N_G(T)^l$ is a representative of $w$, then $(G^{\bar w,\bar w}\Rightarrow O_w,\pi_{\bar w,\bar w})$ is a Poisson groupoid over $(O_w,\pi_l)$. The isomorphism class of this Poisson groupoid is independent of the choice of representative. The proof is inductive: applying the construction of Theorem 5.4 to two Poisson groupoids $G^{\bar u,\bar u}$ and $G^{\bar v,\bar v}$ produces a local Poisson groupoid on a torus quotient $K_{\bar u,\bar v}\Rightarrow O_u\times O_v$; the concatenation map identifies $K_{\bar u,\bar v}$ with a Zariski open neighbourhood of the identity bisection in $G^{(\bar u,\bar v),(\bar u,\bar v)}$. Since this open set is dense, the coisotropic graph of the local multiplication extends by continuity to the global graph, proving the groupoid compatibility.

Load-bearing premise

The load-bearing premise is that the twisted local groupoid multiplication of Theorem 5.4 is associative wherever it is defined; the proof leaves this verification to the reader, and the induction establishing Theorem 9.6 depends on it.

Editorial extensions

If this is right

For every finite sequence $w\in W^l$, the generalised double Bruhat cell $G^{\bar w,\bar w}$ is a Poisson groupoid over $(O_w,\pi_l)$.
Poisson groupoid structures are compatible with concatenation: whenever $G^{\bar u,\bar u}$ and $G^{\bar v,\bar v}$ are Poisson groupoids, the concatenated cell $G^{(\bar u,\bar v),(\bar u,\bar v)}$ is again one, via the local twisting construction, a torus quotient, and a density argument.
Every generalised double Bruhat cell $G^{\bar u,\bar v}$ admits Poisson actions of the two symplectic groupoids $\Gamma_B$ and $\Gamma_{B^-}$ with moment maps $\mu_+$ and $\mu_-$, which are exactly the actions required for the induction.
The isomorphism class of the Poisson groupoid on $G^{\bar w,\bar w}$ does not depend on the representative $\bar w$ of $w$.
The local construction of Theorem 5.4 applies to any pair of dual Poisson Lie groups satisfying its hypotheses, so it yields local Poisson groupoids over mixed product Poisson structures in general.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

One point a reader might probe is the unproved associativity check in Theorem 5.4; a coordinate computation for $SL(2,\mathbb{C})$ with a length-two sequence would test whether the local groupoid axioms really hold on the stated domain.
Because the twisting bisection is a reduction of the global R-matrix of the Drinfeld double, the same construction is likely available for any pair of dual Poisson Lie groups whose double admits such an R-matrix, not only the standard semisimple pair.
The paper leaves open whether the symplectic leaves of $(G^{w,w},\tilde\pi_{l,l})$ form a symplectic groupoid; a leaf description generalising the length-one case would settle this and is a natural next step.
The twist formula mirrors a quantum $R$-matrix twist of module algebras, so one can ask whether these Poisson groupoids admit quantisations to quantum groupoids deforming the generalised double Bruhat cells.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Victor's paper is a serious contribution. The new thing is Theorem 5.4, a construction of local Poisson groupoids over mixed product Poisson structures by twisting a direct product of Poisson groupoids with a local Lagrangian bisection in a double symplectic groupoid. That twist is genuinely new, and it is needed: the earlier embedding method from the n=1 case does not extend. The payoff is Theorem 9.6, showing that generalized double Bruhat cells G^{w,w} are Poisson groupoids over O^w; this is the natural generalization of the Lu–Mouquin theorem and it is proved by a clean induction with a quotient and a Zariski-density step.

The paper is honest and well-structured. Most propositions come with real proofs, the prior results from [12,13,14] are used as published lemmas rather than hidden assumptions, and the author explicitly flags that symplectic leaves in G^{w,w} are not described. The connection to Weinstein–Xu global R-matrices is a nice bonus.

The soft spot is exactly where the reader put it. In Theorem 5.4 the proof of the local groupoid axioms is handed off with 'lengthy but straightforward.' The displayed associativity check covers the case when both triple products are already defined; it does not verify the 3-associativity domain condition from Fernandes–Michel (Definition 2.7), which requires that composability of (x·y, z) forces composability of (y,z) and (x,y·z), and vice versa. Because the multiplication domain hinges on the open condition (z1,y2) ∈ O_{Z,Y}, this is more than a formality: it is load-bearing for the induction in Theorem 9.6. The same 'straightforward' style appears in Proposition 8.2 (twisted multiplicativity, used in the calculation) and Proposition 9.1 (well-definedness of the quotient). I have no counterexample, and I suspect an expert can fill the gaps in a few pages, but as written the text does not allow a fully independent check of the central construction.

The Zariski-density promotion at the end of Theorem 9.6 is compressed but plausible: (G^{w,w})_0 is open and dense, the graph of the local multiplication is coisotropic on that open, and the full graph is the closure. That part does not bother me.

Who should read it: Poisson geometers working on groupoids, double Bruhat cells, and nearby cluster questions. It is a substantial extension of the author's own program, not a paradigm shift, but the construction is reusable. I would send it to an expert referee: the theorem is important enough and the proof strategy strong enough to justify referee time, with a specific request to verify the local groupoid axioms in Theorem 5.4 and the well-definedness in 8.2/9.1. My own verdict: conditionally accept, pending those checks.

Referee Report

3 major / 3 minor

Summary. The paper introduces a construction of local Poisson groupoids over mixed product Poisson structures: given Poisson groupoids Y and Z with Poisson actions of the pair (G,G*) of dual Poisson Lie groups, a local Lagrangian bisection in the double symplectic groupoid is used to twist the direct product groupoid structure (Theorem 5.4). The construction is then applied to generalized double Bruhat cells. The paper proves that every generalized double Bruhat cell G^{bar w, bar w} carries a natural Poisson action of the relevant double symplectic groupoids (Theorem 8.3) and, by induction on the length of the Weyl group sequence, that (G^{bar w, bar w} => O_w, pi_{bar w, bar w}) is a Poisson groupoid over the generalized Bruhat cell (O_w, pi_l) (Theorem 9.6).

Significance. If correct, the paper substantially extends the Lu-Mouquin theorem from ordinary double Bruhat cells to generalized double Bruhat cells associated to arbitrary finite sequences of Weyl group elements. The local groupoid construction over mixed product Poisson structures is independently interesting, and the connection with the Weinstein-Xu global R-matrix is a valuable structural observation. The paper gives real proofs for the Poisson-action results and for the coisotropic-graph criteria, and it explicitly builds on published base cases rather than assuming the target theorem. However, several load-bearing verifications are delegated to the reader: the full 3-associativity axiom for the local groupoid in Theorem 5.4, the well-definedness of the quotient in Proposition 9.1, and the final Zariski-density step in Theorem 9.6. These gaps affect the central claim and should be closed before publication.

major comments (3)

[§5.3, Theorem 5.4] The proof of Theorem 5.4 checks associativity only in the form “if both triple products are defined, then they are equal,” and it leaves the remaining axioms to the reader. In the definition of a 3-associative local groupoid cited in §3.1 ([2, Definition 2.7]), one must also prove the domain-extension conditions: whenever (x1·x2, x3) is composable, the pairs (x2, x3) and (x1, x2·x3) are in the multiplication domain, and symmetrically. The multiplication domain in (29) contains the open condition (z1, y2) in O_{Z,Y}, and the source and target formulas mix μ_Y and μ_Z with the dressing actions, so this is not a cosmetic omission. Since Proposition 9.1 and the induction in Theorem 9.6 inherit the local groupoid structure from Theorem 5.4, the main theorem depends on this verification.
[§9.2–9.3, Theorem 9.6] The passage from the local groupoid on the Zariski open subset (G^{bar w, bar w})_0 to the global Poisson groupoid relies on the assertion that (G^{bar w, bar w})^{(2)}_0 is open and dense in (G^{bar w, bar w})^{(2)}. This requires either a proof that the multiplication domain is irreducible or a separate density argument for the preimage of a Zariski-open set under the groupoid multiplication map, and it also requires a continuity argument showing that coisotropy of the graph on a Zariski-dense open subset implies coisotropy of the full graph. Neither ingredient is supplied. Because this is exactly the step that upgrades the local structure to the global Poisson groupoid claimed in Theorem 9.6, a complete proof should be given.
[§8.1, Proposition 8.2] The formulas for the actions ⊳_B and ⊳_{B^-}, together with the twisted multiplicativity properties (24)–(25) when u = v, are asserted with “straightforward calculation.” These properties are hypotheses of Theorem 5.4 at every inductive step of Theorem 9.6. The verification of (24)–(25) uses the multiplicativity of the local dressing actions (13), the behaviour of the groupoid inverses (11), and the definitions in (37); the manuscript should include at least the main identities or a reduction showing that they follow from an established property of the dressing actions.

minor comments (3)

[§5.3, proof of Theorem 5.4] The word “sastisﬁes” should be “satisfies,” and the displayed formula defining Gr_L has an unmatched parenthesis after the intersection with (Y × O21_{Z,Y} × Z × Y × Z).
[§9.3, Theorem 9.6] The phrase “a of representative of w” should read “a representative of w.”
[§5.2] The open set O_{Z,Y} is used before it is defined; adding a forward pointer from §5.1 to §5.2 would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 9.6 is an inductive extension built on an external base case and a new local-groupoid construction; the unproven associativity check is a proof gap, not circularity.

full rationale

The derivation is self-contained and not circular. The central theorem, Theorem 9.6, is proved by induction: the base case n = 1 is cited from the published prior work [12] by Lu and the author, which is independent support and not an unverified instance of the target result; the inductive step applies the new construction of local Poisson groupoids over mixed product structures (Theorem 5.4) to the already-established Poisson groupoids for shorter sequences. The twisted multiplication in (29) is first defined on the product Y ×_L Z, not assumed to coincide with the desired groupoid structure on G^{bar w,bar w}; the identification with the open subset (G^{bar w,bar w})_0 is proved separately in Proposition 9.3 via the isomorphism kappa_{bar u,bar v}, and Zariski density then promotes the local structure to a global one. The Poisson groupoid property is verified from the definitions: the source and target pushforwards of the product Poisson structure are computed (Proposition 5.5), and the graph of multiplication is shown coisotropic because it is the image of the graph of a product of Poisson groupoids under a local Poisson isomorphism. The unproven 3-associativity domain condition in Theorem 5.4, where the proof says "Checking that (29) satisfies the axioms of a local groupoid is lengthy but straightforward," is a gap in the proof of the local groupoid axioms, not a circular step: it does not assume the conclusion of Theorem 9.6. Self-citations to [12,13,14] supply definitions, the base case, and background lemmas, but none of these is a hidden instance of the claimed theorem, and the core construction and induction are original and independent of the target result.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No numerical parameters are fitted; the input data are Lie-theoretic. The main external inputs are the author's own earlier theorems ([12,13,14]) and the standard Weinstein-Xu / Lu machinery. These are published results with proofs, so they lower novelty but are not circular.

assumptions (5)

domain assumption Existence and properties of the double symplectic groupoid (Γ, π_Γ) for a pair of dual Poisson Lie groups, including the two symplectic groupoid structures over G and G*.
Invoked throughout §3.2; used to define local dressing actions and the actions in §8. Constructed in [10,15].
domain assumption The general theory of global R-matrices for quasitriangular Poisson Lie groups from [19].
Used in §4.1 to identify the Lagrangian bisection L; the paper assumes completeness of (G,π_G) in that subsection and then drops it in §4.2 with an analogy argument.
domain assumption The n = 1 base case: (G^{u,u}, π_st) is a Poisson groupoid over (O^u, π_1), proven in [12].
Used as the base of the induction in Theorem 9.6.
domain assumption The construction and properties of generalized double Bruhat cells and generalized Bruhat cells from [13,14], including the description of T-orbits of symplectic leaves used in Lemma 7.2.
The spaces G^{u,v}, O^u, their Poisson structures and actions are taken from the author's prior work with Lu.
domain assumption The local groupoid formalism and the 'shrinking' procedure from [2].
Needed in §9.2 to restrict the groupoid structure to the open subset (G^{bar w,bar w})_0 and to have 3-associative local groupoids.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Local Poisson groupoids over mixed product Poisson structures and generalised double Bruhat cells." pith.science (2026). https://pith.science/paper/L64GRZ7Y

@misc{pith2026190804044,
  author       = {Pith},
  title        = {Pith review of: Local Poisson groupoids over mixed product Poisson structures and generalised double Bruhat cells},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/L64GRZ7Y}},
  note         = {Machine review of arXiv:1908.04044}
}

abstract

Given a standard complex semisimple Poisson Lie group $(G, \pi_{st})$, generalised double Bruhat cells $G^{u, v}$ and generalised Bruhat cells $O^u$ equipped with naturally defined holomorphic Poisson structures, where u, v are finite sequences of Weyl group elements, were defined and studied by Jiang Hua Lu and the author. We prove in this paper that $G^{u,u}$ is naturally a Poisson groupoid over $O^u$, extending a result from the aforementioned authors about double Bruhat cells in $(G, \pi_{st})$. Our result on $G^{u,u}$ is obtained as an application of a construction interesting in its own right, of a local Poisson groupoid over a mixed product Poisson structure associated to the action of a pair of Lie bialgebras. This construction involves using a local Lagrangian bisection in a double symplectic groupoid closely related to the global R-matrix studied by Weinstein and Xu, to twist a direct product of Poisson groupoids.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

[1]

Bott-Samelson varieties and Poisson Ore extensions

B. Elek and J.-H. Lu, Bott-Samelson varieties and Poisson Ore ext ensions, arXiv:1601.00047

work page Pith review arXiv
[2]

R. L. Fernandes, and D. Michels, Associativity and Integrability, arXiv:1803.10412

work page Pith review arXiv
[3]

R. L. Fernandes and D. I. Ponte, Integrability of Poisson-Lie Gr oup Actions, Lett. Math. Phys. (2009) 90:137 - 159

work page 2009
[4]

Goodearl and M

K. Goodearl and M. Yakimov, Poisson structures on aﬃne space s and Flag varieties, II, the general case, Trans. Amer. Math. Soc. 361 (11) (2009) 5753 - 5780

work page 2009
[5]

T. J. Hodges and T. Levasseur, Primitive ideals of Cq[SL(3)], Comm. Math. Phys. 156 (3) (1993), 581 - 605

work page 1993
[6]

Hoﬀmann, J

T. Hoﬀmann, J. Kellendonk, N. Kutz, and N. Reshetikhin, Factor ization dynamics and Coxeter-Toda lattices, Comm. Math. Phys. 212 (2000) (2), 297 - 321

work page 2000
[7]

Kogan and A

M. Kogan and A. Zelevinsky, On symplectic leaves and integrable sy stems in standard complex semisimple Poisson Lie groups, Inter. Math. Res. Notices 2002 (32), 1685 - 1703. POISSON GROUPOIDS AND GENERALISED DOUBLE BRUHAT CELLS 41

work page 2002
[8]

Songhao Li and Dylan Rupel, Symplectic groupoids for cluster man ifolds, arXiv:1807.03450

work page Pith review arXiv

Show all 20 references

[9]

Z.-J. Liu, A. Weinstein, and P. Xu, Dirac structures and Poisson h omogeneous spaces, Comm. Math. Phys. 192 (1998), 121 - 144

1998
[10]

Lu, Multiplicative and Aﬃne Poisson Structures on Lie Groups , Berkeley thesis, 1990

J.-H. Lu, Multiplicative and Aﬃne Poisson Structures on Lie Groups , Berkeley thesis, 1990

1990
[11]

Lu, Poisson homogeneous spaces and Lie algebroids assoc iated to Poisson actions, Duke Math

J.-H. Lu, Poisson homogeneous spaces and Lie algebroids assoc iated to Poisson actions, Duke Math. J. 86 (2) (1997), 261 - 304

1997
[12]

Lu and V

J.-H. Lu and V. Mouquin, Double Bruhat cells and symplectic group oids, Transformation groups (2017)

2017
[13]

Lu and V

J.-H. Lu and V. Mouquin, Mixed product Poisson structures ass ociated to Poisson Lie groups and Lie bialgebras, Int. Math. Res. Notices , 2016, 1-58

2016
[14]

Lu and V

J.-H. Lu and V. Mouquin, On T -leaves of a Poisson structure on products of ﬂag varieties, Advances in Mathematics 306 2017 1209 -1261

2017
[15]

Lu and A

J.-H. Lu and A. Weinstein, Groupoides symplectiques doubles des groupes de Lie-Poisson, C. R. Acad. Sc. Paris 309, 951 - 954 (1989)

1989
[16]

Mackenzie and P

K. Mackenzie and P. Xu, Lie bialgebroids and Poisson groupoids, Duke Math. J. , 73 (2) (1994), 415 - 452

1994
[17]

Mouquin, Quantization of a Poisson structure on products o f principal aﬃne spaces, arXiv:1807.09843

V. Mouquin, Quantization of a Poisson structure on products o f principal aﬃne spaces, arXiv:1807.09843

arXiv
[18]

Weinstein, Coisotropic calculus and Poisson groupoids, J

A. Weinstein, Coisotropic calculus and Poisson groupoids, J. Math. Soc. Japan , Vol. 40, No. 4, 1988

1988
[19]

Weinstein and P

A. Weinstein and P. Xu, Classical Solutions of the Quantum Yang- Baxter Equation, Commun. Math. Phys., 148, 309 - 343 (1992)

1992
[20]

Xu, On Poisson groupoids, Intern

P. Xu, On Poisson groupoids, Intern. J. Math. 6 (1) (1995), 101 - 124. School of Mathematical Sciences, Shanghai Jiaotong Univer sity, Shanghai, China E-mail address : mouquinv@sjtu.edu.cn

1995

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

Bott-Samelson varieties and Poisson Ore extensions

B. Elek and J.-H. Lu, Bott-Samelson varieties and Poisson Ore ext ensions, arXiv:1601.00047

work page Pith review arXiv

[2] [2]

R. L. Fernandes, and D. Michels, Associativity and Integrability, arXiv:1803.10412

work page Pith review arXiv

[3] [3]

R. L. Fernandes and D. I. Ponte, Integrability of Poisson-Lie Gr oup Actions, Lett. Math. Phys. (2009) 90:137 - 159

work page 2009

[4] [4]

Goodearl and M

K. Goodearl and M. Yakimov, Poisson structures on aﬃne space s and Flag varieties, II, the general case, Trans. Amer. Math. Soc. 361 (11) (2009) 5753 - 5780

work page 2009

[5] [5]

T. J. Hodges and T. Levasseur, Primitive ideals of Cq[SL(3)], Comm. Math. Phys. 156 (3) (1993), 581 - 605

work page 1993

[6] [6]

Hoﬀmann, J

T. Hoﬀmann, J. Kellendonk, N. Kutz, and N. Reshetikhin, Factor ization dynamics and Coxeter-Toda lattices, Comm. Math. Phys. 212 (2000) (2), 297 - 321

work page 2000

[7] [7]

Kogan and A

M. Kogan and A. Zelevinsky, On symplectic leaves and integrable sy stems in standard complex semisimple Poisson Lie groups, Inter. Math. Res. Notices 2002 (32), 1685 - 1703. POISSON GROUPOIDS AND GENERALISED DOUBLE BRUHAT CELLS 41

work page 2002

[8] [8]

Songhao Li and Dylan Rupel, Symplectic groupoids for cluster man ifolds, arXiv:1807.03450

work page Pith review arXiv