We establish a generalized Rieffel correspondence for ideals in equivalent Fell bundles.

We consider the equivariant Kasparov category associated to an étale groupoid, and by leveraging its triangulated structure we study its localization at the ‘weakly contractible’ objects, extending previous work by R. Meyer and R. Nest. We prove the subcategory of weakly contractible objects is complementary to the localizing subcategory of projective objects, which are defined in terms of ‘compactly induced’ algebras with respect to certain proper subgroupoids related to isotropy. The resulting ‘strong’ Baum–Connes conjecture implies the classical one, and its formulation clarifies several permanence properties and other functorial statements. We present multiple applications, including consequences for the Universal Coefficient Theorem, a generalized ‘going-down’ principle, injectivity results for groupoids that are amenable at infinity, the Baum–Connes conjecture for group bundles, and a result about the invariance of K-groups of twisted groupoid $C^*$-algebras under homotopy of twists.

Given a Fell bundle $\mathscr C\overset {q}{\to }\Xi $ over the discrete groupoid $\Xi $, we study the symmetry of the associated Hahn algebra $\ell ^{\infty ,1}(\Xi \!\mid \!\mathscr C)$ in terms of the isotropy subgroups of $\Xi $. We prove that $\Xi $ is symmetric (respectively hypersymmetric) if and only if all of the isotropy subgroups are symmetric (respectively hypersymmetric). We also characterise hypersymmetry using Fell bundles with constant fibres, showing that for discrete groupoids, ‘hypersymmetry’ equals ‘rigid symmetry’.

We investigate dynamical systems consisting of a locally compact Hausdorff space equipped with a partially defined local homeomorphism. Important examples of such systems include self-covering maps, one-sided shifts of finite type and, more generally, the boundary-path spaces of directed and topological graphs. We characterize the topological conjugacy of these systems in terms of isomorphisms of their associated groupoids and C*-algebras. This significantly generalizes recent work of Matsumoto and of the second- and third-named authors.

We generalise the correspondence between $\aleph _0$ -categorical theories and their automorphism groups to arbitrary complete theories in classical logic, and to some theories (including, in particular, all $\aleph _0$ -categorical ones) in continuous logic.

Kaplansky introduced the notions of CCR and GCR $C^{\ast }$-algebras, because they have a tractable representation theory. Many years later, he introduced the notions of CCR and GCR rings. In this paper we characterize when the algebra of an ample groupoid over a field is CCR and GCR. The results turn out to be exact analogues of the corresponding characterization of locally compact groupoids with CCR and GCR $C^{\ast }$-algebras. As a consequence, we classify the CCR and GCR Leavitt path algebras.

We show that Matui’s HK conjecture holds for groupoids of unstable equivalence relations and their corresponding $C^{\ast }$-algebras on one-dimensional solenoids.

In a stable theory, a stationary type $q \in S\left( A \right)$ internal to a family of partial types ${\cal P}$ over A gives rise to a type-definable group, called its binding group. This group is isomorphic to the group $Aut\left( {q/{\cal P},A} \right)$ of permutations of the set of realizations of q, induced by automorphisms of the monster model, fixing ${\cal P}\,\mathop \cup \nolimits \,A$ pointwise. In this article, we investigate families of internal types varying uniformly, what we will call relative internality. We prove that the binding groups also vary uniformly, and are the isotropy groups of a natural type-definable groupoid (and even more). We then investigate how properties of this groupoid are related to properties of the type. In particular, we obtain internality criteria for certain 2-analysable types, and a sufficient condition for a type to preserve internality.

In the first part of the paper, we introduce notions of asymptotic continuous orbit equivalence and asymptotic conjugacy in Smale spaces and characterize them in terms of their asymptotic Ruelle algebras with their dual actions. In the second part, we introduce a groupoid $C^{\ast }$-algebra that is an extended version of the asymptotic Ruelle algebra from a Smale space and study the extended Ruelle algebras from the view points of Cuntz–Krieger algebras. As a result, the asymptotic Ruelle algebra is realized as a fixed point algebra of the extended Ruelle algebra under certain circle action.

For an arbitrary discrete probability-measure-preserving groupoid $G$, we provide a characterization of property (T) for $G$ in terms of the groupoid von Neumann algebra $L(G)$. More generally, we obtain a characterization of relative property (T) for a subgroupoid $H\subset G$ in terms of the inclusions $L(H)\subset L(G)$.

We study the C*-algebras associated with upper semi-continuous Fell bundles over second-countable Hausdorff groupoids. Based on ideas going back to the Packer–Raeburn ‘stabilization trick’, we construct from each such bundle a groupoid dynamical system whose associated Fell bundle is equivalent to the original bundle. The upshot is that the full and reduced C*-algebras of any saturated upper semi-continuous Fell bundle are stably isomorphic to the full and reduced crossed products of an associated dynamical system. We apply our results to describe the lattice of ideals of the C*-algebra of a continuous Fell bundle by applying Renault's results about the ideals of the C*-algebras of groupoid crossed products. In particular, we discuss simplicity of the Fell-bundle C*-algebra of a bundle over G in terms of an action, described by Ionescu and Williams, of G on the primitive-ideal space of the C*-algebra of the part of the bundle sitting over the unit space. We finish with some applications to twisted k-graph algebras, where the components of our results become more concrete.

