Complexity of quasivariety lattices for varieties of differential groupoids. II

We continue the study of the lattice of quasivarieties of differential groupoids. We suggest a method for constructing differential groupoids from graphs. We prove that, for every variety of differential groupoids, the cardinality of the lattice of subquasivarieties is either finite or equal to 2 ^ω .     

Unbounded pseudodifferential calculus on Lie groupoids

We develop an abstract theory of unbounded longitudinal pseudodifferential calculus on smooth groupoids (also called Lie groupoids) with compact basis. We analyze these operators as unbounded operators acting on Hilbert modules over C^∗(G), and we show in particular that elliptic operators are regular. We construct a scale of Sobolev modules which are the abstract analogues of the ordinary Sobolev spaces, and analyze their properties. Furthermore, we show that complex powers of positive elliptic pseudodifferential operators are still pseudodifferential operators in a generalized sense.     

Non-abelian differentiable gerbes

We study non-abelian differentiable gerbes over stacks using the theory of Lie groupoids. More precisely, we develop the theory of connections on Lie groupoid G-extensions, which we call “connections on gerbes”, and study the induced connections on various associated bundles. We also prove analogues of the Bianchi identities. In particular, we develop a cohomology theory which measures the existence of connections and curvings for G-gerbes over stacks. We also introduce G-central extensions of groupoids, generalizing the standard groupoid S¹-central extensions. As an example, we apply our theory to study the differential geometry of G-gerbes over a manifold.     

Equivalence between the Morita categories of étale Lie groupoids and of locally grouplike Hopf algebroids

Any étale Lie groupoid G is completely determined by its associated convolution algebra C_c^∞(G) equipped with the natural Hopfalgebroid structure. We extend this result to the generalized morphisms between étale Lie groupoids: we show that any principal H-bundle P over G is uniquely determined by the associated C_c^∞(G)-C_c^∞(H)-bimodule C_c^∞(P) equipped with the natural coalgebra structure. Furthermore, we prove that the functor C_c^∞gives an equivalence between the Morita category of étale Lie groupoids and the Morita category of locally grouplike Hopf algebroids.     

Inverse systems of groupoids,with applications to groupoid C⁎-algebras

We define what it means for a proper continuous morphism between groupoids to be Haar system preserving, and show that such a morphism induces (via pullback) a *-morphism between the corresponding convolution algebras. We proceed to provide a plethora of examples of Haar system preserving morphisms and discuss connections to noncommutative CW-complexes and interval algebras. We prove that an inverse system of groupoids with Haar system preserving bonding maps has a limit, and that we get a corresponding direct system of groupoid $C^{?}$-algebras. An explicit construction of an inverse system of groupoids is used to approximate a σ-compact groupoid G by second countable groupoids; if G is equipped with a Haar system and 2-cocycle then so are the approximation groupoids, and the maps in the inverse system are Haar system preserving. As an application of this construction, we show how to easily extend the Maximal Equivalence Theorem of Jean Renault to σ-compact groupoids.     

Reflection groupoids of rank two and cluster algebras of type A

We extend the classification of finite Weyl groupoids of rank two. Then we generalize these Weyl groupoids to ‘reflection groupoids’ by admitting non-integral entries of the Cartan matrices. This leads to the unexpected observation that the spectrum of the cluster algebra of type An−3 completely describes the set of finite reflection groupoids of rank two with 2n objects.     

A generalization of cyclic difference sets I

This is the first of two papers on addition sets. In this paper, the basic properties of addition sets are given. It also contains examples of addition sets arising from natural central groupoids, (0, 1)-matrices satisfying the equation M² = dI+λJ and Nth power residues. Their relationship with difference sets is also explained.     

External derivations of internal groupoids

If H is a G-crossed module, the set of derivations of G in H is a monoid under the Whitehead product of derivations. We interpret the Whitehead product using the correspondence between crossed modules and internal groupoids in the category of groups. Working in the general context of internal groupoids in a finitely complete category, we relate derivations to holomorphisms, translations, affine transformations, and to the embedding category of a groupoid.     

S1-bundles and gerbes over differentiable stacks

We study S¹-bundles and S¹-gerbes over differentiable stacks in terms of Lie groupoids, and construct Chern classes and Dixmier–Douady classes in terms of analogues of connections and curvature. To cite this article: K. Behrend, P. Xu, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Congruence-simplicity of Steinberg algebras of non-Hausdorff ample groupoids over semifields

We investigate the algebra of an ample groupoid, introduced by Steinberg, over a semifield S. In particular, we obtain a complete characterization of congruence-simpleness for Steinberg algebras of second-countable ample groupoids, extending the well-known characterizations when S is a field. We apply our congruence-simplicity results to tight groupoids of inverse semigroup representations associated to self-similar graphs.     

On weaker forms for concepts in theory of topological groupoids

