arXiv subjects
Publications and source records attributed to Jack Spielberg.
We introduce certain families of AF algebras associated to Bratteli diagrams arising from numerical semigroup theory, a branch of combinatorics. Curry-Schoenberg B-splines, staples of computer-aided design, provide insight into the statistical properties of these algebras. This permits us to consider certain ensembles of "rapidly growing" AF algebras from a probabilistic viewpoint.
The Effros-Shen algebra corresponding to an irrational number $\theta$ can be described by an inductive sequence of direct sums of matrix algebras, where the continued fraction expansion of $\theta$ encodes the dimensions of the summands, and how the matrix algebras at the $n$th level fit into the summands at the $(n+1)$th level. In recent work, Mitscher and Spielberg present an Effros-Shen algebra as the $C^*$-algebra of a category of paths -- a generalization of a directed graph -- determined by the continued fraction expansion of $\theta$. With this approach, the algebra is realized as the inductive limit of a sequence of infinite-dimensional, rather than finite-dimensional, subalgebras. In the present work, we define a spectral triple in terms of the category of paths presentation of an Effros-Shen algebra, drawing on a construction by Christensen and Ivan. This article describes categories of paths, the example of Mitscher and Spielberg, and the spectral triple construction.
We solve the isomorphism problem for essential unital $C^*$-algebra extensions of the form $0 \to \mathcal{K} \oplus \mathcal{K} \to E \xrightarrow{\pi} M_n \otimes C(\mathbb{T}) \to 0$. We then relate these to analogs of the Effros Shen AF algebras for rational numbers. This involves $C^*$-algebras constructed from categories of paths built from certain nonsimple continued fraction expansions.
We study group actions on multitrees, which are directed graphs in which there is at most one directed path between any two vertices. In our main result we describe a six-term exact sequence in $K$-theory for the reduced crossed product $C_0(\partial E)\rtimes_r G$ induced from the action of a countable discrete group $G$ on a row-finite, finitely-aligned multitree $E$ with no sources. We provide formulas for the $K$-theory of $C_0(\partial E) \rtimes_r G$ in the case where $G$ acts freely on $E$, and in the case where all vertex stabilisers are infinite cyclic. We study the action $G\curvearrowright \partial E$ in a range of settings, and describe minimality, local contractivity, topological freeness, and amenability in terms of properties of the underlying data. In an application of our main theorem, we describe a six-term exact sequence in $K$-theory for the crossed product induced from a group acting on the boundary of an undirected tree.
In this note we generalize a result from a recent paper of Hajac, Reznikoff and Tobolski (2020). In that paper they give conditions they call admissibility on a pushout diagram in the category of directed graphs implying that the $C^*$-algebras of the graphs form a pullback diagram. We consider a larger category of relative graphs that correspond to relative Toeplitz graph algebras. In this setting we give necessary and sufficient conditions on the pushout to get a pullback of $C^*$-algebras.
We construct ample groupoids from certain categories of paths, and prove that their $C^*$-algebras coincide with the continued fraction AF algebras of Effros and Shen. The proof relies on recent classification results for simple nuclear $C^*$-algebras. The groupoids are not principal. This provides examples of Cartan subalgebras in the continued fraction AF algebras that are isomorphic, but not conjugate, to the standard diagonal subalgebras.
We study C*-algebras generated by left regular representations of right LCM one-relator monoids and Artin-Tits monoids of finite type. We obtain structural results concerning nuclearity, ideal structure and pure infiniteness. Moreover, we compute K-theory. Based on our K-theory results, we develop a new way of computing K-theory for certain group C*-algebras and crossed products.
This paper studies the notion of W-measurable sensitivity in the context of semigroup actions. W-measurable sensitivity is a measurable generalization of sensitive dependence on initial conditions. In 2012, Grigoriev et. al. proved a classification result of conservative ergodic dynamical systems that states all are either W-measurably sensitive or act by isometries with respect to some metric and have refined structure. We generalize this result to a class of semigroup actions. Furthermore, a counterexample is provided that shows W-measurable sensitivity is not preserved under factors. We also consider the restriction of W-measurably sensitive semigroup actions to sub-semigroups and show that the restriction remains W-measurably sensitive when the sub-semigroup is large enough (e.g. when the sub-semigroups are syndetic or thick).
We consider Toeplitz and Cuntz-Krieger $C^*$-algebras associated with finitely aligned left cancellative small categories. We pay special attention to the case where such a category arises as the Zappa-Szép product of a category and a group linked by a one-cocycle. As our main application, we obtain a new approach to Exel-Pardo algebras in the case of row-finite graphs. We also present some other ways of constructing $C^*$-algebras from left cancellative small categories and discuss their relationship.
Categories of paths are a generalization of several kinds of oriented discrete data that have been used to construct $C^*$-algebras. The techniques introduced to study these constructions apply almost verbatim to the more general situation of left cancellative small categories. We develop this theory and derive the structure of the $C^*$-algebras in the most general situation. We analyze the regular representation, and the Wiener-Hopf algebra in the case of a subcategory of a groupoid.
To a large class of graphs of groups we associate a C*-algebra universal for generators and relations. We show that this C*-algebra is stably isomorphic to the crossed product induced from the action of the fundamental group of the graph of groups on the boundary of its Bass-Serre tree. We characterise when this action is minimal, and find a sufficient condition under which it is locally contractive. In the case of generalised Baumslag-Solitar graphs of groups (graphs of groups in which every group is infinite cyclic) we also characterise topological freeness of this action. We are then able to establish a dichotomy for simple C*-algebras associated to generalised Baumslag-Solitar graphs of groups: they are either a Kirchberg algebra, or a stable Bunce-Deddens algebra.
In this paper we describe a new method of defining C*-algebras from oriented combinatorial data, thereby generalizing the constructions of algebras from directed graphs, higher-rank graphs, and ordered groups. We show that only the most elementary notions of concatenation and cancellation of paths are required to define versions of Cuntz-Krieger and Toeplitz-Cuntz-Krieger algebras, and the presentation by generators and relations follows naturally. We give sufficient conditions for the existence of an AF core, hence of the nuclearity of the C*-algebras, and for aperiodicity, which is used to prove the standard uniqueness theorems.
In this paper we describe the C*-algebras associated to the Baumslag-Solitar groups with the ordering defined by the usual presentations. These are Morita equivalent to the crossed product C*-algebras obtained by letting the group act on its directed boundary. We use the method of categories of paths to define the algebras, and to deduce the presentation by generators and relations. We obtain a complete description of the Toeplitz algebras, and we compute the K-theory of the Cuntz-Kreiger algebras.
For a directed graph $E$, we compute the $K$-theory of the $C^*$-algebra $C^*(E)$ from the Cuntz-Krieger generators and relations. First we compute the $K$-theory of the crossed product $C^*(E)\times_γ\IT$, and then using duality and the Pimsner-Voiculescu exact sequence we compute the $K$-theory of $C^*(E)\otimes\CK \cong (C^*(E)\times\IT)\times\IZ$. The method relies on the decomposition of $C^*(E)$ as an inductive limit of Toeplitz graph $C^*$-algebras, indexed by the finite subgraphs of $E$. The proof and result require no special asssumptions about the graph, and is given in graph-theoretic terms. This can be helpful if the graph is described by pictures rather than by a matrix.
We give a construction of Kirchberg algebras from graphs. By using product graphs in the construction we are able to provide models for general (UCT) Kirchberg algebras while maintaining the explicit generators and relations of the underlying graphs.
We prove the following theorem: let $A$ be a UCT Kirchberg algebra, and let $α$ be a prime-order automorphism of $K_*(A)$, with $α([1_A])=[1_A]$ in case $A$ is unital. Then $α$ is induced from an automorphism of $A$ having the same order as $α$. This result is extended to certain instances of an equivariant inclusion of Kirchberg algebras. As a crucial ingredient we prove the following result in representation theory: every module over the integral group ring of a cyclic group of prime order has a natural presentation by generalized lattices with no cyclotomic summands.
We prove that a simple, separable, nuclear, purely infinite classifiable $C^*$-algebra is weakly semiprojective if and only if its $K$-groups are direct sums of cyclic groups.
It is proved that classifiable simple separable nuclear purely infinite C*-algebras having finitely generated K-theory and torsion-free K_1 are semiprojective. This is accomplished by exhibiting these algebras as C*-algebras of infinite directed graphs.