Pith. sign in

REVIEW 1 major objections 4 minor 39 references

On the integration of Manin pairs

T0 review · 1 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

Pith's one-line read Given a $\hat G$-equivariant Manin pair $(E,A)$ with $G$ integrating $A$, there is a unique $\hat G\times\hat G$-equivariant morphism of multiplicative Manin pairs $R:(\mathbb{T}G,\mathbb{T}G)\to(\mathrm{Pair}(E),\mathrm{Pair}(A))$; this…

desk verdict A useful unifying framework with a real but fixable sign error in the main proof; deserves refereeing but not acceptance as-is. read the letter →

arxiv 2411.17988 v1 pith:63V4FSAJ submitted 2024-11-27 math.DG

classification math.DG MSC 53D1722A2253D20
keywords ManinpairsCourantalgebroidsLiegroupoidsintegrationPoissonquasi-symplecticDiracstructuresbialgebroids
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

The paper's central claim is that a whole family of integration results in Poisson geometry are instances of one construction: given a Manin pair $(E,A)$ — a Courant algebroid $E$ with a Dirac subbundle $A$ — and a Lie groupoid $G\Rightarrow M$ integrating the Lie algebroid $A$, the pair integrates to a distinguished morphism $R$ from the standard Courant algebroid $\mathbb{T}G=TG\oplus T^*G$ to the pair Courant algebroid $E\times E$, provided a jet-groupoid action exists. When $A$ is the cotangent algebroid of a Poisson manifold, this morphism packages the multiplicative symplectic form; when $E$ is exact, it packages the multiplicative 2-form of a quasi-symplectic groupoid; when a complementary Lagrangian $B$ is chosen, it packages the multiplicative Poisson or quasi-Poisson structure. The authors prove this by writing $R$ down explicitly in terms of two maps $\alpha$ and $\beta$, then verifying multiplicativity through Courant-bracket computations. A sympathetic reader should care because it replaces a list of separate classical theorems with a single mechanism and clarifies what happens when the integrating groupoid is not source-simply connected.

What carries the argument

The load-bearing object is the fat groupoid $\hat G=J^1(G)$ of the tangent VB-groupoid $\mathbb{T}G\Rightarrow TM$: its elements are complements to the kernels of source and target, it acts on $A$, and by assumption it acts on the whole Courant algebroid $E$. The argument runs through two dual bundle maps, $\alpha$ from units to units and $\beta$ from cores to cores, whose graphs span $R|_M$; $\hat G\times\hat G$-equivariance then propagates $R$ over all of $G$, while the Courant-bracket computations in Appendix A show the section span is closed under the Dorfman bracket. The jet groupoid is what carries the infinitesimal representation $\nabla_{j^1(\xi)}\zeta=[[\xi,\zeta]]$ into a global action, and the assumption that this action exists is exactly what replaces source-simple connectivity.

What would settle it

Take a $\hat G$-equivariant Manin pair and compute the Dorfman bracket of two sections of the relation $R$ defined by equation (20) over $\mathrm{gr}(t,s)$; if any bracket component leaves $R$, Theorem 3.10 is false. A concrete place to look is a non-source-simply-connected integration such as $G=T^*M/\Lambda$ with a non-Lagrangian period subgroupoid $\Lambda$, where Example 3.7 predicts the required $\hat G$-action does not exist, so the theorem's hypothesis fails exactly when the Lagrangian condition is violated.

Watch

Extended reading notes

Core claim

