arXiv subjects

Ian F. Putnam

Publications and source records attributed to Ian F. Putnam.

At least 19 recordsLinked to original sources

arXiv2025

$\mathbb{Z}^{2}$-dimension groups

We study a class of simple dimension groups in which the cyclic subgroup generated by the order unit is replaced by a copy of $\mathbb{Z}^{2}$ satisfying some strict conditions. Our main results are necessary and sufficient conditions on a Bratteli diagram which provides inductive limit structures for such groups. This result has an important application in constructing a version of the Bratteli-Vershik model for minimal actions of $\mathbb{Z}^{2}$ on the Cantor set which will be the subject of a subsequent paper.

math.DS↗

arXiv2025

Bratteli diagrams, translation flows and their $C^*$-algebras

In [LT16], Kathryn Lindsey and the second author constructed a translation surface from a bi-infinite Bratteli diagram. We continue an investigation into these surfaces. The construction given in [LT16] was essentially combinatorial. Here, we provide explicit links between the path space of the Bratteli diagram and the surface, including various intermediate topological spaces. This allows us to relate the $C^{*}$-algebras associated with tail equivalence on the Bratteli diagram and the foliation of the surface, under some mild hypotheses. This also allows us to relate the K-theory of the $C^{*}$-algebras involved. We also treat the case of finite genus surfaces in some detail, where the process of Rauzy-Veech induction (and its inverse) provide an explicit construction of the Bratteli diagrams involved.

math.OA↗

arXiv2022

Binary factors of shifts of finite type

We construct two new classes of topological dynamical systems; one is a factor of a one-sided shift of finite type while the second is a factor of the two-sided shift. The data is a finite graph which presents the shift of finite type, a second finite directed graph and a pair of embeddings of it into the first, satisfying certain conditions. The factor is then obtained from a simple idea based on binary expansion of real numbers. In both cases, we construct natural metrics on the factors and, in the second case, this makes the system a Smale space, in the sense of Ruelle. We compute various algebraic invariants for these systems, including the homology for Smale space developed by the author and the K-theory of various $C^{*}$-algebras associated to them, in terms of the pair of original graphs.

math.DS↗

arXiv2022

Minimal homeomorphisms and topological $K$-theory

The Lefschetz fixed point theorem provides a powerful obstruction to the existence of minimal homeomorphisms on well-behaved spaces such as finite CW-complexes. We show that these obstructions do not hold for more general spaces. More precisely, minimal homeomorphisms are constructed on space with prescribed $K$-theory or cohomology. We also allow for some control of the map on $K$-theory and cohomology induced from these minimal homeomorphisms. This allows for the construction of many minimal homeomorphisms that are not homotopic to the identity. Applications to $C^*$-algebras will be discussed in another paper.

math.DS↗

arXiv2020

Classifiable $\mathrm{C}^*$-algebras from minimal $\mathbb{Z}$-actions and their orbit-breaking subalgebras

In this paper we consider the question of what abelian groups can arise as the $K$-theory of $\mathrm{C}^*$-algebras arising from minimal dynamical systems. We completely characterize the $K$-theory of the crossed product of a space $X$ with finitely generated $K$-theory by an action of the integers and show that crossed products by a minimal homeomorphisms exhaust the range of these possible $K$-theories. Moreover, we may arrange that the minimal systems involved are uniquely ergodic, so that their $\mathrm{C}^*$-algebras are classified by their Elliott invariants. We also investigate the $K$-theory and the Elliott invariants of orbit-breaking algebras. We show that given arbitrary countable abelian groups $G_0$ and $G_1$ and any Choquet simplex $Δ$ with finitely many extreme points, we can find a minimal orbit-breaking relation such that the associated $\mathrm{C}^*$-algebra has $K$-theory given by this pair of groups and tracial state space affinely homeomorphic to $Δ$. We also improve on the second author's previous results by using our orbit-breaking construction to $\mathrm{C}^*$-algebras of minimal amenable equivalence relations with real rank zero that allow torsion in both $K_0$ and $K_1$. These results have important applications to the Elliott classification program for $\mathrm{C}^*$-algebras. In particular, we make a step towards determining the range of the Elliott invariant of the $\mathrm{C}^*$-algebras associated to étale equivalence relations.

