BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Aidan Sims

Aidan Sims contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.OAmath.RAmath.DSmath.FA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2022arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Reconstruction of groupoids and C*-rigidity of dynamical systems

We show how to construct a graded locally compact Hausdorff étale groupoid from a C*-algebra carrying a coaction of a discrete group, together with a suitable abelian subalgebra. We call this groupoid the extended Weyl groupoid. When the coaction is trivial and the subalgebra is Cartan, our groupoid agrees with Renault's Weyl groupoid. We prove that if G is a second-countable locally compact étale groupoid carrying a grading of a discrete group, and if the interior of the trivially graded isotropy is abelian and torsion free, then the extended Weyl groupoid of its reduced C*-algebra is isomorphic as a graded groupoid to G. In particular, two such groupoids are isomorphic as graded groupoids if and only if there is an equivariant diagonal-preserving isomorphism of their reduced C*-algebras. We introduce graded equivalence of groupoids, and establish that two graded groupoids in which the trivially graded isotropy has torsion-free abelian interior are graded equivalent if and only if there is an equivariant diagonal-preserving Morita equivalence between their reduced C*-algebras. We use these results to establish rigidity results for a number of classes of dynamical systems, including all actions of the natural numbers by local homeomorphisms of locally compact Hausdorff spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Reconstruction of twisted Steinberg algebras

We show how to recover a discrete twist over an ample Hausdorff groupoid from a pair consisting of an algebra and what we call a quasi-Cartan subalgebra. We identify precisely which twists arise in this way (namely, those that satisfy the local bisection hypothesis), and we prove that the assignment of twisted Steinberg algebras to such twists and our construction of a twist from a quasi-Cartan pair are mutually inverse. We identify the algebraic pairs that correspond to effective groupoids and to principal groupoids. We also indicate the scope of our results by identifying large classes of twists for which the local bisection hypothesis holds automatically.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The groupoids of adaptable separated graphs and their type semigroup

Given an adaptable separated graph, we construct an associated groupoid and explore its type semigroup. Specifically, we first attach to each adaptable separated graph a corresponding semigroup, which we prove is an $E^*$-unitary inverse semigroup. As a consequence, the tight groupoid of this semigroup is a Hausdorff étale groupoid. We show that this groupoid is always amenable, and that the type semigroups of groupoids obtained from adaptable separated graphs in this way include all finitely generated conical refinement monoids. The first three named authors will utilize this construction in forthcoming work to solve the Realization Problem for von Neumann regular rings, in the finitely generated case.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Reconstruction of graded groupoids from graded Steinberg algebras

We show how to reconstruct a graded ample Hausdorff groupoid with topologically principal neutrally graded component from the ring structure of its graded Steinberg algebra over any commutative integral domain with 1, together with the embedding of the canonical abelian subring of functions supported on the unit space. We deduce that diagonal-preserving ring isomorphism of Leavitt path algebras implies $C^*$-isomorphism of $C^*$-algebras for graphs $E$ and $F$ in which every cycle has an exit.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Co-universal C*-algebras associated to generalised graphs

We introduce P-graphs, which are generalisations of directed graphs in which paths have a degree in a semigroup P rather than a length in N. We focus on semigroups P arising as part of a quasi-lattice ordered group (G,P) in the sense of Nica, and on P-graphs which are finitely aligned in the sense of Raeburn and Sims. We show that each finitely aligned P-graph admits a C*-algebra C*_{min}(Lambda) which is co-universal for partial-isometric representations of Lambda which admit a coaction of G compatible with the P-valued length function. We also characterise when a homomorphism induced by the co-universal property is injective. Our results combined with those of Spielberg show that every Kirchberg algebra is Morita equivalent C*_{min}(Lambda) for some (N^2 * N)-graph Lambda.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Generalised morphisms of k-graphs: k-morphs

In a number of recent papers, (k+l)-graphs have been constructed from k-graphs by inserting new edges in the last l dimensions. These constructions have been motivated by C*-algebraic considerations, so they have not been treated systematically at the level of higher-rank graphs themselves. Here we introduce k-morphs, which provide a systematic unifying framework for these various constructions. We think of k-morphs as the analogue, at the level of k-graphs, of C*-correspondences between C*-algebras. To make this analogy explicit, we introduce a category whose objects are k-graphs and whose morphisms are isomorphism classes of k-morphs. We show how to extend the assignment Λ\mapsto C*(Λ) to a functor from this category to the category whose objects are C*-algebras and whose morphisms are isomorphism classes of C*-correspondences.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Simplicity of C*-algebras associated to row-finite locally convex higher-rank graphs

In previous work, the authors showed that the C*-algebra C*(Λ) of a row-finite higher-rank graph Λwith no sources is simple if and only if Λis both cofinal and aperiodic. In this paper, we generalise this result to row-finite higher-rank graphs which are locally convex (but may contain sources). Our main tool is Farthing's "removing sources" construction which embeds a row-finite locally convex higher-rank graph in a row-finite higher-rank graph with no sources in such a way that the associated C*-algebras are Morita equivalent.

0 citations0 reviewsNo code linkedOpen access