zbMATH — the first resource for mathematics

Double Lie algebroids and second-order geometry. I. (English) Zbl 0765.57025
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.

57R99 Differential topology
55R99 Fiber spaces and bundles in algebraic topology
53C99 Global differential geometry
58A99 General theory of differentiable manifolds
Full Text: DOI
[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, () · 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] {\scR. Brown and K. C. H. Mackenzie}, Determination of a double Lie groupoid by its core diagram, J. Pure Appl. Algebra, in press. · Zbl 0766.22001
[5] {\scA. Coste, P. Dazord, and A. Weinstein}, “Groupoïdes symplectiques,” Publications du Département de Mathématiques de l’Université de Lyon I, 2/A-1987. · Zbl 0668.58017
[6] Drinfel’d, V.G, Quantum groups, () · 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, (), 194-207
[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, () · 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, (), 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, (), 291-311
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.