Showing 1–22 of 22 results for author: Gabe, J

Generalized homomorphisms and KK with extra structure

Authors: Joachim Cuntz, James Gabe

Abstract: We develop the approach via quasihomomorphisms and the universal algebra $qA$ to Kasparov's $KK$-theory, so as to cover versions of $KK$ such as $KK^{nuc}$, $KK^G$ and ideal related $KK$-theory. We develop the approach via quasihomomorphisms and the universal algebra $qA$ to Kasparov's $KK$-theory, so as to cover versions of $KK$ such as $KK^{nuc}$, $KK^G$ and ideal related $KK$-theory. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: 26 pages

MSC Class: 46L80; 19K35; 47L35; 19L47

Inclusions of real rank zero

Authors: James Gabe, Robert Neagu

Abstract: We introduce a notion of real rank zero for inclusions of C$^*$-algebras. After showing that our definition has many equivalent characterisations, we offer a complete description of the commutative case. We provide permanence and K-theoretic properties of inclusions of real rank zero and prove that a large class of full infinite inclusions have real rank zero. We introduce a notion of real rank zero for inclusions of C$^*$-algebras. After showing that our definition has many equivalent characterisations, we offer a complete description of the commutative case. We provide permanence and K-theoretic properties of inclusions of real rank zero and prove that a large class of full infinite inclusions have real rank zero. △ Less

Submitted 8 January, 2024; v1 submitted 6 December, 2023; originally announced December 2023.

Comments: Improved the result in Theorem 5.7 and fixed the statement of Theorem 5.9

MSC Class: 46L05; 46L35

Tracially Complete C*-Algebras

Authors: José R. Carrión, Jorge Castillejos, Samuel Evington, James Gabe, Christopher Schafhauser, Aaron Tikuisis, Stuart White

Abstract: We introduce a new class of operator algebras -- tracially complete C*-algebras -- as a vehicle for transferring ideas and results between C*-algebras and their tracial von Neumann algebra completions. We obtain structure and classification results for amenable tracially complete C*-algebras satisfying an appropriate version of Murray and von Neumann's property gamma for II_1 factors. In a precise… ▽ More We introduce a new class of operator algebras -- tracially complete C*-algebras -- as a vehicle for transferring ideas and results between C*-algebras and their tracial von Neumann algebra completions. We obtain structure and classification results for amenable tracially complete C*-algebras satisfying an appropriate version of Murray and von Neumann's property gamma for II_1 factors. In a precise sense, these results fit between Connes' celebrated theorems for injective II_1 factors and the unital classification theorem for separable simple nuclear C*-algebras. The theory also underpins arguments for the known parts of the Toms-Winter conjecture. △ Less

Submitted 15 May, 2024; v1 submitted 31 October, 2023; originally announced October 2023.

Comments: 138 pages; edits to made to results 6.3, 6.4, 6.15 and 6.16

MSC Class: 46L35

Extensions of C*-algebras

Authors: James Gabe, Huaxin Lin, ** Wong Ng

