Related papers: Complete W*-categories
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…
A group $G$ is called $W^*$-superrigid (resp. $C^*$-superrigid) if it is completely recognizable from its von Neumann algebra $L(G)$ (resp. reduced $C^*$-algebra $C_r^*(G)$). Developing new technical aspects in Popa's deformation/rigidity…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
We prove the equivalence of two tensor products over a category of W*-algebras with normal (not necessarily unital) *-homomorphisms, defined by Guichardet and Dauns, respectively. This structure differs from the standard tensor product…
Let $H$ be a separable Hilbert space with a fixed orthonormal basis. Let $\mathbb B^{(k)}(H)$ denote the set of operators, whose matrices have no more than $k$ non-zero entries in each line and in each column. The closure of the union (over…
We show that each integral infinitesimal block of parabolic category O (including singular ones) for a semi-simple Lie algebra can be realized as a full subcategory of a "thick" category O over a finite W-algebra for the same Lie algebra.…
Given a group G, we construct, in a canonical way, an inverse semigroup S(G) associated to G. The actions of S(G) are shown to be in one-to-one correspondence with the partial actions of G, both in the case of actions on a set, and that of…
We investigate when the categories of all rational $A$-modules and of finite dimensional rational modules are closed under extensions inside the category of $C^*$-modules, where $C^*$ is the cofinite topological completion of $A$. We give a…
We interpret several constructions with C*-algebras as colimits in the bicategory of correspondences. This includes crossed products for actions of groups and crossed modules, Cuntz-Pimsner algebras of proper product systems, direct sums…
Let $(\mathcal{K} ,\subseteq )$ be a universal class with $LS(\mathcal{K})=\lambda$ categorical in regular $\kappa >\lambda^+$ with arbitrarily large models, and let $\mathcal{K}^*$ be the class of all $\mathcal{A}\in\mathcal{K}_{>\lambda}$…
A partial action is associated with a normal weakly left resolving labelled space such that the crossed product and labelled space $C^*$-algebras are isomorphic. An improved characterization of simplicity for labelled space $C^*$-algebras…
In Rev. Math. Phys. 4 (1997) 785 we study Hilbert-C* systems {F,G} where the fixed point algebra A has nontrivial center Z and where A'\cap F=Z is satisfied. The corresponding category of all canonical endomorphisms of A contains…
We show that the unit ball of a full Hilbert $C^*$-module is sequentially compact in a certain weak topology if and only if the underlying $C^*$-algebra is finite dimensional. This provides an answer to the question posed in J.…
We study the general structure of 2-C*-categories closed under conjugation, projections and direct sums. We do not assume units to be simple, i.e. for i_A the 1-unit corresponding to an object A, the space Hom(i_A, i_A) is a commutative…
The universal C*-algebras of discrete product systems generalize the Toeplitz- Cuntz algebras and the Toeplitz algebras of discrete semigroups. We consider a semigroup P which is quasi-lattice ordered in the sense of Nica, and, for a…
Let $\cal M$ be a Banach C*-module over a C*-algebra $A$ carrying two $A$-valued inner products $< .,. >_1$, $<.,. >_2$ which induce equivalent to the given one norms on $\cal M$. Then the appropriate unital C*-algebras of adjointable…
For any $\mathbf{a}=(a_1,\dots,a_n)\in \mathbb{C}^n$, we introduce a Whittaker category $\mathcal{H}_{\mathbf{a}}$ whose objects are $\mathfrak{sl}_{n+1}$-modules $M$ such that $e_{0i}-a_i$ acts locally nilpotently on $M$ for all $i \in…
For a completely Hausdorff quasi-topological group $G$, we construct a universal pro-$C^*$-algebra $C(E^+G)$ as the non-commutative geometer's analogue of the total space $EG$ of the classifying principal $G$-bundle $EG\to BG$. The…
We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between…
In this work, we use tools from non-standard analysis to introduce infinite-dimensional quantum systems and quantum fields within the framework of Categorical Quantum Mechanics. We define a dagger compact category *Hilb suitable for the…