Related papers: Constructive Gelfand duality for C*-algebras

We prove simplicity and pure infiniteness results for a certain class of labelled graph $C^*$-algebras. We show, by example, that this class of unital labelled graph $C^*$-algebras is strictly larger than the class of unital graph…

We construct Cartan subalgebras in all classifiable stably finite C*-algebras. Together with known constructions of Cartan subalgebras in all UCT Kirchberg algebras, this shows that every classifiable simple C*-algebra has a Cartan…

We prove that the central sequence algebra of a separable C*-algebra is either subhomogeneous or non-exact, confirming a conjecture of Enders and Shulman. We also prove analogous dichotomy for other massive C*-algebras.

We give a complete description of which unital graph C*-algebras are semiprojective, and use it to disprove two conjectures by Blackadar. To do so, we perform a detailed analysis of which projections are properly infinite in such…

We show that every groupoid C*-algebra is isomorphic to its opposite, and deduce that there exist C*-algebras that are not stably isomorphic to groupoid C*-algebras, though many of them are stably isomorphic to twisted groupoid C*-algebras.…

We study the ideal structure of $C^*$-algebras arising from $C^*$-correspondences. We prove that gauge-invariant ideals of our $C^*$-algebras are parameterized by certain pairs of ideals of original $C^*$-algebras. We show that our…

We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…

Enveloping $C^*$-algebras for some finitely generated $*$-algebras are considered. It is shown that all of the considered algebras are identically defined by their dual spaces. The description in terms of matrix-functions is given. Keywords…

We study semiprojective, subhomogeneous C*-algebras and give a detailed description of their structure. In particular, we find two characterizations of semiprojectivity for subhomogeneous C*-algebras: one in terms of their primitive ideal…

We compare two influential ways of defining a generalized notion of space. The first, inspired by Gelfand duality, states that the category of 'noncommutative spaces' is the opposite of the category of C*-algebras. The second, loosely…

We construct reduced and full semigroup C*-algebras for left cancellative semigroups. Our new construction covers particular cases already considered by A. Nica and also Toeplitz algebras attached to rings of integers in number fields due…

In this paper we suggest a definition for a C*-algebra attached to an injective morphism of some \'Etale groupoid. We take into account all the peculiarities of such objects and present some interesting relations with already well-known…

To each unital C*-algebra A we associate a presheaf \Sigma^A, called the spectral presheaf of A, which can be regarded as a generalised Gelfand spectrum. We develop a categorical notion of local duality and show that there is a…

We consider three notions of divisibility in the Cuntz semigroup of a C*-algebra, and show how they reflect properties of the C*-algebra. We develop methods to construct (simple and non-simple) C*-algebras with specific divisibility…

In this project, we will develop the theory of Banach algebras and prove two celebrated theorems, the Gelfand representation theorem and the GKZ theorem. We will then proceed to develop the theory of $C^*$-algebras and prove the…

In this paper, we study the duality theory of Hopf $C^*$-algebras in a general ``Hilbert-space-free'' framework. Our particular interests are the ``full duality'' and the ``reduced duality''. In order to study the reduced duality, we define…

We develop a general framework to deal with the unitary representations of quantum groups using the language of C*-algebras. Using this framework, we prove that the duality holds in a general context. This extends the framework of the…

A pro-C^*-algebra is a (projective) limit of C^*-algebras in the category of topological *-algebras. From the perspective of non-commutative geometry, pro-C^*-algebras can be seen as non-commutative k-spaces. An element of a pro-C^*-algebra…

We give an overview of some recent developments in semigroup C*-algebras.

We describe a class of $C^*$-algebras which simultaneously generalise the ultragraph algebras of Tomforde and the shift space $C^*$-algebras of Matsumoto. In doing so we shed some new light on the different $C^*$-algebras that may be…