Searcharxiv⌕ Search

arXiv subjects

Adam P. W. Sørensen

Publications and source records attributed to Adam P. W. Sørensen.

17 recordsLinked to original sources
arXiv2021

C*-stability of discrete groups

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.

math.OA↗
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

The Polynomial Endomorphisms of Graph Algebras

We investigate polynomial endomorphisms of graph $C^*$-algebras and Leavitt path algebras. To this end, we define and analyze the coding graph corresponding to each such an endomorphism. We find an if and only if condition for the endomorphism to restrict to an automorphism of the diagonal MASA, which is stated in terms of synchronization of a certain labelling on the coding graph. We show that the dynamics induced this way on the space of infinite paths (the spectrum of the MASA) is generated by an asynchronous transducer.

math.OA↗
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

The Cuntz splice does not preserve $*$-isomorphism of Leavitt path algebras over $\mathbb{Z}$

We show that the Leavitt path algebras $L_{2,\mathbb{Z}}$ and $L_{2-,\mathbb{Z}}$ are not isomorphic as $*$-algebras. There are two key ingredients in the proof. One is a partial algebraic translation of Matsumoto and Matui's result on diagonal preserving isomorphisms of Cuntz--Krieger algebras. The other is a complete description of the projections in $L_{\mathbb{Z}}(E)$ for $E$ a finite graph. This description is based on a generalization, due to Chris Smith, of the description of the unitaries in $L_{2,\mathbb{Z}}$ given by Brownlowe and the second named author. The techniques generalize to a slightly larger class of rings than just $\mathbb{Z}$.

math.RA↗
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

UCT-Kirchberg algebras have nuclear dimension one

We prove that every Kirchberg algebra in the UCT class has nuclear dimension 1. We first show that Kirchberg 2-graph algebras with trivial $K_0$ and finite $K_1$ have nuclear dimension 1 by adapting a technique developed by Winter and Zacharias for Cuntz algebras. We then prove that every Kirchberg algebra in the UCT class is a direct limit of 2-graph algebras to obtain our main theorem.

math.OA↗
arXiv2014

Semiprojectivity with and without a group action

The equivariant version of semiprojectivity was recently introduced by the first author. We study properties of this notion, in particular its relation to ordinary semiprojectivity of the crossed product and of the algebra itself. We show that equivariant semiprojectivity is preserved when the action is restricted to a cocompact subgroup. Thus, if a second countable compact group acts semiprojectively on a C*-algebra $A$, then $A$ must be semiprojective. This fails for noncompact groups: we construct a semiprojective action of the integers on a nonsemiprojective C*-algebra. We also study equivariant projectivity and obtain analogous results, however with fewer restrictions on the subgroup. For example, if a discrete group acts projectively on a C*-algebra $A$, then $A$ must be projective. This is in contrast to the semiprojective case. We show that the crossed product by a semiprojective action of a finite group on a unital C*-algebra is a semiprojective C*-algebra. We give examples to show that this does not generalize to all compact groups.

math.OA↗
arXiv2013

Almost Commuting Orthogonal Matrices

We show that almost commuting real orthogonal matrices are uniformly close to exactly commuting real orthogonal matrices. We prove the same for symplectic unitary matrices. This is in contrast to the general complex case, where not all pairs of almost commuting unitaries are close to commuting pairs. Our techniques also yield results about almost normal matrices over the reals and the quaternions.

math.OA↗
arXiv2013

Almost commuting self-adjoint matrices --- the real and self-dual cases

We show that a pair of almost commuting self-adjoint, symmetric matrices is close to a pair of commuting self-adjoint, symmetric matrices (in a uniform way). Moreover we prove that the same holds with self-dual in place of symmetric. The notion of self-dual Hermitian matrices is important in physics when studying fermionic systems that have time reversal symmetry. Since a symmetric, self-adjoint matrix is real, we get a real version of Huaxin Lin's famous theorem on almost commuting matrices. Similarly the self-dual case gives a version for matrices over the quaternions. We prove analogous results for element of real C^*-algebras of "low rank." In particular, these stronger results apply to paths of almost commuting Hermitian matrices that are real or self-dual. Along the way we develop a theory of semiprojectivity for real C^*-algebras.

math.OA↗
arXiv2013

Almost commuting unitary matrices related to time reversal

The behavior of fermionic systems depends on the geometry of the system and the symmetry class of the Hamiltonian and observables. Almost commuting matrices arise from band-projected position observables in such systems. One expects the mathematical behavior of almost commuting Hermitian matrices to depend on two factors. One factor will be the approximate polynomial relations satisfied by the matrices. The other factor is what algebra the matrices are in, either the matrices over A for A the real numbers, A the complex numbers or A the algebra of quaternions. There are potential obstructions keeping k-tuples of almost commuting operators from being close to a commuting k-tuple. We consider two-dimensional geometries and so this obstruction lives in KO_{-2}(A). This obstruction corresponds to either the Chern number or spin Chern number in physics. We show that if this obstruction is the trivial element in K-theory then the approximation by commuting matrices is possible.

math.OA↗
arXiv2012

On a counterexample to a conjecture by Blackadar

Blackadar conjectured that if we have a split short-exact sequence 0 -> I -> A -> A/I -> 0 where I is semiprojective and A/I is isomorphic to the complex numbers, then A must be semiprojective. Eilers and Katsura have found a counterexample to this conjecture. Presumably Blackadar asked that the extension be split to make it more likely that semiprojectivity of I would imply semiprojectivity of A. But oddly enough, in all the counterexamples of Eilers and Katsura the quotient map from A to A/I is split. We will show how to modify their examples to find a non-semiprojective C*-algebra B with a semiprojective ideal J such that B/J is the complex numbers and the quotient map does not split.

math.OA↗
arXiv2012

Geometric classification of simple graph algebras

Inspired by Franks' classification of irreducible shifts of finite type we provide a short list of allowed moves on graphs that preserves the stable isomorphism class of the associated C*-algebras. We show that if two graphs have stably isomorphic and simple unital algebras then we can use these moves to transform one into the other.

math.OA↗
arXiv2011

Amplified graph C*-algebras

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.

math.OA↗
arXiv2011

A characterization of semiprojectivity for commutative C*-algebras

Given a compact, metric space X, we show that the commutative C*-algebra C(X) is semiprojective if and only if X is an absolute neighborhood retract of dimension at most one. This confirms a conjecture of Blackadar. Generalizing to the non-unital setting, we derive a characterization of semiprojectivity for separable, commutative C*-algebras. As further application of our findings we verify two conjectures of Loring and Blackadar in the commutative case, and we give a partial answer to the question, when a commutative C*-algebra is weakly (semi-)projective.

math.OA↗