Showing 1–46 of 46 results for author: Eilers, S

Ab initio quantum theory of mass defect and time dilation in trapped-ion optical clocks

Authors: V. J. Martínez-Lahuerta, S. Eilers, T. E. Mehlstäubler, P. O. Schmidt, K. Hammerer

Abstract: We derive a Hamiltonian for the external and internal dynamics of an electromagnetically bound, charged two-particle system in external electromagnetic and gravitational fields, including leading-order relativistic corrections. We apply this Hamiltonian to describe the relativistic coupling of the external and internal dynamics of cold ions in Paul traps, including the effects of micromotion, exce… ▽ More We derive a Hamiltonian for the external and internal dynamics of an electromagnetically bound, charged two-particle system in external electromagnetic and gravitational fields, including leading-order relativistic corrections. We apply this Hamiltonian to describe the relativistic coupling of the external and internal dynamics of cold ions in Paul traps, including the effects of micromotion, excess micromotion, and trap imperfections. This provides a systematic and fully quantum-mechanical treatment of relativistic frequency shifts in atomic clocks based on single trapped ions. Our approach reproduces well-known formulas for the second-order Doppler shift for thermal states, which were previously derived on the basis of semiclassical arguments. We complement and clarify recent discussions in the literature on the role of time dilation and mass defect in ion clocks. △ Less

Submitted 17 September, 2022; v1 submitted 22 February, 2022; originally announced February 2022.

Journal ref: Phys. Rev. A. 106 032803 (2022)

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

Amplified graph C*-algebras II: reconstruction

Authors: Søren Eilers, Efren Ruiz, Aidan Sims

Abstract: Let $E$ be a countable directed graph that is amplified in the sense that whenever there is an edge from $v$ to $w$, there are infinitely many edges from $v$ to $w$. We show that $E$ can be recovered from $C^*(E)$ together with its canonical gauge-action, and also from $L_K(E)$ together with its canonical grading. Let $E$ be a countable directed graph that is amplified in the sense that whenever there is an edge from $v$ to $w$, there are infinitely many edges from $v$ to $w$. We show that $E$ can be recovered from $C^*(E)$ together with its canonical gauge-action, and also from $L_K(E)$ together with its canonical grading. △ Less

Submitted 1 July, 2020; originally announced July 2020.

Comments: 17 pages

MSC Class: 46L35

Künneth Splittings and Classification of C*-Algebras with Finitely Many Ideals

Authors: Søren Eilers

Abstract: The class of AD algebras of real rank zero is classified by an exact sequence of K-groups with coefficients, equipped with certain order structures. Such a sequence is always split, and one may ask why, then, the middle group is relevant for classification. The answer is that the splitting map can not always be chosen to respect the order structures involved. This may be rephrased in terms of th… ▽ More The class of AD algebras of real rank zero is classified by an exact sequence of K-groups with coefficients, equipped with certain order structures. Such a sequence is always split, and one may ask why, then, the middle group is relevant for classification. The answer is that the splitting map can not always be chosen to respect the order structures involved. This may be rephrased in terms of the ideals of the C*-algebras in question. We prove that when the C*-algebra has only finitely many ideals, a splitting map respecting these always exists. Hence AD algebras of real rank zero with finitely many ideals are classified by (classical) ordered K-theory. We also indicate how the methods generalize to the full class of ASH algebras with slow dimension growth and real rank zero. △ Less

Submitted 21 May, 2020; originally announced May 2020.

Comments: This is a very old paper which I am informed has attracted some current interest. Since the proceedings in which it is published are hard to come by, I have posted it here. Apart from updating the references and fixing some issues hailing from the tex-file being 25 years old, the paper is as in the published version

Journal ref: Fields Institute Communications Series 13, "Operator Algebras and their Applications", 81-90, American Mathematical Society, 1997

Geometric classification of isomorphism of unital graph C*-algebras

Authors: Sara E. Arklint, Søren Eilers, Efren Ruiz

Abstract: We geometrically describe the relation induced on a set of graphs by isomorphism of their associated graph C*-algebras as the smallest equivalence relation generated by five types of moves. The graphs studied have finitely many vertices and finitely or countably infinitely many edges, corresponding to unital and separable C*-algebras. We geometrically describe the relation induced on a set of graphs by isomorphism of their associated graph C*-algebras as the smallest equivalence relation generated by five types of moves. The graphs studied have finitely many vertices and finitely or countably infinitely many edges, corresponding to unital and separable C*-algebras. △ Less

Submitted 24 October, 2019; originally announced October 2019.

Report number: CPH-SYM-DNRF92

Refined moves for structure-preserving isomorphism of graph C*-algebras

Authors: Søren Eilers, Efren Ruiz

Abstract: We formalize eight different notions of isomorphism among (unital) graph C*-algebras, and initiate the study of which of these notions may be described geometrically as generated by moves. We propose a list of seven types of moves that we conjecture has the property that the collection of moves respecting one of six notions of isomorphism indeed generate that notion, in the sense that two graphs a… ▽ More We formalize eight different notions of isomorphism among (unital) graph C*-algebras, and initiate the study of which of these notions may be described geometrically as generated by moves. We propose a list of seven types of moves that we conjecture has the property that the collection of moves respecting one of six notions of isomorphism indeed generate that notion, in the sense that two graphs are equivalent in that sense if and only if one may transform one into another using only these kinds of moves. We carefully establish invariance properties of each move on our list, and prove a collection of generation results supporting our conjecture with an emphasis on the gauge simple case. In two of the six cases, we may prove the conjecture in full generality, and in two we can show it for all graphs defining gauge simple C*-algebras. In the two remaining cases we can show the conjecture for all graphs defining gauge simple C*-algebras provided that they are either finite or have at most one vertex allowing a path back to itself. △ Less

Submitted 10 August, 2019; originally announced August 2019.

Report number: CPH-SYM-DNRF92

Classification of irreversible and reversible Pimsner operator algebras

