Double Lie algebroids and second-order geometry. I. (English) Zbl 0765.57025

Mackenzie, Kirill C. H.

Adv. Math. 94, No. 2, 180-239 (1992).

From the author’s introduction: This is the first part of a two-part paper, the purpose of which is to show that the algebra of double groupoids — the algebra of squares, to paraphrase R. Brown and P. J. Higgins [J. Pure Appl. Algebra 21, 233-260 (1981; Zbl 0468.55007)] — underlies a possible second-order geometry in the same way that parallel translation or path lifting — the algebra of paths – - underlies first-order geometry. Here we are regarding the basic object of interest in geometry as, for example, a metric or, more generally, a \(G\)-structure or, more generally still, an abstract principal bundle. It was shown by us [Lie groupoids and Lie algebroids in differential geometry (Lond. Math. Soc. Lect. Note Ser. 124) (1987; Zbl 0683.53029)], following work of J. Pradines, that standard connection theory may be deduced from the Lie theory of (locally trivial) Lie groupoids and (transitive) Lie algebroids: Lie groupoids are a generalization of principal bundles which permit an analogy with Lie groups, and imitating the construction of the Lie algebra of a Lie group yields a first-order invariant, the Lie algebroid, which may be identified, for a Lie groupoid corresponding to a principal bundle, with the Atiyah sequence of the bundle. One can then show, for example, that the correspondence between Lie subgroupoids and Lie subalgebroids (with suitable connectivity and transitivity assumptions) includes the Ambrose-Singer and Reduction theorems of connection theory (see the author, op. cit. for a full account of these matters and further references).
In this paper we develop a corresponding Lie theory for double Lie groupoids. In Section 1 we give background material on double vector bundles and their cores; this is intended as an introduction to the core structure of double groupoids, which is recalled in the first part of Section 2. The second part of Section 2 describes the double groupoid structure of a double Lie group, and shows that all vacant double groupoids arise from situations of this type. Section 3 treats the case of vacant double Lie groupoids whose side groupoids are equivalence relations — the affinoids [A. Weinstein, Int. J. Math. 1, 343-360 (1990; Zbl 0725.58014)], or pregroupoids [A. Kock, Lect. Notes Math. 1348, 194-207 (1988; Zbl 0657.18007)] — and shows that they are equivalent to principal bundles with structure Lie groupoid, and to the butterfly diagrams of J. Pradines [“Lois d’action principales conjugées”, Manuscrit inéditée, 1977]. Section 4 introduces \({\mathcal{LA}}\)-groupoids, calculating the \({\mathcal{LA}}\)-groupoids of basic examples of double Lie groupoids, and showing that vacant \({\mathcal{LA}}\)- groupoids are determined by a pair of actions which satisfy differentiated forms of those required for a vacant double Lie groupoid. Section 5 defines the core diagram of suitable \({\mathcal{LA}}\)-groupoids and shows that in the presence of appropriate transitivity conditions, an \({\mathcal{LA}}\)-groupoid can be reconstructed from its core diagram. From this it follows that suitable connections in a transitive \({\mathcal{LA}}\)- groupoid are determined by their restriction to the core.

Reviewer: M.Craioveanu (Timişoara)

MSC:

57R99	Differential topology
55R99	Fiber spaces and bundles in algebraic topology
53C99	Global differential geometry
58A99	General theory of differentiable manifolds

Keywords:

algebra of double groupoids; second-order geometry; \(G\)-structure; principal bundle; Lie groupoids; Lie algebroid; Atiyah sequence; double Lie groupoids; double vector bundles; core structure; vacant double Lie groupoids; affinoids; pregroupoids; connections

Citations:

Zbl 0468.55007; Zbl 0683.53029; Zbl 0725.58014; Zbl 0657.18007

References:

