We extend the definition of the X-Rokhlin property to countable discrete groups and prove some permanence properties. If the action of a countable discrete group on X is free and minimal and the action of this group on the separable simple $C^*$-algebra has the X-Rokhlin property, then the reduced crossed product is simple.

In Dong et al. (2022, Journal of Operator Theory 88, 365–406), the authors addressed the question of whether surjective maps preserving the norm of a symmetric Kubo-Ando mean can be extended to Jordan $\ast $-isomorphisms. The question was affirmatively answered for surjective maps between the positive definite cones of unital $C^{*}$-algebras for certain specific classes of symmetric Kubo-Ando means. Here, we give a comprehensive answer to this question for surjective maps between the positive definite cones of $AW^{*}$-algebras preserving the norm of any symmetric Kubo-Ando mean.

We introduce and study the weak Glimm property for $\mathrm{C}^{*}$-algebras, and also a property we shall call (HS$_0$). We show that the properties of being nowhere scattered and residual (HS$_0$) are equivalent for any $\mathrm{C}^{*}$-algebra. Also, for a $\mathrm{C}^{*}$-algebra with the weak Glimm property, the properties of being purely infinite and weakly purely infinite are equivalent. It follows that for a $\mathrm{C}^{*}$-algebra with the weak Glimm property such that the absolute value of every nonzero, square-zero, element is properly infinite, the properties of being (weakly, locally) purely infinite, nowhere scattered, residual (HS$_0$), residual (HS$_{\text {t}}$), and residual (HI) are all equivalent, and are equivalent to the global Glimm property. This gives a partial affirmative answer to the global Glimm problem, as well as certain open questions raised by Kirchberg and Rørdam.

In this article, we introduce and study the notion of Goldie dimension for C*-algebras. We prove that a C*-algebra A has Goldie dimension n if and only if the dimension of the center of its local multiplier algebra is n. In this case, A has finite-dimensional center and its primitive spectrum is extremally disconnected. If moreover, A is extending, we show that it decomposes into a direct sum of n prime C*-algebras. In particular, every stably finite, exact C*-algebra with Goldie dimension, that has the projection property and a strictly full element, admits a full projection and a non-zero densely defined lower semi-continuous trace. Finally we show that certain C*-algebras with Goldie dimension (not necessarily simple, separable or nuclear) are classifiable by the Elliott invariant.

We study sufficient conditions under which a nowhere scattered $\mathrm {C}^*$-algebra $A$ has a nowhere scattered multiplier algebra $\mathcal {M}(A)$, that is, we study when $\mathcal {M}(A)$ has no nonzero, elementary ideal-quotients. In particular, we prove that a $\sigma$-unital $\mathrm {C}^*$-algebra $A$ of

1. (i) finite nuclear dimension, or

2. (ii) real rank zero, or

3. (iii) stable rank one with $k$-comparison,

$\mathcal {M}(A)$

We study hermitian operators and isometries on spaces of vector-valued Lipschitz maps with the sum norm. There are two main theorems in this paper. Firstly, we prove that every hermitian operator on $\operatorname {Lip}(X,E)$, where E is a complex Banach space, is a generalized composition operator. Secondly, we give a complete description of unital surjective complex linear isometries on $\operatorname {Lip}(X,\mathcal {A})$, where $\mathcal {A}$ is a unital factor $C^{*}$-algebra. These results improve previous results stated by the author.

In this article, the question of whether the Löwner partial order on the positive cone of an operator algebra is determined by the norm of any arbitrary Kubo–Ando mean is studied. The question was affirmatively answered for certain classes of Kubo–Ando means, yet the general case was left as an open problem. We here give a complete answer to this question, by showing that the norm of every symmetric Kubo–Ando mean is order-determining, i.e., if $A,B\in \mathcal B(H)^{++}$ satisfy $\Vert A\sigma X\Vert \le \Vert B\sigma X\Vert $ for every $X\in \mathcal {A}^{{++}}$, where $\mathcal A$ is the C*-subalgebra generated by $B-A$ and I, then $A\le B$.

Given two unital C*-algebras equipped with states and a positive operator in the enveloping von Neumann algebra of their minimal tensor product, we define three parameters that measure the capacity of the operator to align with a coupling of the two given states. Further, we establish a duality formula that shows the equality of two of the parameters for operators in the minimal tensor product of the relevant C*-algebras. In the context of abelian C*-algebras, our parameters are related to quantitative versions of Arveson's null set theorem and to dualities considered in the theory of optimal transport. On the other hand, restricting to matrix algebras we recover and generalize quantum versions of Strassen's theorem. We show that in the latter case our parameters can detect maximal entanglement and separability.

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 word problems for C*-algebras, and show some analogous results hold in this setting. Famously, every finitely generated group with a computable presentation is computably categorical, but we provide a counterexample in the case of C*-algebras. On the other hand, we show every finite-dimensional C*-algebra is computably categorical.

We construct two new classes of topological dynamical systems; one is a factor of a one-sided shift of finite type while the second is a factor of the two-sided shift. The data are a finite graph which presents the shift of finite type, a second finite directed graph and a pair of embeddings of it into the first, satisfying certain conditions. The factor is then obtained from a simple idea based on binary expansion of real numbers. In both cases, we construct natural metrics on the factors and, in the second case, this makes the system a Smale space, in the sense of Ruelle. We compute various algebraic invariants for these systems, including the homology for Smale space developed by the author and the K-theory of various $C^{*}$-algebras associated to them, in terms of the pair of original graphs.

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 present here a multiplicative version of the classical Kowalski–Słodkowski theorem, which identifies the characters among the collection of all functionals on a complex and unital Banach algebra A. In particular, we show that, if A is a $C^\star $-algebra, and if $\phi :A\to \mathbb C $ is a continuous function satisfying $ \phi (x)\phi (y) \in \sigma (xy) $ for all $x,y\in A$ (where $\sigma $ denotes the spectrum), then either $\phi $ is a character of A or $-\phi $ is a character of A.

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.

