Searcharxiv⌕ Search

arXiv subjects

Gunnar Restorff

Publications and source records attributed to Gunnar Restorff.

18 recordsLinked to original sources
arXiv2019

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

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.

math.OA↗
arXiv2018

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

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.

math.DS↗
arXiv2016

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

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.

math.OA↗
arXiv2016

Filtered K-theory for graph algebras

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.

math.RA↗
arXiv2016

Strong classification of purely infinite Cuntz-Krieger algebras

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.

math.OA↗
arXiv2015

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

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.

math.OA↗
arXiv2015

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

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.

math.OA↗
arXiv2015

The ordered K-theory of a full extension

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.

math.OA↗
arXiv2015

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

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.

math.OA↗
arXiv2014

Classification of real rank zero, purely infinite C*-algebras with at most four primitive ideals

Counterexamples to classification of purely infinite, nuclear, separable C*-algebras (in the ideal-related bootstrap class) and with primitive ideal space X using ideal-related K-theory occur for infinitely many finite primitive ideal spaces X, the smallest of which having four points. Ideal-related K-theory is known to be strongly complete for such C*-algebras if they have real rank zero and X has at most four points for all but two exceptional spaces: the pseudo-circle and the diamond space. In this article, we close these two remaining cases. We show that ideal-related K-theory is strongly complete for real rank zero, purely infinite, nuclear, separable C*-algebras that have the pseudo-circle as primitive ideal space. In the opposite direction, we construct a Cuntz-Krieger algebra with the diamond space as its primitive ideal space for which an automorphism on ideal-related K-theory does not lift.

math.OA↗
arXiv2013

Automorphisms of Cuntz-Krieger algebras

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.

math.OA↗
arXiv2013

Strong classification of extensions of classifiable C*-algebras

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.

math.OA↗
arXiv2012

Ideal related K-theory with coefficients

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.

math.OA↗
arXiv2011

Filtrated K-theory for real rank zero C*-algebras

Using Kirchberg KK_X-classification of purely infinite, separable, stable, nuclear C*-algebras with finite primitive ideal space, Bentmann showed that filtrated K-theory classifies purely infinite, separable, stable, nuclear C*-algebras that satisfy that all simple subquotients are in the bootstrap class and that the primitive ideal space is finite and of a certain type, referred to as accordion spaces. This result generalizes the results of Meyer-Nest involving finite linearly ordered spaces. Examples have been provided, for any finite non-accordion space, that isomorphic filtrated K-theory does not imply KK_X-equivalence for this class of C*-algebras. As a consequence, for any non-accordion space, filtrated K-theory is not a complete invariant for purely infinite, separable, stable, nuclear C*-algebrass that satisfy that all simple subquotients are in the bootstrap class. In this paper, we investigate the case for real rank zero C*-algebras and four-point primitive ideal spaces, as this is the smallest size of non-accordion spaces. Up to homeomorphism, there are ten different connected T_0-spaces with exactly four points. We show that filtrated K-theory classifies purely infinite, real rank zero, separable, stable, nuclear C*-algebras that satisfy that all simple subquotients are in the bootstrap class for eight out of ten of these spaces.

math.OA↗
arXiv2010

Nonsplitting in Kirchberg's ideal-related KK-theory

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.

math.OA↗
arXiv2009

Classification of Extensions of Classifiable C*-algebras

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.

math.OA↗