arXiv Science⌕ Search

arXiv subjects

Aidan Sims

Publications and source records attributed to Aidan Sims.

At least 19 recordsLinked to original sources
arXiv2026

Morita equivalence of graded C*-algebras

We define two notions of Morita equivalence for graded C*-algebras (graded Morita equivalence and homogeneous Morita equivalence) and provide Brown-Green-Rieffel Stabilization Type Theorems for both notions of graded equivalence. We apply our results to finite regular graphs by establishing an explicit connection between graded C*-algebras and coactions. Lastly, we incorporate Cartan subalgebras with totally disconnected spectra and obtain Brown-Green-Rieffel Stabilization Type Theorems for these cases.

math.OA↗
arXiv2026

Classification of representations of higher-rank graph C*-algebras

We develop new techniques for the construction and classification of representations of row-finite and locally convex higher-rank graph C*-algebras O. This class includes Cuntz--Krieger algebras associated to row-finite directed graphs. Our approach relies on the representation theory of a certain non-self-adjoint algebra and a lifting process of representations. We introduce a novel dimension vector for representations of O yielding a countable partition of the spectrum. Given a Cuntz--Krieger algebra and a finite dimension vector, we construct a smooth manifold parametrising the corresponding spectral component. Our techniques are both explicit and functorial.

math.OA↗
arXiv2025

K-theory of C*-algebras arising from commuting Hilbert bimodules and invariant ideals

We study the K-theory of the Cuntz-Nica-Pimsner C*-algebra of a rank-two product system that is an extension determined by an invariant ideal of the coefficient algebra. We use a construction of Deaconu and Fletcher that describes the Cuntz-Nica-Pimsner C*-algebra of the product system in terms of two iterations of Pimsner's original construction of a C*-algebra from a right-Hilbert bimodule. We apply our results to the product system built from two commuting surjective local homeomorphisms of a totally disconnected space, where the Cuntz-Nica-Pimsner C*-algebra is isomorphic to the C*-algebra of the associated rank-two Deaconu--Renault groupoid. We then apply a theorem of Spielberg about stable finiteness of an extension to obtain sufficient conditions for stable finiteness of the C*-algebra of the Deaconu-Renault groupoid.

math.OA↗
arXiv2025

Lifting isomorphisms in $K$-theory through gradings of $C^*$-algebras

We show that every strongly $\mathbb{Z}$-graded C*-algebra (equivalently, every C*-algebra carrying a strongly continuous $\mathbb{T}$-action with full spectral subspaces) is a Cuntz--Pimsner algebra, and describe subalgebras and subspaces that can be used as the coefficient algebra and module in the construction. We deduce that for surjective graded homomorphisms $ϕ$ of C*-algebras $A$ graded by torsion-free abelian groups $H$, if the restriction $ϕ_0$ of $ϕ$ to the zero-graded component $A_0$ of $A$ induces isomorphisms in K-theory, so does $ϕ$ itself. When $H$ is free abelian, we show how to pick out smaller subalgebras of $A_0$ on which it suffices to check that $ϕ$ induces isomorphisms in $K$-theory.

math.OA↗
arXiv2025

Self-similar groupoid actions on k-graphs, and invariance of K-theory for cocycle homotopies

We establish conditions under which an inclusion of finitely aligned left-cancellative small categories induces inclusions of twisted C*-algebras. We also present an example of an inclusion of finitely aligned left-cancellative monoids that does not induce a homomorphism even between (untwisted) Toeplitz algebras. We prove that the twisted C*-algebras of a jointly faithful self-similar action of a countable discrete amenable groupoid on a row-finite k-graph with no sources, with respect to homotopic cocycles, have isomorphic K-theory.

math.OA↗
arXiv2024

Norm upper-semicontinuity of functions supported on open abelian isotropy in étale groupoids (a corrigendum to "Reconstruction of groupoids and C*-rigidity of dynamical systems," Adv. Math 390 (2021), 107923)

We consider étale Hausdorff groupoids in which the interior of the isotropy is abelian. We prove that the norms of the images under regular representations, of elements of the reduced groupoid $C^*$-algebra whose supports are contained in the interior of the isotropy vary upper semicontinuously. This corrects an error in [T.M. Carlsen, E. Ruiz, A. Sims and M. Tomforde, "Reconstruction of groupoids and C*-rigidity of dynamical systems," Adv. Math 390 (2021), 107923].

math.OA↗
arXiv2024

Homotopy of product systems and K-theory of Cuntz-Nica-Pimsner algebras

We introduce the notion of a homotopy of product systems, and show that the Cuntz-Nica-Pimsner algebras of homotopic product systems over N^k have isomorphic K-theory. As an application, we give a new proof that the K-theory of a 2-graph C*-algebra is independent of the factorisation rules, and we further show that the K-theory of any twisted k-graph C*-algebra is independent of the twisting 2-cocycle. We also explore applications to K-theory for the C*-algebras of single-vertex k-graphs, reducing the question of whether the $K$-theory is independent of the factorisation rules to a question about path-connectedness of the space of solutions to an equation of Yang-Baxter type.

