The general linear 2-groupoid

From MaRDI portal



Abstract: We deal with the symmetries of a (2-term) graded vector space or bundle. Our first theorem shows that they define a (strict) Lie 2-groupoid in a natural way. Our second theorem explores the construction of nerves for Lie 2-categories, showing that it yields simplicial manifolds if the 2-cells are invertible. Finally, our third and main theorem shows that smooth pseudofunctors into our general linear 2-groupoid classify 2-term representations up to homotopy of Lie groupoids.


A 2-category \(C\) is a category enriched over the category of small categories. It has three levels of structure: objects, arrows between objects, and arrows between arrows or 2-cells, whose collections are denoted by \(C_0\), \(C_1\), \(C_2\) respectively. The letters \(x,y,\dots\) for objects, \(f,g,\dots\) for arrows, and \(\alpha,\beta,\dots\) for 2-cells are used. The arrows and 2-cells between two fixed objects \(x, y\) form a category \(C(y,x)\) with the vertical compositions of the 2-shells. For each triple \(x,y, z\) there is a composition functor \(C(z,y)\times C(y,x)\rightarrow C(z,x)\) satisfying an interchange rule. The organization of the paper is as follows: Sections 2 and 3 review 2-categories and their nerves. Section 4 introduces the notion of a Lie 2-groupoid and compares with other important ones in the literature. Section 5 constructs the fundamental example of the general linear 2-groupoid. Section 6 explores the combinatorics behind the nerve of 2-categories. Section 7 proves the main theorem, realizing representations up to homotopies as maps, with a discussion of further questions and applications.











This page was built for publication: The general linear 2-groupoid

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1719658)