American Institute of Mathematical Sciences

doi: 10.3934/jgm.2021023
Online First

Online First articles are published articles within a journal that have not yet been assigned to a formal issue. This means they do not yet have a volume number, issue number, or page numbers assigned to them, however, they can still be found and cited using their DOI (Digital Object Identifier). Online First publication benefits the research community by making new scientific discoveries known as quickly as possible.

Readers can access Online First articles via the “Online First” tab for the selected journal.

Transitive double Lie algebroids via core diagrams

 1 Institute for Mathematics, Julius-Maximilians-Universität Würzburg, Germany 2 In memoriam, School of Mathematics and Statistics, The University of Sheffield, United Kingdom

*Corresponding author: Madeleine Jotz Lean

Received  March 2021 Revised  July 2021 Early access August 2021

Fund Project: This research was a joint project with the sadly deceased second author. This paper is dedicated to his memory

The core diagram of a double Lie algebroid consists of the core of the double Lie algebroid, together with the two core-anchor maps to the sides of the double Lie algebroid. If these two core-anchors are surjective, then the double Lie algebroid and its core diagram are called transitive. This paper establishes an equivalence between transitive double Lie algebroids, and transitive core diagrams over a fixed base manifold. In other words, it proves that a transitive double Lie algebroid is completely determined by its core diagram.

The comma double Lie algebroid associated to a morphism of Lie algebroids is defined. If the latter morphism is one of the core-anchors of a transitive core diagram, then the comma double algebroid can be quotiented out by the second core-anchor, yielding a transitive double Lie algebroid, which is the one that is equivalent to the transitive core diagram.

Brown's and Mackenzie's equivalence of transitive core diagrams (of Lie groupoids) with transitive double Lie groupoids is then used in order to show that a transitive double Lie algebroid with integrable sides and core is automatically integrable to a transitive double Lie groupoid.