math.OA↗
arXiv2024

Homology and twisted C*-algebras for self-similar actions and Zappa-Szép products

We study the categorical homology of Zappa-Szép products of small categories, which include all self-similar actions. We prove that the categorical homology coincides with the homology of a double complex, and so can be computed via a spectral sequence involving homology groups of the constituent categories. We give explicit formulae for the isomorphisms involved, and compute the homology of a class of examples that generalise odometers. We define the C*-algebras of self-similar groupoid actions on k-graphs twisted by 2-cocycles arising from this homology theory, and prove some fundamental results about their structure.

math.KT↗
arXiv2024

Smooth Cartan triples and Lie twists over Hausdorff étale Lie groupoids

We describe how to recover a Lie structure on a twist over a Hausdorff étale groupoid from functional-analytic data in the spirit of Connes' reconstruction theorem for manifolds. We first characterise when a smooth structure on the unit space of a Hausdorff étale groupoid can be extended to a Lie-groupoid structure on the whole groupoid. We introduce Lie twists over Hausdorff Lie groupoids, building on Kumjian's notion of a twist over a topological groupoid. We establish necessary and sufficient conditions on a family of sections of a twist over a Lie groupoid under which the twist can be made into a Lie twist so that all the specified sections are smooth. We use these results in the setting of twists over étale groupoids to describe conditions on a Cartan pair of C*-algebras and a family of normalisers of the subalgebra, under which Renault's Weyl twist for the pair can be made into a Lie twist for which the given normalisers correspond to smooth sections.

math.OA↗
arXiv2024

Embeddability of higher-rank graphs in groupoids, and the structure of their C*-algebras

We show that the C*-algebra of a row-finite source-free k-graph is Rieffel-Morita equivalent to a crossed product of an AF algebra by the fundamental group of the k-graph. When the k-graph embeds in its fundamental groupoid, this AF algebra is a Fell algebra; and simple-connectedness of a certain sub-1-graph characterises when this Fell algebra is Rieffel--Morita equivalent to a commutative C*-algebra. We provide a substantial suite of results for determining if a given k-graph embeds in its fundamental groupoid, and provide a large class of examples, arising via work of Cartwright, Robertson, Steger et al. from the theory of $\tilde{A_2}$-groups, that do embed.

math.OA↗
arXiv2024

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

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

math.OA↗
arXiv2023

Ideal structure of C*-algebras of commuting local homeomorphisms

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

math.OA↗
arXiv2023

KK-duality for self-similar groupoid actions on graphs

We extend Nekrashevych's $KK$-duality for $C^*$-algebras of regular, recurrent, contracting self-similar group actions to regular, contracting self-similar groupoid actions on a graph, removing the recurrence condition entirely and generalising from a finite alphabet to a finite graph. More precisely, given a regular and contracting self-similar groupoid $(G,E)$ acting faithfully on a finite directed graph $E$, we associate two $C^*$-algebras, $\mathcal{O}(G,E)$ and $\widehat{\mathcal{O}}(G,E)$, to it and prove that they are strongly Morita equivalent to the stable and unstable Ruelle C*-algebras of a Smale space arising from a Wieler solenoid of the self-similar limit space. That these algebras are Spanier-Whitehead dual in $KK$-theory follows from the general result for Ruelle algebras of irreducible Smale spaces proved by Kaminker, Putnam, and the last author.

math.KT↗
arXiv2023

Simplicity of twisted C*-algebras of Deaconu--Renault groupoids

We consider Deaconu--Renault groupoids associated to actions of finite-rank free abelian monoids by local homeomorphisms of locally compact Hausdorff spaces. We study simplicity of the twisted C*-algebra of such a groupoid determined by a continuous circle-valued groupoid 2-cocycle. When the groupoid is not minimal, this C*-algebra is never simple, so we focus on minimal groupoids. We describe an action of the quotient of the groupoid by the interior of its isotropy on the spectrum of the twisted C*-algebra of the interior of the isotropy. We prove that the twisted groupoid C*-algebra is simple if and only if this action is minimal. We describe applications to crossed products of topological-graph C*-algebras by quasi-free actions.

math.OA↗
arXiv2023

Reconstruction of topological graphs and their Hilbert bimodules

We show that the Hilbert bimodule associated to a compact topological graph can be recovered from the C*-algebraic triple consisting of the Toeplitz algebra of the graph, its gauge action and the commutative subalgebra of functions on the vertex space of the graph. We discuss connections with work of Davidson-Katsoulis and of Davidson-Roydor on local conjugacy of topological graphs and isomorphism of their tensor algebras. In particular, we give a direct proof that a compact topological graph can be recovered up to local conjugacy from its Hilbert bimodule, present an example of nonisomorphic locally conjugate compact topological graphs with isomorphic Hilbert bimodules. We also give an elementary proof that for compact topological graphs with totally disconnected vertex space the notions of local conjugacy, Hilbert bimodule isomorphism, isomorphism of C*-algebraic triples, and isomorphism all coincide.

math.OA↗