Authors: Adam Dor-On, Søren Eilers, Shirly Geffen

Abstract: Since their inception in the 30's by von Neumann, operator algebras have been used in shedding light in many mathematical theories. Classification results for self-adjoint and non-self-adjoint operator algebras manifest this approach, but a clear connection between the two was sought since their emergence in the late 60's. We connect these seemingly separate type of results by uncovering a hiera… ▽ More Since their inception in the 30's by von Neumann, operator algebras have been used in shedding light in many mathematical theories. Classification results for self-adjoint and non-self-adjoint operator algebras manifest this approach, but a clear connection between the two was sought since their emergence in the late 60's. We connect these seemingly separate type of results by uncovering a hierarchy of classification for non-self-adjoint operator algebras and $C^*$-algebras with additional $C^*$-algebraic structure. Our approach naturally applies to algebras arising from $C^*$-correspondences to resolve self-adjoint and non-self-adjoint isomorphism problems in the literature. We apply our strategy to completely elucidate this newly found hierarchy for operator algebras arising from directed graphs. △ Less

Submitted 31 May, 2020; v1 submitted 2 July, 2019; originally announced July 2019.

Comments: 1 figure, 28 pages. To appear in Compositio Mathematica

Report number: CPH-SYM-DNRF92 MSC Class: Primary: 47L30; 46L35. Secondary: 47L55; 46L80; 46L08

Journal ref: Compositio Math. 156 (2020) 2510-2535

The extension problem for graph $C^*$-algebras

Authors: Søren Eilers, James Gabe, Takeshi Katsura, Efren Ruiz, Mark Tomforde

Abstract: We give a complete $K$-theoretical description of when an extension of two simple graph $C^{*}$-algebras is again a graph $C^{*}$-algebra. We give a complete $K$-theoretical description of when an extension of two simple graph $C^{*}$-algebras is again a graph $C^{*}$-algebra. △ Less

Submitted 6 July, 2020; v1 submitted 29 October, 2018; originally announced October 2018.

Comments: Accepted version, to appear in Annals of K-theory

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

Journal ref: Ann. K-Th. 5 (2020) 295-315

C*-stability of discrete groups

Authors: Søren Eilers, Tatiana Shulman, Adam P. W. Sørensen

Abstract: A group may be considered $C^*$-stable if almost representations of the group in a $C^*$-algebra are always close to actual representations. We initiate a systematic study of which discrete groups are $C^*$-stable or only stable with respect to some subclass of $C^*$-algebras, e.g. finite dimensional $C^*$-algebras. We provide criteria and invariants for stability of groups and this allows us to c… ▽ More A group may be considered $C^*$-stable if almost representations of the group in a $C^*$-algebra are always close to actual representations. We initiate a systematic study of which discrete groups are $C^*$-stable or only stable with respect to some subclass of $C^*$-algebras, e.g. finite dimensional $C^*$-algebras. We provide criteria and invariants for stability of groups and this allows us to completely determine stability/non-stability of crystallographic groups, finitely generated torsion-free step-2 nilpotent groups, surface groups, virtually free groups and certain Baumslag-Solitar groups. △ Less

Submitted 20 April, 2021; v1 submitted 21 August, 2018; originally announced August 2018.

Comments: The results in section 4.2 (finitely generated torsion-free 2-step nilpotent groups) have been strengthened slightly. Clarified in the introduction that we only consider unitary group representations. A few misprints fixed. 39 pages

Report number: CPH-SYM-DNRF92

Journal ref: Advances in Mathematics, Vol. 373, 2020

The complete classification of unital graph $C^*$-algebras: Geometric and strong

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz, Adam P. W. Sørensen

Abstract: We provide a complete classification of the class of unital graph $C^*$-algebras - prominently containing the full family of Cuntz-Krieger algebras - showing that Morita equivalence in this case is determined by ordered, filtered $K$-theory. The classification result is geometric in the sense that it establishes that any Morita equivalence between $C^*(E)$ and $C^*(F)$ in this class can be realize… ▽ More We provide a complete classification of the class of unital graph $C^*$-algebras - prominently containing the full family of Cuntz-Krieger algebras - showing that Morita equivalence in this case is determined by ordered, filtered $K$-theory. The classification result is geometric in the sense that it establishes that any Morita equivalence between $C^*(E)$ and $C^*(F)$ in this class can be realized by a sequence of moves leading from $E$ to $F$, in a way resembling the role of Reidemeister moves on knots. As a key ingredient, we introduce a new class of such moves, establish that they leave the graph algebras invariant, and prove that after this augmentation, the list of moves becomes complete in the sense described above. Along the way, we prove that every ordered, reduced filtered $K$-theory isomorphism can be lifted to an isomorphism between the stabilized $C^*$-algebras - and, as a consequence, that every ordered, reduced filtered $K$-theory isomorphism preserving the class of the unit comes from a $*$-isomorphism between the unital graph $C^*$-algebras themselves. It follows that the question of Morita equivalence amongst unital graph $C^*$-algebras is a decidable one. As immediate examples of applications of our results we revisit the classification problem for quantum lens spaces and verify, in the unital case, the Abrams-Tomforde conjectures. △ Less

Submitted 25 August, 2019; v1 submitted 21 November, 2016; originally announced November 2016.

Comments: This article draws heavily on results and notation developed in arXiv:1602.03709, arXiv:1604.05439 and arXiv:1605.06153, and together with these papers supersedes the results of arXiv:1505.06773, which will not be published. The second version adjusts the proof of decidability in Section 14.2 to the appeared version of [BS18], corrects the statement of Corollary 3.6, and updates references

Report number: CPH-SYM-DNRF92 and H2020-MSCA-RISE-2015-691246-QUANTUM DYNAMICS MSC Class: 46L35; 46L80; 46L55; 37B10; 16B99; 46L05

Journal ref: Duke Math. J. Vol. 170 (2021), no. 11, pp. 2421-2517

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

