Abstract
We give a direct, explicit and self-contained construction of a local Lie groupoid integrating a given Lie algebroid which only depends on the choice of a spray vector field lifting the underlying anchor map. This construction leads to a complete account of local Lie theory and, in particular, to a finite-dimensional proof of the fact that the category of germs of local Lie groupoids is equivalent to that of Lie algebroids.
Funding statement: Ioan Mărcuţ was supported by the NWO Veni grant 613.009.031 and the NSF grant DMS 14-05671. María Amelia Salazar was a Post-Doctorate at IMPA during part of this project, funded by CAPES-Brazil. Alejandro Cabrera would like to thank CNPq and FAPERJ for financial support.
A Differentiating integrated cochains
In this appendix, we consider the differentiation of the local Lie groupoid cochains obtained by integration through the map Ψ defined in Section 2.5. The main result is Lemma A.1 which is used in the proof of item (ii) of Proposition 2.10.
Following the notation of Section 2.5, let
Let us fix composable arrows
By using the relations
where
Applying (A.2), we can compute
where
thus, we have
Before stating the general inductive result, let us compute one more derivative fixing elements
where we have relabeled the integration variables. Using (A.2) we compute
The key step for recognizing an inductive structure in our computation is to note that (recall that M is identified with the unit section)
for any small composable string
for any
we have
from which
Continuing by induction, we obtain the following:
Lemma A.1.
For
where
Proof.
We will consider an induction over
To use (A.6) on the right-hand side above, let us introduce the following notation:
and
By using (A.1), it follows that
and that
Using these to compute (A.7) gives
Applying (A.5), we get
The lemma thus follows
by noticing that
Acknowledgements
The authors would like to thank Marius Crainic, Pedro Frejlich, Rui Loja Fernandes, Marco Gualtieri, Eckhard Meinrenken and Daniele Sepe for useful discussions, and the anonymous referee for their careful reading and suggestions.
References
[1] R. Almeida and P. Molino, Suites d’Atiyah et feuilletages transversalement complets, C. R. Acad. Sci. Paris Sér. I Math. 300 (1985), no. 1, 13–15. Search in Google Scholar
[2] A. Cabrera, I. Mărcuţ and M. A. Salazar, Explicit formulas for multiplicative objects near the identities, in preparation. Search in Google Scholar
[3] A. Coste, P. Dazord and A. Weinstein, Groupoïdes symplectiques, Publications du Département de Mathématiques. Nouvelle Série. A, Vol. 2, Publ. Dép. Math. Nouvelle Sér. A 87, Université Claude-Bernard, Lyon (1987), 1–62. Search in Google Scholar
[4] M. Crainic, Differentiable and algebroid cohomology, van Est isomorphisms, and characteristic classes, Comment. Math. Helv. 78 (2003), no. 4, 681–721. 10.1007/s00014-001-0766-9Search in Google Scholar
[5] M. Crainic and R. L. Fernandes, Integrability of Lie brackets, Ann. of Math. (2) 157 (2003), no. 2, 575–620. 10.4007/annals.2003.157.575Search in Google Scholar
[6] J. J. Duistermaat and J. A. C. Kolk, Lie groups, Universitext, Springer, Berlin 2000. 10.1007/978-3-642-56936-4Search in Google Scholar
[7] R. L. Fernandes, Lie algebroids, holonomy and characteristic classes, Adv. Math. 170 (2002), no. 1, 119–179. 10.1006/aima.2001.2070Search in Google Scholar
[8] R. L. Fernandes and I. Struchiner, The classifying Lie algebroid of a geometric structure I: Classes of coframes, Trans. Amer. Math. Soc. 366 (2014), no. 5, 2419–2462. 10.1090/S0002-9947-2014-05973-4Search in Google Scholar
[9] P. J. Higgins and K. Mackenzie, Algebraic constructions in the category of Lie algebroids, J. Algebra 129 (1990), no. 1, 194–230. 10.1016/0021-8693(90)90246-KSearch in Google Scholar
[10] D. Li-Bland and E. Meinrenken, On the van Est homomorphism for Lie groupoids, Enseign. Math. 61 (2015), no. 1–2, 93–137. 10.4171/LEM/61-1/2-5Search in Google Scholar
[11] K. C. H. Mackenzie, General theory of Lie groupoids and Lie algebroids, London Math. Soc. Lecture Note Ser. 213, Cambridge University Press, Cambridge 2005. 10.1017/CBO9781107325883Search in Google Scholar
[12] J. Pradines, Théorie de Lie pour les groupoïdes différentiables. Relations entre propriétés locales et globales, C. R. Acad. Sci. Paris Sér. A-B 263 (1966), A907–A910. Search in Google Scholar
[13] J. Pradines, Théorie de Lie pour les groupoïdes différentiables. Calcul différenetiel dans la catégorie des groupoïdes infinitésimaux, C. R. Acad. Sci. Paris Sér. A-B 264 (1967), A245–A248. Search in Google Scholar
[14] J. Pradines, Troisième théorème de Lie les groupoïdes différentiables, C. R. Acad. Sci. Paris Sér. A-B 267 (1968), A21–A23. Search in Google Scholar
[15] W. T. van Est, Rapport sur les S-atlas, Astérisque (1984), no. 116, 235–292. Search in Google Scholar
[16] A. Weinstein and P. Xu, Extensions of symplectic groupoids and quantization, J. reine angew. Math. 417 (1991), 159–189. 10.1515/crll.1991.417.159Search in Google Scholar
[17] O. Yudilevich, The role of the Jacobi identity in solving the Maurer–Cartan structure equation, Pacific J. Math. 282 (2016), no. 2, 487–510. 10.2140/pjm.2016.282.487Search in Google Scholar
© 2021 Walter de Gruyter GmbH, Berlin/Boston