Related papers: $E$-theory is compactly assembled

This dissertation comprises three collections of results, all united by a common theme. The theme is the study of categories via algebraic techniques, considering categories themselves as algebraic objects. This algebraic approach to…

We study the finite versus infinite nature of C*-algebras arising from etale groupoids. For an ample groupoid G, we relate infiniteness of the reduced C*-algebra of G to notions of paradoxicality of a K-theoretic flavor. We construct a…

The problem of equivariant rigidity is the $\Gamma$-homeomorphism classification of $\Gamma$-actions on manifolds with compact quotient and with contractible fixed sets for all finite subgroups of $\Gamma$. In other words, this is the…

We define and study an equivariant $E$-theory with respect to coactions of Hopf $C^*$-algebras; we prove the Baaj-Skandalis duality in this setting. We show that the corresponding equivariant $KK$-theory of Baaj and Skandalis enjoys an…

We introduce the concept of compact quantitative equational theory. A quantitative equational theory is defined to be compact if all its consequences are derivable by means of finite proofs. We prove that the theory of interpolative…

We describe the compact objects in the $\infty$-category of $\mathcal C$-valued sheaves $\text{Shv} (X,\mathcal C)$ on a hypercomplete locally compact Hausdorff space $X$, for $\mathcal C$ a compactly generated stable $\infty$-category.…

For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…

We introduce a class of good endofunctors of $C^{*}$-algebras, endow it with a structure of a bimonoidal category, and define homotopies of natural transformations between such endofunctors. For every pair of $C^{*}$-algebras and a good…

Let $G$ be a compact quantum group. We show that given a $G$-equivariant $\mathrm{C}^*$-correspondence $E$, the Pimsner algebra $\mathcal{O}_E$ can be naturally made into a $G$-$\mathrm{C}^*$-algebra. We also provide sufficient conditions…

To every one-sided shift space $\mathsf{X}$ we associate a cover $\tilde{\mathsf{X}}$, a groupoid $\mathcal{G}_{\mathsf{X}}$ and a $\mathrm{C^*}$-algebra $\mathcal{O}_{\mathsf{X}}$. We characterize one-sided conjugacy, eventual conjugacy…

We construct a new bivariant theory, that we call $KE$-theory, which is intermediate between the $KK$-theory of G. G. Kasparov, and the $E$-theory of A. Connes and N. Higson. For each pair of separable graded $C^*$-algebras $A$ and $B$,…

We develop a mechanism of "isotropy separation for compact objects" that explicitly describes an invertible $G$-spectrum through its collection of geometric fixed points and gluing data located in certain variants of the stable module…

We prove that the unitary equivalence classes of extensions of C*_r(G) by any sigma-unital stable C"-algebra, taken modulo extensions which split via an asymptotic homomorphism, form a group which can be calculated from the universal…

We prove that an action $\rho:A\to M(C_0(\mathbb{G})\otimes A)$ of a locally compact quantum group on a $C^*$-algebra has a universal equivariant compactification, and prove a number of other category-theoretic results on…

The set $\mathcal{E}'(\mathbb{R})$ of all compactly distributions, with the operations of addition, convolution, multiplication by complex scalars, and with the strong dual topology is a topological algebra. In this article, it is shown…

Given a simple, acyclic dimension group $G_{0}$ and countable, torsion-free, abelian group $G_{1}$, we construct a minimal, amenable, \'{e}tale equivalence relation $R$ on a Cantor set whose associated groupoid $C^{*}$-algebra, $C^{*}(R)$,…

Let $k$ be a field. We characterize the group schemes $G$ over $k$, not necessarily affine, such that $\mathsf{D}_{\mathrm{qc}}(B_kG)$ is compactly generated. We also describe the algebraic stacks that have finite cohomological dimension in…

The homotopy symmetric $C^*$-algebras are those separable $C^*$-algebras for which one can unsuspend in E-theory. We find a new simple condition that characterizes homotopy symmetric nuclear $C^*$-algebras and use it to show that the…

Let $P$ be a submonoid of a group $G$ and let $\mathcal{E}=(\mathcal{E}_p)_{p\in P}$ be a product system over $P$ with coefficient C*-algebra $A$. We show that the following C*-algebras are canonically isomorphic: the C*-envelope of the…

We set up a general theory of weak or homotopy-coherent enrichment in an arbitrary monoidal $\infty$-category $\mathcal{V}$. Our theory of enriched $\infty$-categories has many desirable properties; for instance, if the enriching…