Related papers: The general linear 2-groupoid
We extend the calculus of multiplicative vector fields and differential forms and their intrinsic derivatives from Lie groups to Lie groupoids; this generalization turns out to include also the classical process of complete lifting from…
By a 2-group we mean a groupoid equipped with a weakened group structure. It is called split when it is equivalent to the semidirect product of a discrete 2-group and a one-object 2-group. By a permutation 2-group we mean the 2-group…
We give a generalization of the theory of $\mathbb{Z}_2$-graded manifolds to a theory of $\mathcal{I}$-graded manifolds, where $\mathcal{I}$ is a commutative semi-ring with some additional properties. We prove Batchelor's theorem in this…
Let C be a smooth projective complex curve of genus at least 2. For a simply-connected complex Lie group G the vector space of global sections H^0(M(G), L^l) of the l-th power of the ample generator L of the Picard group of the moduli stack…
We show that general relativity can be viewed as a higher gauge theory involving a categorical group, or 2-group, called the teleparallel 2-group. On any semi-Riemannian manifold M, we first construct a principal 2-bundle with the Poincare…
An arbitrary Lie groupoid gives rise to a groupoid of germs of local diffeomorphisms over its base manifold, known as its effect. The effect of any bundle of Lie groups is trivial. All quotients of a given Lie groupoid determine the same…
The nerve theorem is a basic result of algebraic topology that plays a central role in computational and applied aspects of the subject. In topological data analysis, one often needs a nerve theorem that is functorial in an appropriate…
We describe how Lie groupoids are used in singular analysis, index theory and non-commutative geometry and give a brief overview of the theory. We also expose groupoid proofs of the Atiyah-Singer index theorem and discuss the Baum-Connes…
We prove injectivity and a support theorem for the X-ray transform on $2$-step nilpotent Lie groups with many totally geodesic $2$-dimensional flats. The result follows from a general reduction principle for manifolds with uniformly…
We explore various aspects of 2-form topological gauge theories in (3+1)d. These theories can be constructed as sigma models with target space the second classifying space $B^2G$ of the symmetry group $G$, and they are classified by…
A stratified space is a kind of topological space together with a partition into smooth manifolds. These kinds of spaces naturally arise in the study of singular algebraic varieties, symplectic reduction, and differentiable stacks. In this…
We discuss two sorts of generalization of Lie groupoids. One is Lie $n$-groupoids defined as simplicial manifolds with trivial $\pi_{k\geq n+1}$. The other is the stacky Lie groupoid $\cG\rra M$ with $\cG$ a differentiable stack. We build…
In projective space over fields of characteristic different from 2, the normal bundle of a general nondegenerate rational curve is balanced. The corresponding statement for rational curves in other Grassmannians can fail. Nevertheless, we…
For a smooth (locally trivial) principal bundle in Ehresmann's sense, the relation between the commuting vertical and horizontal actions of the structural Lie group and the structural Lie groupoid (isomorphisms between vertical fibers) is…
A "2-group" is a category equipped with a multiplication satisfying laws like those of a group. Just as groups have representations on vector spaces, 2-groups have representations on "2-vector spaces", which are categories analogous to…
Motivated by topological quantum field theory, we investigate the geometric aspects of unitary 2-representations of finite groups on 2-Hilbert spaces, and their 2-characters. We show how the basic ideas of geometric quantization are…
For most models of $(\infty,2)$-categories an embedding of the $\infty$-category of 2-categories into that of $(\infty,2)$-categories has been constructed in the form of a nerve construction of some flavor. We prove that all those nerve…
We formulate a tropical analogue of Grothendieck's section conjecture: that for every stable graph G of genus g>2, and every field k, the generic curve with reduction type G over k satisfies the section conjecture. We prove many cases of…
In the sixties, Grothendieck developed the theory of pro-objects over a category. The fundamental property of the category $Pro(C)$ is that there is an embedding $C \stackrel{c}{\rightarrow} Pro(C)$, $Pro(C)$ is closed under small…
We construct a graded Lie algebra $\mathcal{E}$ in which the Maurer-Cartan equation is equivalent to the vacuum Einstein equations. The gauge groupoid is the groupoid of rank 4 real vector bundles with a conformal inner product, over a…