We apply a method inspired by Popa's intertwining-by-bimodules technique to investigate inner conjugacy of MASAs in graph $C^*$-algebras. First we give a new proof of non-inner conjugacy of the diagonal MASA ${\mathcal D}_n$ to its non-trivial image under a quasi-free automorphism, where $E$ is a finite transitive graph. Changing graphs representing the algebras, this result applies to some non quasi-free automorphisms as well. Then we exhibit a large class of MASAs in the Cuntz algebra ${\mathcal O}_n$ that are not inner conjugate to the diagonal ${\mathcal D}_n$.
The problem of inner vs outer conjugacy of subalgebras of certain graph C*-algebras is investigated. For a large class of finite graphs E, we show that whenever $α$ is a vertex-fixing quasi-free automorphism of the corresponding graph C*-algebra C*(E) such that α(\D_E)\neq\D_E, where \D_E is the canonical MASA in C*(E), then α(\D_E)\neq w\D_E w^* for all unitaries w\in C*(E). That is, the two MASAs \D_E and α(\D_E) of C*(E) are outer but not inner conjugate. Passing to an isomorphic C*-algebra by changing the underlying graph makes this result applicable to certain non quasi-free automorphisms…
We completely classify Cartan subalgebras of dimension drop algebras with coprime parameters. More generally, we classify Cartan subalgebras of arbitrary stabilised dimension drop algebras that are non-degenerate in the sense that the dimensions of their fibres in the endpoints are maximal. Conjugacy classes by an automorphism are parametrised by certain congruence classes of matrices over the natural numbers with prescribed row and column sums. In particular, each dimension drop algebra admits only finitely many non-degenerate Cartan subalgebras up to conjugacy. As a consequence of this param…
Denote by $U_{\mathcal I}({\mathcal H})$ the group of all unitary operators in ${\bf 1}+{\mathcal I}$ where ${\mathcal H}$ is a separable infinite-dimensional complex Hilbert space and ${\mathcal I}$ is any two-sided ideal of ${\mathcal B}({\mathcal H})$. A Cartan subalgebra ${\mathcal C}$ of ${\mathcal I}$ is defined in this paper as a maximal abelian self-adjoint subalgebra of~${\mathcal I}$ and its conjugacy class is defined herein as the set of Cartan subalgebras $\{V{\mathcal C} V^*\mid V\in U_{\mathcal I}({\mathcal H})\}$. For nonzero proper ideals ${\mathcal I}$ we construct an uncounta…
We study the complexity of the classification problem for Cartan subalgebras in von Neumann algebras. We construct a large family of II$_1$ factors whose Cartan subalgebras up to unitary conjugacy are not classifiable by countable structures, providing the first such examples. Additionally, we construct examples of II$_1$ factors whose Cartan subalgebras up to conjugacy by an automorphism are not classifiable by countable structures. Finally, we show directly that the Cartan subalgebras of the hyperfinite II$_1$ factor up to unitary conjugacy are not classifiable by countable structures, and d…
We will characterize topological conjugate one-sided topological Markov shifts in terms of their subgroups of continuous full groups and subalgebras of Cuntz--Krieger algebras.
We will characterize topologically conjugate two-sided topological Markov shifts $(\bar{X}_A,\barσ_A)$ in terms of the associated asymptotic Ruelle $C^*$-algebras ${\mathcal{R}}_A$ with its commutative $C^*$-subalgebras $C(\bar{X}_A)$ and the canonical circle actions. We will also show that extended Ruelle algebras ${\widetilde{\mathcal{R}}}_A$, which are purely infinite version of the asymptotic Ruelle algebras, with its commutative $C^*$-subalgebras $C(\bar{X}_A)$ and the canonical torus actions $γ^A$ are complete invariants for topological conjugacy of two-sided topological Markov shifts. W…
In this paper, we study a family of $C^*$-subalgebras defined by fixed points of generalized gauge actions of a Cuntz-Krieger algebra, by introducing a family of étale groupoids whose associated $C^*$-algebras are these $C^*$-subalgebras. We know that topological conjugacy classes of one-sided topological Markov shifts are characterized in terms of the isomorphism classes of these étale groupoids.
A one-sided shift of finite type $(X_A,σ_A)$ determines on the one hand a Cuntz-Krieger algebra $\mathcal{O}_A$ with a distinguished abelian subalgebra $\mathcal{D}_A$ and a certain completely positive map $τ_A$ on $\mathcal{O}_A$. On the other hand, $(X_A,σ_A)$ determines a groupoid $\mathcal{G}_A$ together with a certain homomorphism $ε_A$ on $\mathcal{G}_A$. We show that this data completely characterizes the one-sided conjugacy class of $X_A$. This strengthens a result of Cuntz and Krieger. We also exhibit an example of two irreducible shifts of finite type which are eventually conjugate b…
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 subalgebra.
We initiate the study of Cartan subalgebras in C*-algebras, with a particular focus on existence and uniqueness questions. For homogeneous C*-algebras, these questions can be analysed systematically using the theory of fibre bundles. For group C*-algebras, while we are able to find Cartan subalgebras in C*-algebras of many connected Lie groups, there are classes of (discrete) groups, for instance non-abelian free groups, whose reduced group C*-algebras do not have any Cartan subalgebras. Moreover, we show that uniqueness of Cartan subalgebras usually fails for classifiable C*-algebras. However…
Let $A$ be a $C^*$-algebra. It is shown that the following conditions are equinvalent: (1) $A$ is scattered, (2) every $C^*$-subalgebra of $A$ is AF, (3) every $C^*$-subalgebra of $A$ has real rank zero.
The study of different types of ideals in non self-adjoint operator algebras has been a topic of recent research. This study focuses on principal ideals in subalgebras of groupoid C*-algebras. An ideal is said to be principal if it is generated by a single element of the algebra. We look at subalgebras of r-discrete principal groupoid C*-algebras and prove that these algebras are principal ideal algebras. Regular canonical subalgebras of almost finite C*-algebras have digraph algebras as their building blocks. The spectrum of almost finite C*-algebras has the structure of an r-discrete princip…
We show that if (A,a) and (B,b) are automorphic multivariable C*-dynamical systems with isometrically isomorphic tensor algebras (or semi crossed products), then the systems are piecewise conjugate over their Jacobson spectrum. This answers a question of Kakariadis and the author.
We show that semiprojectivity of a C*-algebra is preserved when passing to C*-subalgebras of finite codimension. In particular, any pullback of two semiprojective C*-algebras over a finite-dimensional C*-algebra is again semiprojective.
We study uniform perturbations of intermediate C*-subalgebras of inclusions of simple C*-algebras. If a unital simple C*-algebra has a simple C*-subalgebra of finite index, then sufficiently close simple intermediate C*-subalgebras are unitarily equivalent. These C*-subalgebras need not to be nuclear. The unitary can be chosen in the relative commutant algebra. An imediate corollary is the following: If the relative commutant is trivial, then the set of intermediate C*-subagebras is a finite set.
According to J. Feldman and C. Moore's well-known theorem on Cartan subalgebras, a variant of the group measure space construction gives an equivalence of categories between twisted countable standard measured equivalence relations and Cartan pairs, i.e. a von Neumann algebra (on a separable Hilbert space) together with a Cartan subalgebra. A. Kumjian gave a C*-algebraic analogue of this theorem in the early eighties. After a short survey of maximal abelian self-adjoint subalgebras in operator algebras, I present a natural definition of a Cartan subalgebra in a C*-algebra and an extension of K…
We show that any order isomorphism between ordered structures of associative unital JB-subalgebras of JBW algebras is implemented naturally by a Jordan isomorphism. Consequently, JBW algebras are determined by the structure of their associative unital JB subalgebras. Further we show that in a similar way it is possible to reconstruct Jordan structure from the order structure of associative subalgebras endowed with an orthogonality relation. In case of abelian subalgebras of von Neuman algebra it is we shown that order isomorphisms of the structure of abelian C*-subalgebras that are well behave…
We investigate subalgebras $A$ of the Cuntz algebra ${\mathcal O}_n$ that arise as finite direct sums of corners of the UHF-subalgebra ${\mathcal F}_n$. For such an $A$, we completely determine its normalizer group inside ${\mathcal O}_n$.
We study Cartan subalgebras in the context of amalgamated free product II$_1$ factors and obtain several uniqueness and non-existence results. We prove that if $Γ$ belongs to a large class of amalgamated free product groups (which contains the free product of any two infinite groups) then any II$_1$ factor $L^{\infty}(X)\rtimesΓ$ arising from a free ergodic probability measure preserving action of $Γ$ has a unique Cartan subalgebra, up to unitary conjugacy. We also prove that if $\mathcal R=\mathcal R_1*\mathcal R_2$ is the free product of any two non-hyperfinite countable ergodic probability …
In this paper we describe the amalgamated free product of two hyperfinite von Neumann algebras over a finite dimensional subalgebra. In general the free product is a finite direct sum of interpolated free group factors and a hyperfinite von Neumann algebra. We then show that the class of von Neumann algebras of this form is closed under taking amalgamated free products over finite dimensional subalgebras.
In this article, we give explicit examples of maximal amenable subalgebras of the $q$-Gaussian algebras, namely, the generator subalgebra is maximal amenable inside the $q$-Gaussian algebras for real numbers $q$ with its absolute value sufficiently small. To achieve this, we construct a Riesz basis in the spirit of Rădulescu and develop a structural theorem for the $q$-Gaussian algebras.
We construct dense, unconditional subalgebras of the reduced group $C^*$-algebra of a word-hyperbolic group, which are closed under holomorphic functional calculus and possess many bounded traces. Applications to the cyclic cohomology of group $C^*$-algebras and to delocalized $L^2$-invariants of negatively curved manifolds are given.
We will characterize topological conjugacy classes of one-sided topological Markov shifts in terms of the associated Cuntz--Krieger algebras and its gauge actions with potentials.
For an irreducible non-permutation matrix $A$, the triplet $({\mathcal{O}_A},{\mathcal{D}_A},ρ^A)$ for the Cuntz-Krieger algebra ${\mathcal{O}_A}$, its canonical maximal abelian $C^*$-subalgebra ${\mathcal{D}_A}$, and its gauge action $ρ^A$ is called the Cuntz-Krieger triplet. We introduce a notion of strong Morita equivalence in the Cuntz-Krieger triplets, and prove that two Cuntz-Krieger triplets $({\mathcal{O}_A},{\mathcal{D}_A},ρ^A)$ and $({\mathcal{O}_B},{\mathcal{D}_B},ρ^B)$ are strong Morita equivalent if and only if $A$ and $B$ are strong shift equivalent. We also show that the general…
The class of normal subshifts includes irreducible infinite topological Markov shifts, irreducible infinite sofic shifts, synchronized systems, Dyck shifts, $β$-shifts, substitution minimal shifts, and so on. We will characterize one-sided topological conjugacy classes of normal subshifts in terms of the associated $C^*$-algebras and its gauge actions with potentials.
We give several examples of Douglas Algebras that do not have any maximal subalgebra. We find a condition on these algebras that guarantees that some do not have any minimal superalgebra. We also show that if $A$ is the only maximal subalgebra of a Douglas algebra $B$, then the algebra $A$ does not have any maximal subalgebra.
We develop a general approach to the problem of classification of weak coideal C*-subalgebras of weak Hopf C*-algebras. As an example, we consider weak Hopf C*-algebras and their weak coideal C*-subalgebras associated with Tambara Yamagami categories.
For all transcendental parameters, the irrational rotation algebra is shown to contain infinitely many C*-subalgebras satisfying the following properties. Each subalgebra is isomorphic to a direct sum of two matrix algebras of the same (perfect square) dimension; the Fourier transform maps each summand onto the other; the corresponding unit projection is approximately central; the compressions of the canonical generators of the irrational rotation algebra are approximately contained in the subalgebra.
In this paper, we prove that the cycline subalgbra of a $k$-graph C*-algebra is maximal abelian, and show when it is a Cartan subalgebra (in the sense of Renault).
To every subfactor planar algebra was associated a II_1 factor with a canonical abelian subalgebra generated by the cup tangle. Using Popa's approximative orthogonality property, we show that this cup subalgebra is maximal amenable.
In this short note we classify the Cartan subalgebras in all von Neumann algebras associated with graph product groups and their free ergodic measure preserving actions on probability spaces.
Given $-1 < q < 1$ and a separable real Hilbert space with dimension no less than 2, we prove that the generator subalgebra in the $q$-Gaussian algebra is singular.
We show that every logmodular subalgebra of $M_n(\mathbb{C})$ is unitary equivalent to an algebra of block upper triangular matrices, which was conjectured in \cite{VM}. In particular, this shows that every unital contractive representation of a logmodular subalgebra of $M_n(\mathbb{C})$ is automatically completely contractive.
A family of algebras, which we call topological conjugacy algebras, is associated with each proper continuous map on a locally compact Hausdorff space. Assume that $η_i:\X_i\to \X_i$ is a continuous proper map on a locally compact Hausdorff space $\X_i$, for $i = 1,2$. We show that the dynamical systems $(\X_1, η_1)$ and $(\X_2, η_2)$ are conjugate if and only if some topological conjugacy algebra of $(\X_1, η_1)$ is isomorphic as an algebra to some topological conjugacy algebra of $(\X_2, η_2)$. This implies as a corollary the complete classification of the semicrossed products $C_0(\X) \time…
In this paper, we determine the isomorphic classes of Morita equivalent subalgebras of irrational rotation algebras. It is based on the solution of the quadratic Diophantine equations. We determine the irrational rotation algebras that have locally trivial inclusions. We compute the index of the locally trivial inclusions of irrational rotation algebras.
We investigate the structure of the outer automorphism group of the Cuntz algebra and the closely related problem of conjugacy of MASAa in O_n. In particular, we exhibit an uncountable family of MASAs, conjugate to the standard MASA D_n via Bogolubov automorphisms, that are not inner conjugate to D_n.
We introduce a family of dense subalgebras of the Toeplitz algebra and give conditions under which our algebras are quasi-free. As a corollary, we show that the smooth Toeplitz algebra introduced by Cuntz is quasi-free.
Recently, Adrian Ioana proved that all crossed products by free ergodic probability measure preserving actions of a nontrivial free product group Γ_1 * Γ_2 have a unique Cartan subalgebra up to unitary conjugacy. Ioana deduced this result from a more general dichotomy theorem on the normalizer N_M(A)'' of an amenable subalgebra A of an amalgamated free product von Neumann algebra M = M_1 *_B M_2. We improve this dichotomy theorem by removing the spectral gap assumptions and obtain in particular a simpler proof for the uniqueness of the Cartan subalgebra in crossed products by Γ_1 * Γ_2.
We investigate Cartan subalgebras in nontracial amalgamated free product von Neumann algebras $M_1 \ast_B M_2$ over an amenable von Neumann subalgebra $B$. First, we settle the problem of the absence of Cartan subalgebra in arbitrary free product von Neumann algebras. Namely, we show that any nonamenable free product von Neumann algebra $(M_1, φ_1) \ast (M_2, φ_2)$ with respect to faithful normal states has no Cartan subalgebra. This generalizes the tracial case that was established in \cite{Io12a}. Next, we prove that any countable nonsingular ergodic equivalence relation $\mathcal R$ defined…