Let $(E,A)$ be a $\hat G$-equivariant Manin pair over $M$, where $\hat G=J^1(G)$ is the jet groupoid of a Lie groupoid $G\Rightarrow M$ integrating $A$. Theorem 3.10 asserts that the map $\alpha=(a_E,-\mathrm{pr}_{A^*}):E\to TM\oplus A^*$ extends uniquely to a $\hat G\times\hat G$-equivariant morphism of multiplicative Manin pairs $R:(\mathbb{T}G,\mathbb{T}G)\to(\mathrm{Pair}(E),\mathrm{Pair}(A))$ with base map $(t,s):G\to M\times M$. Explicitly, $x\sim R(\zeta',\zeta)$ if and only if $t_{\mathbb{T}G}(x)=\alpha(\zeta')$ and $\beta([l_{\hat g^{-1}}(x)])=\zeta-\mathrm{Ad}_{\hat g^{-1}}\zeta'$, where $\beta=(\iota_A,-a_E^*):A\oplus T^*M\to E$ and $l_{\hat g^{-1}}$ is left translation by any lift. The paper verifies that this relation is a Lagrangian subbundle, a subgroupoid, and closed under the Courant bracket, hence a morphism of CA-groupoids, and that uniqueness follows because any such morphism with prescribed units is determined by its core. This single theorem specializes to integrations of Poisson manifolds, twisted Dirac structures, and (quasi-)Lie bialgebroids, and the formula remains valid for integrations that are not source-simply connected.

Load-bearing premise

The theorem's load-bearing premise is that the jet groupoid $\hat G=J^1(G)$ really acts on the whole Courant algebroid $E$ as Definition 3.4 demands; for source-simply connected $G$ this is automatic, but for other groupoids it is a nontrivial condition that can fail, and without it the relation $R$ has no equivariance to get off the units.

Editorial extensions

If this is right

  • Given a $\hat G$-equivariant Manin pair, the morphism $R$ is the integration of the Manin pair: any complementary Dirac or Lagrangian subbundle $B\subset E$ pulls back under $R$ to a multiplicative (quasi-)Poisson structure on $G$ whose target-source map is a (quasi-)Poisson map.
  • If $E$ is an exact Courant algebroid, $R$ is automatically exact and is encoded by a multiplicative 2-form $\omega_G$ satisfying $d\omega_G=s^*\eta-t^*\eta$, recovering the integration of $\eta$-twisted Dirac structures to quasi-symplectic groupoids and, when $\eta=0$ and $A\cap TM=0$, symplectic groupoids integrating Poisson manifolds.
  • Choosing a Lagrangian complement $B\subset E$ to $A$, the preimage $R^{-1}(\mathrm{Pair}(B))$ is the graph of a multiplicative bivector field on $G$; if $B$ is a Dirac structure the bivector is Poisson, giving the classical integration result for Lie bialgebroids without requiring $G$ to be source-simply connected.
  • A Hamiltonian $G$-space for a $\hat G$-equivariant Manin pair, defined as a $\hat G$-equivariant morphism $L:(\mathbb{T}P,\mathbb{T}P)\to(E,A)$, is automatically a module over $R$: whenever $x\sim R(\zeta',\zeta)$ and $y\sim L\zeta$ with compatible sources, the action satisfies $x\cdot y\sim L\zeta'$, which reproduces known Hamiltonian-space notions for quasi-symplectic groupoids and (quasi-)Poiss

Reading between the lines

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

  • Beyond the paper, the explicit formula (20) gives a practical integrability test: to integrate a Manin pair, one only needs to construct the $\hat G$-action on $E$, and the relation $R$ is then explicit; this shifts the difficulty from solving for multiplicative forms to checking equivariance.
  • Beyond the paper, the non-source-simply-connected case suggests that obstructions to integration live in the period groupoid of $A$: Example 3.7 identifies the obstruction with a Lagrangian condition on $\Lambda$, so one can probe integrability by asking whether the canonical representation of $J^1(A)$ integrates through the period group.
  • Beyond the paper, the Hamiltonian-space formalism of Section 5 suggests a reduction procedure for $\hat G$-equivariant Manin pairs: quotients of Hamiltonian $G$-spaces should remain Hamiltonian spaces for the reduced Manin pair, paralleling quasi-Hamiltonian reduction; the paper does not develop this reduction explicitly.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 4 minor

Summary. The paper proposes a general integration theorem for Manin pairs. Given a Manin pair (E,A) over M, a Lie groupoid G integrating A, and a jet-groupoid action of \hat G=J^1(G) on E satisfying natural compatibility conditions, the authors construct a canonical multiplicative Courant morphism R:(TG,TG) to (Pair(E),Pair(A)) with base map (t,s):G→M×M. The morphism is given explicitly in equation (20). The paper then derives known integration results for Poisson manifolds, twisted Dirac structures, and (quasi-)Lie bialgebroids as special cases, discusses the non-source-simply-connected situation, and develops Hamiltonian spaces and Morita equivalences in this formalism.

Significance. If correct, Theorem 3.10 provides a clean and genuinely unifying framework: it recovers the Mackenzie–Xu, Bursztyn–Crainic–Weinstein–Zhu, and Iglesias-Ponte–Laurent-Gengoux–Xu results from one explicit formula, and it gives a precise statement of the extra equivariance hypothesis needed when G is not source-simply connected. The paper's strengths are its explicit formula (20), the detailed appendix with the bracket computations, and the applications to quasi-symplectic groupoids and Hamiltonian spaces. However, the central proof as printed contains a sign inconsistency in Appendix A that affects the bracket-closure argument, so the main theorem is not fully established in the present version.

major comments (1)
  1. [Appendix A, Eq. (27) and Eq. (19)] There is a sign inconsistency between the definition of α in (19) and the extension φ(ζ) in (27). In (19) the units relation is α(ζ)=(a_E(ζ), -pr_{A^*}ζ), but immediately before (27) the text states pr_{A^*}ζ = Σ_i ⟨ξ_i,ζ⟩dy_i, and then (27) gives the TG-component of φ(ζ) as a_E(ζ)+Σ_i ⟨ξ_i,ζ⟩dy_i, i.e. with a plus sign. Thus φ(ζ) does not restrict to a section of R on gr0(t,s). Consequently, the subsequent computation of [[φ(ζ),φ(ζ')]] does not establish that the bracket lies in R. In the pairing identity for ⟨[[φ(ζ),φ(ζ')]],ψ(ξ_i)⟩, the two derivative terms L_{a(φ(ζ))}⟨φ(ζ'),ψ(ξ_i)⟩ and L_{a(φ(ζ'))}⟨φ(ζ),ψ(ξ_i)⟩ cancel only with the opposite sign in (27); the observation that a(φ(ζ)) is tangent to gr0(t,s) is insufficient because the paired functions are not constant on gr0(t,s). Replacing the '+' in (27) with '−' appears to repair the computation, so this is likely a fixable sign error, but as printed the proof of Step 8 of Theorem 3.10 is incomplete.