Abstract: Let $A$ be a separable amenable $C^*$-algebra and $B$ a non-unital and $σ$-unital simple $C^*$-algebra with continuous scale ($B$ need not be stable). We classify, up to unitary equivalence, all essential extensions of the form $0 \rightarrow B \rightarrow D \rightarrow A \rightarrow 0$ using KK theory. There are characterizations of when the relation of weak unitary equivalence is the same as t… ▽ More Let $A$ be a separable amenable $C^*$-algebra and $B$ a non-unital and $σ$-unital simple $C^*$-algebra with continuous scale ($B$ need not be stable). We classify, up to unitary equivalence, all essential extensions of the form $0 \rightarrow B \rightarrow D \rightarrow A \rightarrow 0$ using KK theory. There are characterizations of when the relation of weak unitary equivalence is the same as the relation of unitary equivalence, and characterizations of when an extension is liftable (a.k.a.~trivial or split). In the case where $B$ is purely infinite, an essential extension $ρ: A \rightarrow M(B)/B$ is liftable if and only if $[ρ]=0$ in $KK(A, M(B)/B)$. When $B$ is stably finite, the extension $ρ$ is often not liftable when $[ρ]=0$ in $KK(A, M(B)/B).$ Finally, when $B$ additionally has tracial rank zero and when $A$ belongs to a sufficiently regular class of unital separable amenable $C^*$-algebras, we have a version of the Voiculescu noncommutative Weyl--von Neumann theorem: Suppose that $Φ, Ψ: A \rightarrow M(B)$ are unital injective homomorphisms such that $Φ(A) \cap B = Ψ(A) \cap B = \{ 0 \}$ and $τ\circ Φ= τ\circ Ψ$ for all $τ\in T(B),$ {the tracial state space of $B.$} Then there exists a sequence $\{ u_n \}$ of unitaries in $M(B)$ such that (i) $u_n Φ(a) u_n^* - Ψ(a) \in B$ for all $a \in A$ and $n \geq 1$, (ii) $\| u_n Φ(a) u_n^* - Ψ(a) \| \rightarrow 0$ as $n \rightarrow \infty$ for all $a \in A$. △ Less

Submitted 28 July, 2023; originally announced July 2023.

Comments: 89 pages

Classifying $^*$-homomorphisms I: Unital simple nuclear $C^*$-algebras

Authors: José R. Carrión, James Gabe, Christopher Schafhauser, Aaron Tikuisis, Stuart White

Abstract: We classify the unital embeddings of a unital separable nuclear $C^*$-algebra satisfying the universal coefficient theorem into a unital simple separable nuclear $C^*$-algebra that tensorially absorbs the Jiang--Su algebra. This gives a new and essentially self-contained proof of the stably finite case of the unital classification theorem: unital simple separable nuclear $C^*$-algebras that abso… ▽ More We classify the unital embeddings of a unital separable nuclear $C^*$-algebra satisfying the universal coefficient theorem into a unital simple separable nuclear $C^*$-algebra that tensorially absorbs the Jiang--Su algebra. This gives a new and essentially self-contained proof of the stably finite case of the unital classification theorem: unital simple separable nuclear $C^*$-algebras that absorb the Jiang--Su algebra tensorially and satisfy the universal coefficient theorem are classified by Elliott's invariant of $K$-theory and traces. △ Less

Submitted 22 December, 2023; v1 submitted 12 July, 2023; originally announced July 2023.

Comments: 132 pages; added some remarks on the classification of C*-dynamics at the end of section 9 and corrected some typos

MSC Class: 46L35

The dynamical Kirchberg-Phillips theorem

Authors: James Gabe, Gábor Szabó

Abstract: Let $G$ be a second-countable, locally compact group. In this article we study amenable $G$-actions on Kirchberg algebras that admit an approximately central embedding of a canonical quasi-free action on the Cuntz algebra $\mathcal{O}_\infty$. If $G$ is discrete, this coincides with the class of amenable and outer $G$-actions on Kirchberg algebras. We show that the resulting $G$-C*-dynamical syste… ▽ More Let $G$ be a second-countable, locally compact group. In this article we study amenable $G$-actions on Kirchberg algebras that admit an approximately central embedding of a canonical quasi-free action on the Cuntz algebra $\mathcal{O}_\infty$. If $G$ is discrete, this coincides with the class of amenable and outer $G$-actions on Kirchberg algebras. We show that the resulting $G$-C*-dynamical systems are classified by equivariant Kasparov theory up to cocycle conjugacy. This is the first classification theory of its kind applicable to actions of arbitrary locally compact groups. Among various applications, our main result solves a conjecture of Izumi for actions of discrete amenable torsion-free groups, and recovers the main results of recent work by Izumi-Matui for actions of poly-$\mathbb{Z}$ groups. △ Less

Submitted 16 August, 2023; v1 submitted 10 May, 2022; originally announced May 2022.

Comments: v3 60 pages; the main result is improved for compact groups, various small corrections and improvements. This is the pre-typeset version to appear in Acta Mathematica