math.OA↗

arXiv2020

Non-homogeneous extensions of Cantor minimal systems

Floyd gave an example of a minimal dynamical system which was an extension of an odometer and the fibres of the associated factor map were either singletons or intervals. Gjerde and Johansen showed that the odometer could be replaced by any Cantor minimal system. Here, we show further that the intervals can be generalized to cubes of arbitrary dimension and to attractors of certain iterated function systems. We discuss applications.

math.DS↗

arXiv2020

An excision theorem for the K-theory of C-algebras, with applications to groupoid C-algebras

We discuss the relative K-theory for a $C^{*}$-algebra, $A$, together with a $C^{*}$-subalgebra, $A' \subseteq A$. The relative group is denoted $K_{i}(A';A), i = 0, 1$, and is due to Karoubi. We present a situation of two pairs $A' \subseteq A$ and $B' \subseteq B$ are related so that there is a natural isomorphism between their respective relative K-theories. We also discuss applications to the case where $A$ and $B$ are $C^{*}$-algebras of a pair of locally compact, Hausdorff topological groupoids, with Haar systems.

math.OA↗

arXiv2019

Constructions in minimal amenable dynamics and applications to the classification of $\mathrm{C}^*$-algebras

We study the existence of minimal dynamical systems, their orbit and minimal orbit-breaking equivalence relations, and their applications to C*-algebras and K-theory. We show that given any finite CW-complex there exists a space with the same K-theory and cohomology that admits a minimal homeomorphism. The proof relies on the existence of homeomorphisms on point-like spaces constructed by the authors in previous work, together with existence results for skew product systems due to Glasner and Weiss. To any minimal dynamical system one can associate minimal equivalence relations by breaking orbits at small subsets. Using Renault's groupoid C*-algebra construction we can associate K-theory groups to minimal dynamical systems and orbit-breaking equivalence relations. We show that given arbitrary countable abelian groups $G_0$ and $G_1$ we can find a minimal orbit-breaking relation such that the K-theory of the associated C*-algebra is exactly this pair. These results have important applications to the Elliott classification program for C*-algebras. In particular, we make a step towards determining the range of the Elliott invariant of the C*-algebras associated to minimal dynamical systems with mean dimension zero and their minimal orbit-breaking relations

math.OA↗

arXiv2017

Some classifiable groupoid C*-algebras with prescribed K-theory

Given a simple, acyclic dimension group $G_{0}$ and countable, torsion-free, abelian group $G_{1}$, we construct a minimal, amenable, étale equivalence relation $R$ on a Cantor set whose associated groupoid $C^{*}$-algebra, $C^{*}(R)$, is tracially AF, and hence classifiable in the Elliott classification scheme for simple, amenable, separable $C^{*}$-algebras, and with $K_{*}(C^{*}(R)) \cong(G_{0}, G_{1})$.

math.OA↗

arXiv2017

$Z^{d}$-odometers and cohomology

Cohomology for actions of free abelian groups on the Cantor set has (when endowed with an order structure) provided a complete invariance for orbit equivalence. In this paper, we study a particular class of actions of such groups called odometers (or profinite actions) and investigate their cohomology. We show that for a free, minimal $\Z^{d}$-odometer, the first cohomology group provides a complete invariant for the action up to conjugacy. This is in contrast with the situation for orbit equivalence where it is the cohomology in dimension $d$ which provides the invariant. We also consider classification up to isomorphism and continuous orbit equivalence.

math.DS↗

arXiv2015

Spectral triples for subshifts