Citation: Madeleine Jotz Lean, Kirill C. H. Mackenzie. Transitive double Lie algebroids via core diagrams. Journal of Geometric Mechanics, doi: 10.3934/jgm.2021023
References:
 [1] C. A. Abad and M. Crainic, Representations up to homotopy of Lie algebroids, J. Reine Angew. Math., 663 (2012), 91-126.  doi: 10.1515/CRELLE.2011.095.  Google Scholar [2] I. Androulidakis, Crossed modules and the integrability of Lie brackets, preprint, arXiv: math/0501103. Google Scholar [3] R. Brown and K. C. H. Mackenzie, Determination of a double Lie groupoid by its core diagram, J. Pure Appl. Algebra, 80 (1992), 237-272.  doi: 10.1016/0022-4049(92)90145-6.  Google Scholar [4] H. Bursztyn, A. Cabrera and M. del Hoyo, Vector bundles over Lie groupoids and algebroids, Adv. Math., 290 (2016), 163-207.  doi: 10.1016/j.aim.2015.11.044.  Google Scholar [5] A. Cabrera, O. Brahic and C. Ortiz, Obstructions to the integrability of ${\mathcal {V B}}$-algebroids, J. Symplectic Geom., 16 (2018), 439-483.  doi: 10.4310/JSG.2018.v16.n2.a3.  Google Scholar [6] T. Drummond, M. Jotz Lean and C. Ortiz, ${\mathcal {V B}}$-algebroid morphisms and representations up to homotopy, Differential Geom. Appl., 40 (2015), 332-357.  doi: 10.1016/j.difgeo.2015.03.005.  Google Scholar [7] A. Gracia-Saz, M. Jotz Lean, K. C. H. Mackenzie and R. A. Mehta, Double Lie algebroids and representations up to homotopy, J. Homotopy Relat. Struct., 13 (2018), 287-319.  doi: 10.1007/s40062-017-0183-1.  Google Scholar [8] A. Gracia-Saz and R. A. Mehta, Lie algebroid structures on double vector bundles and representation theory of Lie algebroids, Adv. Math., 223 (2010), 1236-1275.  doi: 10.1016/j.aim.2009.09.010.  Google Scholar [9] A. Hatcher, Algebraic Topology, Cambridge University Press, Cambridge, 2002.   Google Scholar [10] E. Hawkins, A groupoid approach to quantization, J. Symplectic Geom., 6 (2008), 61-125.  doi: 10.4310/JSG.2008.v6.n1.a4.  Google Scholar [11] M. Heuer and M. Jotz Lean, Multiple vector bundles: Cores, splittings and decompositions, Theory Appl. Categ., 35 (2020), 665-699.   Google Scholar [12] P. J. Higgins and K. Mackenzie, Algebraic constructions in the category of Lie algebroids, J. Algebra, 129 (1990), 194-230.  doi: 10.1016/0021-8693(90)90246-K.  Google Scholar [13] M. Jotz Lean and C. Ortiz, Foliated groupoids and infinitesimal ideal systems, Indag. Math. (N.S.), 25 (2014), 1019-1053.  doi: 10.1016/j.indag.2014.07.009.  Google Scholar [14] H.-Y. Liao, M. Stiénon and P. Xu, Formality and Kontsevich-Duflo type theorems for Lie pairs, Adv. Math., 352 (2019), 406-482.  doi: 10.1016/j.aim.2019.04.047.  Google Scholar [15] S. Mac Lane, Categories for the Working Mathematician, $2^nd$ edition, Graduate Texts in Mathematics, 5, Springer-Verlag, New York, 1998.  Google Scholar [16] K. C. H. Mackenzie, Double Lie algebroids and the double of a Lie bialgebroid, arXiv: math/9808081. Google Scholar [17] K. C. H. Mackenzie, Double Lie algebroids and second-order geometry. I, Adv. Math., 94 (1992), 180-239.  doi: 10.1016/0001-8708(92)90036-K.  Google Scholar [18] K. C. H. Mackenzie, Double Lie algebroids and second-order geometry. II, Adv. Math., 154 (2000), 46-75.  doi: 10.1006/aima.1999.1892.  Google Scholar [19] K. C. H. Mackenzie, Ehresmann doubles and Drinfel'd doubles for Lie algebroids and Lie bialgebroids, J. Reine Angew. Math., 658 (2011), 193-245.  doi: 10.1515/CRELLE.2011.092.  Google Scholar [20] K. C. H. Mackenzie, General Theory of Lie Groupoids and Lie Algebroids, London Mathematical Society Lecture Note Series, 213, Cambridge University Press, Cambridge, 2005.  doi: 10.1017/CBO9781107325883.  Google Scholar [21] K. C. H. Mackenzie and P. Xu, Integration of Lie bialgebroids, Topology, 39 (2000), 445-467.  doi: 10.1016/S0040-9383(98)00069-X.  Google Scholar [22] E. Meinrenken and J. Pike, The Weil algebra of a double Lie algebroid, Int. Math. Res. Not. IMRN, (2021), 8550–8622. doi: 10.1093/imrn/rnz361.  Google Scholar [23] J. Pradines, Fibres Vectoriels Doubles et Calcul des Jets Non Holonomes, Esquisses Mathématiques [Mathematical Sketches], 29, Université d'Amiens U.E.R. de Mathématiques, Amiens, 1977.  Google Scholar [24] D. Quillen, Superconnections and the Chern character, Topology, 24 (1985), 89-95.  doi: 10.1016/0040-9383(85)90047-3.  Google Scholar [25] L. Stefanini, On morphic actions and integrability of LA-groupoids, preprint, arXiv: 0902.2228. Google Scholar [26] M. Stiénon, L. Vitagliano and P. Xu, ${A}_\infty$-algebras from Lie pairs, work in progress. Google Scholar [27] T. T. Voronov, $Q$-manifolds and Mackenzie theory, Comm. Math. Phys., 315 (2012), 279-310.  doi: 10.1007/s00220-012-1568-y.  Google Scholar

show all references