MSC Class: 46L55; 46L35; 19K35

The stable uniqueness theorem for equivariant Kasparov theory

Authors: James Gabe, Gábor Szabó

Abstract: This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical systems. The main result is a stable uniqueness theorem that generalizes a fundamental characterization of ordinary $KK$-theory by Lin and Dadarlat-Eilers. Alo… ▽ More This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical systems. The main result is a stable uniqueness theorem that generalizes a fundamental characterization of ordinary $KK$-theory by Lin and Dadarlat-Eilers. Along the way, we prove an equivariant Cuntz-Thomsen picture analog of the fact that the equivalence relation of homotopy agrees with the (a priori stronger) equivalence relation of stable operator homotopy. The results proved in this paper will be employed as the technical centerpiece in forthcoming work of the authors to classify certain amenable group actions on Kirchberg algebras by equivariant Kasparov theory. △ Less

Submitted 26 February, 2022; v1 submitted 20 February, 2022; originally announced February 2022.

Comments: 42 pages; v2 minor update

MSC Class: 46L55; 19K35

Dynamic asymptotic dimension and Matui's HK conjecture

Authors: Christian Bönicke, Clément Dell'Aiera, James Gabe, Rufus Willett

Abstract: We prove that the homology groups of a principal ample groupoid vanish in dimensions greater than the dynamic asymptotic dimension of the groupoid (as a side-effect of our methods, we also give a new model of groupoid homology in terms of the Tor groups of homological algebra, which might be of independent interest). As a consequence, the K-theory of the $C^*$-algebras associated with groupoids of… ▽ More We prove that the homology groups of a principal ample groupoid vanish in dimensions greater than the dynamic asymptotic dimension of the groupoid (as a side-effect of our methods, we also give a new model of groupoid homology in terms of the Tor groups of homological algebra, which might be of independent interest). As a consequence, the K-theory of the $C^*$-algebras associated with groupoids of finite dynamic asymptotic dimension can be computed from the homology of the underlying groupoid. In particular, principal ample groupoids with dynamic asymptotic dimension at most two and finitely generated second homology satisfy Matui's HK-conjecture. We also construct explicit maps from the groupoid homology groups to the K-theory groups of their $C^*$-algebras in degrees zero and one, and investigate their properties. △ Less

Submitted 26 November, 2022; v1 submitted 12 April, 2021; originally announced April 2021.

Comments: Version 3 adds a new description of the comparison map in dimension one based on the ABC spectral sequence, and shows that it is the same as the description based on map** cones. This is the final version, to appear in Proceedings of the LMS

MSC Class: 22A22; 37B99; 46L80; 46L85

Journal ref: Proc. London Math. Soc. 126 (2023) 1182-1253

Classification of $\mathcal O_\infty$-stable $C^\ast$-algebras

Authors: James Gabe

Abstract: I present a proof of Kirchberg's classification theorem: two separable, nuclear, $\mathcal O_\infty$-stable $C^\ast$-algebras are stably isomorphic if and only if they are ideal-related $KK$-equivalent. In particular, this provides a more elementary proof of the Kirchberg--Phillips theorem which is isolated in the paper to increase readability of this important special case. I present a proof of Kirchberg's classification theorem: two separable, nuclear, $\mathcal O_\infty$-stable $C^\ast$-algebras are stably isomorphic if and only if they are ideal-related $KK$-equivalent. In particular, this provides a more elementary proof of the Kirchberg--Phillips theorem which is isolated in the paper to increase readability of this important special case. △ Less

Submitted 30 June, 2021; v1 submitted 14 October, 2019; originally announced October 2019.

Comments: To appear in Mem. Amer. Math. Soc., 112 pages, v3 (accepted version): added two subsections (8.4 and 15.3) on approximate equivalence. v2: minor changes

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

The nuclear dimension of $\mathcal O_\infty$-stable $C^*$-algebras

Authors: Joan Bosa, James Gabe, Aidan Sims, Stuart White