Filtered K-theory for graph algebras

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz, Adam P. W. Sørensen

Abstract: We introduce filtered algebraic $K$-theory of a ring $R$ relative to a sublattice of ideals. This is done in such a way that filtered algebraic $K$-theory of a Leavitt path algebra relative to the graded ideals is parallel to the gauge invariant filtered $K$-theory for graph $C^*$-algebras. We apply this to verify the Abrams-Tomforde conjecture for a large class of finite graphs. We introduce filtered algebraic $K$-theory of a ring $R$ relative to a sublattice of ideals. This is done in such a way that filtered algebraic $K$-theory of a Leavitt path algebra relative to the graded ideals is parallel to the gauge invariant filtered $K$-theory for graph $C^*$-algebras. We apply this to verify the Abrams-Tomforde conjecture for a large class of finite graphs. △ Less

Submitted 7 October, 2016; originally announced October 2016.

Comments: 16 pages

Report number: CPH-SYM-DNRF92 MSC Class: 16B99; 46L05; 46L55

Journal ref: 2016 MATRIX annals, pp. 229-249, MATRIX Book Ser., 1, Springer, Cham, 2018

A dynamical characterization of diagonal preserving $*$-isomorphisms of graph $C^*$-algebras

Authors: Sara E. Arklint, Søren Eilers, Efren Ruiz

Abstract: We characterize when there exists a diagonal preserving $*$-isomorphism between two graph $C^*$-algebras in terms of the dynamics of the boundary path spaces. In particular, we refine the notion of "orbit equivalence" between the boundary path spaces of the directed graphs $E$ and $F$ and show that this is a necessary and sufficient condition for the existence of a diagonal preserving $*$-isomorph… ▽ More We characterize when there exists a diagonal preserving $*$-isomorphism between two graph $C^*$-algebras in terms of the dynamics of the boundary path spaces. In particular, we refine the notion of "orbit equivalence" between the boundary path spaces of the directed graphs $E$ and $F$ and show that this is a necessary and sufficient condition for the existence of a diagonal preserving $*$-isomorphism between the graph $C^*$-algebras $C^*(E)$ and $C^*(F)$. △ Less

Submitted 4 May, 2016; originally announced May 2016.

Report number: CPH-SYM-DNRF92. This work is also part of the project supported by the grant H2020-MSCA-RISE-2015-691246-QUANTUM DYNAMICS MSC Class: Primary: 46L55; Secondary: 46L35; 37B10

Geometric classification of graph $C^*$-algebras over finite graphs

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz, Adam P. W. Sørensen

Abstract: We address the classification problem for graph $C^*$-algebras of finite graphs (finitely many edges and vertices), containing the class of Cuntz-Krieger algebras as a prominent special case. Contrasting earlier work, we do not assume that the graphs satisfy the standard condition (K), so that the graph $C^*$-algebras may come with uncountable ideal structures. We find that in this generality, s… ▽ More We address the classification problem for graph $C^*$-algebras of finite graphs (finitely many edges and vertices), containing the class of Cuntz-Krieger algebras as a prominent special case. Contrasting earlier work, we do not assume that the graphs satisfy the standard condition (K), so that the graph $C^*$-algebras may come with uncountable ideal structures. We find that in this generality, stable isomorphism of graph $C^*$-algebras does not coincide with the geometric notion of Cuntz move equivalence. However, adding a modest condition on the graphs, the two notions are proved to be mutually equivalent and equivalent to the $C^*$-algebras having isomorphic $K$-theories. This proves in turn that under this condition, the graph $C^*$-algebras are in fact classifiable by $K$-theory, providing in particular complete classification when the $C^*$-algebras in question are either of real rank zero or type I/postliminal. The key ingredient in obtaining these results is a characterization of Cuntz move equivalence using the adjacency matrices of the graphs. Our results are applied to discuss the classification problem for the quantum lens spaces defined by Hong and Szymański, and to complete the classification of graph $C^*$-algebras associated to all simple graphs with four vertices or less. △ Less

Submitted 1 November, 2016; v1 submitted 19 April, 2016; originally announced April 2016.

Comments: Corrected typos, corrected minor errors in statements and proofs of some results, and added Lemma 6.6

Report number: CPH-SYM-DNRF92. This work is also part of the project supported by the grant H2020-MSCA-RISE-2015-691246-QUANTUM DYNAMICS MSC Class: 46L35; 46L80; 46L55; 37B10

Journal ref: Canad. J. Math. 70 (2018), no. 2, 294-353

Invariance of the Cuntz splice

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz, Adam P. W. Sørensen

Abstract: We show that the Cuntz splice induces stably isomorphic graph $C^*$-algebras. We show that the Cuntz splice induces stably isomorphic graph $C^*$-algebras. △ Less

Submitted 12 February, 2016; v1 submitted 11 February, 2016; originally announced February 2016.

Comments: Our arguments to prove invariance of the Cuntz splice for unital graph C*-algebras in arXiv:1505.06773 applied with only minor changes in the general case. Since most of the results of that preprint have since been superseded by other forthcoming work, we do not intend to publish it, whereas this work is intended for publication. arXiv admin note: substantial text overlap with arXiv:1505.06773

Report number: CPH-SYM-DNRF92 MSC Class: 46L35; 46L80; 46L55; 37B10

Journal ref: Math. Ann., Vol. 369 (2017), no. 3-4, pp. 1061-1080

Semiprojectivity and properly infinite projections in graph C*-algebras

Authors: Søren Eilers, Takeshi Katsura

Abstract: We give a complete description of which unital graph C*-algebras are semiprojective, and use it to disprove two conjectures by Blackadar. To do so, we perform a detailed analysis of which projections are properly infinite in such C*-algebras. We give a complete description of which unital graph C*-algebras are semiprojective, and use it to disprove two conjectures by Blackadar. To do so, we perform a detailed analysis of which projections are properly infinite in such C*-algebras. △ Less