[1]	Almeida, R.; Molino, P., Suites d’Atiyah et feuilletages transversalements complets, C.R. Acad. Sci. Paris Sér. I Math., 300, 13-15 (1985) · Zbl 0582.57015
[2]	Besse, A. L., Manifolds all of whose geodesics are closed, (Ergebnisse der Mathematik und ihrer Grenzgebiete, Vol. 93 (1978), Springer-Verlag: Springer-Verlag Berlin) · Zbl 0387.53010
[3]	Brown, R.; Higgins, P. J., On the algebra of cubes, J. Pure Appl. Algebra, 21, 233-260 (1981) · Zbl 0468.55007
[4]	R. Brown and K. C. H. MackenzieJ. Pure Appl. Algebra; R. Brown and K. C. H. MackenzieJ. Pure Appl. Algebra · Zbl 0766.22001
[5]	A. Coste, P. Dazord, and A. Weinstein; A. Coste, P. Dazord, and A. Weinstein · Zbl 0668.58017
[6]	Drinfel’d, V. G., Quantum Groups, (Proc. Int. Congress Math. Proc. Int. Congress Math, Berkeley, 1986 (1987), Amer. Math. Soc: Amer. Math. Soc Providence, RI) · Zbl 0641.16006
[7]	Higgins, P. J.; Mackenzie, K., Algebraic constructions in the category of Lie algebroids, J. Algebra, 129, 194-230 (1990) · Zbl 0696.22007
[8]	Higgins, P. J.; Mackenzie, K. C.H, Fibrations and quotients of differentiable groupoids, J. London Math. Soc., 42, 101-110 (1990) · Zbl 0714.57019
[9]	Huebschmann, J., Poisson algebras and quantization, J. Reine Angew. Math., 408, 57-113 (1990) · Zbl 0699.53037
[10]	Kock, A., Generalized fibre bundles, (Borceux, F., Categorical Algebra and Its Applications. Categorical Algebra and Its Applications, Lecture Notes in Mathematics, Vol. 1348 (1988), Springer-Verlag: Springer-Verlag Berlin), 194-207 · Zbl 0657.18007
[11]	Kosmann-Schwarzbach, Y.; Magri, F., Poisson-Lie groups and complete integrability, I, Ann. Inst. H. Poincaré, 49, 433-460 (1988) · Zbl 0667.16005
[12]	Lu, J.-H; Weinstein, A., Poisson Lie groups, dressing transformations and Bruhat decompositions, J. Differential Geom., 31, 501-526 (1990) · Zbl 0673.58018
[13]	Lu, J.-H; Weinstein, A., Groupoïdes symplectiques doubles des groupes de Lie-Poisson, C. R. Acad. Sci. Paris Sér. I Math., 309, 951-954 (1989) · Zbl 0701.58025
[14]	Mackenzie, K., Lie groupoids and Lie algebroids in differential geometry, (London Mathematical Society Lecture Note Series, Vol. 124 (1987), Cambridge Univ. Press: Cambridge Univ. Press Cambridge) · Zbl 0683.53029
[15]	Mackenzie, K., On extensions of principal bundles, Ann. Global Anal. Geom., 6, No. 2, 141-163 (1988) · Zbl 0627.55010
[16]	Majid, S. H., Matched pairs of Lie groups associated to solutions of the Yang-Baxter equations, Pacific J. Math., 141, No. 2, 311-332 (1990) · Zbl 0735.17017
[17]	Pradines, J., Fibrés vectoriels doubles et calculs des jets non holonomes, (Notes polycopiées (1974)), Amiens · Zbl 0285.58003
[18]	Pradines, J., Représentation des jets non holonomes par des morphismes vectoriels doubles soudés, C. R. Acad. Sci. Paris Sér. A, 278, 1523-1526 (1974) · Zbl 0285.58002
[19]	Pradines, J., Suites exactes vectorielles doubles et connexions, C. R. Acad. Sci. Paris Sér. A, 278, 1587-1590 (1974) · Zbl 0285.58004
[20]	Pradines, J., Lois d’action principales conjugées (1977), Manuscrit inéditée
[21]	Pradines, J., Quotients de groupoïdes différentiables, C. R. Acad. Sci. Paris Sér. I Math., 303, 817-820 (1986) · Zbl 0606.57020
[22]	Pradines, J., Remarque sur le groupoïde cotangent de Weinstein-Dazord, C. R. Acad. Sci. Paris Sér. I Math., 306, 557-560 (1988) · Zbl 0659.18009
[23]	Weinstein, A., Coisotropic calculus and Poisson groupoids, J. Math. Soc. Japan, 40, 705-727 (1988) · Zbl 0642.58025
[24]	Weinstein, A., Affine Poisson structures, Internat. J. Math., 1, 343-360 (1990) · Zbl 0725.58014
[25]	Xu, P., Morita equivalent symplectic groupoids, (Dazord, P.; Weinstein, A., Symplectic Geometry, Groupoids, and Integrable Systems. Symplectic Geometry, Groupoids, and Integrable Systems, MSRI Publications, No. 20 (1991), Springer-Verlag: Springer-Verlag New York), 291-311 · Zbl 0733.58013