Abstract: We show that every nuclear $\mathcal O_\infty$-stable *-homomorphism with a separable exact domain has nuclear dimension at most 1. In particular separable, nuclear, $\mathcal O_\infty$-stable C*-algebras have nuclear dimension 1. We also characterise when $\mathcal O_\infty$-stable C*-algebras have finite decomposition rank in terms of quasidiagonality and primitive-ideal structure, and determine… ▽ More We show that every nuclear $\mathcal O_\infty$-stable *-homomorphism with a separable exact domain has nuclear dimension at most 1. In particular separable, nuclear, $\mathcal O_\infty$-stable C*-algebras have nuclear dimension 1. We also characterise when $\mathcal O_\infty$-stable C*-algebras have finite decomposition rank in terms of quasidiagonality and primitive-ideal structure, and determine when full $\mathcal O_2$-stable *-homomorphisms have nuclear dimension 0. △ Less

Submitted 11 January, 2022; v1 submitted 5 June, 2019; originally announced June 2019.

Comments: Small changes. This is the accepted version. Adv. Math., to appear

MSC Class: 46L05; 46L35

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

The unital Ext-groups and classification of $C^\ast$-algebras

Authors: James Gabe, Efren Ruiz

Abstract: The semigroups of unital extensions of separable $C^\ast$-algebras come in two flavours: a strong and a weak version. By the unital $\mathrm{Ext}$-groups, we mean the groups of invertible elements in these semigroups. We use the unital $\mathrm{Ext}$-groups to obtain $K$-theoretic classification of both unital and non-unital extensions of $C^\ast$-algebras, and in particular we obtain a complete… ▽ More The semigroups of unital extensions of separable $C^\ast$-algebras come in two flavours: a strong and a weak version. By the unital $\mathrm{Ext}$-groups, we mean the groups of invertible elements in these semigroups. We use the unital $\mathrm{Ext}$-groups to obtain $K$-theoretic classification of both unital and non-unital extensions of $C^\ast$-algebras, and in particular we obtain a complete $K$-theoretic classification of full extensions of UCT Kirchberg algebras by stable AF algebras. △ Less

Submitted 13 March, 2019; v1 submitted 25 October, 2018; originally announced October 2018.

Comments: 31 pages. V2: Minor changes. To appear in Glasgow Math. J

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

Traceless AF embeddings and unsuspended $E$-theory

Authors: James Gabe

Abstract: I show that quasidiagonality and AF embeddability are equivalent properties for traceless $\mathrm C^\ast$-algebras and are characterised in terms of the primitive ideal space. For nuclear $\mathrm C^\ast$-algebras the same characterisation determines when Connes and Higson's $E$-theory can be unsuspended. I show that quasidiagonality and AF embeddability are equivalent properties for traceless $\mathrm C^\ast$-algebras and are characterised in terms of the primitive ideal space. For nuclear $\mathrm C^\ast$-algebras the same characterisation determines when Connes and Higson's $E$-theory can be unsuspended. △ Less

Submitted 21 December, 2019; v1 submitted 22 April, 2018; originally announced April 2018.

Comments: 11 pages. V2: Expanded Theorem A and its proof. Otherwise only minor changes. To appear in Geom. Funct. Anal

A new proof of Kirchberg's $\mathcal O_2$-stable classification

Authors: James Gabe

Abstract: I present a new proof of Kirchberg's $\mathcal O_2$-stable classification theorem: two separable, nuclear, stable/unital, $\mathcal O_2$-stable $C^\ast$-algebras are isomorphic if and only if their ideal lattices are order isomorphic, or equivalently, their primitive ideal spaces are homeomorphic. Many intermediate results do not depend on pure infiniteness of any sort. I present a new proof of Kirchberg's $\mathcal O_2$-stable classification theorem: two separable, nuclear, stable/unital, $\mathcal O_2$-stable $C^\ast$-algebras are isomorphic if and only if their ideal lattices are order isomorphic, or equivalently, their primitive ideal spaces are homeomorphic. Many intermediate results do not depend on pure infiniteness of any sort. △ Less

