Related papers: A Geometric Bohr topos
In this paper we develop a notion of measure theory over boolean toposes which is analogous to noncommutative measure theory, i.e. to the theory of von Neumann algebras. This is part of a larger project to study relations between topos…
We give a Clifford correspondence for an algebra A over an algebraically closed field, that is an algorithm for constructing some finite-dimensional simple A-modules from simple modules for a subalgebra and endomorphism algebras. This…
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…
We study bounded bilinear maps on a C$^*$-algebra $A$ having product property at $c\in A$. This leads us to the question of when a C$^*$-algebra is determined by products at $c.$ In the first part of our paper, we investigate this question…
We show that certain C*-algebras which have been studied among others by Arzumanian, Vershik, Deaconu, and Renault in connection to a measure preserving transformation of a measure space and/or to a covering map of a compact space are…
In this memoir we develop a framework to study rigidity problems for Roe-like C*-algebras of countably generated coarse spaces. The main goal is to give a complete and self-contained solution to the problem of C*-rigidity for proper…
We analyze the decomposition rank (a notion of covering dimension for nuclear $C^*$-algebras introduced by E. Kirchberg and the author) of subhomogeneous $C^*$-algebras. In particular we show that a subhomogeneous $C^*$-algebra has…
We introduce a notion of ellipticity of complexes of linear pseudodifferential operators acting on sections of $A$-Hilbert bundles over smooth manifolds, $A$ being a $C^*$-algebra. We prove that the cohomology groups of an $A$-elliptic…
Let $B \subset A$ be a depth $2$ inclusion of simple unital $C^*$-algebras with a conditional expectation of index-finite type. We show that the second relative commutant $B' \cap A_1$ carries a canonical structure of a weak $C^*$-Hopf…
After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…
In this paper we introduce arrow algebras, simple algebraic structures which induce elementary toposes through the tripos-to-topos construction. This includes localic toposes as well as various realizability toposes, in particular, those…
We introduce the nuclear dimension of a C*-algebra; this is a noncommutative version of topological covering dimension based on a modification of the earlier concept of decomposition rank. Our notion behaves well with respect to inductive…
In the present paper we study the structure of C^*-algebras generated by the components of the polar decompositions of operators in Hilbert space satisfying certain commutation relations.
The second author showed how Katsura's construction of the C*-algebra of a topological graph E may be twisted by a Hermitian line bundle L over the edge space E. The correspondence defining the algebra is obtained as the completion of the…
We compute the generator rank of a subhomgeneous C*-algebra in terms of the covering dimension of the pieces of its primitive ideal space corresponding to irreducible representations of a fixed dimension. We deduce that every Z-stable…
From a planar algebra, we give a functorial construction to produce numerous associated $C^*$-algebras. Our main construction is a Hilbert $C^*$-bimodule with a canonical real subspace which produces Pimsner-Toeplitz, Cuntz-Pimsner, and…
Categories of paths are a generalization of several kinds of oriented discrete data that have been used to construct $C^*$-algebras. The techniques introduced to study these constructions apply almost verbatim to the more general situation…
After an appropriate restatement of the GNS construction for topological $^*$-algebras we prove that there exists an isomorphism among the set $\cycl(A)$ of weakly continuous strongly cyclic $^*$-representations of a barreled dual-separable…
Gelfand - Na\u{i}mark theorem supplies a one to one correspondence between commutative $C^*$-algebras and locally compact Hausdorff spaces. So any noncommutative $C^*$-algebra can be regarded as a generalization of a topological space.…
Let $G$ be a locally compact groupoid. If $X$ is a free and proper $G$-space, then $(X*X)/G$ is a groupoid equivalent to $G$. We consider the situation where $X$ is proper but no longer free. The formalism of groupoid C*-algebras and their…