We introduce a dimension group for a self-similar map as the $\mathrm {K}_0$-group of the core of the C*-algebra associated with the self-similar map together with the canonical endomorphism. The key step for the computation is an explicit description of the core as the inductive limit using their matrix representations over the coefficient algebra, which can be described explicitly by the singularity structure of branched points. We compute that the dimension group for the tent map is isomorphic to the countably generated free abelian group ${\mathbb Z}^{\infty }\cong {\mathbb Z}[t]$ together with the unilateral shift, i.e. the multiplication map by t as an abstract group. Thus the canonical endomorphisms on the $\mathrm {K}_0$-groups are not automorphisms in general. This is a different point compared with dimension groups for topological Markov shifts. We can count the singularity structure in the dimension groups.

We provide a detailed study of actions of the integers on compact quantum metric spaces, which includes general criteria ensuring that the associated crossed product algebra is again a compact quantum metric space in a natural way. Moreover, we provide a flexible set of assumptions ensuring that a continuous family of $\ast$ -automorphisms of a compact quantum metric space yields a field of crossed product algebras which varies continuously in Rieffel’s quantum Gromov–Hausdorff distance. Finally, we show how our results apply to continuous families of Lip-isometric actions on compact quantum metric spaces and to families of diffeomorphisms of compact Riemannian manifolds which vary continuously in the Whitney $C^{1}$ -topology.

In this paper, we construct and study a semigroup associated to an action of a countable discrete group on a compact Hausdorff space that can be regarded as a higher dimensional generalization of the type semigroup. We study when this semigroup is almost unperforated. This leads to a new characterization of dynamical comparison and thus answers a question of Kerr and Schafhauser. In addition, this paper suggests a definition of comparison for dynamical systems in which neither the acting group is necessarily amenable nor the action is minimal.

We prove that Cuntz semigroups of C*-algebras satisfy Edwards' condition with respect to every quasitrace. This condition is a key ingredient in the study of the realization problem of functions on the cone of quasitraces as ranks of positive elements. In the course of our investigation, we identify additional structure of the Cuntz semigroup of an arbitrary C*-algebra and of the cone of quasitraces.

In this paper, we introduce quotients of étale groupoids. Using the notion of quotients, we describe the abelianizations of groupoid C*-algebras. As another application, we obtain a simple proof that effectiveness of an étale groupoid is implied by a Cuntz–Krieger uniqueness theorem for a universal groupoid C*-algebra.

A simple Steinberg algebra associated to an ample Hausdorff groupoid G is algebraically purely infinite if and only if the characteristic functions of compact open subsets of the unit space are infinite idempotents. If a simple Steinberg algebra is algebraically purely infinite, then the reduced groupoid $C^*$-algebra $C^*_r(G)$ is simple and purely infinite. But the Steinberg algebra seems too small for the converse to hold. For this purpose we introduce an intermediate *-algebra B(G) constructed using corners $1_U C^*_r(G) 1_U$ for all compact open subsets U of the unit space of the groupoid. We then show that if G is minimal and effective, then B(G) is algebraically properly infinite if and only if $C^*_r(G)$ is purely infinite simple. We apply our results to the algebras of higher-rank graphs.

Given a unital inductive limit of C*-algebras for which each C*-algebra of the inductive sequence comes equipped with a Rieffel compact quantum metric, we produce sufficient conditions to build a compact quantum metric on the inductive limit from the quantum metrics on the inductive sequence by utilizing the completeness of the dual Gromov–Hausdorff propinquity of Latrémolière on compact quantum metric spaces. This allows us to place new quantum metrics on all unital approximately finite-dimensional (AF) algebras that extend our previous work with Latrémolière on unital AF algebras with faithful tracial state. As a consequence, we produce a continuous image of the entire Fell topology on the ideal space of any unital AF algebra in the dual Gromov–Hausdorff propinquity topology.

Let $P$ be a closed convex cone in $\mathbb{R}^{d}$ which is spanning, i.e., $P-P=\mathbb{R}^{d}$ and pointed, i.e., $P\,\cap -P=\{0\}$. Let $\unicode[STIX]{x1D6FC}:=\{{\unicode[STIX]{x1D6FC}_{x}\}}_{x\in P}$ be an $E_{0}$-semigroup over $P$ and let $E$ be the product system associated to $\unicode[STIX]{x1D6FC}$. We show that there exists a bijective correspondence between the units of $\unicode[STIX]{x1D6FC}$ and the units of $E$.