References:
 [1] C. A. Abad and M. Crainic, Representations up to homotopy of Lie algebroids, J. Reine Angew. Math., 663 (2012), 91-126.  doi: 10.1515/CRELLE.2011.095.  Google Scholar [2] I. Androulidakis, Crossed modules and the integrability of Lie brackets, preprint, arXiv: math/0501103. Google Scholar [3] R. Brown and K. C. H. Mackenzie, Determination of a double Lie groupoid by its core diagram, J. Pure Appl. Algebra, 80 (1992), 237-272.  doi: 10.1016/0022-4049(92)90145-6.  Google Scholar [4] H. Bursztyn, A. Cabrera and M. del Hoyo, Vector bundles over Lie groupoids and algebroids, Adv. Math., 290 (2016), 163-207.  doi: 10.1016/j.aim.2015.11.044.  Google Scholar [5] A. Cabrera, O. Brahic and C. Ortiz, Obstructions to the integrability of ${\mathcal {V B}}$-algebroids, J. Symplectic Geom., 16 (2018), 439-483.  doi: 10.4310/JSG.2018.v16.n2.a3.  Google Scholar [6] T. Drummond, M. Jotz Lean and C. Ortiz, ${\mathcal {V B}}$-algebroid morphisms and representations up to homotopy, Differential Geom. Appl., 40 (2015), 332-357.  doi: 10.1016/j.difgeo.2015.03.005.  Google Scholar [7] A. Gracia-Saz, M. Jotz Lean, K. C. H. Mackenzie and R. A. Mehta, Double Lie algebroids and representations up to homotopy, J. Homotopy Relat. Struct., 13 (2018), 287-319.  doi: 10.1007/s40062-017-0183-1.  Google Scholar [8] A. Gracia-Saz and R. A. Mehta, Lie algebroid structures on double vector bundles and representation theory of Lie algebroids, Adv. Math., 223 (2010), 1236-1275.  doi: 10.1016/j.aim.2009.09.010.  Google Scholar [9] A. Hatcher, Algebraic Topology, Cambridge University Press, Cambridge, 2002.   Google Scholar [10] E. Hawkins, A groupoid approach to quantization, J. Symplectic Geom., 6 (2008), 61-125.  doi: 10.4310/JSG.2008.v6.n1.a4.  Google Scholar [11] M. Heuer and M. Jotz Lean, Multiple vector bundles: Cores, splittings and decompositions, Theory Appl. Categ., 35 (2020), 665-699.   Google Scholar [12] P. J. Higgins and K. Mackenzie, Algebraic constructions in the category of Lie algebroids, J. Algebra, 129 (1990), 194-230.  doi: 10.1016/0021-8693(90)90246-K.  Google Scholar [13] M. Jotz Lean and C. Ortiz, Foliated groupoids and infinitesimal ideal systems, Indag. Math. (N.S.), 25 (2014), 1019-1053.  doi: 10.1016/j.indag.2014.07.009.  Google Scholar [14] H.-Y. Liao, M. Stiénon and P. Xu, Formality and Kontsevich-Duflo type theorems for Lie pairs, Adv. Math., 352 (2019), 406-482.  doi: 10.1016/j.aim.2019.04.047.  Google Scholar [15] S. Mac Lane, Categories for the Working Mathematician, $2^nd$ edition, Graduate Texts in Mathematics, 5, Springer-Verlag, New York, 1998.  Google Scholar [16] K. C. H. Mackenzie, Double Lie algebroids and the double of a Lie bialgebroid, arXiv: math/9808081. Google Scholar [17] K. C. H. Mackenzie, Double Lie algebroids and second-order geometry. I, Adv. Math., 94 (1992), 180-239.  doi: 10.1016/0001-8708(92)90036-K.  Google Scholar [18] K. C. H. Mackenzie, Double Lie algebroids and second-order geometry. II, Adv. Math., 154 (2000), 46-75.  doi: 10.1006/aima.1999.1892.  Google Scholar [19] K. C. H. Mackenzie, Ehresmann doubles and Drinfel'd doubles for Lie algebroids and Lie bialgebroids, J. Reine Angew. Math., 658 (2011), 193-245.  doi: 10.1515/CRELLE.2011.092.  Google Scholar [20] K. C. H. Mackenzie, General Theory of Lie Groupoids and Lie Algebroids, London Mathematical Society Lecture Note Series, 213, Cambridge University Press, Cambridge, 2005.  doi: 10.1017/CBO9781107325883.  Google Scholar [21] K. C. H. Mackenzie and P. Xu, Integration of Lie bialgebroids, Topology, 39 (2000), 445-467.  doi: 10.1016/S0040-9383(98)00069-X.  Google Scholar [22] E. Meinrenken and J. Pike, The Weil algebra of a double Lie algebroid, Int. Math. Res. Not. IMRN, (2021), 8550–8622. doi: 10.1093/imrn/rnz361.  Google Scholar [23] J. Pradines, Fibres Vectoriels Doubles et Calcul des Jets Non Holonomes, Esquisses Mathématiques [Mathematical Sketches], 29, Université d'Amiens U.E.R. de Mathématiques, Amiens, 1977.  Google Scholar [24] D. Quillen, Superconnections and the Chern character, Topology, 24 (1985), 89-95.  doi: 10.1016/0040-9383(85)90047-3.  Google Scholar [25] L. Stefanini, On morphic actions and integrability of LA-groupoids, preprint, arXiv: 0902.2228. Google Scholar [26] M. Stiénon, L. Vitagliano and P. Xu, ${A}_\infty$-algebras from Lie pairs, work in progress. Google Scholar [27] T. T. Voronov, $Q$-manifolds and Mackenzie theory, Comm. Math. Phys., 315 (2012), 279-310.  doi: 10.1007/s00220-012-1568-y.  Google Scholar