Submitted 9 April, 2018; v1 submitted 12 June, 2017; originally announced June 2017.

Comments: Final version, to appear in J. Reine Angew. Math., 39 pages

Hereditary $C^*$-subalgebras of graph $C^*$-algebras

Authors: Sara E. Arklint, James Gabe, Efren Ruiz

Abstract: We show that a $C^*$-algebra $\mathfrak{A}$ which is stably isomorphic to a unital graph $C^*$-algebra, is isomorphic to a graph $C^*$-algebra if and only if it admits an approximate unit of projections. As a consequence, a hereditary $C^*$-subalgebra of a unital real rank zero graph $C^*$-algebra is isomorphic to a graph $C^*$-algebra. Furthermore, if a $C^*$-algebra $\mathfrak{A}$ admits an appr… ▽ More We show that a $C^*$-algebra $\mathfrak{A}$ which is stably isomorphic to a unital graph $C^*$-algebra, is isomorphic to a graph $C^*$-algebra if and only if it admits an approximate unit of projections. As a consequence, a hereditary $C^*$-subalgebra of a unital real rank zero graph $C^*$-algebra is isomorphic to a graph $C^*$-algebra. Furthermore, if a $C^*$-algebra $\mathfrak{A}$ admits an approximate unit of projections, then its minimal unitization is isomorphic to a graph $C^*$-algebra if and only if $\mathfrak{A}$ is stably isomorphic to a unital graph $C^*$-algebra. △ Less

Submitted 31 January, 2017; v1 submitted 11 April, 2016; originally announced April 2016.

Comments: 23 pages. Ver 2: 24 pages, minor changes to introduction, bibliography updated

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

Quasidiagonal traces on exact $C^\ast$-algebras

Authors: James Gabe

Abstract: Recently, it was proved by Tikuisis, White and Winter that any faithful trace on a separable, nuclear $C^\ast$-algebras in the UCT class is quasidiagonal. Building on their work, we generalise the result, and show that any faithful, amenable trace on a separable, exact $C^\ast$-algebras in the UCT class is quasidiagonal. We also prove that any amenable trace on a separable, exact, quasidiagonal… ▽ More Recently, it was proved by Tikuisis, White and Winter that any faithful trace on a separable, nuclear $C^\ast$-algebras in the UCT class is quasidiagonal. Building on their work, we generalise the result, and show that any faithful, amenable trace on a separable, exact $C^\ast$-algebras in the UCT class is quasidiagonal. We also prove that any amenable trace on a separable, exact, quasidiagonal $C^\ast$-algebra in the UCT class is quasidiagonal. △ Less

Submitted 9 November, 2015; originally announced November 2015.

Comments: 13 pages

MSC Class: 46L05; 46L35; 46L80

Lifting theorems for completely positive maps

Authors: James Gabe

Abstract: We prove lifting theorems for completely positive maps going out of exact $C^\ast$-algebras, where we remain in control of which ideals are mapped into which. A consequence is, that if $\mathsf X$ is a second countable topological space, $\mathfrak A$ and $\mathfrak B$ are separable, nuclear $C^\ast$-algebras over $\mathsf X$, and the action of $\mathsf X$ on $\mathfrak A$ is continuous, then… ▽ More We prove lifting theorems for completely positive maps going out of exact $C^\ast$-algebras, where we remain in control of which ideals are mapped into which. A consequence is, that if $\mathsf X$ is a second countable topological space, $\mathfrak A$ and $\mathfrak B$ are separable, nuclear $C^\ast$-algebras over $\mathsf X$, and the action of $\mathsf X$ on $\mathfrak A$ is continuous, then $E(\mathsf X; \mathfrak A, \mathfrak B) \cong KK(\mathsf X; \mathfrak A, \mathfrak B)$ naturally. As an application, we show that a separable, nuclear, strongly purely infinite $C^\ast$-algebra $\mathfrak A$ absorbs a strongly self-absorbing $C^\ast$-algebra $\mathscr D$ if and only if $\mathfrak I$ and $\mathfrak I\otimes \mathscr D$ are $KK$-equivalent for every two-sided, closed ideal $\mathfrak I$ in $\mathfrak A$. In particular, if $\mathfrak A$ is separable, nuclear, and strongly purely infinite, then $\mathfrak A \otimes \mathcal O_2 \cong \mathfrak A$ if and only if every two-sided, closed ideal in $\mathfrak A$ is $KK$-equivalent to zero. △ Less

