Varieties of idempotent slim groupoids

Idempotent slim groupoids are groupoids satisfying xx ≈ x and x(yz) ≈ xz. We prove that the variety of idempotent slim groupoids has uncountably many subvarieties. We find a four-element, inherently nonfinitely based idempotent slim groupoid; the variety generated by this groupoid has only finitely many subvarieties. We investigate free objects in some varieties of idempotent slim groupoids determined by permutational equations. The work is a part of the research project MSM0021620839 financed by MSMT and partly supported by the Grant Agency of the Czech Republic, grant #201/05/0002.     

Automorphisms and Homotopies of Groupoids and Crossed Modules

This paper is concerned with the algebraic structure of groupoids and crossed modules of groupoids. We describe the group structure of the automorphism group of a finite connected groupoid C as a quotient of a semidirect product. We pay particular attention to the conjugation automorphisms of C, and use these to define a new notion of groupoid action. We then show that the automorphism group of a crossed module of groupoids C\mathcal{C}, in the case when the range groupoid is connected and the source group totally disconnected, may be determined from that of the crossed module of groups C_u\mathcal{C}_u formed by restricting to a single object u. Finally, we show that the group of homotopies of C\mathcal{C} may be determined once the group of regular derivations of C_u\mathcal{C}_u is known.     

Zappa–Szép product groupoids and $$C^*$$-blends

We study the external and internal Zappa–Szép product of topological groupoids. We show that under natural continuity assumptions the Zappa–Szép product groupoid is étale if and only if the individual groupoids are étale. In our main result we show that the \(C^*\)-algebra of a locally compact Hausdorff étale Zappa–Szép product groupoid is a \(C^*\)-blend, in the sense of Exel, of the individual groupoid \(C^*\)-algebras. We finish with some examples, including groupoids built from \(*\)-commuting endomorphisms, and skew product groupoids.     

Some (2,n) combinatorial Stein groupoids

A Stein groupoid (quasigroup) is a groupoid (quasigroup) satisfying the identityx(xy)=yx. We show that, for certain two variable identities, the variety of Stein groupoids defined by any one of these identities has the properties that every groupoid in the variety is a quasigroup and that the free groupoid generated by two elements is of finite (small) order which we determine. These results provide characterizations of some Stein quasigroups of small order and we give some further characterizations involving other identities.     

The variety generated by equivalence algebras

Every equivalence relation can be made into a groupoid with the same underlying set if we define the multiplication as follows: xy = x if x,y are related; otherwise, xy = y. The groupoids, obtained in this way, are called equivalence algebras. We find a finite base for the equations of equivalence algebras. The base consists of equations in four variables, and we prove that there is no base consisting of equations in three variables only. We also prove that all subdirectly irreducibles in the variety generated by equivalence algebras are embeddable into the three-element equivalence algebra, corresponding to the equivalence with two blocks on three elements. Received September 21, 1998; accepted in final form May 11, 1999.     

On Local Integrability Conditions of Jet Groupoids

A jet groupoid ℛ _q over a manifold X is a special Lie groupoid consisting of q-jets of local diffeomorphisms X→X. As a subbundle of J ^q (X,X), a jet groupoid can be considered as a system of nonlinear partial differential equations (PDE). This leads to the question if ℛ _q is formally integrable. On the other hand, each jet groupoid is the symmetry groupoid of a geometric object, which is a section ω of a natural bundle ℱ. Using the jet groupoids, we give a local characterisation of formal integrability for transitive jet groupoids in terms of their corresponding geometric objects. Thanks to M. Barakat and W. Plesken for discussions. The author was supported by DFG Grant Graduiertenkolleg 775.     

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.     

Commutative medial ternary groupoids

The paper studies the class of commutative medial ternary groupoids. A construction of ternary semiterms is given and it is proved that the equational theory of medial commutative ternary groupoids is solvable, namely, an algorithm is found, which in allmedial commutative ternary groupoids verifies the validity of the identity u = v for any pair (u, v) of terms. A construction of free medial commutative ternary groupoids is given, and it is proved that anymedial commutative ternary groupoid has a convex linear representation.     