The core diagram of a double Lie algebroid
Core diagram of Lie groupoids
The transitive core diagram of a transitive double Lie algebroid
A morphism of core diagrams
The core diagram of align="right"
Square of Lie algebroid morphisms
Setting of Section 5, the transitive core diagram $\mathcal C$
 [1] K. C. H. Mackenzie. Drinfel'd doubles and Ehresmann doubles for Lie algebroids and Lie bialgebroids. Electronic Research Announcements, 1998, 4: 74-87. [2] Santiago Cañez. Double groupoids and the symplectic category. Journal of Geometric Mechanics, 2018, 10 (2) : 217-250. doi: 10.3934/jgm.2018009 [3] Jorge Cortés, Manuel de León, Juan Carlos Marrero, Eduardo Martínez. Nonholonomic Lagrangian systems on Lie algebroids. Discrete & Continuous Dynamical Systems, 2009, 24 (2) : 213-271. doi: 10.3934/dcds.2009.24.213 [4] Víctor Manuel Jiménez Morales, Manuel De León, Marcelo Epstein. Lie groupoids and algebroids applied to the study of uniformity and homogeneity of material bodies. Journal of Geometric Mechanics, 2019, 11 (3) : 301-324. doi: 10.3934/jgm.2019017 [5] Dennise García-Beltrán, José A. Vallejo, Yurii Vorobiev. Lie algebroids generated by cohomology operators. Journal of Geometric Mechanics, 2015, 7 (3) : 295-315. doi: 10.3934/jgm.2015.7.295 [6] Juan Carlos Marrero. Hamiltonian mechanical systems on Lie algebroids, unimodularity and preservation of volumes. Journal of Geometric Mechanics, 2010, 2 (3) : 243-263. doi: 10.3934/jgm.2010.2.243 [7] Eduardo Martínez. Classical field theory on Lie algebroids: Multisymplectic formalism. Journal of Geometric Mechanics, 2018, 10 (1) : 93-138. doi: 10.3934/jgm.2018004 [8] Eduardo Martínez. Higher-order variational calculus on Lie algebroids. Journal of Geometric Mechanics, 2015, 7 (1) : 81-108. doi: 10.3934/jgm.2015.7.81 [9] Leonardo Colombo, David Martín de Diego. Second-order variational problems on Lie groupoids and optimal control applications. Discrete & Continuous Dynamical Systems, 2016, 36 (11) : 6023-6064. doi: 10.3934/dcds.2016064 [10] Marco Zambon, Chenchang Zhu. Distributions and quotients on degree $1$ NQ-manifolds and Lie algebroids. Journal of Geometric Mechanics, 2012, 4 (4) : 469-485. doi: 10.3934/jgm.2012.4.469 [11] Melvin Leok, Diana Sosa. Dirac structures and Hamilton-Jacobi theory for Lagrangian mechanics on Lie algebroids. Journal of Geometric Mechanics, 2012, 4 (4) : 421-442. doi: 10.3934/jgm.2012.4.421 [12] José F. Cariñena, Irina Gheorghiu, Eduardo Martínez. Jacobi fields for second-order differential equations on Lie algebroids. Conference Publications, 2015, 2015 (special) : 213-222. doi: 10.3934/proc.2015.0213 [13] M. P. de Oliveira. On 3-graded Lie algebras, Jordan pairs and the canonical kernel function. Electronic Research Announcements, 2003, 9: 142-151. [14] Benjamin Couéraud, François Gay-Balmaz. Variational discretization of thermodynamical simple systems on Lie groups. Discrete & Continuous Dynamical Systems - S, 2020, 13 (4) : 1075-1102. doi: 10.3934/dcdss.2020064 [15] Adriano Da Silva, Alexandre J. Santana, Simão N. Stelmastchuk. Topological conjugacy of linear systems on Lie groups. Discrete & Continuous Dynamical Systems, 2017, 37 (6) : 3411-3421. doi: 10.3934/dcds.2017144 [16] Franz W. Kamber and Peter W. Michor. Completing Lie algebra actions to Lie group actions. Electronic Research Announcements, 2004, 10: 1-10. [17] Leonardo Colombo. Second-order constrained variational problems on Lie algebroids: Applications to Optimal Control. Journal of Geometric Mechanics, 2017, 9 (1) : 1-45. doi: 10.3934/jgm.2017001 [18] Robert I. McLachlan, Ander Murua. The Lie algebra of classical mechanics. Journal of Computational Dynamics, 2019, 6 (2) : 345-360. doi: 10.3934/jcd.2019017 [19] Yusi Fan, Chenrui Yao, Liangyun Chen. Structure of sympathetic Lie superalgebras. Electronic Research Archive, , () : -. doi: 10.3934/era.2021020 [20] Meera G. Mainkar, Cynthia E. Will. Examples of Anosov Lie algebras. Discrete & Continuous Dynamical Systems, 2007, 18 (1) : 39-52. doi: 10.3934/dcds.2007.18.39

2020 Impact Factor: 0.857

Tools

Article outline

Figures and Tables