We propose a construction for spectral triple on algebras associated with subshifts. One-dimensional subshifts provide concrete examples Z-actions on Cantor sets. The C*-algebra of this dynamical system is generated by functions in C(X) and a unitary element u implementing the action. Building on ideas of Christensen and Ivan, we give a construction of a family of spectral triples on the commutative algebra C(X). There is a canonical choice of eigenvalues for the Dirac operator D which ensures that [D,u] is bounded, so that it extends to a spectral triple on the crossed product. We study the summability of this spectral triple, and provide examples for which the Connes' distance associated with it on the commutative algebra is unbounded, and some for which it is bounded. We conjecture that our results on the Connes distance extend to the spectral triple defined on the noncommutative algebra.

math.OA↗

arXiv2015

Constructing minimal homeomorphisms on point-like spaces and a dynamical presentation of the Jiang-Su algebra

The principal aim of this paper is to give a dynamical presentation of the Jiang-Su algebra. Originally constructed as an inductive limit of prime dimension drop algebras, the Jiang-Su algebra has gone from being a poorly understood oddity to having a prominent positive role in George Elliott's classification programme for separable, nuclear C*-algebras. Here, we exhibit an etale equivalence relation whose groupoid C*-algebra is isomorphic to the Jiang-Su algebra. The main ingredient is the construction of minimal homeomorphisms on infinite, compact metric spaces, each having the same cohomology as a point. This construction is also of interest in dynamical systems. Any self-map of an infinite, compact space with the same cohomology as a point has Lefschetz number one. Thus, if such a space were also to satisfy some regularity hypothesis (which our examples do not), then the Lefschetz-Hopf Theorem would imply that it does not admit a minimal homeomorphism.

math.OA↗

arXiv2013

Homology for one-dimensional solenoids

Smale space is a particular class of hyperbolic topological dynamical systems, defined by David Ruelle. The third author constructed a homology theory for Smale spaces which is based on Krieger's dimension group invariant for shifts of finite type. In this paper, we compute this homology for the one-dimensional generalized solenoids of R.F. Williams.

math.DS↗

arXiv2012

Trace Asymptotics for C*-Algebras from Smale Spaces

We consider C*-algebras associated with stable and unstable equivalence in hyperbolic dynamical systems known as Smale spaces. These systems include shifts of finite type, in which case these C*-algebras are both AF-algebras. These algebras have fundamental representations on a single Hilbert space (subject to a choice of periodic points) which have a number of special properties. In particular, the product between any element of the first algebra with one from the second is compact. In addition, there is a single unitary operator which implements actions on both. Here, under the hypothesis that the system is mixing, we show that the (semi-finite) traces on these algebras may be obtained through a limiting process and the usual operator trace.

math.DS↗

arXiv2010

K-Theoretic Duality for Hyperbolic Dynamical Systems

The K-theoretic analog of Spanier-Whitehead duality for noncommutative C*-algebras is shown to hold for the Ruelle algebras associated to irreducible Smale spaces. This had previously been proved only for shifts of finite type. Implications of this result as well as relations to the Baum-Connes conjecture and other topics are also considered.

math.KT↗

arXiv2009

Orbit equivalence for Cantor minimal Z^d-systems

We show that every minimal action of any finitely generated abelian group on the Cantor set is (topologically) orbit equivalent to an AF relation. As a consequence, this extends the classification up to orbit equivalence of minimal dynamical systems on the Cantor set to include AF relations and Z^d-actions.

math.DS↗

arXiv2008

A homology theory for Smale spaces: a summary

We consider Smale spaces, a particular class of hyperbolic topological dynamical systems, which include the basic sets for Smale's Axiom A systems. We present a homology theory for such systems which is based on the dimension group in the special case of shifts of finite type. This theory provides a Lefschetz formula relating trace data with the number of periodic points of the system.

math.DS↗

arXiv2007

Orbit equivalence for Cantor minimal Z^2-systems

We show that every minimal, free action of the group Z^2 on the Cantor set is orbit equivalent to an AF-relation. As a consequence, this extends the classification of minimal systems on the Cantor set up to orbit equivalence to include AF-relations, Z-actions and Z^2-actions.

math.DS↗