Submitted 30 January, 2022; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: 27 pages. V4: Accepted version (to appear in J. Noncommut. Geom.). V3: Major revision has been made, as a result upon which the earlier versions were based, has been found to contain an error. This has not affected the main results. Certain other parts have been significantly changed to improve readability. Also, new applications have been included

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

Absorbing representations with respect to closed operator convex cones

Authors: James Gabe, Efren Ruiz

Abstract: We initiate the study of absorbing representations of $C^\ast$-algebras with respect to closed operator convex cones. We completely determine when such absorbing representations exist, which leads to the question of characterising when a representation is absorbing, as in the classical Weyl-von Neumann type theorem of Voiculescu. In the classical case, this was proven by Elliott and Kucerovsky who… ▽ More We initiate the study of absorbing representations of $C^\ast$-algebras with respect to closed operator convex cones. We completely determine when such absorbing representations exist, which leads to the question of characterising when a representation is absorbing, as in the classical Weyl-von Neumann type theorem of Voiculescu. In the classical case, this was proven by Elliott and Kucerovsky who proved that a representation is nuclearly absorbing if and only if it induces a purely large extension. By considering a related problem for extensions of $C^\ast$-algebras, which we call the purely large problem, we ask when a purely largeness condition similar to the one defined by Elliott and Kucerovsky, implies absorption with respect to some given closed operator convex cone. We solve this question for a special type of closed operator convex cone induced by actions of finite topological spaces on $C^\ast$-algebras. As an application of this result, we give $K$-theoretic classification for certain $C^\ast$-algebras containing a purely infinite, two-sided, closed ideal for which the quotient is an AF algebra. This generalises a similar result by the second author, S. Eilers and G. Restorff in which all extensions had to be full. △ Less

Submitted 15 October, 2015; v1 submitted 26 March, 2015; originally announced March 2015.

Comments: 71 pages. V2: minor general changes, changed definition of X-C*-algebras

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

A note on non-unital absorbing extensions

Authors: James Gabe

Abstract: Elliott and Kucerovsky stated that a non-unital extension of separable $C^\ast$-algebras with a stable ideal, is nuclearly absorbing if and only if the extension is purely large. However, their proof was flawed. We give a counter example to their theorem as stated, but establish an equivalent formulation of nuclear absorption under a very mild additional assumption to being purely large. In partic… ▽ More Elliott and Kucerovsky stated that a non-unital extension of separable $C^\ast$-algebras with a stable ideal, is nuclearly absorbing if and only if the extension is purely large. However, their proof was flawed. We give a counter example to their theorem as stated, but establish an equivalent formulation of nuclear absorption under a very mild additional assumption to being purely large. In particular, if the quotient algebra is non-unital, then we show that the original theorem applies. We also examine how this effects results in classification theory. △ Less

Submitted 11 August, 2015; v1 submitted 18 August, 2014; originally announced August 2014.

Comments: 8 pages. Version II: Made minor changes and added a section with the counter example of Ruiz

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

Journal ref: Pacific J. Math. 284 (2016) 383-393

K-theory for Leavitt path algebras: computation and classification

Authors: James Gabe, Efren Ruiz, Mark Tomforde, Tristan Whalen