Recent work by Baum et al. [‘Expanders, exact crossed products, and the Baum–Connes conjecture’, Ann. K-Theory 1(2) (2016), 155–208], further developed by Buss et al. [‘Exotic crossed products and the Baum–Connes conjecture’, J. reine angew. Math. 740 (2018), 111–159], introduced a crossed-product functor that involves tensoring an action with a fixed action $(C,\unicode[STIX]{x1D6FE})$, then forming the image inside the crossed product of the maximal-tensor-product action. For discrete groups, we give an analogue for coaction functors. We prove that composing our tensor-product coaction functor with the full crossed product of an action reproduces their tensor-crossed-product functor. We prove that every such tensor-product coaction functor is exact, and if $(C,\unicode[STIX]{x1D6FE})$ is the action by translation on $\ell ^{\infty }(G)$, we prove that the associated tensor-product coaction functor is minimal, thereby recovering the analogous result by the above authors. Finally, we discuss the connection with the $E$-ization functor we defined earlier, where $E$ is a large ideal of $B(G)$.

First, we generalize the definition of a locally compact topology given by Paterson and Welch for a sequence of locally compact spaces to the case where the underlying spaces are $T_{1}$ and sober. We then consider a certain semilattice of basic open sets for this topology on the space of all paths on a graph and impose relations motivated by the definitions of graph C*-algebra in order to recover the boundary path space of a graph. This is done using techniques of pointless topology. Finally, we generalize the results to the case of topological graphs.

We study homeomorphisms of a Cantor set with $k$ ( $k<+\infty$ ) minimal invariant closed (but not open) subsets; we also study crossed product C*-algebras associated to these Cantor systems and certain of their orbit-cut sub-C*-algebras. In the case where $k\geq 2$ , the crossed product C*-algebra is stably finite, has stable rank 2, and has real rank 0 if in addition $(X,\unicode[STIX]{x1D70E})$ is aperiodic. The image of the index map is connected to certain directed graphs arising from the Bratteli–Vershik–Kakutani model of the Cantor system. Using this, it is shown that the ideal of the Bratteli diagram (of the Bratteli–Vershik–Kakutani model) must have at least $k$ vertices at each level, and the image of the index map must consist of infinitesimals.

We prove that for any countable group $\unicode[STIX]{x1D6E4}$ , there exists a free minimal continuous action $\unicode[STIX]{x1D6FC}:\unicode[STIX]{x1D6E4}\curvearrowright {\mathcal{C}}$ on the Cantor set admitting an invariant Borel probability measure.

Let $\mathbb{G}$ be a locally compact quantum group and let $I$ be a closed ideal of $L^{1}(\mathbb{G})$ with $y|_{I}\neq 0$ for some $y\in \text{sp}(L^{1}(\mathbb{G}))$. In this paper, we give a characterization for compactness of $\mathbb{G}$ in terms of the existence of a weakly compact left or right multiplier $T$ on $I$ with $T(f)(y|_{I})\neq 0$ for some $f\in I$. Using this, we prove that $I$ is an ideal in its second dual if and only if $\mathbb{G}$ is compact. We also study Arens regularity of $I$ whenever it has a bounded left approximate identity. Finally, we obtain some characterizations for amenability of $\mathbb{G}$ in terms of the existence of some $I$-module homomorphisms on $I^{\ast \ast }$ and on $I^{\ast }$.

We investigate the concept of orbital free entropy from the viewpoint of the matrix liberation process. We will show that many basic questions around the definition of orbital free entropy are reduced to the question of full large deviation principle for the matrix liberation process. We will also obtain a large deviation upper bound for a certain family of random matrices that is essential to define the orbital free entropy. The resulting rate function is made up into a new approach to free mutual information.

We provide a systematic study of a non-commutative extension of the classical Anzai skew-product for the cartesian product of two copies of the unit circle to the non-commutative 2-tori. In particular, some relevant ergodic properties are proved for these quantum dynamical systems, extending the corresponding ones enjoyed by the classical Anzai skew-product. As an application, for a uniquely ergodic Anzai skew-product $\unicode[STIX]{x1D6F7}$ on the non-commutative $2$ -torus $\mathbb{A}_{\unicode[STIX]{x1D6FC}}$ , $\unicode[STIX]{x1D6FC}\in \mathbb{R}$ , we investigate the pointwise limit, $\lim _{n\rightarrow +\infty }(1/n)\sum _{k=0}^{n-1}\unicode[STIX]{x1D706}^{-k}\unicode[STIX]{x1D6F7}^{k}(x)$ , for $x\in \mathbb{A}_{\unicode[STIX]{x1D6FC}}$ and $\unicode[STIX]{x1D706}$ a point in the unit circle, and show that there are examples for which the limit does not exist, even in the weak topology.