In this paper, we investigate the topologically weak concepts of topological groupoids by giving the concepts of α-topological groupoid and α-topological subgroupoid. Furthermore, we show the role of the density condition to allow α-topological subgroupoid inherited properties from α-topological groupoid and the irresoluteness property for the structure maps in α-topological groupoid is studied. We also give some results about the fibers of α-topological groupoids.     

Commutator theory, action groupoids, and an intrinsic Schreier-Mac Lane extension theorem

Beyond groups of automorphisms in the category Gp of groups and Lie-algebras of derivations in the category K-Lie of Lie algebras, there are structures of internal groupoids (called action groupoids) in both categories. They allow a synthesis of the notion of obstruction to extensions. This leads, in any pointed protomodular category C with split extension classifiers, to a general treatment of non-abelian extensions which can be understood as morphisms in a certain groupoid TorsC.     

Square Integrable Representation of Groupoids

A notion of an irreducible representation, as well as of a square integrable representation on an arbitrary locally compact groupoid, is introduced. A generalization of a version of Schur＇s lemma on a locally compact groupoid is given. This is used in order to extend some well-known results from locally compact groups to the case of locally compact groupoids. Indeed, we have proved that if L is a continuous irreducible representation of a compact groupoid G defined by a continuous Hilbert bundle H = （Hu）u∈G^0, then each Hu is finite dimensional. It is also shown that if L is an irreducible representation of a principal locally compact groupoid defined by a Hilbert bundle （G^0, （Hu）,μ）, then dimHu = 1 （u ∈ G^0）. Furthermore it is proved that every square integrable representation of a locally compact groupoid is unitary equivalent to a subrepresentation of the left regular representation. Furthermore, for r-discrete groupoids, it is shown that every irreducible subrepresentation of the left regular representation is square integrable.     

Groupoids with the identity defining the commutative Moufang loops

It is known that in the class of loops the identity xy · xz = x ² · yz defines the commutative Moufang loops. In the article, we consider groupoids with this identity and establish properties of some classes of such groupoids.     

The H-covariant strong Picard groupoid

The notion of H-covariant strong Morita equivalence is introduced for ^*-algebras over C=R(i) with an ordered ring R which are equipped with a ^*-action of a Hopf ^*-algebra H. This defines a corresponding H-covariant strong Picard groupoid which encodes the entire Morita theory. Dropping the positivity conditions one obtains H-covariant ^*-Morita equivalence with its H-covariant ^*-Picard groupoid. We discuss various groupoid morphisms between the corresponding notions of the Picard groupoids. Moreover, we realize several Morita invariants in this context as arising from actions of the H-covariant strong Picard groupoid. Crossed products and their Morita theory are investigated using a groupoid morphism from the H-covariant strong Picard groupoid into the strong Picard groupoid of the crossed products.     

Amalgamation functors and boundary properties in simple theories

This paper continues the study of generalized amalgamation properties begun in [1], [2], [3], [5] and [6]. Part of the paper provides a finer analysis of the groupoids that arise from failure of 3-uniqueness in a stable theory. We show that such groupoids must be abelian and we link the binding group of the groupoids to a certain automorphism group of the monster model, showing that the group must be abelian as well. We also study connections between n-existence and n-uniqueness properties for various “dimensions” n in the wider context of simple theories. We introduce a family of weaker existence and uniqueness properties. Many of these properties did appear in the literature before; we give a category-theoretic formulation and study them systematically. Finally, we give examples of first-order simple unstable theories showing, in particular, that there is no straightforward generalization of the groupoid construction in an unstable context.     

Functoriality of the Bimodule Associated to a Hilsum–Skandalis Map

We extend the functoriality of the Connes convolution algebra to the category of Hilsum–Skandalis maps between separated smooth étale groupoids. Thereby we establish that Morita equivalent separated smooth étale groupoids have Morita equivalent convolution algebras, analogously to the results of Muhly, Renault and Williams, and others, on the C^*algebras of Morita equivalent groupoids.     

Diagonal-preserving ring ⁎-isomorphisms of Leavitt path algebras

The graph groupoids of directed graphs E and F are topologically isomorphic if and only if there is a diagonal-preserving ring ?-isomorphism between the Leavitt path algebras of E and F.     

On the de Rham cohomology of differential and algebraic stacks

We introduce the notion of cofoliation on a stack. A cofoliation is a change of the differentiable structure which amounts to giving a full representable smooth epimorphism. Cofoliations are uniquely determined by their associated Lie algebroids.Cofoliations on stacks arise from flat connections on groupoids. Connections on groupoids generalize connections on gerbes and bundles in a natural way. A flat connection on a groupoid is an integrable distribution of the morphism space compatible with the groupoid structure and complementary to both source and target fibres. A cofoliation of a stack determines the flat groupoid up to étale equivalence.We show how a cofoliation on a stack gives rise to a refinement of the Hodge to De Rham spectral sequence, where the E₁-term consists entirely of vector bundle valued cohomology groups.Our theory works for differentiable, holomorphic and algebraic stacks.