-
Nuclear dimension of extensions of commutative C*-algebras by Kirchberg algebras
Authors:
Samuel Evington,
Abraham C. S. Ng,
Aidan Sims,
Stuart White
Abstract:
We compute the nuclear dimension of extensions of C*-algebras involving commutative unital quotients and stable Kirchberg ideals. We identify the finite directed graphs whose C*-algebras are covered by this theorem.
We compute the nuclear dimension of extensions of C*-algebras involving commutative unital quotients and stable Kirchberg ideals. We identify the finite directed graphs whose C*-algebras are covered by this theorem.
△ Less
Submitted 19 September, 2024;
originally announced September 2024.
-
The Solar eruptioN Integral Field Spectrograph
Authors:
Vicki L. Herde,
Phillip C. Chamberlin,
Don Schmit,
Adrian Daw,
Ryan O. Milligan,
Vanessa Polito,
Souvik Bose,
Spencer Boyajian,
Paris Buedel,
Will Edgar,
Alex Gebben,
Qian Gong,
Ross Jacobsen,
Nicholas Nell,
Bennet Schwab,
Alan Sims,
David Summers,
Zachary Turner,
Trace Valade,
Joseph Wallace
Abstract:
The Solar eruptioN Integral Field Spectrograph (SNIFS) is a solar-gazing spectrograph scheduled to fly in the summer of 2025 on a NASA sounding rocket. Its goal is to view the solar chromosphere and transition region at a high cadence (1s) both spatially (0.5") and spectrally (33 mÅ) viewing wavelengths around Lyman Alpha (1216 Å), Si iii (1206 Å) and O v (1218 Å) to observe spicules, nanoflares,…
▽ More
The Solar eruptioN Integral Field Spectrograph (SNIFS) is a solar-gazing spectrograph scheduled to fly in the summer of 2025 on a NASA sounding rocket. Its goal is to view the solar chromosphere and transition region at a high cadence (1s) both spatially (0.5") and spectrally (33 mÅ) viewing wavelengths around Lyman Alpha (1216 Å), Si iii (1206 Å) and O v (1218 Å) to observe spicules, nanoflares, and possibly a solar flare. This time cadence will provide yet-unobserved detail about fast-changing features of the Sun. The instrument is comprised of a Gregorian-style reflecting telescope combined with a spectrograph via a specialized mirrorlet array that focuses the light from each spatial location in the image so that it may be spectrally dispersed without overlap from neighboring locations. This paper discusses the driving science, detailed instrument and subsystem design, and pre-integration testing of the SNIFS instrument.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Embeddability of higher-rank graphs in groupoids, and the structure of their C*-algebras
Authors:
Nathan Brownlowe,
Alex Kumjian,
David Pask,
Aidan Sims
Abstract:
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*-alg…
▽ More
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.
△ Less
Submitted 2 March, 2024;
originally announced March 2024.
-
The Edge-of-Reach Problem in Offline Model-Based Reinforcement Learning
Authors:
Anya Sims,
Cong Lu,
Yee Whye Teh
Abstract:
Offline reinforcement learning aims to enable agents to be trained from pre-collected datasets, however, this comes with the added challenge of estimating the value of behavior not covered in the dataset. Model-based methods offer a solution by allowing agents to collect additional synthetic data via rollouts in a learned dynamics model. The prevailing theoretical understanding is that this can th…
▽ More
Offline reinforcement learning aims to enable agents to be trained from pre-collected datasets, however, this comes with the added challenge of estimating the value of behavior not covered in the dataset. Model-based methods offer a solution by allowing agents to collect additional synthetic data via rollouts in a learned dynamics model. The prevailing theoretical understanding is that this can then be viewed as online reinforcement learning in an approximate dynamics model, and any remaining gap is therefore assumed to be due to the imperfect dynamics model. Surprisingly, however, we find that if the learned dynamics model is replaced by the true error-free dynamics, existing model-based methods completely fail. This reveals a major misconception. Our subsequent investigation finds that the general procedure used in model-based algorithms results in the existence of a set of edge-of-reach states which trigger pathological value overestimation and collapse in Bellman-based algorithms. We term this the edge-of-reach problem. Based on this, we fill some gaps in existing theory and also explain how prior model-based methods are inadvertently addressing the true underlying edge-of-reach problem. Finally, we propose Reach-Aware Value Learning (RAVL), a simple and robust method that directly addresses the edge-of-reach problem and achieves strong performance across both proprioceptive and pixel-based benchmarks. Code open-sourced at: https://github.com/anyasims/edge-of-reach.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
A twist over a minimal étale groupoid that is topologically nontrivial over the interior of the isotropy
Authors:
Becky Armstrong,
Abraham C. S. Ng,
Aidan Sims,
Yumiao Zhou
Abstract:
We present an example of a twist over a minimal Hausdorff étale groupoid such that the restriction of the twist to the interior of the isotropy is not topologically trivial; that is, the restricted twist is not induced by a continuous 2-cocycle.
We present an example of a twist over a minimal Hausdorff étale groupoid such that the restriction of the twist to the interior of the isotropy is not topologically trivial; that is, the restricted twist is not induced by a continuous 2-cocycle.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Homology and twisted C*-algebras for self-similar actions and Zappa-Szép products
Authors:
Alexander Mundey,
Aidan Sims
Abstract:
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 cla…
▽ More
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.
△ Less
Submitted 2 August, 2024; v1 submitted 16 November, 2023;
originally announced November 2023.
-
Smooth Cartan triples and Lie twists over Hausdorff étale Lie groupoids
Authors:
Anna Duwenig,
Aidan Sims
Abstract:
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, buildi…
▽ More
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.
△ Less
Submitted 16 March, 2024; v1 submitted 17 September, 2023;
originally announced September 2023.
-
Population-average mediation analysis for zero-inflated count outcomes
Authors:
Andrew Sims,
D. Leann Long,
Hemant K. Tiwari,
Jinhong Cui,
Dustin M. Long,
Todd M. Brown,
Melissa J. Smith,
Emily B. Levitan
Abstract:
Mediation analysis is an increasingly popular statistical method for explaining causal pathways to inform intervention. While methods have increased, there is still a dearth of robust mediation methods for count outcomes with excess zeroes. Current mediation methods addressing this issue are computationally intensive, biased, or challenging to interpret. To overcome these limitations, we propose a…
▽ More
Mediation analysis is an increasingly popular statistical method for explaining causal pathways to inform intervention. While methods have increased, there is still a dearth of robust mediation methods for count outcomes with excess zeroes. Current mediation methods addressing this issue are computationally intensive, biased, or challenging to interpret. To overcome these limitations, we propose a new mediation methodology for zero-inflated count outcomes using the marginalized zero-inflated Poisson (MZIP) model and the counterfactual approach to mediation. This novel work gives population-average mediation effects whose variance can be estimated rapidly via delta method. This methodology is extended to cases with exposure-mediator interactions. We apply this novel methodology to explore if diabetes diagnosis can explain BMI differences in healthcare utilization and test model performance via simulations comparing the proposed MZIP method to existing zero-inflated and Poisson methods. We find that our proposed method minimizes bias and computation time compared to alternative approaches while allowing for straight-forward interpretations.
△ Less
Submitted 13 August, 2023;
originally announced August 2023.
-
Analogy in Contact: Modeling Maltese Plural Inflection
Authors:
Sara Court,
Andrea D. Sims,
Micha Elsner
Abstract:
Maltese is often described as having a hybrid morphological system resulting from extensive contact between Semitic and Romance language varieties. Such a designation reflects an etymological divide as much as it does a larger tradition in the literature to consider concatenative and non-concatenative morphological patterns as distinct in the language architecture. Using a combination of computati…
▽ More
Maltese is often described as having a hybrid morphological system resulting from extensive contact between Semitic and Romance language varieties. Such a designation reflects an etymological divide as much as it does a larger tradition in the literature to consider concatenative and non-concatenative morphological patterns as distinct in the language architecture. Using a combination of computational modeling and information theoretic methods, we quantify the extent to which the phonology and etymology of a Maltese singular noun may predict the morphological process (affixal vs. templatic) as well as the specific plural allomorph (affix or template) relating a singular noun to its associated plural form(s) in the lexicon. The results indicate phonological pressures shape the organization of the Maltese lexicon with predictive power that extends beyond that of a word's etymology, in line with analogical theories of language change in contact.
△ Less
Submitted 20 May, 2023;
originally announced May 2023.
-
Ideal structure of C*-algebras of commuting local homeomorphisms
Authors:
Kevin Aguyar Brix,
Toke Meier Carlsen,
Aidan Sims
Abstract:
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…
▽ More
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.
△ Less
Submitted 16 December, 2023; v1 submitted 3 March, 2023;
originally announced March 2023.
-
KK-duality for self-similar groupoid actions on graphs
Authors:
Nathan Brownlowe,
Alcides Buss,
Daniel Gonçalves,
Jeremy B. Hume,
Aidan Sims,
Michael F. Whittaker
Abstract:
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 dir…
▽ More
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.
△ Less
Submitted 4 December, 2023; v1 submitted 8 February, 2023;
originally announced February 2023.
-
Reconstruction of topological graphs and their Hilbert bimodules
Authors:
Rodrigo Frausino,
Abraham C. S. Ng,
Aidan Sims
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 August, 2023; v1 submitted 18 December, 2022;
originally announced December 2022.
-
Some results regarding the ideal structure of C*-algebras of étale groupoids
Authors:
Kevin Aguyar Brix,
Toke Meier Carlsen,
Aidan Sims
Abstract:
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 set…
▽ More
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.
△ Less
Submitted 3 January, 2024; v1 submitted 11 November, 2022;
originally announced November 2022.
-
Simultaneous High Dynamic Range Algorithm, Testing, and Instrument Simulation
Authors:
James Paul Mason,
Daniel B. Seaton,
Andrew R. Jones,
Meng Jin,
Phillip C. Chamberlin,
Alan Sims,
Thomas N. Woods
Abstract:
Within an imaging instrument's field of view, there may be many observational targets of interest. Similarly, within a spectrograph's bandpass, there may be many emission lines of interest. The brightness of these targets and lines can be orders of magnitude different, which poses a challenge to instrument and mission design. A single exposure can saturate the bright emission and/or have a low sig…
▽ More
Within an imaging instrument's field of view, there may be many observational targets of interest. Similarly, within a spectrograph's bandpass, there may be many emission lines of interest. The brightness of these targets and lines can be orders of magnitude different, which poses a challenge to instrument and mission design. A single exposure can saturate the bright emission and/or have a low signal to noise ratio (SNR) for faint emission. Traditional high dynamic range (HDR) techniques solve this problem by either combining multiple sequential exposures of varied duration or splitting the light to different sensors. These methods, however, can result in the loss of science capability, reduced observational efficiency, or increased complexity and cost. The simultaneous HDR method described in this paper avoids these issues by utilizing a special type of detector whose rows can be read independently to define zones that are then composited, resulting in areas with short or long exposure measured simultaneously. We demonstrate this technique for the sun, which is bright on disk and faint off disk. We emulated these conditions in the lab to validate the method. We built an instrument simulator to demonstrate the method for a realistic solar imager and input. We then calculated SNRs, finding a value of 45 for a faint coronal mass ejection (CME) and 200 for a bright CME, both at 3.5 $R_{\odot}$ -- meeting or far exceeding the international standard for digital photography that defines a SNR of 10 as acceptable and 40 as excellent. Future missions should consider this type of hardware and technique in their trade studies for instrument design.
△ Less
Submitted 7 January, 2022;
originally announced January 2022.
-
Stably finite extensions of rank-two graph C*-algebras
Authors:
Astrid an Huef,
Abraham C. S. Ng,
Aidan Sims
Abstract:
We study stable finiteness of extensions of 2-graph C*-algebras determined by saturated hereditary sets of vertices. We use two iterations of the Pimsner-Voiculescu sequence to calculate the map in K-theory induced by the inclusion of a hereditary subgraph into the larger 2-graph it lives in. We then apply a theorem of Spielberg about stable finiteness of extensions to provide a sufficient conditi…
▽ More
We study stable finiteness of extensions of 2-graph C*-algebras determined by saturated hereditary sets of vertices. We use two iterations of the Pimsner-Voiculescu sequence to calculate the map in K-theory induced by the inclusion of a hereditary subgraph into the larger 2-graph it lives in. We then apply a theorem of Spielberg about stable finiteness of extensions to provide a sufficient condition for the C*-algebra of the larger 2-graph to be stably finite. We illustrate our results with examples.
△ Less
Submitted 30 November, 2021;
originally announced November 2021.
-
RZiMM-scRNA: A regularized zero-inflated mixture model framework for single-cell RNA-seq data
Authors:
Xinlei Mi,
William Bekerman,
Peter A. Sims,
Peter D. Canoll,
Jianhua Hu
Abstract:
Applications of single-cell RNA sequencing in various biomedical research areas have been blooming. This new technology provides unprecedented opportunities to study disease heterogeneity at the cellular level. However, unique characteristics of scRNA-seq data, including large dimensionality, high dropout rates, and possibly batch effects, bring great difficulty into the analysis of such data. Not…
▽ More
Applications of single-cell RNA sequencing in various biomedical research areas have been blooming. This new technology provides unprecedented opportunities to study disease heterogeneity at the cellular level. However, unique characteristics of scRNA-seq data, including large dimensionality, high dropout rates, and possibly batch effects, bring great difficulty into the analysis of such data. Not appropriately addressing these issues obstructs true scientific discovery. Herein, we propose a unified Regularized Zero-inflated Mixture Model framework designed for scRNA-seq data (RZiMM-scRNA) to simultaneously detect cell subgroups and identify gene differential expression based on a developed importance score, accounting for both dropouts and batch effects. We conduct extensive simulation studies in which we evaluate the performance of RZiMM-scRNA and compare it with several popular methods, including Seurat, SC3, K-Means, and Hierarchical Clustering. Simulation results show that RZiMM-scRNA demonstrates superior clustering performance and enhanced biomarker detection accuracy compared to alternative methods, especially when cell subgroups are less distinct, verifying the robustness of our method. Our empirical investigations focus on two brain tumor studies dealing with astrocytoma of various grades, including the most malignant of all brain tumors, glioblastoma multiforme (GBM). Our goal is to delineate cell heterogeneity and identify driving biomarkers associated with these tumors. Notably, RZiMM-scNRA successfully identifies a small group of oligodendrocyte cells which has drawn much attention in biomedical literature on brain cancers.
△ Less
Submitted 25 October, 2021;
originally announced October 2021.
-
Simplicity of twisted C*-algebras of Deaconu--Renault groupoids
Authors:
Becky Armstrong,
Nathan Brownlowe,
Aidan Sims
Abstract:
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…
▽ More
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.
△ Less
Submitted 5 November, 2023; v1 submitted 6 September, 2021;
originally announced September 2021.
-
Pushouts of extensions of groupoids by bundles of abelian groups
Authors:
Marius Ionescu,
Alex Kumjian,
Jean N. Renault,
Aidan Sims,
Dana P. Williams
Abstract:
We analyse extensions $Σ$ of groupoids $G$ by bundles $A$ of abelian groups. We describe a pushout construction for such extensions, and use it to describe the extension group of a given groupoid $G$ by a given bundle $A$. There is a natural action of $Σ$ on the dual of $A$, yielding a corresponding transformation groupoid. The pushout of this transformation groupoid by the natural map from the fi…
▽ More
We analyse extensions $Σ$ of groupoids $G$ by bundles $A$ of abelian groups. We describe a pushout construction for such extensions, and use it to describe the extension group of a given groupoid $G$ by a given bundle $A$. There is a natural action of $Σ$ on the dual of $A$, yielding a corresponding transformation groupoid. The pushout of this transformation groupoid by the natural map from the fibre product of $A$ with its dual to the Cartesian product of the dual with the circle is a twist over the transformation groupoid resulting from the action of $G$ on the dual of $A$. We prove that the full $C^*$-algebra of this twist is isomorphic to the full $C^*$-algebra of $Σ$, and that this isomorphism descends to an isomorphism of reduced algebras. We give a number of examples and applications.
△ Less
Submitted 12 July, 2021;
originally announced July 2021.
-
Reconstruction of twisted Steinberg algebras
Authors:
Becky Armstrong,
Gilles G. de Castro,
Lisa Orloff Clark,
Kristin Courtney,
Ying-Fen Lin,
Kathryn McCormick,
Jacqui Ramagge,
Aidan Sims,
Benjamin Steinberg
Abstract:
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 pa…
▽ More
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.
△ Less
Submitted 30 December, 2021; v1 submitted 21 January, 2021;
originally announced January 2021.
-
Structure theory and stable rank for C*-algebras of finite higher-rank graphs
Authors:
David Pask,
Adam Sierakowski,
Aidan Sims
Abstract:
We study the structure and compute the stable rank of C*-algebras of finite higher-rank graphs. We completely determine the stable rank of the C*-algebra when the k-graph either contains no cycle with an entrance, or is cofinal. We also determine exactly which finite, locally convex k-graphs yield unital stably finite C*-algebras. We give several examples to illustrate our results.
We study the structure and compute the stable rank of C*-algebras of finite higher-rank graphs. We completely determine the stable rank of the C*-algebra when the k-graph either contains no cycle with an entrance, or is cofinal. We also determine exactly which finite, locally convex k-graphs yield unital stably finite C*-algebras. We give several examples to illustrate our results.
△ Less
Submitted 7 September, 2021; v1 submitted 25 November, 2020;
originally announced November 2020.
-
Higher dimensional generalizations of the Thompson groups via higher rank graphs
Authors:
Mark V Lawson,
Aidan Sims,
Alina Vdovina
Abstract:
We construct a family of groups from suitable higher rank graphs which are analogues of the finite symmetric groups. We introduce homological invariants showing that many of our groups are, for example, not isomorphic to $nV$, when $n \geq 2$.
We construct a family of groups from suitable higher rank graphs which are analogues of the finite symmetric groups. We introduce homological invariants showing that many of our groups are, for example, not isomorphic to $nV$, when $n \geq 2$.
△ Less
Submitted 27 February, 2023; v1 submitted 18 October, 2020;
originally announced October 2020.
-
Hypergraph Models of Biological Networks to Identify Genes Critical to Pathogenic Viral Response
Authors:
Song Feng,
Emily Heath,
Brett Jefferson,
Cliff Joslyn,
Henry Kvinge,
Hugh D. Mitchell,
Brenda Praggastis,
Amie J. Eisfeld,
Amy C. Sims,
Larissa B. Thackray,
Shufang Fan,
Kevin B. Walters,
Peter J. Halfmann,
Danielle Westhoff-Smith,
Qing Tan,
Vineet D. Menachery,
Timothy P. Sheahan,
Adam S. Cockrell,
Jacob F. Kocher,
Kelly G. Stratton,
Natalie C. Heller,
Lisa M. Bramer,
Michael S. Diamond,
Ralph S. Baric,
Katrina M. Waters
, et al. (3 additional authors not shown)
Abstract:
Background: Representing biological networks as graphs is a powerful approach to reveal underlying patterns, signatures, and critical components from high-throughput biomolecular data. However, graphs do not natively capture the multi-way relationships present among genes and proteins in biological systems. Hypergraphs are generalizations of graphs that naturally model multi-way relationships and…
▽ More
Background: Representing biological networks as graphs is a powerful approach to reveal underlying patterns, signatures, and critical components from high-throughput biomolecular data. However, graphs do not natively capture the multi-way relationships present among genes and proteins in biological systems. Hypergraphs are generalizations of graphs that naturally model multi-way relationships and have shown promise in modeling systems such as protein complexes and metabolic reactions. In this paper we seek to understand how hypergraphs can more faithfully identify, and potentially predict, important genes based on complex relationships inferred from genomic expression data sets.
Results: We compiled a novel data set of transcriptional host response to pathogenic viral infections and formulated relationships between genes as a hypergraph where hyperedges represent significantly perturbed genes, and vertices represent individual biological samples with specific experimental conditions. We find that hypergraph betweenness centrality is a superior method for identification of genes important to viral response when compared with graph centrality.
Conclusions: Our results demonstrate the utility of using hypergraphs to represent complex biological systems and highlight central important responses in common to a variety of highly pathogenic viruses.
△ Less
Submitted 6 October, 2020;
originally announced October 2020.
-
Amplified graph C*-algebras II: reconstruction
Authors:
Søren Eilers,
Efren Ruiz,
Aidan Sims
Abstract:
Let $E$ be a countable directed graph that is amplified in the sense that whenever there is an edge from $v$ to $w$, there are infinitely many edges from $v$ to $w$. We show that $E$ can be recovered from $C^*(E)$ together with its canonical gauge-action, and also from $L_K(E)$ together with its canonical grading.
Let $E$ be a countable directed graph that is amplified in the sense that whenever there is an edge from $v$ to $w$, there are infinitely many edges from $v$ to $w$. We show that $E$ can be recovered from $C^*(E)$ together with its canonical gauge-action, and also from $L_K(E)$ together with its canonical grading.
△ Less
Submitted 1 July, 2020;
originally announced July 2020.
-
Graded $K$-theory and $K$-homology of relative Cuntz-Pimsner algebras and graph $C^*$-algebras
Authors:
Quinn Patterson,
Adam Sierakowski,
Aidan Sims,
Jonathan Taylor
Abstract:
We establish exact sequences in $KK$-theory for graded relative Cuntz-Pimsner algebras associated to nondegenerate $C^*$-correspondences. We use this to calculate the graded $K$-theory and $K$-homology of relative Cuntz-Krieger algebras of directed graphs for gradings induced by $\{0,1\}$-valued labellings of their edge sets.
We establish exact sequences in $KK$-theory for graded relative Cuntz-Pimsner algebras associated to nondegenerate $C^*$-correspondences. We use this to calculate the graded $K$-theory and $K$-homology of relative Cuntz-Krieger algebras of directed graphs for gradings induced by $\{0,1\}$-valued labellings of their edge sets.
△ Less
Submitted 24 October, 2021; v1 submitted 25 May, 2020;
originally announced May 2020.
-
C*-Algebras of extensions of groupoids by group bundles
Authors:
Marius Ionescu,
Alex Kumjian,
Jean N. Renault,
Aidan Sims,
Dana P. Williams
Abstract:
Given a normal subgroup bundle $\mathcal A$ of the isotropy bundle of a groupoid $Σ$, we obtain a twisted action of the quotient groupoid $Σ/\mathcal A$ on the bundle of group $C^*$-algebras determined by $\mathcal A$ whose twisted crossed product recovers the groupoid $C^*$-algebra $C^*(Σ)$. Restricting to the case where $\mathcal A$ is abelian, we describe $C^*(Σ)$ as the $C^*$-algebra associate…
▽ More
Given a normal subgroup bundle $\mathcal A$ of the isotropy bundle of a groupoid $Σ$, we obtain a twisted action of the quotient groupoid $Σ/\mathcal A$ on the bundle of group $C^*$-algebras determined by $\mathcal A$ whose twisted crossed product recovers the groupoid $C^*$-algebra $C^*(Σ)$. Restricting to the case where $\mathcal A$ is abelian, we describe $C^*(Σ)$ as the $C^*$-algebra associated to a $\mathbf T$-groupoid over the tranformation groupoid obtained from the canonical action of $Σ/\mathcal A$ on the Pontryagin dual space of $\mathcal A$. We give some illustrative examples of this result.
△ Less
Submitted 20 November, 2020; v1 submitted 5 January, 2020;
originally announced January 2020.
-
An algebraic analogue of Exel-Pardo C*-algebras
Authors:
Roozbeh Hazrat,
David Pask,
Adam Sierakowski,
Aidan Sims
Abstract:
We introduce an algebraic version of the Katsura $C^*$-algebra of a pair $A,B$ of integer matrices and an algebraic version of the Exel-Pardo $C^*$-algebra of a self-similar action on a graph. We prove a Graded Uniqueness Theorem for such algebras and construct a homomorphism of the latter into a Steinberg algebra that, under mild conditions, is an isomorphism. Working with Steinberg algebras over…
▽ More
We introduce an algebraic version of the Katsura $C^*$-algebra of a pair $A,B$ of integer matrices and an algebraic version of the Exel-Pardo $C^*$-algebra of a self-similar action on a graph. We prove a Graded Uniqueness Theorem for such algebras and construct a homomorphism of the latter into a Steinberg algebra that, under mild conditions, is an isomorphism. Working with Steinberg algebras over non-Hausdorff groupoids we prove that in the unital case, our algebraic version of Katsura $C^*$-algebras are all isomorphic to Steinberg algebras.
△ Less
Submitted 27 December, 2019;
originally announced December 2019.
-
Homotopy of product systems and K-theory of Cuntz-Nica-Pimsner algebras
Authors:
James Fletcher,
Elizabeth Gillaspy,
Aidan Sims
Abstract:
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-coc…
▽ More
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.
△ Less
Submitted 14 August, 2024; v1 submitted 3 November, 2019;
originally announced November 2019.
-
Analyzing the HCP Datasets using GPUs: The Anatomy of a Science Engagement
Authors:
John-Paul Robinson,
Thomas Anthony,
Ravi Tripathi,
Sara A. Sims,
Kristina M. Visscher,
Purushotham V. Bangalore
Abstract:
This paper documents the experience improving the performance of a data processing workflow for analysis of the Human Connectome Project's HCP900 data set. It describes how network and compute bottlenecks were discovered and resolved during the course of a science engagement. A series of computational enhancements to the stock FSL BedpostX workflow are described. These enhancements migrated the wo…
▽ More
This paper documents the experience improving the performance of a data processing workflow for analysis of the Human Connectome Project's HCP900 data set. It describes how network and compute bottlenecks were discovered and resolved during the course of a science engagement. A series of computational enhancements to the stock FSL BedpostX workflow are described. These enhancements migrated the workflow from a slow serial execution of computations resulting from Slurm scheduler incompatibilities to eventual execution on GPU resources, going from a 21-day execution on a single CPU core to a 2 hour execution on a GPU. This workflow contributed a vital use-case to the build-out of the campus compute cluster with additional GPUs and resulted in enhancements to network bandwidth. It also shares insights on potential improvements to distribution of scientific software to avoid stagnation in site-specific deployment decisions. The discussion highlights the advantages of open licenses and popular code collaboration sites like GitHub.com in feeding contributions upstream.
△ Less
Submitted 7 September, 2019;
originally announced September 2019.
-
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.
-
The groupoids of adaptable separated graphs and their type semigroup
Authors:
Pere Ara,
Joan Bosa,
Enrique Pardo,
Aidan Sims
Abstract:
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…
▽ More
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.
△ Less
Submitted 31 January, 2020; v1 submitted 10 April, 2019;
originally announced April 2019.
-
Reconstructing directed graphs from generalised gauge actions on their Toeplitz algebras
Authors:
Nathan Brownlowe,
Marcelo Laca,
David Robertson,
Aidan Sims
Abstract:
We show how to reconstruct a finite directed graph E from its Toeplitz algebra, its gauge action, and the canonical finite-dimensional abelian subalgebra generated by the vertex projections. We also show that if E has no sinks, then we can recover E from its Toeplitz algebra and the generalised gauge action that has, for each vertex, an independent copy of the circle acting on the generators corre…
▽ More
We show how to reconstruct a finite directed graph E from its Toeplitz algebra, its gauge action, and the canonical finite-dimensional abelian subalgebra generated by the vertex projections. We also show that if E has no sinks, then we can recover E from its Toeplitz algebra and the generalised gauge action that has, for each vertex, an independent copy of the circle acting on the generators corresponding to edges emanating from that vertex. We show by example that it is not possible to recover E from its Toeplitz algebra and gauge action alone.
△ Less
Submitted 20 December, 2018;
originally announced December 2018.
-
Equilibrium states on higher-rank Toeplitz noncommutative solenoids
Authors:
Zahra Afsar,
Astrid an Huef,
Iain Raeburn,
Aidan Sims
Abstract:
We consider a family of higher-dimensional noncommutative tori, which are twisted analogues of the algebras of continuous functions on ordinary tori, and their Toeplitz extensions. Just as solenoids are inverse limits of tori, our Toeplitz noncommutative solenoids are direct limits of the Toeplitz extensions of noncommutative tori. We consider natural dynamics on these Toeplitz algebras, and compu…
▽ More
We consider a family of higher-dimensional noncommutative tori, which are twisted analogues of the algebras of continuous functions on ordinary tori, and their Toeplitz extensions. Just as solenoids are inverse limits of tori, our Toeplitz noncommutative solenoids are direct limits of the Toeplitz extensions of noncommutative tori. We consider natural dynamics on these Toeplitz algebras, and compute the equilibrium states for these dynamics. We find a large simplex of equilibrium states at each positive inverse temperature, parametrised by the probability measures on an (ordinary) solenoid.
△ Less
Submitted 6 February, 2019; v1 submitted 11 October, 2018;
originally announced October 2018.
-
Ample groupoids: equivalence, homology, and Matui's HK conjecture
Authors:
Carla Farsi,
Alex Kumjian,
David Pask,
Aidan Sims
Abstract:
We investigate the homology of ample Hausdorff groupoids. We establish that a number of notions of equivalence of groupoids appearing in the literature coincide for ample Hausdorff groupoids, and deduce that they all preserve groupoid homology. We compute the homology of a Deaconu{Renault groupoid associated to k pairwisecommuting local homeomorphisms of a zero-dimensional space, and show that Mat…
▽ More
We investigate the homology of ample Hausdorff groupoids. We establish that a number of notions of equivalence of groupoids appearing in the literature coincide for ample Hausdorff groupoids, and deduce that they all preserve groupoid homology. We compute the homology of a Deaconu{Renault groupoid associated to k pairwisecommuting local homeomorphisms of a zero-dimensional space, and show that Matui's HK conjecture holds for such a groupoid when k is one or two. We specialise to k-graph groupoids, and show that their homology can be computed in terms of the adjacency matrices, using a chain complex developed by Evans. We show that Matui's HK conjecture holds for the groupoids of single vertex k-graphs which satisfy a mild joint-coprimality condition. We also prove that there is a natural homomorphism from the categorical homology of a k-graph to the homology of its groupoid.
△ Less
Submitted 23 August, 2018;
originally announced August 2018.
-
The suspension of a graph, and associated C*-algebras
Authors:
Aidan Sims
Abstract:
Given a directed graph E, we construct for each real number l a quiver whose vertex space is the topological realisation of E, and whose edges are directed paths of length l in the vertex space. These quivers are not topological graphs in the sense of Katsura, nor topological quivers in the sense of Muhly and Tomforde. We prove that when l = 1 and E is finite, the infinite-path space of the associ…
▽ More
Given a directed graph E, we construct for each real number l a quiver whose vertex space is the topological realisation of E, and whose edges are directed paths of length l in the vertex space. These quivers are not topological graphs in the sense of Katsura, nor topological quivers in the sense of Muhly and Tomforde. We prove that when l = 1 and E is finite, the infinite-path space of the associated quiver is homeomorphic to the suspension of the one-sided shift of E. We call this quiver the suspension of E. We associate both a Toeplitz algebra and a Cuntz-Krieger algebra to each of the quivers we have constructed, and show that when l = 1 the Cuntz-Krieger algebra admits a natural faithful representation on the \ell^2-space of the suspension of the one-sided shift of E. For graphs E in which sufficiently many vertices both emit and receive at least two edges, and for rational values of l, we show that the Toeplitz algebra and the Cuntz-Krieger algebra of the associated quiver are homotopy equivalent to the Toeplitz algebra and Cuntz-Krieger algebra respectively of a graph that can be regarded as encoding the l-th higher shift associated to the one-sided shift space of E.
△ Less
Submitted 20 July, 2018;
originally announced July 2018.
-
Simplicity of algebras associated to non-Hausdorff groupoids
Authors:
Lisa Orloff Clark,
Ruy Exel,
Enrique Pardo,
Aidan Sims,
Charles Starling
Abstract:
We prove a uniqueness theorem and give a characterization of simplicity for Steinberg algebras associated to non-Hausdorff ample groupoids. We also prove a uniqueness theorem and give a characterization of simplicity for the C*-algebra associated to non-Hausdorff étale groupoids. Then we show how our results apply in the setting of tight representations of inverse semigroups, groups acting on grap…
▽ More
We prove a uniqueness theorem and give a characterization of simplicity for Steinberg algebras associated to non-Hausdorff ample groupoids. We also prove a uniqueness theorem and give a characterization of simplicity for the C*-algebra associated to non-Hausdorff étale groupoids. Then we show how our results apply in the setting of tight representations of inverse semigroups, groups acting on graphs, and self-similar actions. In particular, we show that C*-algebra and the complex Steinberg algebra of the self-similar action of the Grigorchuk group are simple but the Steinberg algebra with coefficients in $\mathbb{Z}_2$ is not simple.
△ Less
Submitted 15 May, 2019; v1 submitted 12 June, 2018;
originally announced June 2018.
-
Poincare duality for Cuntz-Pimsner algebras of bimodules
Authors:
A. Rennie,
D. Robertson,
A. Sims
Abstract:
We present a new approach to Poincare duality for Cuntz-Pimsner algebras. We provide sufficient conditions under which Poincare self-duality for the coefficient algebra of a Hilbert bimodule lifts to Poincare self-duality for the associated Cuntz-Pimsner algebra.
With these conditions in hand, we can constructively produce fundamental classes in K-theory for a wide range of examples. We can also…
▽ More
We present a new approach to Poincare duality for Cuntz-Pimsner algebras. We provide sufficient conditions under which Poincare self-duality for the coefficient algebra of a Hilbert bimodule lifts to Poincare self-duality for the associated Cuntz-Pimsner algebra.
With these conditions in hand, we can constructively produce fundamental classes in K-theory for a wide range of examples. We can also produce K-homology fundamental classes for the important examples of Cuntz-Krieger algebras (following Kaminker-Putnam) and crossed products of manifolds by isometries, and their non-commutative analogues.
△ Less
Submitted 22 April, 2018;
originally announced April 2018.
-
The Dixmier-Douady Classes of Certain Groupoid $C^*$-Algebras with Continuous Trace
Authors:
Marius Ionescu,
Alex Kumjian,
Aidan Sims,
Dana P. Williams
Abstract:
Given a locally compact abelian group $G$, we give an explicit formula for the Dixmier--Douady invariant of the $C^*$-algebra of the groupoid extension associated to a Čech $2$-cocycle in the sheaf of germs of continuous $G$-valued functions. We then exploit the blow-up construction for groupoids to extend this to some more general central extensions of étale equivalence relations.
Given a locally compact abelian group $G$, we give an explicit formula for the Dixmier--Douady invariant of the $C^*$-algebra of the groupoid extension associated to a Čech $2$-cocycle in the sheaf of germs of continuous $G$-valued functions. We then exploit the blow-up construction for groupoids to extend this to some more general central extensions of étale equivalence relations.
△ Less
Submitted 2 January, 2018;
originally announced January 2018.
-
Preferred traces on C*-algebras of self-similar groupoids arising as fixed points
Authors:
Joan Claramunt,
Aidan Sims
Abstract:
Recent results of Laca, Raeburn, Ramagge and Whittaker show that any self-similar action of a groupoid on a graph determines a 1-parameter family of self-mappings of the trace space of the groupoid C*-algebra. We investigate the fixed points for these self-mappings, under the same hypotheses that Laca et al. used to prove that the C*-algebra of the self-similar action admits a unique KMS state. We…
▽ More
Recent results of Laca, Raeburn, Ramagge and Whittaker show that any self-similar action of a groupoid on a graph determines a 1-parameter family of self-mappings of the trace space of the groupoid C*-algebra. We investigate the fixed points for these self-mappings, under the same hypotheses that Laca et al. used to prove that the C*-algebra of the self-similar action admits a unique KMS state. We prove that for any value of the parameter, the associated self-mapping admits a unique fixed point, which is in fact a universal attractor. This fixed point is precisely the trace that extends to a KMS state on the C*-algebra of the self-similar action.
△ Less
Submitted 5 November, 2018; v1 submitted 1 December, 2017;
originally announced December 2017.
-
Reconstruction of groupoids and C*-rigidity of dynamical systems
Authors:
Toke Meier Carlsen,
Efren Ruiz,
Aidan Sims,
Mark Tomforde
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 July, 2021; v1 submitted 3 November, 2017;
originally announced November 2017.
-
Étale groupoids and their $C^*$-algebras
Authors:
Aidan Sims
Abstract:
These notes were written as supplementary material for a five-hour lecture series presented at the Centre de Recerca Mathemàtica at the Universitat Autònoma de Barcelona from the 13th to the 17th of March 2017. The intention of these notes is to give a brief overview of some key topics in the area of $C^*$-algebras associated to étale groupoids. The scope has been deliberately contained to the cas…
▽ More
These notes were written as supplementary material for a five-hour lecture series presented at the Centre de Recerca Mathemàtica at the Universitat Autònoma de Barcelona from the 13th to the 17th of March 2017. The intention of these notes is to give a brief overview of some key topics in the area of $C^*$-algebras associated to étale groupoids. The scope has been deliberately contained to the case of étale groupoids with the intention that much of the representation-theoretic technology and measure-theoretic analysis required to handle general groupoids can be suppressed in this simpler setting.
A published version of these notes will appear in the volume tentatively titled "Operator algebras and dynamics: groupoids, crossed products and Rokhlin dimension" by Gabor Szabo, Dana P. Williams and myself, and edited by Francesc Perera, in the series "Advanced Courses in Mathematics. CRM Barcelona." The pagination of this arXiv version is not identical to Birkhäuser's style, but I have tried to make it close. The theorem numbering should be correct. I'm grateful to the CRM and Birkhäuser for allowing me to post a version on arXiv.
△ Less
Submitted 4 October, 2018; v1 submitted 30 October, 2017;
originally announced October 2017.
-
Equilibrium states and growth of quasi-lattice ordered monoids
Authors:
Chris Bruce,
Marcelo Laca,
Jacqui Ramagge,
Aidan Sims
Abstract:
Each multiplicative real-valued homomorphism on a quasi-lattice ordered monoid gives rise to a quasi-periodic dynamics on the associated Toeplitz C*-algebra; here we study the KMS equilibrium states of the resulting C*-dynamical system. We show that, under a nondegeneracy assumption on the homomorphism, there is a critical inverse temperature $β_c$ such that at each inverse temperature…
▽ More
Each multiplicative real-valued homomorphism on a quasi-lattice ordered monoid gives rise to a quasi-periodic dynamics on the associated Toeplitz C*-algebra; here we study the KMS equilibrium states of the resulting C*-dynamical system. We show that, under a nondegeneracy assumption on the homomorphism, there is a critical inverse temperature $β_c$ such that at each inverse temperature $β\geq β_c$ there exists a unique KMS state. Strictly above $β_c$, the KMS states are generalised Gibbs states with density operators determined by analytic extension to the upper half-plane of the unitaries implementing the dynamics. These are faithful Type~I states. The critical value $β_c$ is the largest real pole of the partition function of the system and is related to the clique polynomial and skew-growth function of the monoid, relative to the degree map given by the logarithm of the multiplicative homomorphism. Motivated by the study of equilibrium states, we give a proof of the inversion formula for the growth series of a quasi-lattice ordered monoid in terms of the clique polynomial as in recent work of Albenque--Nadeau and McMullen for the finitely generated case, and in terms of the skew-growth series as in recent work of Saito. Specifically, we show that $e^{-β_c}$ is the smallest pole of the growth series and thus is the smallest positive real root of the clique polynomial. We use this to show that equilibrium states in the subcritical range can only occur at inverse temperatures that correspond to roots of the clique polynomial in the interval $(e^{-β_c},1)$, but we are not aware of any examples in which such roots exist.
△ Less
Submitted 22 September, 2017;
originally announced September 2017.
-
Opposite algebras of groupoid C*-algebras
Authors:
Alcides Buss,
Aidan Sims
Abstract:
We show that every groupoid C*-algebra is isomorphic to its opposite, and deduce that there exist C*-algebras that are not stably isomorphic to groupoid C*-algebras, though many of them are stably isomorphic to twisted groupoid C*-algebras. We also prove that the opposite algebra of a section algebra of a Fell-bundle over a groupoid is isomorphic to the section algebra of a natural opposite bundle…
▽ More
We show that every groupoid C*-algebra is isomorphic to its opposite, and deduce that there exist C*-algebras that are not stably isomorphic to groupoid C*-algebras, though many of them are stably isomorphic to twisted groupoid C*-algebras. We also prove that the opposite algebra of a section algebra of a Fell-bundle over a groupoid is isomorphic to the section algebra of a natural opposite bundle.
△ Less
Submitted 14 August, 2017;
originally announced August 2017.
-
KMS states on the C*-algebras of Fell bundles over groupoids
Authors:
Zahra Afsar,
Aidan Sims
Abstract:
We consider fiberwise singly generated Fell-bundles over etale groupoids. Given a continuous real-valued 1-cocycle on the groupoid, there is a natural dynamics on the cross-sectional algebra of the Fell bundle. We study the Kubo-Martin-Schwinger equilibrium states for this dynamics. Following work of Neshveyev on equilibrium states on groupoid C*-algebras, we describe the equilibrium states of the…
▽ More
We consider fiberwise singly generated Fell-bundles over etale groupoids. Given a continuous real-valued 1-cocycle on the groupoid, there is a natural dynamics on the cross-sectional algebra of the Fell bundle. We study the Kubo-Martin-Schwinger equilibrium states for this dynamics. Following work of Neshveyev on equilibrium states on groupoid C*-algebras, we describe the equilibrium states of the cross-sectional algebra in terms of measurable fields of traces on the C*-algebras of the restrictions of the Fell bundle to the isotropy subgroups of the groupoid. As a special case, we obtain a description of the trace space of the cross-sectional algebra. We apply our result to generalise Neshveyev's main theorem to twisted groupoid C*-algebras, and then apply this to twisted C*-algebras of strongly connected finite k-graphs.
△ Less
Submitted 2 August, 2017;
originally announced August 2017.
-
A dichotomy for groupoid C*-algebras
Authors:
Timothy Rainone,
Aidan Sims
Abstract:
We study the finite versus infinite nature of C*-algebras arising from etale groupoids. For an ample groupoid G, we relate infiniteness of the reduced C*-algebra of G to notions of paradoxicality of a K-theoretic flavor. We construct a pre-ordered abelian monoid S(G) which generalizes the type semigroup introduced by Rørdam and Sierakowski for totally disconnected discrete transformation groups. T…
▽ More
We study the finite versus infinite nature of C*-algebras arising from etale groupoids. For an ample groupoid G, we relate infiniteness of the reduced C*-algebra of G to notions of paradoxicality of a K-theoretic flavor. We construct a pre-ordered abelian monoid S(G) which generalizes the type semigroup introduced by Rørdam and Sierakowski for totally disconnected discrete transformation groups. This monoid reflects the finite/infinite nature of the reduced groupoid C*-algebra of G. If G is ample, minimal, and topologically principal, and S(G) is almost unperforated we obtain a dichotomy between stable finiteness and pure infiniteness for the reduced C*-algebra of G.
△ Less
Submitted 1 August, 2017; v1 submitted 14 July, 2017;
originally announced July 2017.
-
Graded C*-algebras, graded K-theory, and twisted P-graph C*-algebras
Authors:
Alex Kumjian,
David Pask,
Aidan Sims
Abstract:
We develop methods for computing graded K-theory of C*-algebras as defined in terms of Kasparov theory. We establish graded versions of Pimsner's six-term sequences for graded Hilbert bimodules whose left action is injective and by compacts, and a graded Pimsner-Voiculescu sequence. We introduce the notion of a twisted P-graph C*-algebra and establish connections with graded C*-algebras. Specifica…
▽ More
We develop methods for computing graded K-theory of C*-algebras as defined in terms of Kasparov theory. We establish graded versions of Pimsner's six-term sequences for graded Hilbert bimodules whose left action is injective and by compacts, and a graded Pimsner-Voiculescu sequence. We introduce the notion of a twisted P-graph C*-algebra and establish connections with graded C*-algebras. Specifically, we show how a functor from a P-graph into the group of order two determines a grading of the associated C*-algebra. We apply our graded version of Pimsner's exact sequence to compute the graded K-theory of a graph C*-algebra carrying such a grading.
△ Less
Submitted 2 June, 2017;
originally announced June 2017.
-
Unbounded quasitraces, stable finiteness and pure infiniteness
Authors:
David Pask,
Adam Sierakowski,
Aidan Sims
Abstract:
We prove that if A is a σ-unital exact C*-algebra of real rank zero, then every state on K_0(A) is induced by a 2-quasitrace on A. This yields a generalisation of Rainone's work on pure infiniteness and stable finiteness of crossed products to the non-unital case. It also applies to k-graph algebras associated to row-finite k-graphs with no sources. We show that for any k-graph whose C*-algebra is…
▽ More
We prove that if A is a σ-unital exact C*-algebra of real rank zero, then every state on K_0(A) is induced by a 2-quasitrace on A. This yields a generalisation of Rainone's work on pure infiniteness and stable finiteness of crossed products to the non-unital case. It also applies to k-graph algebras associated to row-finite k-graphs with no sources. We show that for any k-graph whose C*-algebra is unital and simple, either every twisted C*-algebra associated to that k-graph is stably finite, or every twisted C*-algebra associated to that k-graph is purely infinite. Finally we provide sufficient and necessary conditions for a unital simple k-graph algebra to be purely infinite in terms of the underlying k-graph.
△ Less
Submitted 3 May, 2017;
originally announced May 2017.
-
Graded Steinberg algebras and their representations
Authors:
Pere Ara,
Roozbeh Hazrat,
Huanhuan Li,
Aidan Sims
Abstract:
We study the category of left unital graded modules over the Steinberg algebra of a graded ample Hausdorff groupoid. In the first part of the paper, we show that this category is isomorphic to the category of unital left modules over the Steinberg algebra of the skew-product groupoid arising from the grading. To do this, we show that the Steinberg algebra of the skew product is graded isomorphic t…
▽ More
We study the category of left unital graded modules over the Steinberg algebra of a graded ample Hausdorff groupoid. In the first part of the paper, we show that this category is isomorphic to the category of unital left modules over the Steinberg algebra of the skew-product groupoid arising from the grading. To do this, we show that the Steinberg algebra of the skew product is graded isomorphic to a natural generalisation of the the Cohen-Montgomery smash product of the Steinberg algebra of the underlying groupoid with the grading group. In the second part of the paper, we study the minimal (that is, irreducible) representations in the category of graded modules of a Steinberg algebra, and establish a connection between the annihilator ideals of these minimal representations, and effectiveness of the groupoid.
Specialising our results, we produce a representation of the monoid of graded finitely generated projective modules over a Leavitt path algebra. We deduce that the lattice of order-ideals in the $K_0$-group of the Leavitt path algebra is isomorphic to the lattice of graded ideals of the algebra. We also investigate the graded monoid for Kumjian--Pask algebras of row-finite $k$-graphs with no sources. We prove that these algebras are graded von Neumann regular rings, and record some structural consequences of this.
△ Less
Submitted 4 April, 2017;
originally announced April 2017.
-
Non-Commutative Vector Bundles for Non-Unital Algebras
Authors:
Adam Rennie,
Aidan Sims
Abstract:
We revisit the characterisation of modules over non-unital $C^*$-algebras analogous to modules of sections of vector bundles. A fullness condition on the associated multiplier module characterises a class of modules which closely mirror the commutative case. We also investigate the multiplier-module construction in the context of bi-Hilbertian bimodules, particularly those of finite numerical inde…
▽ More
We revisit the characterisation of modules over non-unital $C^*$-algebras analogous to modules of sections of vector bundles. A fullness condition on the associated multiplier module characterises a class of modules which closely mirror the commutative case. We also investigate the multiplier-module construction in the context of bi-Hilbertian bimodules, particularly those of finite numerical index and finite Watatani index.
△ Less
Submitted 16 June, 2017; v1 submitted 12 December, 2016;
originally announced December 2016.
-
The Toeplitz noncommutative solenoid and its KMS states
Authors:
Nathan Brownlowe,
Mitchell Hawkins,
Aidan Sims
Abstract:
We use Katsura's topological graphs to define Toeplitz extensions of Latrémolière and Packer's noncommutative-solenoid C*-algebras. We identify a natural dynamics on each Toeplitz noncommutative solenoid and study the associated KMS states. Our main result shows that the space of extreme points of the KMS simplex of the Toeplitz noncommutative torus at a strictly positive inverse temperature is ho…
▽ More
We use Katsura's topological graphs to define Toeplitz extensions of Latrémolière and Packer's noncommutative-solenoid C*-algebras. We identify a natural dynamics on each Toeplitz noncommutative solenoid and study the associated KMS states. Our main result shows that the space of extreme points of the KMS simplex of the Toeplitz noncommutative torus at a strictly positive inverse temperature is homeomorphic to a solenoid; indeed, there is an action of the solenoid group on the Toeplitz noncommutative solenoid that induces a free and transitive action on the extreme boundary of the KMS simplex. With the exception of the degenerate case of trivial rotations, at inverse temperature zero there is a unique KMS state, and only this one factors through Latrémolière and Packer's noncommutative solenoid.
△ Less
Submitted 14 December, 2016; v1 submitted 5 August, 2016;
originally announced August 2016.
-
Equivalence and stable isomorphism of groupoids, and diagonal-preserving stable isomorphisms of graph C*-algebras and Leavitt path algebras
Authors:
Toke Meier Carlsen,
Efren Ruiz,
Aidan Sims
Abstract:
We prove that ample groupoids with sigma-compact unit spaces are equivalent if and only if they are stably isomorphic in an appropriate sense, and relate this to Matui's notion of Kakutani equivalence. We use this result to show that diagonal-preserving stable isomorphisms of graph C*-algebras or Leavitt path algebras give rise to isomorphisms of the groupoids of the associated stabilised graphs.…
▽ More
We prove that ample groupoids with sigma-compact unit spaces are equivalent if and only if they are stably isomorphic in an appropriate sense, and relate this to Matui's notion of Kakutani equivalence. We use this result to show that diagonal-preserving stable isomorphisms of graph C*-algebras or Leavitt path algebras give rise to isomorphisms of the groupoids of the associated stabilised graphs. We deduce that the Leavitt path algebras $L_Z(E_2)$ and $L_Z(E_{2-})$ are not stably *-isomorphic.
△ Less
Submitted 14 September, 2016; v1 submitted 8 February, 2016;
originally announced February 2016.