minor comments (4)
  1. [Section 3.5] The infinitesimally multiplicative version R0 is stated as a theorem, but the proof is omitted with only a sentence saying it is similar to Theorem 3.10. If R0 is intended as a new result, it needs a proof or a precise reference; if it is only a recap of the first author's thesis, that should be stated explicitly.
  2. [Section 4.3, proof of Proposition 4.3] The proof writes α=(a_E,pr_{A^*}) without the minus sign appearing in (19). The surjectivity conclusion is unaffected, but the notation should be harmonized with the main definition of α.
  3. [Section 4.4, first paragraph] The text reads 'quasi-Lie bialgeboid'; this should be 'quasi-Lie bialgebroid'. Similar typographical inconsistencies between 'bialgebroid' and 'bialgeboid' appear elsewhere.
  4. [Appendix A, proof of Lemma A.2] The notation O(y) is used for sections of two different bundles without specifying that it means terms vanishing at y=0 in the appropriate fiber bundle; a brief clarification would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the integration morphism is constructed from the equivariant Manin pair data and verified directly; known integration theorems are derived as corollaries, not assumed.

full rationale

The central claim (Theorem 3.10) is not fed back as an input. Given a hat-G-equivariant Manin pair (E,A), the paper defines α=(a_E,-pr_{A*}) and β=(ι_A,-a_E*), sets R|M=gr(α)+gr(β), extends by the hat-G x hat-G action, and then verifies the Lagrangian, subgroupoid, Manin-morphism, and bracket-closure properties. Known results such as Mackenzie-Xu, Bursztyn-Crainic-Weinstein-Zhu, and quasi-Lie bialgebroid integrations are presented as consequences of this construction, not assumed in it. Self-citations to [20], [21], and [22] supply background formalism (CA-groupoids, action Courant algebroids) and a historical statement of the source-simply-connected case from the first author's thesis, but the proof of Theorem 3.10 does not rest on those citations; Proposition 3.5 is proved in Appendix B rather than imported. The stated omission in Section 3.5 ('We omit the proof, which is similar to that of Theorem 3.10') and the Appendix A bracket check are completeness or correctness matters—one reviewer even suspects a sign error in eq. (27)—but they do not make the claimed derivation equal to its own hypothesis. No fitted parameter is renamed as a prediction, and no uniqueness theorem from the authors' prior work is invoked to force the construction.

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