For a state $\omega$ on a C$^{*}$-algebra $A$, we characterize all states $\rho$ in the weak* closure of the set of all states of the form $\omega \circ \varphi$, where $\varphi$ is a map on $A$ of the form $\varphi (x)=\sum \nolimits _{i=1}^{n}a_i^{*}xa_i,$ $\sum \nolimits _{i=1}^{n}a_i^{*}a_i=1$ ($a_i\in A$, $n\in \mathbb {N}$). These are precisely the states $\rho$ that satisfy $\|\rho |J\|\leq \|\omega |J\|$ for each ideal $J$ of $A$. The corresponding question for normal states on a von Neumann algebra $\mathcal {R}$ (with the weak* closure replaced by the norm closure) is also considered. All normal states of the form $\omega \circ \psi$, where $\psi$ is a quantum channel on $\mathcal {R}$ (that is, a map of the form $\psi (x)=\sum \nolimits _ja_j^{*}xa_j$, where $a_j\in \mathcal {R}$ are such that the sum $\sum \nolimits _ja_j^{*}a_j$ converge to $1$ in the weak operator topology) are characterized. A variant of this topic for hermitian functionals instead of states is investigated. Maximally mixed states are shown to vanish on the strong radical of a C$^{*}$-algebra and for properly infinite von Neumann algebras the converse also holds.

A $C^{*}$-algebra A is said to detect nuclearity if, whenever a $C^{*}$-algebra B satisfies $A\otimes _{\mathrm{min}} B = A\otimes _{\mathrm{max}} B,$ it follows that B is nuclear. In this note, we survey the main results associated with this topic and present the background and tools necessary for proving the main results. In particular, we show that the $C^{*}$-algebra $A = C^{*}(\mathbb {F}_{\infty })\otimes _{\mathrm{min}} B(\ell ^{2})/K(\ell ^{2})$ detects nuclearity. This result is known to experts, but has never appeared in the literature.

We demonstrate how exact structures can be placed on the additive category of right operator modules over an operator algebra in order to discuss global dimension for operator algebras. The properties of the Haagerup tensor product play a decisive role in this.

We study the structure and compute the stable rank of $C^{*}$-algebras of finite higher-rank graphs. We completely determine the stable rank of the $C^{*}$-algebra when the $k$-graph either contains no cycle with an entrance or is cofinal. We also determine exactly which finite, locally convex $k$-graphs yield unital stably finite $C^{*}$-algebras. We give several examples to illustrate our results.

This paper is a continuation of the paper, Matsumoto [‘Subshifts, $\lambda $-graph bisystems and $C^*$-algebras’, J. Math. Anal. Appl. 485 (2020), 123843]. A $\lambda $-graph bisystem consists of a pair of two labeled Bratteli diagrams satisfying a certain compatibility condition on their edge labeling. For any two-sided subshift $\Lambda $, there exists a $\lambda $-graph bisystem satisfying a special property called the follower–predecessor compatibility condition. We construct an AF-algebra ${\mathcal {F}}_{\mathcal {L}}$ with shift automorphism $\rho _{\mathcal {L}}$ from a $\lambda $-graph bisystem $({\mathcal {L}}^-,{\mathcal {L}}^+)$, and define a $C^*$-algebra ${\mathcal R}_{\mathcal {L}}$ by the crossed product . It is a two-sided subshift analogue of asymptotic Ruelle algebras constructed from Smale spaces. If $\lambda $-graph bisystems come from two-sided subshifts, these $C^*$-algebras are proved to be invariant under topological conjugacy of the underlying subshifts. We present a simplicity condition of the $C^*$-algebra ${\mathcal R}_{\mathcal {L}}$ and the K-theory formulas of the $C^*$-algebras ${\mathcal {F}}_{\mathcal {L}}$ and ${\mathcal R}_{\mathcal {L}}$. The K-group for the AF-algebra ${\mathcal {F}}_{\mathcal {L}}$ is regarded as a two-sided extension of the dimension group of subshifts.

Suppose that $\mathcal {A}$ is a unital subhomogeneous C*-algebra. We show that every central sequence in $\mathcal {A}$ is hypercentral if and only if every pointwise limit of a sequence of irreducible representations is multiplicity free. We also show that every central sequence in $\mathcal {A}$ is trivial if and only if every pointwise limit of irreducible representations is irreducible. Finally, we give a nice representation of the latter algebras.

Let$\mathcal A$ and $\mathcal B$ be commutative and semisimple Banach algebras and let $\theta \in \Delta (\mathcal B)$. In this paper, we prove that $\mathcal A\times _{\theta }\mathcal B$ is a type I-BSE algebra if and only if ${\mathcal A}_e$ and $\mathcal B$ are so. As a main application of this result, we prove that $\mathcal A\times _{\theta }\mathcal B$ is isomorphic with a $C^*$-algebra if and only if${\mathcal A}_e$ and $\mathcal B$ are isomorphic with $C^* $-algebras. Moreover, we derive related results for the case where $\mathcal A$ is unital.