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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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)
- [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.
- [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 α.
- [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.
- [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
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
assumptions (4)
- standard math A Lie algebroid A integrates to a Lie groupoid G, and if integrable, a source-simply connected integration exists.
- 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.
- standard math Severa's classification of exact Courant algebroids by closed 3-forms and of exact Courant morphisms by 2-forms.
- standard math The representation theory of Lie algebroids and groupoids, including source-simply connected covers of groupoids.
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.
Reference graph
Works this paper leans on
-
[1]
A. Alekseev, H. Bursztyn, and E. Meinrenken, Pure spinors on Lie groups , Ast´ erisque327 (2009), 131–199
work page 2009
-
[2]
A. Alekseev and P. Xu, Derived brackets and Courant algebroids , Unfinished manuscript (2002)
work page 2002
-
[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
work page 2024
-
[4]
H. Bursztyn, G. Cavalcanti, and M. Gualtieri, Reduction of Courant algebroids and generalized complex structures, Adv. Math. 211 (2007), no. 2, 726–765
work page 2007
-
[5]
H. Bursztyn, M. Crainic, A. Weinstein, and C. Zhu, Integration of twisted Dirac brackets , Duke Math. J. 123 (2004), no. 3, 549–607
work page 2004
-
[6]
H. Bursztyn, D. Iglesias Ponte, and P. Severa, Courant morphisms and moment maps , Math. Res. Lett. 16 (2009), no. 2, 215–232
work page 2009
-
[7]
A. Cabrera, M. Gualtieri, and E. Meinrenken, Dirac geometry of the holonomy fibration , Comm. Math. Phys. 355 (2017), no. 3, 865–904
work page 2017
-
[8]
A. Cattaneo, B. Dherin, and A. Weinstein, Integration of Lie algebroid comorphisms , Port. Math. 70 (2013), no. 2, 113–144
work page 2013
Show all 39 references
-
[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
1987
-
[10]
Courant, Dirac manifolds , Trans
T. Courant, Dirac manifolds , Trans. Amer. Math. Soc. 319 (1990), no. 2, 631–661
1990
-
[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
1986
-
[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
2021
-
[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
2015
-
[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
2017
-
[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
2012
-
[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
2008 arXiv
-
[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
1986
-
[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
1991
-
[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
1991
-
[20]
Li-Bland, LA-Courant algebroids and their applications , Ph.D
D. Li-Bland, LA-Courant algebroids and their applications , Ph.D. thesis, 2012
2012
-
[21]
Li-Bland and E
D. Li-Bland and E. Meinrenken, Courant algebroids and Poisson geometry , International Mathematics Research Notices 11 (2009), 2106–2145
2009
-
[22]
5, 779–816
, Dirac Lie groups , Asian Journal of Mathematics 18 (2014), no. 5, 779–816
2014
-
[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
2011
-
[24]
Z.-J. Liu, A. Weinstein, and P. Xu, Manin triples for Lie bialgebroids , J. Differential Geom. 45 (1997), no. 3, 547–574
1997
-
[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
2005
-
[26]
Mackenzie and P
K. Mackenzie and P. Xu, Lie bialgebroids and Poisson groupoids , Duke Math. J. 73 (1994), no. 2, 415–452
1994
-
[27]
3, 445–467
, Integration of Lie bialgebroids , Topology 39 (2000), no. 3, 445–467
2000
-
[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
2009
-
[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
2008
-
[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
2018
-
[31]
, Quotients of double vector bundles and multigraded bundles , J. Geom. Mech. 14 (2022), no. 2, 307–329
2022
-
[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
2008
-
[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
2002
-
[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
1998 arXiv
-
[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
2020
-
[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
1987
-
[37]
, Coisotropic calculus and Poisson groupoids , J. Math. Soc. Japan 40 (1988), no. 4, 705–727
1988
-
[38]
Xu, Morita equivalence of Poisson manifolds , Comm
P. Xu, Morita equivalence of Poisson manifolds , Comm. Math. Phys. 142 (1991), no. 3, 493–509
1991
-
[39]
Differential Geom
, Momentum maps and Morita equivalence , J. Differential Geom. 67 (2004), no. 2, 289–333
2004
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.