Given an infinite, compact, monothetic group $G$ we study decompositions and structure of unbounded derivations in a crossed product $\text{C}^{\ast }$-algebra $C(G)\rtimes \mathbb{Z}$ obtained from a translation on $G$ by a generator of a dense cyclic subgroup. We also study derivations in a Toeplitz extension of the crossed product and the question whether unbounded derivations can be lifted from one algebra to the other.

The aim of this paper is to study the heat kernel and the jump kernel of the Dirichlet form associated to the ultrametric Cantor set $\unicode[STIX]{x2202}{\mathcal{B}}_{\unicode[STIX]{x1D6EC}}$ that is the infinite path space of the stationary $k$-Bratteli diagram ${\mathcal{B}}_{\unicode[STIX]{x1D6EC}}$, where $\unicode[STIX]{x1D6EC}$ is a finite strongly connected $k$-graph. The Dirichlet form which we are interested in is induced by an even spectral triple $(C_{\operatorname{Lip}}(\unicode[STIX]{x2202}{\mathcal{B}}_{\unicode[STIX]{x1D6EC}}),\unicode[STIX]{x1D70B}_{\unicode[STIX]{x1D719}},{\mathcal{H}},D,\unicode[STIX]{x1D6E4})$ and is given by

$$\begin{eqnarray}Q_{s}(f,g)=\frac{1}{2}\int _{\unicode[STIX]{x1D6EF}}\operatorname{Tr}(|D|^{-s}[D,\unicode[STIX]{x1D70B}_{\unicode[STIX]{x1D719}}(f)]^{\ast }[D,\unicode[STIX]{x1D70B}_{\unicode[STIX]{x1D719}}(g)])\,d\unicode[STIX]{x1D708}(\unicode[STIX]{x1D719}),\end{eqnarray}$$

$\unicode[STIX]{x1D6EF}$

$\unicode[STIX]{x2202}{\mathcal{B}}_{\unicode[STIX]{x1D6EC}}\times \unicode[STIX]{x2202}{\mathcal{B}}_{\unicode[STIX]{x1D6EC}}$

$d^{(s)}$

$d_{w_{\unicode[STIX]{x1D6FF}}}$

$\unicode[STIX]{x2202}{\mathcal{B}}_{\unicode[STIX]{x1D6EC}}$

$\unicode[STIX]{x2202}{\mathcal{B}}_{\unicode[STIX]{x1D6EC}}$

$d^{(s)}$

$\unicode[STIX]{x1D6E5}_{s}$

$Q_{s}$

$d_{w_{\unicode[STIX]{x1D6FF}}}$

$w_{\unicode[STIX]{x1D6FF}}$

${\mathcal{B}}_{\unicode[STIX]{x1D6EC}}$

$\unicode[STIX]{x1D6FF}\in (0,1)$

$\unicode[STIX]{x1D707}$

$\unicode[STIX]{x2202}{\mathcal{B}}_{\unicode[STIX]{x1D6EC}}$

$d^{(s)}$

$d_{w_{\unicode[STIX]{x1D6FF}}}$

$Q_{s}$

$Q_{s}$

${\mathcal{Q}}_{J_{s},\unicode[STIX]{x1D707}}$

$J_{s}$

$\unicode[STIX]{x1D707}$

$\unicode[STIX]{x2202}{\mathcal{B}}_{\unicode[STIX]{x1D6EC}}$

A Banach algebra $A$ is said to be a zero Jordan product determined Banach algebra if, for every Banach space $X$, every bilinear map $\unicode[STIX]{x1D711}:A\times A\rightarrow X$ satisfying $\unicode[STIX]{x1D711}(a,b)=0$ whenever $a$, $b\in A$ are such that $ab+ba=0$, is of the form $\unicode[STIX]{x1D711}(a,b)=\unicode[STIX]{x1D70E}(ab+ba)$ for some continuous linear map $\unicode[STIX]{x1D70E}$. We show that all $C^{\ast }$-algebras and all group algebras $L^{1}(G)$ of amenable locally compact groups have this property and also discuss some applications.

We provide a class of separable II1 factors $M$ whose central sequence algebra is not the ‘tail’ algebra associated with any decreasing sequence of von Neumann subalgebras of $M$. This settles a question of McDuff [On residual sequences in a II1 factor, J. Lond. Math. Soc. (2) (1971), 273–280].