Abstract: We show that the long exact sequence for K-groups of Leavitt path algebras deduced by Ara, Brustenga, and Cortinas extends to Leavitt path algebras of countable graphs with infinite emitters in the obvious way. Using this long exact sequence, we compute explicit formulas for the higher algebraic K-groups of Leavitt path algebras over certain fields, including all finite fields and all algebraicall… ▽ More We show that the long exact sequence for K-groups of Leavitt path algebras deduced by Ara, Brustenga, and Cortinas extends to Leavitt path algebras of countable graphs with infinite emitters in the obvious way. Using this long exact sequence, we compute explicit formulas for the higher algebraic K-groups of Leavitt path algebras over certain fields, including all finite fields and all algebraically closed fields. We also examine classification of Leavitt path algebras using K-theory. It is known that the K_0-group and K_1-group do not suffice to classify purely infinite simple unital Leavitt path algebras of infinite graphs up to Morita equivalence when the underlying field is the rational numbers. We prove for these Leavitt path algebras, if the underlying field is a number field (which includes the case when the field is the rational numbers), then the pair consisting of the K_0-group and the K_6-group does suffice to classify these Leavitt path algebras up to Morita equivalence. △ Less

Submitted 25 March, 2015; v1 submitted 18 July, 2014; originally announced July 2014.

Comments: 34 pages; Version II Comments: A few typos corrected. Version III Comments: Bibliography updated. This is the version to be published

Report number: CPH-SYM-DNRF92 MSC Class: 16D70; 19D50

Classification of tight $C^{*}$-algebras over the one-point compactification of $\mathbb{N}$

Authors: James Gabe, Efren Ruiz

Abstract: We prove a strong classification result for a certain class of $C^{*}$-algebras with primitive ideal space $\widetilde{\mathbb{N}}$, where $\widetilde{\mathbb{N}}$ is the one-point compactification of $\mathbb{N}$. This class contains the class of graph $C^{*}$-algebras with primitive ideal space $\widetilde{\mathbb{N}}$. Along the way, we prove a universal coefficient theorem with ideal-related… ▽ More We prove a strong classification result for a certain class of $C^{*}$-algebras with primitive ideal space $\widetilde{\mathbb{N}}$, where $\widetilde{\mathbb{N}}$ is the one-point compactification of $\mathbb{N}$. This class contains the class of graph $C^{*}$-algebras with primitive ideal space $\widetilde{\mathbb{N}}$. Along the way, we prove a universal coefficient theorem with ideal-related $K$-theory for $C^{*}$-algebras over $\widetilde{\mathbb{N}}$ whose $\infty$ fiber has torsion-free $K$-theory. △ Less

Submitted 12 November, 2013; originally announced November 2013.

Comments: 25 pages

Report number: CPH-SYM-DNRF92 MSC Class: Primary: 46L35

Graph $C^\ast$-algebras with a $T_1$ primitive ideal space

Authors: James Gabe

Abstract: We give necessary and sufficient conditions which a graph should satisfy in order for its associated $C^\ast$-algebra to have a $T_1$ primitive ideal space. We give a description of which one-point sets in such a primitive ideal space are open, and use this to prove that any purely infinite graph $C^\ast$-algebra with a $T_1$ (in particular Hausdorff) primitive ideal space, is a $c_0$-direct sum o… ▽ More We give necessary and sufficient conditions which a graph should satisfy in order for its associated $C^\ast$-algebra to have a $T_1$ primitive ideal space. We give a description of which one-point sets in such a primitive ideal space are open, and use this to prove that any purely infinite graph $C^\ast$-algebra with a $T_1$ (in particular Hausdorff) primitive ideal space, is a $c_0$-direct sum of Kirchberg algebras. Moreover, we show that graph $C^\ast$-algebras with a $T_1$ primitive ideal space canonically may be given the structure of a $C(\widetilde{\mathbb N})$-algebra, and that isomorphisms of their $\widetilde{\mathbb N}$-filtered $K$-theory (without coefficients) lift to $E(\widetilde{\mathbb N})$-equivalences, as defined by Dadarlat and Meyer. △ Less

Submitted 14 February, 2013; originally announced February 2013.

Comments: 13 pages

Report number: CPH-SYM-DNRF92 MSC Class: Primary: 46L35