Boutet de Monvel`s calculus and groupoids I

Can Boutet de Monvel`s algebra on a compact manifold with boundary be obtained as the algebra Psi(0)(G) of pseudodifferential operators on some Lie groupoid G? If it could, the kernel G of the principal symbol homomorphism would be isomorphic to the groupoid C*-algebra C*(G). While the answer to the above question remains open, we exhibit in this paper a groupoid G such that C*(G) possesses an ideal I isomorphic to G. In fact, we prove first that G similar or equal to Psi circle times K with the C*-algebra Psi generated by the zero order pseudodifferential operators on the boundary and the algebra K of compact operators. As both Psi circle times K and I are extensions of C(S*Y) circle times K by K (S*Y is the co-sphere bundle over the boundary) we infer from a theorem by Voiculescu that both are isomorphic.

Canonical Objects in Classes of (n, V)-Groupoids

AMS Subj. Classification: 03C05, 08B20

Reconstruction of graded groupoids from graded Steinberg algebras

We show how to reconstruct a graded ample Hausdorff groupoid with topologically principal neutrally-graded component from the ring structure of its graded Steinberg algebra over any commutative integral domain with 1, together with the embedding of the canonical abelian subring of functions supported on the unit space. We deduce that diagonal-preserving ring isomorphism of Leavitt path algebras implies $C^*$-isomorphism of $C^*$-algebras for graphs $E$ and $F$ in which every cycle has an exit. This is a joint work with Joan Bosa, Roozbeh Hazrat and Aidan Sims.

On single laws for varieties of quasigroups associated with extended cycle systems

It has been previously shown by Lindner and Rodger that quasigroups associated with 2-perfect extended m-cycle systems can be equationally defined if and only if m is an element of {3, 5, 7}. In this paper we present a single identity for each such m which is equivalent to the identities given for these varieties.

The identity type weak factorisation system

We show that the classifying category C(T)of a dependent type theory T with axioms for identity types admits a nontrivial weak factorisation system. After characterising this weak factorisation system explicitly, we relate it to the homotopy theory of groupoids.

Topics of divisibility

The set of integers forms a commutative ring whose elements admit a unique decomposition into primes. In this folder three lecture notes are bound, concerning topics, developed by dropping or replacing special properties of this most natural and most special ring. For short: investigated are groupoids w.r.t the interplay of multiplication - on the one hand - and divisibility, ideal decomposition and residuation, respectively, on the other hand.

Local symmetries in gauge theories in a finite-dimensional setting

It is shown that the correct mathematical implementation of symmetry in the geometric formulation of classical field theory leads naturally beyond the concept of Lie groups and their actions on manifolds, out into the realm of Lie group bundles and, more generally, of Lie groupoids and their actions on fiber bundles. This applies not only to local symmetries, which lie at the heart of gauge theories, but is already true even for global symmetries when one allows for fields that are sections of bundles with (possibly) non-trivial topology or, even when these are topologically trivial, in the absence of a preferred trivialization. (C) 2012 Elsevier B.V. All rights reserved.