Showing 1–40 of 40 results for author: Carlsen, T M

A Cuntz--Krieger Uniqueness theorem for C*-algebras of relative generalized Boolean dynamical systems

Authors: Toke Meier Carlsen, Eun Ji Kang

Abstract: We prove a version of the Cuntz--Krieger Uniqueness Theorem for $C^*$-algebras of arbitrary relative generalized Boolean dynamical systems. We then describe properties of a $C^*$-algebra of a relative generalized Boolean dynamical system when the underlying Boolean dynamical system satisfies Condition (K). We also define a notion of minimality of a Boolean dynamical system and give sufficient and… ▽ More We prove a version of the Cuntz--Krieger Uniqueness Theorem for $C^*$-algebras of arbitrary relative generalized Boolean dynamical systems. We then describe properties of a $C^*$-algebra of a relative generalized Boolean dynamical system when the underlying Boolean dynamical system satisfies Condition (K). We also define a notion of minimality of a Boolean dynamical system and give sufficient and necessary conditions for the minimality. Using these results, we characterize the generalized Boolean dynamical systems who's $C^*$-algebra is simple. △ Less

Submitted 16 May, 2023; originally announced May 2023.

Comments: 26 pages

MSC Class: 46L55(primary) 37B99; 46L05 ( secondary)

Ideal structure of C*-algebras of commuting local homeomorphisms

Authors: Kevin Aguyar Brix, Toke Meier Carlsen, Aidan Sims

Abstract: We determine the primitive ideal space and hence the ideal lattice of a large class of separable groupoid C*-algebras that includes all 2-graph C*-algebras. A key ingredient is the notion of harmonious families of bisections in etale groupoids associated to finite families of commuting local homeomorphisms. Our results unify and recover all known results on ideal structure for crossed products of… ▽ More We determine the primitive ideal space and hence the ideal lattice of a large class of separable groupoid C*-algebras that includes all 2-graph C*-algebras. A key ingredient is the notion of harmonious families of bisections in etale groupoids associated to finite families of commuting local homeomorphisms. Our results unify and recover all known results on ideal structure for crossed products of commutative C*-algebras by free abelian groups, for graph C*-algebras, and for Katsura's topological graph C*-algebras. △ Less

Submitted 16 December, 2023; v1 submitted 3 March, 2023; originally announced March 2023.

Comments: [v2]: 50 pages; pictures typeset with TikZ; Lemma 3.3 added, and proof of Proposition 7.2 corrected; thanks to Johannes Christensen and Sergiy Neshveyev for helpful discussions

MSC Class: 46L05 (primary)

Some results regarding the ideal structure of C*-algebras of étale groupoids

Authors: Kevin Aguyar Brix, Toke Meier Carlsen, Aidan Sims

Abstract: We prove a sandwiching lemma for inner-exact locally compact Hausdorff étale groupoids. Our lemma says that every ideal of the reduced $C^*$-algebra of such a groupoid is sandwiched between the ideals associated to two uniquely defined open invariant subsets of the unit space. We obtain a bijection between ideals of the reduced $C^*$-algebra, and triples consisting of two nested open invariant set… ▽ More We prove a sandwiching lemma for inner-exact locally compact Hausdorff étale groupoids. Our lemma says that every ideal of the reduced $C^*$-algebra of such a groupoid is sandwiched between the ideals associated to two uniquely defined open invariant subsets of the unit space. We obtain a bijection between ideals of the reduced $C^*$-algebra, and triples consisting of two nested open invariant sets and an ideal in the $C^*$-algebra of the subquotient they determine that has trivial intersection with the diagonal subalgebra and full support. We then introduce a generalisation to groupoids of Ara and Lolk's relative strong topological freeness condition for partial actions, and prove that the reduced $C^*$-algebras of inner-exact locally compact Hausdorff étale groupoids satisfying this condition admit an obstruction ideal in Ara and Lolk's sense. △ Less

Submitted 3 January, 2024; v1 submitted 11 November, 2022; originally announced November 2022.

Comments: 18 pages; v2 19 pages, minor changes. Thanks to an anonymous referee

Conjugacy of local homeomorphisms via groupoids and C*-algebras

Authors: Becky Armstrong, Kevin Aguyar Brix, Toke Meier Carlsen, Søren Eilers

Abstract: 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 characterise topological conjugacy of these systems in terms of isomorphisms of thei… ▽ More 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 characterise topological conjugacy of these systems in terms of isomorphisms of their associated groupoids and C*-algebras. This significantly generalises recent work of Matsumoto and of the second- and third-named authors. △ Less

Submitted 9 August, 2022; v1 submitted 2 May, 2021; originally announced May 2021.

Comments: 19 pages. This version matches the version in Ergodic Theory and Dynamical Systems

MSC Class: 37A55 (primary); 37B10; 46L55 (secondary)

Journal ref: Ergodic Theory Dynam. Systems 43 (2023), 2516--2537

Shift equivalences through the lens of Cuntz-Krieger algebras

Authors: Toke Meier Carlsen, Adam Dor-On, Søren Eilers

Abstract: Motivated by Williams' problem of measuring novel differences between shift equivalence (SE) and strong shift equivalence (SSE), we introduce three equivalence relations that provide new ways to obstruct SSE while merely assuming SE. Our shift equivalence relations arise from studying graph C*-algebras, where a variety of intermediary equivalence relations naturally arise. As a consequence we re… ▽ More Motivated by Williams' problem of measuring novel differences between shift equivalence (SE) and strong shift equivalence (SSE), we introduce three equivalence relations that provide new ways to obstruct SSE while merely assuming SE. Our shift equivalence relations arise from studying graph C*-algebras, where a variety of intermediary equivalence relations naturally arise. As a consequence we realize a goal sought after by Muhly, Pask and Tomforde, measure a delicate difference between SSE and SE in terms of Pimsner dilations for C*-correspondences of adjacency matrices, and use this distinction to refute a proof from a previous paper. △ Less

Submitted 28 January, 2023; v1 submitted 20 November, 2020; originally announced November 2020.

Comments: Final version. Streamlined introduction, improved exposition, and fixed several typos. To appear in Analysis and PDEs. 37 pages

MSC Class: Primary: 37A55; 46L55 Secondary: 37B10; 37A35; 46L08; 46L35; 54H20

Journal ref: Analysis & PDE 17 (2024) 345-377

Gauge-invariant ideals of C*-algebras of Boolean dynamical systems

Authors: Toke Meier Carlsen, Eun Ji Kang

Abstract: We enlarge the class of $C^*$-algebras of Boolean dynamical systems in order to include all weakly left-resolving normal labelled space $C^*$-algebras in it. We prove a gauge-invariant uniqueness theorem and classify all gauge-invariant ideals of these $C^*$-algebras of generalized Boolean dynamical systems and describe the corresponding quotients as $C^*$-algebras of relative generalized Boolean… ▽ More We enlarge the class of $C^*$-algebras of Boolean dynamical systems in order to include all weakly left-resolving normal labelled space $C^*$-algebras in it. We prove a gauge-invariant uniqueness theorem and classify all gauge-invariant ideals of these $C^*$-algebras of generalized Boolean dynamical systems and describe the corresponding quotients as $C^*$-algebras of relative generalized Boolean dynamical systems. △ Less