The central theorem is a conditional statement: it assumes a \hat G-equivariant Manin pair. Background results from the literature on Courant algebroids, VB-groupoids, and Severa's classification are used as standard tools. No free parameters or invented entities are introduced.

assumptions (4)
  • standard math A Lie algebroid A integrates to a Lie groupoid G, and if integrable, a source-simply connected integration exists.
    Used in the introduction and Theorem 3.10 to set up the jet groupoid \hat G = J^1(G); also invoked in Proposition 3.5.
  • standard math The fat groupoid of the tangent groupoid TG is the jet groupoid J^1(G), with the actions described by Gracia-Saz and Mehta.
    Invoked in Section 2.3 and Appendix B; this defines the \hat G-action on TG and on A.
  • standard math Severa's classification of exact Courant algebroids by closed 3-forms and of exact Courant morphisms by 2-forms.
    Used in Section 4.3 to translate the morphism R into a multiplicative 2-form \omega_G satisfying equations (21)-(23).
  • standard math The representation theory of Lie algebroids and groupoids, including source-simply connected covers of groupoids.
    Used in Appendix B, Proposition B.11, to integrate the jet representation to an action of J^1(G) in the source-simply connected case.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the integration of Manin pairs." pith.science (2026). https://pith.science/paper/63V4FSAJ

@misc{pith2026241117988,
  author       = {Pith},
  title        = {Pith review of: On the integration of Manin pairs},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/63V4FSAJ}},
  note         = {Machine review of arXiv:2411.17988}
}
abstract