Small inherently nonfinitely based finite semigroups

We show how to construct all ``forbidden divisors' for the pseudovariety of not inherently nonfinitely based finite semigroups. Several other results concerning finite semigroups that generate an inherently nonfinitely based variety that is miminal amongst those generated by finite semigroups are obtained along the way. For example, aside from the variety generated by the well known six element Brandt monoid \tb , a variety of this type is necessarily generated by a semigroup with at least 56 elements (all such semigroups with 56 elements are described by the main result). September 23, 1999     

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.     

A Note on Varieties of Groupoids Arising from m-Cycle Systems

Decompositions of the complete graph with n vertices K _n into edge disjoint cycles of length m whose union is K _n are commonly called m-cycle systems. Any m-cycle system gives rise to a groupoid defined on the vertex set of K _n via a well known construction. Here, it is shown that the groupoids arising from all m-cycle systems are precisely the finite members of a variety (of groupoids) for m = 3 and 5 only.     

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.     

Twisted longitudinal index theorem for foliations and wrong way functoriality

For a Lie groupoid G with a twisting σ (a PU(H)-principal bundle over G), we use the (geometric) deformation quantization techniques supplied by Connes tangent groupoids to define an analytic index morphism in twisted K-theory. In the case the twisting is trivial we recover the analytic index morphism of the groupoid.For a smooth foliated manifold with twistings on the holonomy groupoid we prove the twisted analog of the Connes–Skandalis longitudinal index theorem. When the foliation is given by fibers of a fibration, our index coincides with the one recently introduced by Mathai, Melrose, and Singer.We construct the pushforward map in twisted K-theory associated to any smooth (generalized) map f:W→M/F and a twisting σ on the holonomy groupoid M/F, next we use the longitudinal index theorem to prove the functoriality of this construction. We generalize in this way the wrong way functoriality results of Connes and Skandalis when the twisting is trivial and of Carey and Wang for manifolds.     

Fell bundles over groupoids

We study the C*-algebras associated to Fell bundles over groupoids and give a notion of equivalence for Fell bundles which guarantees that the associated C*-algebras are strongly Morita equivalent. As a corollary we show that any saturated Fell bundle is equivalent to a semi-direct product arising from the action of the groupoid on a C*-bundle.

     

Étale groupoids and their quantales

We establish close and previously unknown relations between quantales and groupoids. In particular, to each étale groupoid, either localic or topological, there is associated a unital involutive quantale. We obtain a bijective correspondence between localic étale groupoids and their quantales, which are given a rather simple characterization and here are called inverse quantal frames. We show that the category of inverse quantal frames is equivalent to the category of complete and infinitely distributive inverse monoids, and as a consequence we obtain a (non-functorial) correspondence between these and localic étale groupoids that generalizes more classical results concerning inverse semigroups and topological étale groupoids. This generalization is entirely algebraic and it is valid in an arbitrary topos. As a consequence of these results we see that a localic groupoid is étale if and only if its sublocale of units is open and its multiplication map is semiopen, and an analogue of this holds for topological groupoids. In practice we are provided with new tools for constructing localic and topological étale groupoids, as well as inverse semigroups, for instance via presentations of quantales by generators and relations. The characterization of inverse quantal frames is to a large extent based on a new quantale operation, here called a support, whose properties are thoroughly investigated, and which may be of independent interest.     

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.     

Torsors and Stacks

It is shown that the groupoid of G-torsors, suitably defined, can be used to construct a model for the stack associated to G, for arbitrary sheaves of groupoids G. This research was supported by the Natural Sciences and Engineering Research Council of Canada.     

Groupoid cohomology and extensions

We show that Haefliger's cohomology for étale groupoids, Moore's cohomology for locally compact groups and the Brauer group of a locally compact groupoid are all particular cases of sheaf (or Cech) cohomology for topological simplicial spaces.

     

Locally Hausdorff tight groupoids generalised

We extend Exel’s ample tight groupoid construction to non-ample groupoids, even in the general locally Hausdorff case.