Submitted 21 May, 2021; v1 submitted 27 November, 2019; originally announced November 2019.

Comments: 28 pages. Version 2 is a slightly revised version of version 1, and is the version that was published in Journal of Mathematical Analysis and Applications. In version 2 (and the published version), there were some small mistakes on page 24 and in the proof of Lemma 7.2.(2) on page 25. They have been corrected in version 3 (see also https://doi.org/10.1016/j.jmaa.2020.124754)

MSC Class: 46L05; 46L55

Journal ref: J. Math. Anal. Appl. 488 (2020)

Condition (K) for Boolean dynamical systems

Authors: Toke Meier Carlsen, Eun Ji Kang

Abstract: We generalize Condition (K) from directed graphs to Boolean dynamical systems and show that a locally finite Boolean dynamical system $(\mathcal{B},\mathcal{L},θ)$ with countable $\mathcal{B}$ and $\mathcal{L}$ satisfies Condition (K) if and only if every ideal of its $C^*$-algebra is gauge-invariant, if and only if its $C^*$-algebra has the (weak) ideal property, and if and only if its $C^*$-alge… ▽ More We generalize Condition (K) from directed graphs to Boolean dynamical systems and show that a locally finite Boolean dynamical system $(\mathcal{B},\mathcal{L},θ)$ with countable $\mathcal{B}$ and $\mathcal{L}$ satisfies Condition (K) if and only if every ideal of its $C^*$-algebra is gauge-invariant, if and only if its $C^*$-algebra has the (weak) ideal property, and if and only if its $C^*$-algebra has topological dimension zero. As a corollary we prove that if the $C^*$-algebra of a locally finite Boolean dynamical system with $\mathcal{B}$ and $\mathcal{L}$ are countable either has real rank zero or is purely infinite, then $(\mathcal{B}, \mathcal{L}, θ)$ satisfies Condition (K). We also generalize the notion of maximal tails from directed graph to Boolean dynamical systems and use this to give a complete description of the primitive ideal space of the $C^*$-algebra of a locally finite Boolean dynamical system that satisfies Condition (K) and has countable $\mathcal{B}$ and $\mathcal{L}$. △ Less

Submitted 31 May, 2021; v1 submitted 19 November, 2019; originally announced November 2019.

Comments: 25 pages. Version 2 is a minor update of version 1 and is the version that will be published in J. Aust. Math. Soc

MSC Class: 46L05 (Primary) 46L55 (Secondary)

Journal ref: J. Aust. Math. Soc. 112 (2022) 145-169

C*-algebras, groupoids and covers of shift spaces

Authors: Kevin Aguyar Brix, Toke Meier Carlsen

Abstract: To every one-sided shift space $\mathsf{X}$ we associate a cover $\tilde{\mathsf{X}}$, a groupoid $\mathcal{G}_{\mathsf{X}}$ and a $\mathrm{C^*}$-algebra $\mathcal{O}_{\mathsf{X}}$. We characterize one-sided conjugacy, eventual conjugacy and (stabilizer preserving) continuous orbit equivalence between $\mathsf{X}$ and $\mathsf{Y}$ in terms of isomorphism of $\mathcal{G}_{\mathsf{X}}$ and… ▽ More To every one-sided shift space $\mathsf{X}$ we associate a cover $\tilde{\mathsf{X}}$, a groupoid $\mathcal{G}_{\mathsf{X}}$ and a $\mathrm{C^*}$-algebra $\mathcal{O}_{\mathsf{X}}$. We characterize one-sided conjugacy, eventual conjugacy and (stabilizer preserving) continuous orbit equivalence between $\mathsf{X}$ and $\mathsf{Y}$ in terms of isomorphism of $\mathcal{G}_{\mathsf{X}}$ and $\mathcal{G}_{\mathsf{Y}}$, and diagonal preserving $^*$-isomorphism of $\mathcal{O}_{\mathsf{X}}$ and $\mathcal{O}_{\mathsf{Y}}$. We also characterize two-sided conjugacy and flow equivalence of the associated two-sided shift spaces $Λ_{\mathsf{X}}$ and $Λ_{\mathsf{Y}}$ in terms of isomorphism of the stabilized groupoids $\mathcal{G}_{\mathsf{X}}\times \mathcal{R}$ and $\mathcal{G}_{\mathsf{Y}}\times \mathcal{R}$, and diagonal preserving $^*$-isomorphism of the stabilized $\mathrm{C^*}$-algebras $\mathcal{O}_{\mathsf{X}}\otimes \mathbb{K}$ and $\mathcal{O}_{\mathsf{Y}}\otimes \mathbb{K}$. Our strategy is to lift relations on the shift spaces to similar relations on the covers. Restricting to the class of sofic shifts whose groupoids are effective, we show that it is possible to recover the continuous orbit equivalence class of $\mathsf{X}$ from the pair $(\mathcal{O}_{\mathsf{X}}, C(\mathsf{X}))$, and the flow equivalence class of $Λ_{\mathsf{X}}$ from the pair $(\mathcal{O}_{\mathsf{X}}\otimes \mathbb{K}, C(\mathsf{X})\otimes c_0)$. In particular, continuous orbit equivalence implies flow equivalence for this class of shift spaces. △ Less

Submitted 21 November, 2020; v1 submitted 4 October, 2019; originally announced October 2019.

Comments: 45 pages; Section 3 and Theorem 3.3 improved, other minor changes. This is the published version

Report number: CPH-SYM-DNRF92

Journal ref: Trans. Amer. Math. Soc. Ser. B 7 (2020), 134-185

Orbit equivalence of higher-rank graphs

Authors: Toke Meier Carlsen, James Rout

Abstract: We study the notions of continuous orbit equivalence and eventual one-sided conjugacy of finitely-aligned higher-rank graphs and two-sided conjugacy of row-finite higher-rank graphs with finitely many vertices and no sinks or sources. We show that there is a continuous orbit equivalence between two finitely-aligned higher-rank graphs that preserves the periodicity of boundary paths if and only if… ▽ More We study the notions of continuous orbit equivalence and eventual one-sided conjugacy of finitely-aligned higher-rank graphs and two-sided conjugacy of row-finite higher-rank graphs with finitely many vertices and no sinks or sources. We show that there is a continuous orbit equivalence between two finitely-aligned higher-rank graphs that preserves the periodicity of boundary paths if and only if the boundary path groupoids are isomorphic, and characterise continuous orbit equivalence, eventual one-sided conjugacy, and two-sided conjugacy of higher-rank graphs in terms of the $C^*$-algebras and the Kumjian-Pask algebras of the higher-rank graphs. △ Less

Submitted 17 March, 2019; originally announced March 2019.

Comments: 25 pages

MSC Class: Primary: 46L55; Secondary: 37A55; 37B10; 16S99; 22A22

Journal ref: J. Operator Theory, 86 (2021), 395-424

$C^*$-rigidity of dynamical systems and étale groupoids

Authors: Toke Meier Carlsen

Abstract: This is some lecture notes I wrote for the masterclass \emph{Rigidity of $C^*$-algebras associated to dynamics} held at the University of Copenhagen October 16-20, 2017. The notes is attempt to give an introduction to how étale groupoids can be used to obtain $C^*$-rigidity result for topological dynamical systems. This is some lecture notes I wrote for the masterclass \emph{Rigidity of $C^*$-algebras associated to dynamics} held at the University of Copenhagen October 16-20, 2017. The notes is attempt to give an introduction to how étale groupoids can be used to obtain $C^*$-rigidity result for topological dynamical systems. △ Less

Submitted 13 March, 2018; originally announced March 2018.

Comments: 32 pages. arXiv admin note: text overlap with arXiv:1711.01052

Topological freeness for $C^*$-correspondences

Authors: T. M. Carlsen, B. K. Kwasniewski, E. Ortega

Abstract: We study conditions that ensure uniqueness theorems of Cuntz-Krieger type for relative Cuntz-Pimsner algebras $\mathcal{O}(J,X)$ associated to a $C^*$-correspondence $X$ over a $C^*$-algebra $A$. We give general sufficient conditions phrased in terms of a multivalued map $\widehat{X}$ acting on the spectrum $\widehat{A}$ of $A$. When $X(J)$ is of Type I we construct a directed graph dual to $X$ an… ▽ More We study conditions that ensure uniqueness theorems of Cuntz-Krieger type for relative Cuntz-Pimsner algebras $\mathcal{O}(J,X)$ associated to a $C^*$-correspondence $X$ over a $C^*$-algebra $A$. We give general sufficient conditions phrased in terms of a multivalued map $\widehat{X}$ acting on the spectrum $\widehat{A}$ of $A$. When $X(J)$ is of Type I we construct a directed graph dual to $X$ and prove a uniqueness theorem using this graph. When $X(J)$ is liminal, we show that topological freeness of this graph is equivalent to the uniqueness property for $\mathcal{O}(J,X)$, as well as to an algebraic condition, which we call $J$-acyclicity of $X$. As an application we improve the Fowler-Raeburn uniqueness theorem for the Toeplitz algebra $\mathcal{T}_X$. We give new simplicity criteria for $\mathcal{O}_X$. We generalize and enhance uniqueness results for relative quiver $C^*$-algebras of Muhly and Tomforde. We also discuss applications to crossed products by endomorphisms. △ Less

Submitted 11 January, 2019; v1 submitted 9 January, 2018; originally announced January 2018.

Comments: We have updated the list of references, fixed some typos and made other minor improvements. This is the version that will be published

MSC Class: 46L08

Journal ref: Math. Anal. Appl. 473 (2019), 749-785

Cuntz-Krieger algebras and one-sided conjugacy of shifts of finite type and their groupoids

Authors: Kevin Aguyar Brix, Toke Meier Carlsen

Abstract: 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 ch… ▽ More 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 but not conjugate. This answers a question of Matsumoto of whether eventual conjugacy implies conjugacy in the negative. △ Less

Submitted 19 February, 2019; v1 submitted 30 November, 2017; originally announced December 2017.

Comments: v2: Minor changes, corollary added, references updated; 9 pages. This is the version that will be published

Report number: CPH-SYM-DNRF92

Journal ref: J. Aust. Math. Soc. 109 (2020), no. 3, 289-298

Reconstruction of groupoids and C*-rigidity of dynamical systems

Authors: Toke Meier Carlsen, Efren Ruiz, Aidan Sims, Mark Tomforde

Abstract: We show how to construct a graded locally compact Hausdorff étale groupoid from a C*-algebra carrying a coaction of a discrete group, together with a suitable abelian subalgebra. We call this groupoid the extended Weyl groupoid. When the coaction is trivial and the subalgebra is Cartan, our groupoid agrees with Renault's Weyl groupoid. We prove that if G is a second-countable locally compact étale… ▽ More We show how to construct a graded locally compact Hausdorff étale groupoid from a C*-algebra carrying a coaction of a discrete group, together with a suitable abelian subalgebra. We call this groupoid the extended Weyl groupoid. When the coaction is trivial and the subalgebra is Cartan, our groupoid agrees with Renault's Weyl groupoid. We prove that if G is a second-countable locally compact étale groupoid carrying a grading of a discrete group, and if the interior of the trivially graded isotropy is abelian and torsion free, then the extended Weyl groupoid of its reduced C*-algebra is isomorphic as a graded groupoid to G. In particular, two such groupoids are isomorphic as graded groupoids if and only if there is an equivariant diagonal-preserving isomorphism of their reduced C*-algebras. We introduce graded equivalence of groupoids, and establish that two graded groupoids in which the trivially graded isotropy has torsion-free abelian interior are graded equivalent if and only if there is an equivariant diagonal-preserving Morita equivalence between their reduced C*-algebras. We use these results to establish rigidity results for a number of classes of dynamical systems, including all actions of the natural numbers by local homeomorphisms of locally compact Hausdorff spaces. △ Less

Submitted 4 July, 2021; v1 submitted 3 November, 2017; originally announced November 2017.

Comments: v2: 45 pages; removed notion of "weakly Cartan subalgebra" as it is equivalent to a sigma-unital abelian subalgebra (see Lemma 4.1) and updated numerous statements accordingly. Thanks to R. Meyer and B. Kwasniewski for pointing this out. Numerous other minor corrections and improvements. This version to appear in Advances in Mathematics

MSC Class: 46L05 (primary); 20M20; 22A22; 37B05; 37B10; 46L55

Journal ref: Adv. Math., 390 (2021), 107923

Diagonal-preserving graded isomorphisms of Steinberg algebras

Authors: Toke Meier Carlsen, James Rout

Abstract: We study Steinberg algebras constructed from ample Hausdorff groupoids over commutative integral domains with identity. We reconstruct (graded) groupoids from (graded) Steinberg algebras and use this to characterise when there is a diagonal-preserving (graded) isomorphism between two (graded) Steinberg algebras. We apply this characterisation to groupoids of directed graphs in order to study diago… ▽ More We study Steinberg algebras constructed from ample Hausdorff groupoids over commutative integral domains with identity. We reconstruct (graded) groupoids from (graded) Steinberg algebras and use this to characterise when there is a diagonal-preserving (graded) isomorphism between two (graded) Steinberg algebras. We apply this characterisation to groupoids of directed graphs in order to study diagonal-preserving (graded) isomorphisms of Leavitt path algebras and graph $C^*$-algebras. △ Less

Submitted 18 June, 2017; v1 submitted 29 November, 2016; originally announced November 2016.

Comments: 23 pages. We have revised our exposition to highlight that we only need to know the ring structure of a Steinberg algebra and its diagonal subalgebra in order to recover the underlying groupoid. This is the version that will be published

Journal ref: Communications in Contemporary Mathematics 20 (2018), 1750064

Flow equivalence and orbit equivalence for shifts of finite type and isomorphism of their groupoids

Authors: Toke Meier Carlsen, Søren Eilers, Eduard Ortega, Gunnar Restorff

Abstract: We give conditions for when continuous orbit equivalence of one-sided shift spaces implies flow equivalence of the associated two-sided shift spaces. Using groupoid techniques, we prove that this is always the case for shifts of finite type. This generalises a result of Matsumoto and Matui from the irreducible to the general case. We also prove that a pair of one-sided shift spaces of finite type… ▽ More We give conditions for when continuous orbit equivalence of one-sided shift spaces implies flow equivalence of the associated two-sided shift spaces. Using groupoid techniques, we prove that this is always the case for shifts of finite type. This generalises a result of Matsumoto and Matui from the irreducible to the general case. We also prove that a pair of one-sided shift spaces of finite type are continuously orbit equivalent if and only if their groupoids are isomorphic, and that the corresponding two-sided shifts are flow equivalent if and only if the groupoids are stably isomorphic. As applications we show that two finite directed graphs with no sinks and no sources are move equivalent if and only if the corresponding graph $C^*$-algebras are stably isomorphic by a diagonal-preserving isomorphism (if and only if the corresponding Leavitt path algebras are stably isomorphic by a diagonal-preserving isomorphism), and that two topological Markov chains are flow equivalent if and only if there is a diagonal-preserving isomorphism between the stabilisations of the corresponding Cuntz-Krieger algebras (the latter generalises a result of Matsumoto and Matui about irreducible topological Markov chains to a result about general topological Markov chains). We also show that for general shift spaces, strongly continuous orbit equivalence implies two-sided conjugacy. △ Less

Submitted 28 September, 2018; v1 submitted 31 October, 2016; originally announced October 2016.

Comments: 25 pages. Minor changes have been made and the list of references has been updated. This is the version that will be published

Report number: CPH-SYM-DNRF92 MSC Class: 37B10 (Primary); 16S99; 22A33; 37A55; 46L55 (Secondary)

Journal ref: Journal of Mathematical Analysis and Applications 469 (2019), 1088-1110

Orbit equivalence of graphs and isomorphism of graph groupoids

Authors: Toke Meier Carlsen, Marius Lie Winger

Abstract: We show that the groupoids of two directed graphs are isomorphic if and only if the two graphs are orbit equivalent by an orbit equivalence that preserves isolated eventually periodic points. We also give a complete description of the (topological) isolated points of the boundary path space of a graph. As a result, we are able to show that the groupoids of two directed graphs with finitely many ve… ▽ More We show that the groupoids of two directed graphs are isomorphic if and only if the two graphs are orbit equivalent by an orbit equivalence that preserves isolated eventually periodic points. We also give a complete description of the (topological) isolated points of the boundary path space of a graph. As a result, we are able to show that the groupoids of two directed graphs with finitely many vertices and no sinks are isomorphic if and only if the two graphs are orbit equivalent, and that the groupoids of the stabilisations of two such graphs are isomorphic if and only if the stabilisations of the graphs are orbit equivalent. △ Less

Submitted 24 January, 2017; v1 submitted 31 October, 2016; originally announced October 2016.

Comments: 9 pages. In version 3 the list of references has been updated and some misprints have been corrected. This is the version that will be published

Journal ref: MATHEMATICA SCANDINAVICA, 123 (2018), 239-248

Diagonal-preserving gauge-invariant isomorphisms of graph $C^*$-algebras

Authors: Toke Meier Carlsen, James Rout

Abstract: We study graph $C^*$-algebras equipped with generalised gauge actions, and characterise in terms of groupoids and groupoid cocycles when two graph $C^*$-algebras are isomorphic by a diagonal-preserving isomorphism that intertwines the generalised gauge actions. We apply this characterisation to show that two Cuntz-Krieger algebras are isomorphic by a diagonal-preserving isomorphism that intertwine… ▽ More We study graph $C^*$-algebras equipped with generalised gauge actions, and characterise in terms of groupoids and groupoid cocycles when two graph $C^*$-algebras are isomorphic by a diagonal-preserving isomorphism that intertwines the generalised gauge actions. We apply this characterisation to show that two Cuntz-Krieger algebras are isomorphic by a diagonal-preserving isomorphism that intertwines the gauge actions if and only if the corresponding one-sided subshifts are eventually conjugate, and that the stabilisation of two Cuntz-Krieger algebras are isomorphic by a diagonal-preserving isomorphism that intertwines the gauge actions if and only if the corresponding two-sided subshifts are conjugate. △ Less

Submitted 3 October, 2016; originally announced October 2016.

Comments: 12 pages

Report number: BCSim-2016-s03

Journal ref: J. Funct. Anal. 273 (2017), 2981-2993

Strong classification of purely infinite Cuntz-Krieger algebras

Authors: Toke Meier Carlsen, Gunnar Restorff, Efren Ruiz

Abstract: In 2006, Restorff completed the classification of all Cuntz-Krieger algebras with finitely many ideals (i.e., those that are purely infinite) up to stable isomorphism. He left open the questions concerning strong classification up to stable isomorphism and unital classification. In this paper, we address both questions. We show that any isomorphism between the reduced filtered K-theory of two Cunt… ▽ More In 2006, Restorff completed the classification of all Cuntz-Krieger algebras with finitely many ideals (i.e., those that are purely infinite) up to stable isomorphism. He left open the questions concerning strong classification up to stable isomorphism and unital classification. In this paper, we address both questions. We show that any isomorphism between the reduced filtered K-theory of two Cuntz-Krieger algebras with finitely many ideals lifts to a *-isomorphism between the stabilized Cuntz-Krieger algebras. As a result, we also obtain strong unital classification. △ Less

Submitted 19 May, 2016; originally announced May 2016.

Comments: The current paper uses results and especially the notation developed in arXiv:1604.05439 and arXiv:1602.03709 (that supersede the paper arXiv:1505.06773)

Journal ref: Trans. Amer. Math. Soc. Ser. B 4 (2017), 1-30

Equivalence and stable isomorphism of groupoids, and diagonal-preserving stable isomorphisms of graph C*-algebras and Leavitt path algebras

Authors: Toke Meier Carlsen, Efren Ruiz, Aidan Sims

Abstract: We prove that ample groupoids with sigma-compact unit spaces are equivalent if and only if they are stably isomorphic in an appropriate sense, and relate this to Matui's notion of Kakutani equivalence. We use this result to show that diagonal-preserving stable isomorphisms of graph C*-algebras or Leavitt path algebras give rise to isomorphisms of the groupoids of the associated stabilised graphs.… ▽ More We prove that ample groupoids with sigma-compact unit spaces are equivalent if and only if they are stably isomorphic in an appropriate sense, and relate this to Matui's notion of Kakutani equivalence. We use this result to show that diagonal-preserving stable isomorphisms of graph C*-algebras or Leavitt path algebras give rise to isomorphisms of the groupoids of the associated stabilised graphs. We deduce that the Leavitt path algebras $L_Z(E_2)$ and $L_Z(E_{2-})$ are not stably *-isomorphic. △ Less

Submitted 14 September, 2016; v1 submitted 8 February, 2016; originally announced February 2016.

Comments: 12 pages. Minor corrections. This is the version that will be published

MSC Class: 46L05 (primary); 16S99 (secondary)

Journal ref: Proc. Amer. Math. Soc. 145 (2017), no. 4, 1581-1592

$*$-isomorphism of Leavitt path algebras over $\mathbb{Z}$

Authors: Toke Meier Carlsen

Abstract: We characterise when the Leavitt path algebras over $\mathbb{Z}$ of two arbitrary countable directed graphs are $*$-isomorphic by showing that two Leavitt path algebras over $\mathbb{Z}$ are $*$-isomorphic if and only if the corresponding graph groupoids are isomorphic (if and only if there is a diagonal preserving isomorphism between the corresponding graph $C^*$-algebras). We also prove that any… ▽ More We characterise when the Leavitt path algebras over $\mathbb{Z}$ of two arbitrary countable directed graphs are $*$-isomorphic by showing that two Leavitt path algebras over $\mathbb{Z}$ are $*$-isomorphic if and only if the corresponding graph groupoids are isomorphic (if and only if there is a diagonal preserving isomorphism between the corresponding graph $C^*$-algebras). We also prove that any $*$-homomorphism between two Leavitt path algebras over $\mathbb{Z}$ maps the diagonal to the diagonal. Both results hold for slight more general subrings of $\mathbb{C}$ than just $\mathbb{Z}$. △ Less

Submitted 23 November, 2017; v1 submitted 5 January, 2016; originally announced January 2016.

Comments: 9 pp. Thm 1 and Cor 5 have been changed to emphasize that the *-homomorphisms are *-algebra homomorphisms. The references [6], [10], [12] and [21] have been added, and the remarks following Thm 1 have been updated in order to reflect new results in these papers. There is no longer any Remark 4, so Prop 5 has become Prop 4, and Cor 6 has become Cor 5. This is the version that will be published

Journal ref: Advances in Mathematics 324 (2018), 326-335

Flow Equivalence of G-SFTs

Authors: Mike Boyle, Toke Meier Carlsen, Søren Eilers

Abstract: In this paper, a G-shift of finite type (G-SFT) is a shift of finite type together with a free continuous shift-commuting action by a finite group G. We reduce the classification of G-SFTs up to equivariant flow equivalence to an algebraic classification of a class of poset-blocked matrices over the integral group ring of G. For a special case of two irreducible components with G$=\mathbb Z_2$, we… ▽ More In this paper, a G-shift of finite type (G-SFT) is a shift of finite type together with a free continuous shift-commuting action by a finite group G. We reduce the classification of G-SFTs up to equivariant flow equivalence to an algebraic classification of a class of poset-blocked matrices over the integral group ring of G. For a special case of two irreducible components with G$=\mathbb Z_2$, we compute explicit complete invariants. We relate our matrix structures to the Adler-Kitchens-Marcus group actions approach. We give examples of G-SFT applications, including a new connection to involutions of cellular automata. △ Less

Submitted 26 August, 2019; v1 submitted 16 December, 2015; originally announced December 2015.

Comments: The paper has been augmented considerably and the second version is now 81 pages long. This version has been accepted for publication in Transactions of the American Mathematical Society

Report number: CPH-SYM-DNRF92

Journal ref: Trans. Amer. Math. Soc. 373 (2020), 2591-2657

On Hong and Szymanski's description of the primitive-ideal space of a graph algebra

Authors: Toke Meier Carlsen, Aidan Sims

Abstract: In 2004, Hong and Szymanski gave a complete description of the primitive-ideal space of the C*-algebra of a directed graph. This article details a slightly different approach, in the simpler context of row-finite graphs with no sources, obtaining an explicit description of the ideal lattice of a graph algebra. In 2004, Hong and Szymanski gave a complete description of the primitive-ideal space of the C*-algebra of a directed graph. This article details a slightly different approach, in the simpler context of row-finite graphs with no sources, obtaining an explicit description of the ideal lattice of a graph algebra. △ Less

Submitted 2 May, 2019; v1 submitted 9 December, 2015; originally announced December 2015.

Comments: 17 pages. Version II Comments: Lemma 3.4, three references and a few remarks have been added. Some typos have been corrected as well. This is the version that will be published; V3: corrected error in Lemma 3.5 in v2 (which is also the published version) and added a remark to explain the error and the correction

MSC Class: 46L05

Journal ref: Operator Algebras and Applications: The Abel Symposium 2015, 109-126

Flow equivalence of sofic shifts

Authors: Mike Boyle, Toke Meier Carlsen, Søren Eilers

Abstract: We classify certain sofic shifts (the irreducible Point Extension Type, or PET, sofic shifts) up to flow equivalence, using invariants of the canonical Fischer cover. There are two main ingredients: (1) An extension theorem, for extending flow equivalences of subshifts to flow equivalent irreducible shifts of finite type which contain them. (2) The classification of certain constant to one map… ▽ More We classify certain sofic shifts (the irreducible Point Extension Type, or PET, sofic shifts) up to flow equivalence, using invariants of the canonical Fischer cover. There are two main ingredients: (1) An extension theorem, for extending flow equivalences of subshifts to flow equivalent irreducible shifts of finite type which contain them. (2) The classification of certain constant to one maps from SFTs via algebraic invariants of associated G-SFTs. △ Less

Submitted 12 November, 2015; v1 submitted 11 November, 2015; originally announced November 2015.

Comments: 30 pages

Report number: CPH-SYM-DNRF92

Journal ref: Isr. J. Math. (2018) 225: 111

Flow equivalence and isotopy for subshifts

Authors: Mike Boyle, Toke Meier Carlsen, Søren Eilers

Abstract: We study basic properties of flow equivalence on one-dimensional compact metric spaces with a particular emphasis on isotopy in the group of (self-) flow equivalences on such a space. In particular, we show that an orbit-preserving such map is not always an isotopy, but that this always is the case for suspension flows of irreducible shifts of finite type. We also provide a version of the fundamen… ▽ More We study basic properties of flow equivalence on one-dimensional compact metric spaces with a particular emphasis on isotopy in the group of (self-) flow equivalences on such a space. In particular, we show that an orbit-preserving such map is not always an isotopy, but that this always is the case for suspension flows of irreducible shifts of finite type. We also provide a version of the fundamental discretization result of Parry and Sullivan which does not require that the flow maps are either injective or surjective. Our work is motivated by applications in the classification theory of sofic shift spaces, but has been formulated to supply a solid and accessible foundation for other purposes. △ Less

Submitted 24 April, 2017; v1 submitted 11 November, 2015; originally announced November 2015.

Comments: 25 pages. There are various small changes, and also a correction to a misstatement of Theorem 3.1(b) (Theorem 3.3(b) in version 1 and 2). The numbering of theorems, definitions, etc. have been changed such that it agrees with the published version

Report number: CPH-SYM-DNRF92

Journal ref: Dyn. Syst. 32 (2017), no. 3, 305-325

$C^*$-algebras associated to Boolean dynamical systems

Authors: Toke Meier Carlsen, Eduard Ortega, Enrique Pardo

Abstract: The goal of these notes is to present the C*-algebra $C^*(B,L,θ)$ of a Boolean dynamical system $(B,L,θ)$, that generalizes the $C^*$-algebra associated to Labelled graphs introduced by Bates and Pask, and to determine its simplicity, its gauge invariant ideals, as well as compute its K-Theory The goal of these notes is to present the C*-algebra $C^*(B,L,θ)$ of a Boolean dynamical system $(B,L,θ)$, that generalizes the $C^*$-algebra associated to Labelled graphs introduced by Bates and Pask, and to determine its simplicity, its gauge invariant ideals, as well as compute its K-Theory △ Less

Submitted 8 February, 2016; v1 submitted 22 October, 2015; originally announced October 2015.

MSC Class: 46L05; 46L55

Journal ref: Journal of Mathematical Analysis and Applications 450 (2017), 727-768

Graph algebras and orbit equivalence

Authors: Nathan Brownlowe, Toke Meier Carlsen, Michael F. Whittaker

Abstract: We introduce the notion of orbit equivalence of directed graphs, following Matsumoto's notion of continuous orbit equivalence for topological Markov shifts. We show that two graphs in which every cycle has an exit are orbit equivalent if and only if there is a diagonal-preserving isomorphism between their $C^*$-algebras. We show that it is necessary to assume that every cycle has an exit for the f… ▽ More We introduce the notion of orbit equivalence of directed graphs, following Matsumoto's notion of continuous orbit equivalence for topological Markov shifts. We show that two graphs in which every cycle has an exit are orbit equivalent if and only if there is a diagonal-preserving isomorphism between their $C^*$-algebras. We show that it is necessary to assume that every cycle has an exit for the forward implication, but that the reverse implication holds for arbitrary graphs. As part of our analysis of arbitrary graphs $E$ we construct a groupoid $\mathcal{G}_{(C^*(E),\mathcal{D}(E))}$ from the graph algebra $C^*(E)$ and its diagonal subalgebra $\mathcal{D}(E)$ which generalises Renault's Weyl groupoid construction applied to $(C^*(E),\mathcal{D}(E))$. We show that $\mathcal{G}_{(C^*(E),\mathcal{D}(E))}$ recovers the graph groupoid $\mathcal{G}_E$ without the assumption that every cycle in $E$ has an exit, which is required to apply Renault's results to $(C^*(E),\mathcal{D}(E))$. We finish with applications of our results to out-splittings of graphs and to amplified graphs. △ Less

Submitted 8 October, 2014; originally announced October 2014.

Comments: 27 pages

MSC Class: Primary: 46L55; Secondary: 46L35; 37B10

Journal ref: Ergod. Th. Dynam. Sys. 37 (2017) 389-417

Partial actions and KMS states on relative graph $C^*$-algebras

Authors: Toke M. Carlsen, Nadia S. Larsen

Abstract: The relative graph $C^*$-algebras introduced by Muhly and Tomforde are generalizations of both graph algebras and their Toeplitz extensions. For an arbitrary graph $E$ and a subset $R$ of the set of regular vertices of $E$ we show that the relative graph $C^*$-algebra $C^*(E, R)$ is isomorphic to a partial crossed product for an action of the free group generated by the edge set on the relative bo… ▽ More The relative graph $C^*$-algebras introduced by Muhly and Tomforde are generalizations of both graph algebras and their Toeplitz extensions. For an arbitrary graph $E$ and a subset $R$ of the set of regular vertices of $E$ we show that the relative graph $C^*$-algebra $C^*(E, R)$ is isomorphic to a partial crossed product for an action of the free group generated by the edge set on the relative boundary path space. Given a time evolution on $C^*(E, R)$ induced by a function on the edge set, we characterize the KMS$_β$ states and ground states using an abstract result of Exel and Laca. Guided by their work on KMS states for Toeplitz-Cuntz-Krieger type algebras associated to infinite matrices, we obtain complete descriptions of the convex sets of KMS states of finite type and of KMS states of infinite type whose associated measures are supported on recurrent infinite paths. This allows us to give a complete concrete description of the convex set of all KMS states for a big class of graphs which includes all finite graphs. △ Less

Submitted 6 July, 2016; v1 submitted 4 November, 2013; originally announced November 2013.

Comments: 33 pages. A few typos corrected. Bibliography updated. This is the version to be published

Journal ref: Journal of Functional Analysis, Volume 271, Issue 8, 15 October 2016, Pages 2090-2132

The primitive ideals of the Cuntz-Krieger algebra of a row-finite higher-rank graph with no sources

Authors: Toke Meier Carlsen, Sooran Kang, Jacob Shotwell, Aidan Sims

Abstract: We catalogue the primitive ideals of the Cuntz-Krieger algebra of a row-finite higher-rank graph with no sources. Each maximal tail in the vertex set has an abelian periodicity group of finite rank at most that of the graph; the primitive ideals in the Cuntz-Krieger algebra are indexed by pairs consisting of a maximal tail and a character of its periodicity group. The Cuntz-Krieger algebra is prim… ▽ More We catalogue the primitive ideals of the Cuntz-Krieger algebra of a row-finite higher-rank graph with no sources. Each maximal tail in the vertex set has an abelian periodicity group of finite rank at most that of the graph; the primitive ideals in the Cuntz-Krieger algebra are indexed by pairs consisting of a maximal tail and a character of its periodicity group. The Cuntz-Krieger algebra is primitive if and only if the whole vertex set is a maximal tail and the graph is aperiodic. △ Less

Submitted 28 May, 2013; originally announced May 2013.

Comments: 17 pages

MSC Class: 46L05 (primary); 46L45 (secondary)

Journal ref: Journal of Functional Analysis 266 (2014) pp. 2570-2589

$C^*$-algebras of labelled graphs III - $K$-theory computations

Authors: Teresa Bates, Toke Meier Carlsen, David Pask

Abstract: In this paper we give a formula for the $K$-theory of the $C^*$-algebra of a weakly left-resolving labelled space. This is done by realising the $C^*$-algebra of a weakly left-resolving labelled space as the Cuntz-Pimsner algebra of a $C^*$-correspondence. As a corollary we get a gauge invariant uniqueness theorem for the $C^*$-algebra of any weakly left-resolving labelled space. In order to achie… ▽ More In this paper we give a formula for the $K$-theory of the $C^*$-algebra of a weakly left-resolving labelled space. This is done by realising the $C^*$-algebra of a weakly left-resolving labelled space as the Cuntz-Pimsner algebra of a $C^*$-correspondence. As a corollary we get a gauge invariant uniqueness theorem for the $C^*$-algebra of any weakly left-resolving labelled space. In order to achieve this we must modify the definition of the $C^*$-algebra of a weakly left-resolving labelled space. We also establish strong connections between the various classes of $C^*$-algebras which are associated with shift spaces and labelled graph algebras. Hence, by computing the $K$-theory of a labelled graph algebra we are providing a common framework for computing the $K$-theory of graph algebras, ultragraph algebras, Exel-Laca algebras, Matsumoto algebras and the $C^*$-algebras of Carlsen. We provide an inductive limit approach for computing the $K$-groups of an important class of labelled graph algebras, and give examples. △ Less

Submitted 20 January, 2015; v1 submitted 14 March, 2012; originally announced March 2012.

Comments: 27 pages. We have made substantial changes in version 2 in order to avoid been affected by a mistake in the paper "$C^*$-algebras of labelled graphs I"

MSC Class: 46L05 (Primary); 46L55; 46L80; 37B10; 19K99 (Secondary)

Journal ref: Ergodic Theory Dynam. Systems 37 (2017), no. 2, 337-368

Simple Cuntz-Pimsner rings

Authors: Toke Meier Carlsen, Eduard Ortega, Enrique Pardo

Abstract: Necessary and sufficient conditions for when every non-zero ideal in a relative Cuntz-Pimsner ring contains a non-zero graded ideal, when a relative Cuntz-Pimsner ring is simple, and when every ideal in a relative Cuntz-Pimsner ring is graded, are given. A "Cuntz-Krieger uniqueness theorem" for relative Cuntz-Pimsner rings is also given and condition (L) and condition (K) for relative Cuntz-Pimsne… ▽ More Necessary and sufficient conditions for when every non-zero ideal in a relative Cuntz-Pimsner ring contains a non-zero graded ideal, when a relative Cuntz-Pimsner ring is simple, and when every ideal in a relative Cuntz-Pimsner ring is graded, are given. A "Cuntz-Krieger uniqueness theorem" for relative Cuntz-Pimsner rings is also given and condition (L) and condition (K) for relative Cuntz-Pimsner rings are introduced. △ Less

Submitted 31 October, 2011; originally announced October 2011.

Report number: CPH-SYM-00 MSC Class: 16D25; 16D70

Journal ref: Journal of Algebra, Volume 371, 1, December 2012, Pages 367-390

Index maps in the K-theory of graph algebras

Authors: Toke M. Carlsen, Søren Eilers, Mark Tomforde

Abstract: Let $C^*(E)$ be the graph $C^*$-algebra associated to a graph E and let J be a gauge invariant ideal in $C^*(E)$. We compute the cyclic six-term exact sequence in $K$-theory of the associated extension in terms of the adjacency matrix associated to $E$. The ordered six-term exact sequence is a complete stable isomorphism invariant for several classes of graph $C^*$-algebras, for instance those con… ▽ More Let $C^*(E)$ be the graph $C^*$-algebra associated to a graph E and let J be a gauge invariant ideal in $C^*(E)$. We compute the cyclic six-term exact sequence in $K$-theory of the associated extension in terms of the adjacency matrix associated to $E$. The ordered six-term exact sequence is a complete stable isomorphism invariant for several classes of graph $C^*$-algebras, for instance those containing a unique proper nontrivial ideal. Further, in many other cases, infinite collections of such sequences comprise complete invariants. Our results allow for explicit computation of the invariant, giving an exact sequence in terms of kernels and cokernels of matrices determined by the vertex matrix of $E$. △ Less

Submitted 18 November, 2010; originally announced November 2010.

Report number: CPH-SYM-00 MSC Class: 46L55

Journal ref: Journal of K-theory 9 (2012), 385-406

The structure of a the C*-algebra of a locally injective surjection

Authors: Toke Meier Carlsen, Klaus Thomsen

Abstract: We obtain a description of the C*-algebras which can occur as a simple quotient of the C*-algebra of a locally injective surjection on a compact metric space of finite covering dimension. We obtain a description of the C*-algebras which can occur as a simple quotient of the C*-algebra of a locally injective surjection on a compact metric space of finite covering dimension. △ Less

Submitted 2 November, 2010; originally announced November 2010.

Journal ref: Ergodic Theory and Dynamical Systems, Volume 32, Issue 04, July 2012, pp 1226-1248

Co-universal algebras associated to product systems, and gauge-invariant uniqueness theorems

Authors: Toke Meier Carlsen, Nadia S. Larsen, Aidan Sims, Sean Vittadello

Abstract: Let X be a product system over a quasi-lattice ordered group. Under mild hypotheses, we associate to X a C*-algebra which is co-universal for injective Nica covariant Toeplitz representations of X which preserve the gauge coaction. Under appropriate amenability criteria, this co-universal C*-algebra coincides with the Cuntz-Nica-Pimsner algebra introduced by Sims and Yeend. We prove two key uniq… ▽ More Let X be a product system over a quasi-lattice ordered group. Under mild hypotheses, we associate to X a C*-algebra which is co-universal for injective Nica covariant Toeplitz representations of X which preserve the gauge coaction. Under appropriate amenability criteria, this co-universal C*-algebra coincides with the Cuntz-Nica-Pimsner algebra introduced by Sims and Yeend. We prove two key uniqueness theorems, and indicate how to use our theorems to realise a number of reduced crossed products as instances of our co-universal algebras. In each case, it is an easy corollary that the Cuntz-Nica-Pimsner algebra is isomorphic to the corresponding full crossed product. △ Less

Submitted 26 September, 2009; v1 submitted 25 June, 2009; originally announced June 2009.

Comments: 40 pages, 2 figures; v2: minor changes to the introduction, references added and updated

MSC Class: 46L05

Journal ref: Proc. London Math. Soc. (3) 103 (2011), no. 4, 563-600

On the Exel crossed product of topological covering maps

Authors: Toke Meier Carlsen, Sergei Silvestrov

Abstract: For dynamical systems defined by a covering map of a compact Hausdorff space and the corresponding transfer operator, the associated crossed product $C^*$-algebras $\cros$ introduced by Exel and Vershik are considered. An important property for homeomorphism dynamical systems is topological freeness. It can be extended in a natural way to in general non-invertible dynamical systems generated by… ▽ More For dynamical systems defined by a covering map of a compact Hausdorff space and the corresponding transfer operator, the associated crossed product $C^*$-algebras $\cros$ introduced by Exel and Vershik are considered. An important property for homeomorphism dynamical systems is topological freeness. It can be extended in a natural way to in general non-invertible dynamical systems generated by covering maps. In this article, it is shown that the following four properties are equivalent: the dynamical system generated by a covering map is topologically free; the canonical imbedding of $C(X)$ into $\cros$ is a maximal abelian $C^*$-subalgebra of $\cros$; any nontrivial two sided ideal of $\cros$ has non-zero intersection with the imbedded copy of $C(X)$; a certain natural representation of $\cros$ is faithful. This result is a generalization to non-invertible dynamics of the corresponding results for crossed product $C^*$-algebras of homeomorphism dynamical systems. △ Less

Submitted 31 October, 2008; originally announced November 2008.

MSC Class: 47L65; 46L55; 47L40; 54H20; 37B05; 54H15

Journal ref: Acta Applicandae Mathematicae, December 2009, Volume 108, Issue 3, pp 573-583

Algebraic Cuntz-Pimsner rings

Authors: Toke Meier Carlsen, Eduard Ortega

Abstract: From a system consisting of a right non-degenerate ring $R$, a pair of $R$-bimodules $Q$ and $P$ and an $R$-bimodule homomorphism $ψ:P\otimes Q\longrightarrow R$ we construct a $\Z$-graded ring $\mathcal{T}_{(P,Q,ψ)}$ called the Toeplitz ring and (for certain systems) a $\Z$-graded quotient $\mathcal{O}_{(P,Q,ψ)}$ of $\mathcal{T}_{(P,Q,ψ)}$ called the Cuntz-Pimsner ring. These rings are the alge… ▽ More From a system consisting of a right non-degenerate ring $R$, a pair of $R$-bimodules $Q$ and $P$ and an $R$-bimodule homomorphism $ψ:P\otimes Q\longrightarrow R$ we construct a $\Z$-graded ring $\mathcal{T}_{(P,Q,ψ)}$ called the Toeplitz ring and (for certain systems) a $\Z$-graded quotient $\mathcal{O}_{(P,Q,ψ)}$ of $\mathcal{T}_{(P,Q,ψ)}$ called the Cuntz-Pimsner ring. These rings are the algebraic analogs of the Toeplitz $C^*$-algebra and the Cuntz-Pimsner $C^*$-algebra associated to a $C^*$-correspondence (also called a Hilbert bimodule). This new construction generalizes for example the algebraic crossed product by a single automorphism, corner skew Laurent polynomial ring by a single corner automorphism and Leavitt path algebras. We also describe the structure of the graded ideals of our graded rings in terms of pairs of ideals of the coefficient ring. △ Less

Submitted 12 May, 2009; v1 submitted 17 October, 2008; originally announced October 2008.

Comments: 55 pages. Version 3 is a complete rewrite of version 2. In version 4 Def. 3.14, Def. 4.6, Def. 4.8 and Remark 4.9 have been added and some minor adjustments have been made

Report number: CPH-SYM-00 MSC Class: 16D70; 46L35 (Primary); 06A12; 06F05; 46L80 (Secondary)

Journal ref: Proc. London Math. Soc. (3) 103 (2011), no. 4, 601-653

C*-algebras associated to shift spaces

Authors: Toke Meier Carlsen

Abstract: These are some notes I wrote for the summer school "Symbolic dynamics and homeomorphisms of the Cantor set" at the University of Copenhagen, 23 - 27 June 2008. The notes contain the definition of the C*-algebra associated to a shift space and some basic facts about these. The notes furthermore contain a proof of the fact that the C*-algebra associated to a shift space is a one-sided conjugacy… ▽ More These are some notes I wrote for the summer school "Symbolic dynamics and homeomorphisms of the Cantor set" at the University of Copenhagen, 23 - 27 June 2008. The notes contain the definition of the C*-algebra associated to a shift space and some basic facts about these. The notes furthermore contain a proof of the fact that the C*-algebra associated to a shift space is a one-sided conjugacy invariant, and a proof of the fact that the Morita equivalence class of the C*-algebra associated to a shift space is a two-sided conjugacy and a flow invariant. The notes also contain a section (without proofs) about the K-theory of C*-algebras associated to shift spaces. The notes are written for people without a background in operator algebra and contains a short appendix about C*-algebras, Morita equivalence and K-theory of C*-algebras. △ Less

Submitted 3 August, 2008; originally announced August 2008.

Comments: 31 pages

MSC Class: 37B10; 46L05

Symbolic Dynamics, Partial Dynamical Systems, Boolean Algebras and C*-algebras Generated by Partial Isometries

Authors: Toke Meier Carlsen

Abstract: We associate to each discrete partial dynamical system a universal C*-algebra generated by partial isometries satisfying relations given by a Boolean algebra connected to the discrete partial dynamical system in question. We show that for symbolic dynamical systems like one-sided and two-sided shift spaces and topological Markov chains with an arbitrary state space the C*-algebras usually associ… ▽ More We associate to each discrete partial dynamical system a universal C*-algebra generated by partial isometries satisfying relations given by a Boolean algebra connected to the discrete partial dynamical system in question. We show that for symbolic dynamical systems like one-sided and two-sided shift spaces and topological Markov chains with an arbitrary state space the C*-algebras usually associated to them, can be obtained in this way. As a consequence of this, we will be able to show that for two-sided shift spaces having a certain property, the crossed product of the two-sided shift space is a quotient of the C*-algebra associated to the corresponding one-sided shift space. △ Less

Submitted 12 October, 2006; v1 submitted 7 April, 2006; originally announced April 2006.

Comments: 55 pages. Version 2, which only contains minor changes compared to version 1, is identical to the preprint mentioned below

Report number: Preprintreihe SFB 478, Heft 438 MSC Class: 46L55 (Primary); 46L05; 37B10; 06E99 (Secondary)

C*-crossed products and shift spaces

Authors: Toke Meier Carlsen, Sergei Silvestrov

Abstract: In this article, we use Exel's construction to associate a C*-algebra to every shift space. We show that it has the C*-algebra defined in [Carlsen and Matsumoto: Some remarks on the C*-algebras associated with subshifts] as a quotient, and possesses properties indicating that it can be thought of as the universal C*-algebra associated to a shift space. We also consider its representations, relat… ▽ More In this article, we use Exel's construction to associate a C*-algebra to every shift space. We show that it has the C*-algebra defined in [Carlsen and Matsumoto: Some remarks on the C*-algebras associated with subshifts] as a quotient, and possesses properties indicating that it can be thought of as the universal C*-algebra associated to a shift space. We also consider its representations, relationship to other C*-algebras associated to shift spaces, show that it can be viewed as a generalization of the universal Cuntz-Krieger algebra, discuss uniqueness and a faithful representation, provide conditions for it being nuclear, for satisfying the UCT, for being simple, and for being purely infinite, show that the constructed algebras and thus their K-theory, $K_0$ and $K_1$, are conjugacy invariants of one-sided shift spaces, present formulas for those invariants, and also present a description of the structure of gauge invariant ideals. △ Less

Submitted 21 December, 2005; originally announced December 2005.

Comments: 29 pages

MSC Class: 47L65 (Primary) 46L55; 37B10; 54H20 (Secondary)

Journal ref: Expo. Math. 25 (2007), no. 4, 275-307.

Cuntz-Pimsner C*-algebras associated with subshifts

Authors: Toke Meier Carlsen

Abstract: By using C*-correspondences and Cuntz-Pimsner algebras, we associate to every subshift (also called a shift space) $X$ a C*-algebra $O_X$, which is a generalization of the Cuntz-Krieger algebras. We show that $O_X$ is the universal C*-algebra generated by partial isometries satisfying relations given by $X$. We also show that $O_X$ is a one-sided conjugacy invariant of $X$. By using C*-correspondences and Cuntz-Pimsner algebras, we associate to every subshift (also called a shift space) $X$ a C*-algebra $O_X$, which is a generalization of the Cuntz-Krieger algebras. We show that $O_X$ is the universal C*-algebra generated by partial isometries satisfying relations given by $X$. We also show that $O_X$ is a one-sided conjugacy invariant of $X$. △ Less

Submitted 16 November, 2005; v1 submitted 24 May, 2005; originally announced May 2005.

Comments: 28 pages. This is a slightly updated version of a preprint from 2004. Submitted for publication. In version 2 the Introduction has been changed, two remarks (Remark 7.6 and 7.7) have been added and the list of references has been updated

MSC Class: 46L55 (primary); 37B10 (secondary)

Journal ref: Internat. J. Math. 19 (2008), no. 1, 47-90.

On C*-algebras Associated with Sofic Shifts

Authors: Toke Meier Carlsen

Abstract: We show that for a sofic shift Lambda, Matsumoto's C*-algebra O_Lambda is isomorphic to the Cuntz-Krieger algebra of the left Krieger cover graph of Lambda. We show that for a sofic shift Lambda, Matsumoto's C*-algebra O_Lambda is isomorphic to the Cuntz-Krieger algebra of the left Krieger cover graph of Lambda. △ Less

Submitted 15 September, 2000; v1 submitted 14 September, 2000; originally announced September 2000.

Comments: 12 pages. Submitted for publication

MSC Class: 46L05; 37B10

Journal ref: J. Operator Theory 49 (2003), no. 1, 203--212.