Submitted 22 December, 2015; originally announced December 2015.

Report number: CPH-SYM-DNRF92

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

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

Geometric classification of unital graph C*-algebras of real rank zero

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz, Adam P. W. Sørensen

Abstract: We generalize the classification result of Restorff on Cuntz-Krieger algebras to cover all unital graph C*-algebras with real rank zero, showing that Morita equivalence in this case is determined by ordered, filtered K-theory as conjectured by three of the authors. The classification result is geometric in the sense that it establishes that any Morita equivalence between C*(E) and C*(F) in this cl… ▽ More We generalize the classification result of Restorff on Cuntz-Krieger algebras to cover all unital graph C*-algebras with real rank zero, showing that Morita equivalence in this case is determined by ordered, filtered K-theory as conjectured by three of the authors. The classification result is geometric in the sense that it establishes that any Morita equivalence between C*(E) and C*(F) in this class can be realized by a sequence of moves leading from E to F in a way resembling the role of Reidemeister moves on knots. As a key technical step, we prove that the so-called Cuntz splice leaves unital graph C*-algebras invariant up to Morita equivalence. We note that we have recently found a way to generalize the results of the present paper to cover general unital graph C*-algebras. The improved methods needed render some parts of the present paper obsolete, and hence we do not intend to publish it. Instead, we will present a complete solution (drawing heavily on many of the methods presented here) in a forthcoming paper. △ Less

Submitted 8 July, 2015; v1 submitted 25 May, 2015; originally announced May 2015.

Comments: An inconsequential error concerning our "standard form" has been corrected

Report number: CPH-SYM-DNRF92 MSC Class: 46L35; 46L80; 46L55; 37B10

Corrigendum to "Classifying C*-algebras with both finite and infinite subquotients"

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz

Abstract: As recently pointed out by Gabe, a fundamental paper by Elliott and Kucerovsky concerning the absorption theory for C*-algebras contains an error, and as a consequence we must report that Lemma 4.5 in "Classifying C*-algebras with both finite and infinite subquotients" J. Funct. Anal. 265 (2013), no. 3, 449--468 is not true as stated. In this corrigendum, we prove an adjusted statement and explain… ▽ More As recently pointed out by Gabe, a fundamental paper by Elliott and Kucerovsky concerning the absorption theory for C*-algebras contains an error, and as a consequence we must report that Lemma 4.5 in "Classifying C*-algebras with both finite and infinite subquotients" J. Funct. Anal. 265 (2013), no. 3, 449--468 is not true as stated. In this corrigendum, we prove an adjusted statement and explain why the error has no consequences to the main results of that paper. In particular, it is noted that all the authors' claims concerning Morita equivalence or stable isomorphism of graph C*-algebras remain correct as stated. △ Less

Submitted 22 May, 2015; originally announced May 2015.

Comments: 5 pages

Report number: CPH-SYM-DNRF92

Journal ref: J. Funct. Anal., Vol. 270 (2016), no. 2, pp. 854-859

Tuning the Band Gap in Silicene by Oxidation

Authors: Yi Du, **cheng Zhuang, Hongsheng Liu, Xun Xu, Stefan Eilers, Kehui Wu, Peng Cheng, Jijun Zhao, Xiaodong Pi, Khay Wai See, Germanas Peleckis, Xiaolin Wang, Shi Xue Dou

Abstract: Silicene monolayers grown on Ag(111) surfaces demonstrate a band gap that is tunable by oxygen adatoms from semimetallic to semiconducting type. By using low-temperature scanning tunneling microscopy, it is found that the adsorption configurations and amounts of oxygen adatoms on the silicene surface are critical for band-gap engineering, which is dominated by different buckled structures in R13xR… ▽ More Silicene monolayers grown on Ag(111) surfaces demonstrate a band gap that is tunable by oxygen adatoms from semimetallic to semiconducting type. By using low-temperature scanning tunneling microscopy, it is found that the adsorption configurations and amounts of oxygen adatoms on the silicene surface are critical for band-gap engineering, which is dominated by different buckled structures in R13xR13, 4x4, and 2R3x2R3 silicene layers. The Si-O-Si bonds are the most energy-favored species formed on R13xR13, 4x4, and 2R3x2R3 structures under oxidation, which is verified by in-situ Raman spectroscopy as well as first-principles calculations. The silicene monolayers retain their structures when fully covered by oxygen adatoms. Our work demonstrates the feasibility of tuning the band gap of silicene with oxygen adatoms, which, in turn, expands the base of available two-dimensional electronic materials for devices with properties that is hardly achieved with graphene oxide. △ Less

Submitted 4 December, 2014; originally announced December 2014.

Comments: Accepted by ACS Nano

Journal ref: ACS Nano 8,10019 (2014)

The isomorphism problem for semigroup C*-algebras of right-angled Artin monoids

Authors: Søren Eilers, Xin Li, Efren Ruiz

Abstract: Semigroup C*-algebras for right-angled Artin monoids were introduced and studied by Crisp and Laca. In the paper at hand, we are able to present the complete answer to their question of when such C*-algebras are isomorphic. The answer to this question is presented both in terms of properties of the graph defining the Artin monoids as well as in terms of classification by K-theory, and is obtained… ▽ More Semigroup C*-algebras for right-angled Artin monoids were introduced and studied by Crisp and Laca. In the paper at hand, we are able to present the complete answer to their question of when such C*-algebras are isomorphic. The answer to this question is presented both in terms of properties of the graph defining the Artin monoids as well as in terms of classification by K-theory, and is obtained using recent results from classification of non-simple C*-algebras. Moreover, we are able to answer another natural question: Which of these semigroup C*-algebras for right-angled Artin monoids are isomorphic to graph algebras? We give a complete answer, and note the consequence that many of the C*-algebras under study are semiprojective. △ Less

Submitted 23 September, 2014; originally announced September 2014.

Comments: 32 pages, 2 figures

Report number: CPH-SYM-DNRF92