It is a remarkable fact that the integrability of a Poisson manifold to a symplectic groupoid depends only on the integrability of its cotangent Lie algebroid $A$: The source-simply connected Lie groupoid $G\rightrightarrows M$ integrating $A$ automatically acquires a multiplicative symplectic 2-form. More generally, a similar result holds for the integration of Lie bialgebroids to Poisson groupoids, as well as in the `quasi' settings of Dirac structures and quasi-Lie bialgebroids. In this article, we will place these results into a general context of Manin pairs $(\mathbb{E},A)$, thereby obtaining a simple geometric approach to these integration results. We also clarify the case where the groupoid $G$ integrating $A$ is not source-simply connected. Furthermore, we obtain a description of Hamiltonian spaces for Poisson groupoids and quasi-symplectic groupoids within this formalism.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 38 canonical work pages

  1. [1]

    Alekseev, H

    A. Alekseev, H. Bursztyn, and E. Meinrenken, Pure spinors on Lie groups , Ast´ erisque327 (2009), 131–199

  2. [2]

    Alekseev and P

    A. Alekseev and P. Xu, Derived brackets and Courant algebroids , Unfinished manuscript (2002)

  3. [3]

    ´Alvarez, Poisson groupoids and moduli spaces of flat bundles over surf aces, Adv

    D. ´Alvarez, Poisson groupoids and moduli spaces of flat bundles over surf aces, Adv. Math. 440 (2024), Paper no. 109523

  4. [4]

    Bursztyn, G

    H. Bursztyn, G. Cavalcanti, and M. Gualtieri, Reduction of Courant algebroids and generalized complex structures, Adv. Math. 211 (2007), no. 2, 726–765

  5. [5]

    Bursztyn, M

    H. Bursztyn, M. Crainic, A. Weinstein, and C. Zhu, Integration of twisted Dirac brackets , Duke Math. J. 123 (2004), no. 3, 549–607

  6. [6]

    Bursztyn, D

    H. Bursztyn, D. Iglesias Ponte, and P. Severa, Courant morphisms and moment maps , Math. Res. Lett. 16 (2009), no. 2, 215–232

  7. [7]

    Cabrera, M

    A. Cabrera, M. Gualtieri, and E. Meinrenken, Dirac geometry of the holonomy fibration , Comm. Math. Phys. 355 (2017), no. 3, 865–904

  8. [8]

    Cattaneo, B

    A. Cattaneo, B. Dherin, and A. Weinstein, Integration of Lie algebroid comorphisms , Port. Math. 70 (2013), no. 2, 113–144

Show all 39 references
  1. [9]

    Coste, P

    A. Coste, P. Dazord, and A. Weinstein, Groupo ¨ ıdes symplectiques, Publications du D´ epartement de Math´ ematiques. Nouvelle S´ erie. A, Vol. 2, Publ. D´ ep. Math. Nouvelle S´ er. A, vol. 87, Univ. Claude-Bernard, Lyon, 1987, pp. i–ii, 1–62

  2. [10]

    Courant, Dirac manifolds , Trans

    T. Courant, Dirac manifolds , Trans. Amer. Math. Soc. 319 (1990), no. 2, 631–661

  3. [11]

    Courant and A

    T. Courant and A. Weinstein, Beyond Poisson structures , Action hamiltoniennes de groupes. Troisi` eme th´ eor` eme de Lie (Lyon, 1986), Travaux en Cours, vol. 27, Hermann, Paris, 1988, pp. 39–49

  4. [12]

    Crainic, R

    M. Crainic, R. Fernandes, and I. Marcut, Lectures on Poisson geometry , Graduate Studies in Mathematics, vol. 217, American Mathematical Society, Providence, RI, [ 2021] ©2021

  5. [13]

    Crainic, M.A

    M. Crainic, M.A. Salazar, and I. Struchiner, Multiplicative forms and Spencer operators , Math. Z. 279 (2015), no. 3-4, 939–979

  6. [14]

    Gracia-Saz and R

    A. Gracia-Saz and R. Mehta, VB -groupoids and representation theory of Lie groupoids , J. Symplectic Geom. 15 (2017), no. 3, 741–783

  7. [15]

    Iglesias-Ponte, C

    D. Iglesias-Ponte, C. Laurent-Gengoux, and P. Xu, Universal lifting theorem and quasi-Poisson groupoids , J. Eur. Math. Soc. (JEMS) 14 (2012), no. 3, 681–731

  8. [16]

    Iglesias-Ponte and P

    D. Iglesias-Ponte and P. Xu, Hamiltonian spaces for Manin pairs over manifolds , Preprint, 2008, https://arxiv.org/pdf/0809.4070

  9. [17]

    M. V. Karas¨ ev, Analogues of objects of the theory of Lie groups for nonlinea r Poisson brackets , Izv. Akad. Nauk SSSR Ser. Mat. 50 (1986), no. 3, 508–538, 638

  10. [18]

    Kosmann-Schwarzbach, Quasi-big` ebres de Lie et groupes de Lie quasi-Poisson , C

    Y. Kosmann-Schwarzbach, Quasi-big` ebres de Lie et groupes de Lie quasi-Poisson , C. R. Acad. Sci. Paris S´ er. I Math.312 (1991), no. 5, 391–394. ON THE INTEGRATION OF MANIN PAIRS 31

  11. [19]

    Math., vol

    , Jacobian quasi-bialgebras and quasi-Poisson Lie groups , Mathematical aspects of classical field theory (Seattle, W A, 1991), Contemp. Math., vol. 132, Amer. Math. Soc., Providence, RI, 1992, pp. 459– 489

  12. [20]

    Li-Bland, LA-Courant algebroids and their applications , Ph.D

    D. Li-Bland, LA-Courant algebroids and their applications , Ph.D. thesis, 2012

  13. [21]

    Li-Bland and E

    D. Li-Bland and E. Meinrenken, Courant algebroids and Poisson geometry , International Mathematics Research Notices 11 (2009), 2106–2145

  14. [22]

    5, 779–816

    , Dirac Lie groups , Asian Journal of Mathematics 18 (2014), no. 5, 779–816

  15. [23]

    Li-Bland and P

    D. Li-Bland and P. ˇSevera, Quasi-Hamiltonian groupoids and multiplicative Manin pai rs, International Mathematics Research Notices 2011 (2011), 2295–2350

  16. [24]

    Z.-J. Liu, A. Weinstein, and P. Xu, Manin triples for Lie bialgebroids , J. Differential Geom. 45 (1997), no. 3, 547–574

  17. [25]

    Mackenzie, General theory of Lie groupoids and Lie algebroids , London Mathematical Society Lecture Note Series, vol

    K. Mackenzie, General theory of Lie groupoids and Lie algebroids , London Mathematical Society Lecture Note Series, vol. 213, Cambridge University Press, Cambrid ge, 2005

  18. [26]

    Mackenzie and P

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

  19. [27]

    3, 445–467

    , Integration of Lie bialgebroids , Topology 39 (2000), no. 3, 445–467

  20. [28]

    Mehta, Q-groupoids and their cohomology , Pacific J

    R. Mehta, Q-groupoids and their cohomology , Pacific J. Math. 242 (2009), no. 2, 311–332

  21. [29]

    Meinrenken, Lectures on pure spinors and moment maps , Poisson geometry in mathematics and physics, Contemp

    E. Meinrenken, Lectures on pure spinors and moment maps , Poisson geometry in mathematics and physics, Contemp. Math., vol. 450, Amer. Math. Soc., Providence, RI, 2008, pp. 199–222

  22. [30]

    Meinrenken, Poisson Geometry from a Dirac perspective , Letters in Mathematical Physics 108 (2018), no

    E. Meinrenken, Poisson Geometry from a Dirac perspective , Letters in Mathematical Physics 108 (2018), no. 3, 447–498

  23. [31]

    , Quotients of double vector bundles and multigraded bundles , J. Geom. Mech. 14 (2022), no. 2, 307–329

  24. [32]

    Ortiz, Multiplicative Dirac structures on Lie groups , C

    C. Ortiz, Multiplicative Dirac structures on Lie groups , C. R. Math. Acad. Sci. Paris 346 (2008), no. 23-24, 1279–1282

  25. [33]

    Roytenberg, Quasi-Lie bialgebroids and twisted Poisson manifolds , Lett.Math.Phys

    D. Roytenberg, Quasi-Lie bialgebroids and twisted Poisson manifolds , Lett.Math.Phys. 61 (2002), 123–137

  26. [34]

    ˇSevera, Letters to Alan Weinstein, 1998-2000 , available at arXiv:1707.00265

    P. ˇSevera, Letters to Alan Weinstein, 1998-2000 , available at arXiv:1707.00265

  27. [35]

    Vysok´ y, Hitchhiker’s guide to Courant algebroid relations , J

    J. Vysok´ y, Hitchhiker’s guide to Courant algebroid relations , J. Geom. Phys. 151 (2020), 103635, 33

  28. [36]

    Weinstein, Symplectic groupoids and Poisson manifolds , Bull

    A. Weinstein, Symplectic groupoids and Poisson manifolds , Bull. Amer. Math. Soc. (N.S.) 16 (1987), no. 1, 101–104

  29. [37]

    , Coisotropic calculus and Poisson groupoids , J. Math. Soc. Japan 40 (1988), no. 4, 705–727

  30. [38]

    Xu, Morita equivalence of Poisson manifolds , Comm

    P. Xu, Morita equivalence of Poisson manifolds , Comm. Math. Phys. 142 (1991), no. 3, 493–509

  31. [39]

    Differential Geom

    , Momentum maps and Morita equivalence , J. Differential Geom. 67 (2004), no. 2, 289–333

Pith tools

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