Punctuated equilibrium, in the sense of Eldredge and Gould in 1972, and path dependence (Gould in 2002), dominate evolutionary processes, many of whose dynamics can be expressed in terms of interacting information sources (Wallace in 2010). Argument based on Feynman's (in 2000) characterization of information as a form of free energy leads to a close, if inverse, analogy between evolutionary transitions and economic ratchets. Driven by such a ‘self-referential’ mechanism, increases in available metabolic free energy – via the aerobic transition – led to the eukaryotic transition and to life as we know it. Formal analysis focuses on groupoid symmetries associated with the cognitive processes of gene expression, an extension of the symmetry breaking/making perspectives of physical science into biological phenomena. This suggests that understanding modalities of cognitive gene expression, as opposed to focus on genes themselves, provides the deepest insight into evolutionary phenomena, a perspective at some variance with current simplistic gene-centred views that constrain evolutionary theory.

Let $S|_{R}$ be a groupoid Galois extension with Galois groupoid $G$ such that $E_{g}^{G_{r(g)}}\subseteq C1_{g}$, for all $g\in G$, where $C$ is the centre of $S$, $G_{r(g)}$ is the principal group associated to $r(g)$ and $\{E_{g}\}_{g\in G}$ are the ideals of $S$. We give a complete characterisation in terms of a partial isomorphism groupoid for such extensions, showing that $G=\dot{\bigcup }_{g\in G}\text{Isom}_{R}(E_{g^{-1}},E_{g})$ if and only if $E_{g}$ is a connected commutative algebra or $E_{g}=E_{g}^{G_{r(g)}}\oplus E_{g}^{G_{r(g)}}$, where $E_{g}^{G_{r(g)}}$ is connected, for all $g\in G$.

In the third and latest paper in this series, we recover the imprimitivity theorems of Mansfield and Fell using our technique of Fell bundles over groupoids. Also, we apply the Rieffel surjection of the first paper in the series to relate our version of Mansfield’s theorem to that of an Huef and Raeburn, and to give an automatic amenability result for certain transformation Fell bundles.

Suppose that $G$ is a second countable, locally compact Hausdorff groupoid with abelian stabiliser subgroups and a Haar system. We provide necessary and sufficient conditions for the groupoid ${C}^{\ast } $-algebra to have Hausdorff spectrum. In particular, we show that the spectrum of ${C}^{\ast } (G)$ is Hausdorff if and only if the stabilisers vary continuously with respect to the Fell topology, the orbit space ${G}^{(0)} / G$ is Hausdorff, and, given convergent sequences ${\chi }_{i} \rightarrow \chi $ and ${\gamma }_{i} \cdot {\chi }_{i} \rightarrow \omega $ in the dual stabiliser groupoid $\widehat{S}$ where the ${\gamma }_{i} \in G$ act via conjugation, if $\chi $ and $\omega $ are elements of the same fibre then $\chi = \omega $.

We observe simple links between equivalence relations, groups, fields and groupoids (and between preorders, semi-groups, rings and categories), which are type-definable in an arbitrary structure, and apply these observations to the particular context of small and simple structures. Recall that a structure is small if it has countably many n-types with no parameters for each natural number n. We show that a ∅-type-definable group in a small structure is the conjunction of definable groups, and extend the result to semi-groups, fields, rings, categories, groupoids and preorders which are ∅-type-definable in a small structure. For an A-type-definable group GA(where the set A may be infinite) in a small and simple structure, we deduce that

(1) if GA is included in some definable set X such that boundedly many translates of GA cover X, then GA is the conjunction of definable groups.

(2) for any finite tuple ḡ in GA, there is a definable group containing ḡ.

We introduce C*-pseudo-multiplicative unitaries and concrete Hopf C*-bimodules for the study of quantum groupoids in the setting of C*-algebras. These unitaries and Hopf C*-bimodules generalize multiplicative unitaries and Hopf C*-algebras and are analogues of the pseudo-multiplicative unitaries and Hopf–von Neumann-bimodules studied by Enock, Lesieur and Vallin. To each C*-pseudo-multiplicative unitary, we associate two Fourier algebras with a duality pairing and in the regular case two Hopf C*-bimodules. The theory is illustrated by examples related to locally compact Hausdorff groupoids. In particular, we obtain a continuous Fourier algebra for a locally compact Hausdorff groupoid.

We review basic notions and methods of noncommutative geometry and their applications to analysis and geometry on foliated manifolds.

We construct algebras of pseudodifferential operators on a continuous family groupoid $\mathcal{G}$ that are closed under holomorphic functional calculus, contain the algebra of all pseudodifferential operators of order 0 on $\mathcal{G}$ as a dense subalgebra and reflect the smooth structure of the groupoid $\mathcal{G}$, when $\mathcal{G}$ is smooth. As an application, we get a better understanding on the structure of inverses of elliptic pseudodifferential operators on classes of non-compact manifolds. For the construction of these algebras closed under holomorphic functional calculus, we develop three methods: one using semi-ideals, one using commutators and one based on Schwartz spaces on the groupoid.

One of our main results is to reduce the construction of spectrally invariant algebras of order 0 pseudodifferential operators to the analogous problem for regularizing operators. We then show that, in the case of the generalized ‘cusp’-calculi$c_n$, $n\ge2$, it is possible to construct algebras of regularizing operators that are closed under holomorphic functional calculus and consist of smooth kernels. For $n=1$, this was shown not to be possible by the first author in an earlier paper.

AMS 2000 Mathematics subject classification: Primary 35S05. Secondary 35J15; 47G30; 58J40; 46L87