Automorphisms of Cuntz-Krieger algebras

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz

Abstract: We prove that the natural homomorphism from Kirchberg's ideal-related KK-theory, KKE(e, e'), with one specified ideal, into Hom_Λ (\underline{K}_{E} (e), \underline{K}_{E} (e')) is an isomorphism for all extensions e and e' of separable, nuclear C*-algebras in the bootstrap category N with the K-groups of the associated cyclic six term exact sequence being finitely generated, having zero exponenti… ▽ More We prove that the natural homomorphism from Kirchberg's ideal-related KK-theory, KKE(e, e'), with one specified ideal, into Hom_Λ (\underline{K}_{E} (e), \underline{K}_{E} (e')) is an isomorphism for all extensions e and e' of separable, nuclear C*-algebras in the bootstrap category N with the K-groups of the associated cyclic six term exact sequence being finitely generated, having zero exponential map and with the K_{1}-groups of the quotients being free abelian groups. This class includes all Cuntz-Krieger algebras with exactly one non-trivial ideal. Combining our results with the results of Kirchberg, we classify automorphisms of the stabilized purely infinite Cuntz-Krieger algebras with exactly one non-trivial ideal modulo asymptotically unitary equivalence. We also get a classification result modulo approximately unitary equivalence. The results in this paper also apply to certain graph algebras. △ Less

Submitted 4 September, 2013; originally announced September 2013.

Comments: 26 pages

Report number: CPH-SYM-DNRF92 MSC Class: 46L40; 46L80

Journal ref: Journal of Noncommutative Geometry, Vol. 12, no. 1 (2018), pp. 217-254

Identifying AF-algebras that are graph C*-algebras

Authors: Soren Eilers, Takeshi Katsura, Efren Ruiz, Mark Tomforde

Abstract: We consider the problem of identifying exactly which AF-algebras are isomorphic to a graph C*-algebra. We prove that any separable, unital, Type I C*-algebra with finitely many ideals is isomorphic to a graph C*-algebra. This result allows us to prove that a unital AF-algebra is isomorphic to a graph C*-algebra if and only if it is a Type I C*-algebra with finitely many ideals. We also consider no… ▽ More We consider the problem of identifying exactly which AF-algebras are isomorphic to a graph C*-algebra. We prove that any separable, unital, Type I C*-algebra with finitely many ideals is isomorphic to a graph C*-algebra. This result allows us to prove that a unital AF-algebra is isomorphic to a graph C*-algebra if and only if it is a Type I C*-algebra with finitely many ideals. We also consider nonunital AF-algebras that have a largest ideal with the property that the quotient by this ideal is the only unital quotient of the AF-algebra. We show that such an AF-algebra is isomorphic to a graph C*-algebra if and only if its unital quotient is Type I, which occurs if and only if its unital quotient is isomorphic to M_k for some natural number k. All of these results provide vast supporting evidence for the conjecture that an AF-algebra is isomorphic to a graph C*-algebra if and only if each unital quotient of the AF-algebra is Type I with finitely many ideals, and bear relevance for the intrigiung question of finding K-theoretical criteria for when an extension of two graph C*-algebras is again a graph C*-algebra. △ Less

Submitted 22 August, 2013; originally announced August 2013.

Comments: 24 pages

Report number: CPH-SYM-DNRF92

Strong classification of extensions of classifiable C*-algebras

Authors: Soren Eilers, Gunnar Restorff, Efren Ruiz

Abstract: We show that certain extensions of classifiable C*-algebra are strongly classified by the associated six-term exact sequence in K-theory together with the positive cone of K_{0}-groups of the ideal and quotient. We apply our result to give a complete classification of graph C*-algebras with exactly one ideal. We show that certain extensions of classifiable C*-algebra are strongly classified by the associated six-term exact sequence in K-theory together with the positive cone of K_{0}-groups of the ideal and quotient. We apply our result to give a complete classification of graph C*-algebras with exactly one ideal. △ Less

Submitted 31 January, 2013; originally announced January 2013.

Comments: 29 pages

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

Classification of graph C*-algebras with no more than four primitive ideals

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz

Abstract: We describe the status quo of the classification problem of graph C*-algebras with four primitive ideals or less. We describe the status quo of the classification problem of graph C*-algebras with four primitive ideals or less. △ Less

Submitted 30 December, 2012; originally announced December 2012.

Report number: CPH-SYM-00

Journal ref: Operator algebra and dynamics, 89-129, Springer Proc. Math. Stat., Vol. 58, Springer, Heidelberg, 2013

Ideal related K-theory with coefficients

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz

Abstract: In this paper, we define an invariant, which we believe should be the substitute for total K-theory in the case when there is one distinguished ideal. Moreover, some diagrams relating the new groups to the ordinary K-groups with coefficients are constructed. These diagrams will in most cases help to determine the new groups, and will in a companion paper be used to prove a universal multi-coeffici… ▽ More In this paper, we define an invariant, which we believe should be the substitute for total K-theory in the case when there is one distinguished ideal. Moreover, some diagrams relating the new groups to the ordinary K-groups with coefficients are constructed. These diagrams will in most cases help to determine the new groups, and will in a companion paper be used to prove a universal multi-coefficient theorem for the one distinguished ideal case for a large class of algebras. △ Less

Submitted 9 October, 2012; originally announced October 2012.

Report number: CPH-SYM-00 MSC Class: 46L35 (Primary) 46L80 (Secondary)

Journal ref: Houston J. Math. Vol. 43, No. 2 (2017), pp. 403-458

The Ranges of K-theoretic Invariants for Nonsimple Graph Algebras

Authors: Søren Eilers, Takeshi Katsura, Mark Tomforde, James West

Abstract: There are many classes of nonsimple graph C*-algebras that are classified by the six-term exact sequence in K-theory. In this paper we consider the range of this invariant and determine which cyclic six-term exact sequences can be obtained by various classes of graph C*-algebras. To accomplish this, we establish a general method that allows us to form a graph with a given six-term exact sequence o… ▽ More There are many classes of nonsimple graph C*-algebras that are classified by the six-term exact sequence in K-theory. In this paper we consider the range of this invariant and determine which cyclic six-term exact sequences can be obtained by various classes of graph C*-algebras. To accomplish this, we establish a general method that allows us to form a graph with a given six-term exact sequence of K-groups by splicing together smaller graphs whose C*-algebras realize portions of the six-term exact sequence. As rather immediate consequences, we obtain the first permanence results for extensions of graph C*-algebras. We are hopeful that the results and methods presented here will also prove useful in more general cases, such as situations where the C*-algebras under investigations have more than one ideal and where there are currently no relevant classification theories available. △ Less

Submitted 9 February, 2012; originally announced February 2012.

Comments: 40 pages

Report number: CPH-SYM-00

Amplified graph C*-algebras

Authors: Søren Eilers, Efren Ruiz, Adam P. W. Sørensen

Abstract: We provide a complete invariant for graph C*-algebras which are amplified in the sense that whenever there is an edge between two vertices, there are infinitely many. The invariant used is the standard primitive ideal space adorned with a map into {-1,0,1,2,...}, and we prove that the classification result is strong in the sense that isomorphisms at the level of the invariant always lift. We exten… ▽ More We provide a complete invariant for graph C*-algebras which are amplified in the sense that whenever there is an edge between two vertices, there are infinitely many. The invariant used is the standard primitive ideal space adorned with a map into {-1,0,1,2,...}, and we prove that the classification result is strong in the sense that isomorphisms at the level of the invariant always lift. We extend the classification result to cover more graphs, and give a range result for the invariant (in the vein of Effros-Handelman-Shen) which is further used to prove that extensions of graph C*-algebras associated to amplified graphs are again graph C*-algebras of amplified graphs. △ Less

Submitted 12 October, 2011; originally announced October 2011.

Comments: 15 pages, 1 figure

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

Journal ref: Münster J. of Math. 5 (2012), 121-150

The ordered K-theory of a full extension

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz

Abstract: Let A be a C*-algebra with real rank zero which has the stable weak cancellation property. Let I be an ideal of A such that I is stable and satisfies the corona factorization property. We prove that 0->I->A->A/I->0 is a full extension if and only if the extension is stenotic and K-lexicographic. As an immediate application, we extend the classification result for graph C*-algebras obtained by Tomf… ▽ More Let A be a C*-algebra with real rank zero which has the stable weak cancellation property. Let I be an ideal of A such that I is stable and satisfies the corona factorization property. We prove that 0->I->A->A/I->0 is a full extension if and only if the extension is stenotic and K-lexicographic. As an immediate application, we extend the classification result for graph C*-algebras obtained by Tomforde and the first named author to the general non-unital case. In combination with recent results by Katsura, Tomforde, West and the first author, our result may also be used to give a purely K-theoretical description of when an essential extension of two simple and stable graph C*-algebras is again a graph C*-algebra. △ Less

Submitted 26 May, 2015; v1 submitted 8 June, 2011; originally announced June 2011.

Comments: Version IV: No changes to the text. We only report that Theorem 4.9 is not correct as stated. See arXiv:1505.05951 for more details. Since Theorem 4.9 is an application to the main results of the paper, the main results of this paper are not affected by the error. Version III comments: Some typos and errors corrected. Some references added

Report number: CPH-SYM-DNRF92 MSC Class: 46L05

Journal ref: Canad. J. Math., Vol. 66 (2014), no. 3, pp. 596-625

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

Classifying $C^*$-algebras with both finite and infinite subquotients

Authors: Soren Eilers, Gunnar Restorff, Efren Ruiz

Abstract: We give a classification result for a certain class of $C^{*}$-algebras $\mathfrak{A}$ over a finite topological space $X$ in which there exists an open set $U$ of $X$ such that $U$ separates the finite and infinite subquotients of $\mathfrak{A}$. We will apply our results to $C^{*}$-algebras arising from graphs. We give a classification result for a certain class of $C^{*}$-algebras $\mathfrak{A}$ over a finite topological space $X$ in which there exists an open set $U$ of $X$ such that $U$ separates the finite and infinite subquotients of $\mathfrak{A}$. We will apply our results to $C^{*}$-algebras arising from graphs. △ Less

Submitted 26 May, 2015; v1 submitted 24 September, 2010; originally announced September 2010.

Comments: Version III: No changes to the text. We only report that Lemma 4.5 is not correct as stated. See arXiv:1505.05951 for the corrected version of Lemma 4.5. As noted in arXiv:1505.05951, the main results of this paper are true verbatim. Version II: Improved some results in Section 3 and loosened the assumptions in Definition 4.1

Report number: CPH-SYM-00 MSC Class: 46L35; 37B10 (Primary); 46M15; 46M18 (Secondary)

Journal ref: Journal of Functional Analysis 265, no. 3, pp. 449-468, 2013

Symbolic dynamics

Authors: Marie-Pierre Béal, Jean Berstel, Søren Eilers, Dominique Perrin

Abstract: This chapter presents some of the links between automata theory and symbolic dynamics. The emphasis is on two particular points. The first one is the interplay between some particular classes of automata, such as local automata and results on embeddings of shifts of finite type. The second one is the connection between syntactic semigroups and the classification of sofic shifts up to conjugacy. This chapter presents some of the links between automata theory and symbolic dynamics. The emphasis is on two particular points. The first one is the interplay between some particular classes of automata, such as local automata and results on embeddings of shifts of finite type. The second one is the connection between syntactic semigroups and the classification of sofic shifts up to conjugacy. △ Less

Submitted 6 February, 2011; v1 submitted 7 June, 2010; originally announced June 2010.

Comments: This text is part of a "Handbook on Automata" edited by Jean-Eric Pin, to be published by European Mathematical Society

Enumeration of pyramids of one-dimensional pieces of arbitrary fixed integer length

Authors: Bergfinnur Durhuus, Soren Eilers

Abstract: We consider pyramids made of one-dimensional pieces of fixed integer length a and which may have pairwise overlaps of integer length from 1 to a. We prove that the number of pyramids of size m, i.e. consisting of m pieces, equals (am-1,m-1) for each a >= 2. This generalises a well known result for a = 2. A bijective correspondence between so-called right (or left) pyramids and a-ary trees is poi… ▽ More We consider pyramids made of one-dimensional pieces of fixed integer length a and which may have pairwise overlaps of integer length from 1 to a. We prove that the number of pyramids of size m, i.e. consisting of m pieces, equals (am-1,m-1) for each a >= 2. This generalises a well known result for a = 2. A bijective correspondence between so-called right (or left) pyramids and a-ary trees is pointed out, and it is shown that asymptotically the average width of pyramids is proportional to the square root of the size. △ Less

Submitted 13 February, 2009; originally announced February 2009.

Report number: CPH-SYM-00 MSC Class: 05A15; 82B41

Journal ref: Discrete Mathematics and Computer Science proc. AM (2010), 145-160

On the classification of nonsimple graph C*-algebras

Authors: Soren Eilers, Mark Tomforde

Abstract: We prove that a graph C*-algebra with exactly one proper nontrivial ideal is classified up to stable isomorphism by its associated six-term exact sequence in K-theory. We prove that a similar classification also holds for a graph C*-algebra with a largest proper ideal that is an AF-algebra. Our results are based on a general method developed by the first named author with Restorff and Ruiz. As a… ▽ More We prove that a graph C*-algebra with exactly one proper nontrivial ideal is classified up to stable isomorphism by its associated six-term exact sequence in K-theory. We prove that a similar classification also holds for a graph C*-algebra with a largest proper ideal that is an AF-algebra. Our results are based on a general method developed by the first named author with Restorff and Ruiz. As a key step in the argument, we show how to produce stability for certain full hereditary subalgebras associated to such graph C*-algebras. We further prove that, except under trivial circumstances, a unique proper nontrivial ideal in a graph C*-algebra is stable. △ Less

Submitted 26 June, 2009; v1 submitted 22 January, 2009; originally announced January 2009.

Comments: 27 pages, uses XY-pic; Version II comments: A few minor typos corrected

MSC Class: 46L55

Reducibility of Covers of AFT shifts

Authors: Teresa Bates, Soren Eilers, David Pask

Abstract: In this paper we show that the reducibility structure of several covers of sofic shifts is a flow invariant. In addition, we prove that for an irreducible subshift of almost finite type the left Krieger cover and the past set cover are reducible. We provide an example which shows that there are non almost finite type shifts which have reducible left Krieger covers. As an application we show that… ▽ More In this paper we show that the reducibility structure of several covers of sofic shifts is a flow invariant. In addition, we prove that for an irreducible subshift of almost finite type the left Krieger cover and the past set cover are reducible. We provide an example which shows that there are non almost finite type shifts which have reducible left Krieger covers. As an application we show that the Matsumoto algebra of an irreducible, strictly sofic shift of almost finite type is not simple. △ Less

Submitted 7 December, 2008; originally announced December 2008.

Comments: 16 pages, 5 figures

Report number: CPH-SYM-00 MSC Class: 37B10; 46L05

Journal ref: Israel Journal of Mathematics 185 (2011), 207-234

On some new invariants for strong shift equivalence for shifts of finite type

Authors: Soren Eilers, Ian Kiming

Abstract: We introduce a new computable invariant for strong shift equivalence of shifts of finite type. The invariant is based on an invariant introduced by Trow, Boyle, and Marcus, but has the advantage of being readily computable. We summarize briefly a large-scale numerical experiment aimed at deciding strong shift equivalence for shifts of finite type given by irreducible $2\times 2$-matrices with en… ▽ More We introduce a new computable invariant for strong shift equivalence of shifts of finite type. The invariant is based on an invariant introduced by Trow, Boyle, and Marcus, but has the advantage of being readily computable. We summarize briefly a large-scale numerical experiment aimed at deciding strong shift equivalence for shifts of finite type given by irreducible $2\times 2$-matrices with entry sum less than 25, and give examples illustrating to power of the new invariant, i.e., examples where the new invariant can disprove strong shift equivalence whereas the other invariants that we use can not. △ Less

Submitted 13 April, 2011; v1 submitted 16 September, 2008; originally announced September 2008.

Comments: Revised version

MSC Class: 11R65 11R11 11Y99 37B10

Nonsplitting in Kirchberg's ideal-related KK-theory

Authors: Soren Eilers, Gunnar Restorff, Efren Ruiz

Abstract: A universal coefficient theorem in the setting of Kirchberg's ideal-related KK-theory was obtained in the fundamental case of a C*-algebra with one specified ideal by Bonkat and proved there to split, unnaturally, under certain conditions. Employing certain K-theoretical information derivable from the given operator algebras in a way introduced here, we shall demonstrate that Bonkat's UCT does not… ▽ More A universal coefficient theorem in the setting of Kirchberg's ideal-related KK-theory was obtained in the fundamental case of a C*-algebra with one specified ideal by Bonkat and proved there to split, unnaturally, under certain conditions. Employing certain K-theoretical information derivable from the given operator algebras in a way introduced here, we shall demonstrate that Bonkat's UCT does not split in general. Related methods lead to information on the complexity of the K-theory which must be used to classify *-isomorphisms for purely infinite C*-algebras with one non-trivial ideal. △ Less

Submitted 24 September, 2010; v1 submitted 1 January, 2008; originally announced January 2008.

Comments: 14 pages, minor typos fixed, 5 figures added

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

Journal ref: Canadian Mathematical Bulletin 54 (2011), 68-81

Classification of Extensions of Classifiable C*-algebras

Authors: Soren Eilers, Gunnar Restorff, Efren Ruiz

Abstract: We classify extensions of certain classifiable C*-algebras using the six term exact sequence in K-theory together with the positive cone of the K_0-groups of the distinguished ideal and quotient. We then apply our results to a class of C*-algebras arising from substitutional shift spaces. We classify extensions of certain classifiable C*-algebras using the six term exact sequence in K-theory together with the positive cone of the K_0-groups of the distinguished ideal and quotient. We then apply our results to a class of C*-algebras arising from substitutional shift spaces. △ Less

Submitted 2 February, 2009; v1 submitted 27 June, 2006; originally announced June 2006.

Comments: 22 pages, Reordered some sections, an application involving graph algebras is added

MSC Class: 46L35

Journal ref: Adv. Math 222 (2009), no. 6, pp. 2153-2172

Inductive limits of K-theoretic complexes with torsion coefficients

Authors: Soren Eilers, Andrew S. Toms

Abstract: We present the first range result for the total K-theory of C*-algebras. This invariant has been used successfully to classify certain separable, nuclear C*-algebras of real rank zero. Our results complete the classification of the so-called AD algebras of real rank zero. We present the first range result for the total K-theory of C*-algebras. This invariant has been used successfully to classify certain separable, nuclear C*-algebras of real rank zero. Our results complete the classification of the so-called AD algebras of real rank zero. △ Less

Submitted 29 August, 2005; originally announced August 2005.

Comments: 24 pages

MSC Class: 46L35; 46L80

On the entropy of LEGO

Authors: Bergfinnur Durhuus, Soren Eilers

Abstract: We propose the further study of the rate of growth of the number of contiguous buildings which may be made from n LEGO blocks of the same size and color. Specializing to blocks of dimension 2x4 we give upper and lower bounds, and speculate on the true value. We propose the further study of the rate of growth of the number of contiguous buildings which may be made from n LEGO blocks of the same size and color. Specializing to blocks of dimension 2x4 we give upper and lower bounds, and speculate on the true value. △ Less

Submitted 12 April, 2005; v1 submitted 2 April, 2005; originally announced April 2005.

Comments: 13 pages, 7 figures. Revised version: Minor corrections, page 9

Report number: CPH-SYM-00 MSC Class: 05A16

Regularity of projections revisited

Authors: Charles A. Akemann, Soren Eilers

Abstract: The concept of regularity in the meta-topological setting of projections in the double dual of a C*-algebra addresses the interrelations of a projection p with its closure, for instance in the form that such projections act identically, in norm, on elements of the C*-algebra. This concept has been given new actuality with the recent plan of Peligrad and Zsido to find a meaningful notion of Murra… ▽ More The concept of regularity in the meta-topological setting of projections in the double dual of a C*-algebra addresses the interrelations of a projection p with its closure, for instance in the form that such projections act identically, in norm, on elements of the C*-algebra. This concept has been given new actuality with the recent plan of Peligrad and Zsido to find a meaningful notion of Murray-von Neumann type equivalence among open projections. Although automatic in the commutative case, it has been known since the late sixties that regularity fails for many projections. The original investigations, however, did not answer a question such as: "Are all open and dense projections regular in A, when A is simple?" We report here that this and related questions have negative answers. In the other direction, we supply positive results on regularity of large open projections. △ Less

Submitted 19 June, 2000; originally announced June 2000.

MSC Class: 46L05; 46L85

Finite dimensional representations of the soft torus

Authors: Soren Eilers, Ruy Exel

Abstract: The soft tori constitute a continuous deformation, in a very precise sense, from the commutative C*-algebra C(T^2) to the highly non-commutative C*-algebra C*(F_2). Since both of these C*-algebras are known to have a separating family of finite dimensional representations, it is natural to ask whether that is also the case for the soft tori. We show that this is in fact the case. The soft tori constitute a continuous deformation, in a very precise sense, from the commutative C*-algebra C(T^2) to the highly non-commutative C*-algebra C*(F_2). Since both of these C*-algebras are known to have a separating family of finite dimensional representations, it is natural to ask whether that is also the case for the soft tori. We show that this is in fact the case. △ Less

Submitted 28 October, 1998; originally announced October 1998.

MSC Class: 46L05 (primary); 46L85; 47B20 (secondary)

On the classification of nuclear C*-algebras

Authors: Marius Dadarlat, Soren Eilers

Abstract: The mid-seventies' works on C*-algebras of Brown-Douglas-Fillmore and Elliott both contained uniqueness and existence results in a now standard sense. These papers served as keystones for two separate theories -- KK-theory and the classification program -- which for many years parted ways with only moderate interaction. But recent years have seen a fruitful interaction which has been one of the… ▽ More The mid-seventies' works on C*-algebras of Brown-Douglas-Fillmore and Elliott both contained uniqueness and existence results in a now standard sense. These papers served as keystones for two separate theories -- KK-theory and the classification program -- which for many years parted ways with only moderate interaction. But recent years have seen a fruitful interaction which has been one of the main engines behind rapid progress in the classification program. In the present paper we take this interaction even further. We prove general existence and uniqueness results using KK-theory and a concept of quasidiagonality for representations. These results are employed to obtain new classification results for certain classes of quasidiagonal C*-algebras introduced by H. Lin. An important novel feature of these classes is that they are defined by a certain local approximation property, rather than by an inductive limit construction. Our existence and uniqueness results are in the spirit of classical Ext-theory. The main complication overcome in the paper is to control the stabilization which is necessary when one works with finite C*-algebras. In the infinite case, where programs of this type have already been successfully carried out, stabilization is unnecessary. Yet, our methods are sufficiently versatile to allow us to reprove, from a handful of basic results, the classification of purely infinite nuclear C*-algebras of Kirchberg and Phillips. Indeed, it is our hope that this can be the starting point of a unified approach to classification of nuclear C*-algebras. △ Less

Submitted 16 September, 1998; originally announced September 1998.

MSC Class: 46L05