Some constructions on ω-groupoids

Weak ω-groupoids are the higher dimensional generalisation of setoids and are an essential ingredient of the construc- tive semantics of Homotopy Type Theory [10]. Following up on our previous formalisation [3] and Brunerie’s notes [5], we present a new formalisation of the syntax of weak ω- groupoids in Agda using heterogeneous equality. We show how to recover basic constructions on ω-groupoids using sus- pension and replacement. In particular we show that any type forms a groupoid and we outline how to derive higher dimensional composition. We present a possible semantics using globular sets and discuss the issues which arise when using globular types instead

Double Groupoids, Orbifolds, and the Symplectic Category

Motivated by an attempt to better understand the notion of a symplectic stack, we introduce the notion of a symplectic hopfoid, which should be thought of as the analog of a groupoid in the so-called symplectic category. After reviewing some foundational material on canonical relations and this category, we show that symplectic hopfoids provide a characterization of symplectic double groupoids in these terms. Then, we show how such structures may be used to produce examples of symplectic orbifolds, and conjecture that all symplectic orbifolds arise via a similar construction. The symplectic structures on the orbifolds produced arise naturally from the use of canonical relations. The characterization of symplectic double groupoids mentioned above is made possible by an observation which provides various ways of realizing the core of a symplectic double groupoid as a symplectic quotient of the total space, and includes as a special case a result of Zakrzewski concerning Hopf algebra objects in the symplectic category. This point of view also leads to a new proof that the core of a symplectic double groupoid itself inherits the structure of a symplectic groupoid. Similar constructions work more generally for any double Lie groupoid---producing what we call a Lie hopfoid---and we describe the sense in which a version of the "cotangent functor" relates such hopfoid structures.Comment: UC Berkeley Ph.D. thesis; 101 page

From double Lie groupoids to local Lie 2-groupoids

We apply the bar construction to the nerve of a double Lie groupoid to obtain a local Lie 2-groupoid. As an application, we recover Haefliger's fundamental groupoid from the fundamental double groupoid of a Lie groupoid. In the case of a symplectic double groupoid, we study the induced closed 2-form on the associated local Lie 2-groupoid, which leads us to propose a definition of a symplectic 2-groupoid.Comment: 23 pages, a few minor changes, including a correction to Lemma 6.

Equivariant cohomology over Lie groupoids and Lie-Rinehart algebras

Using the language and terminology of relative homological algebra, in particular that of derived functors, we introduce equivariant cohomology over a general Lie-Rinehart algebra and equivariant de Rham cohomology over a locally trivial Lie groupoid in terms of suitably defined monads (also known as triples) and the associated standard constructions. This extends a characterization of equivariant de Rham cohomology in terms of derived functors developed earlier for the special case where the Lie groupoid is an ordinary Lie group, viewed as a Lie groupoid with a single object; in that theory over a Lie group, the ordinary Bott-Dupont-Shulman-Stasheff complex arises as an a posteriori object. We prove that, given a locally trivial Lie groupoid G and a smooth G-manifold f over the space B of objects of G, the resulting G-equivariant de Rham theory of f boils down to the ordinary equivariant de Rham theory of a vertex manifold relative to the corresponding vertex group, for any vertex in the space B of objects of G; this implies that the equivariant de Rham cohomology introduced here coincides with the stack de Rham cohomology of the associated transformation groupoid whence this stack de Rham cohomology can be characterized as a relative derived functor. We introduce a notion of cone on a Lie-Rinehart algebra and in particular that of cone on a Lie algebroid. This cone is an indispensable tool for the description of the requisite monads.Comment: 47 page

Fell bundles and imprimitivity theorems

Our goal in this paper and two sequels is to apply the Yamagami-Muhly-Williams equivalence theorem for Fell bundles over groupoids to recover and extend all known imprimitivity theorems involving groups. Here we extend Raeburn's symmetric imprimitivity theorem, and also, in an appendix, we develop a number of tools for the theory of Fell bundles that have not previously appeared in the literature.Comment: minor change