arXiv subjects

Johannes Christensen

Publications and source records attributed to Johannes Christensen.

16 recordsLinked to original sources

arXiv2026

The ideal structure of Exel-Pardo algebras and their higher rank analogues

Given a pseudo-free self-similar action of a countable group $G$ on a countable directed graph $E$ with amenable stabilizers of the vertices, we identify the exact conditions under which these stabilizers do not contribute to the ideal structure of the corresponding Exel-Pardo algebra $\mathcal{O}_{G,E}$. Under these conditions, we give a complete description of the primitive ideal space of $\mathcal{O}_{G,E}$ in graph-theoretic terms. Our results apply in particular to certain crossed products $\mathcal{O}_E\rtimes G$, where $G$ acts on $E$ by graph automorphisms. When $G$ is trivial, this recovers Hong-Szymanski's description of the ideal structure of the Cuntz-Krieger algebras $\mathcal{O}_E$. Similar results are then obtained for self-similar actions of groups on row-finite higher rank graphs without sources. In order to obtain these results we formalize the notion of a graded groupoid with essentially central isotropy, which generalizes essentially principal groupoids and groupoids injectively graded by abelian groups. Under the amenability and second countability assumptions, we describe the primitive ideal spaces of the corresponding C$^*$-algebras as topological spaces.

math.OA↗

arXiv2025

On a Rokhlin property for abelian group actions on C$^*$-algebras

In this article, we study the so-called abelian Rokhlin property for actions of locally compact, abelian groups on C$^*$-algebras. We propose a unifying framework for obtaining various duality results related to this property. The abelian Rokhlin property coincides with the known Rokhlin property for actions by the reals (i.e., flows), but is not identical to the known Rokhlin property in general. The main duality result we obtain is a generalisation of a duality for flows proved by Kishimoto in the case of Kirchberg algebras. We consider also a slight weakening of the abelian Rokhlin property, which allows us to show that all traces on the crossed product C$^*$-algebra are canonically induced from invariant traces on the the coefficient C$^*$-algebra.

math.OA↗

arXiv2025

The ideal structure of C*-algebras of etale groupoids with isotropy groups of local polynomial growth

Given an amenable second countable Hausdorff locally compact étale groupoid $\mathcal G$ such that each isotropy group $\mathcal G^x_x$ has local polynomial growth, we give a description of $\operatorname{Prim} C^*(\mathcal G)$ as a topological space in terms of the topology on $\mathcal G$ and representation theory of the isotropy groups and their subgroups. The description simplifies when either the isotropy groups are FC-hypercentral or $\mathcal G$ is the transformation groupoid $Γ\ltimes X$ defined by an action $Γ\curvearrowright X$ with locally finite stabilizers. To illustrate the class of C$^*$-algebras for which our results can provide a complete description of the ideal structure, we compute the primitive spectrum of $\mathrm{SL}_3(\mathbb Z)\ltimes C_0(\mathrm{SL}_3(\mathbb R)/U_3(\mathbb R))$, where $U_3(\mathbb R)$ is the group of unipotent upper triangular matrices.

math.OA↗

arXiv2025

The primitive spectrum of C*-algebras of etale groupoids with abelian isotropy

Given a Hausdorff locally compact étale groupoid $\mathcal G$, we describe as a topological space the part of the primitive spectrum of $C^*(\mathcal G)$ obtained by inducing one-dimensional representations of amenable isotropy groups of $\mathcal G$. When $\mathcal G$ is amenable, second countable, with abelian isotropy groups, our result gives the description of $\operatorname{Prim} C^*(\mathcal G)$ conjectured by van Wyk and Williams. This, in principle, completely determines the ideal structure of a large class of separable C$^*$-algebras, including the transformation group C$^*$-algebras defined by amenable actions of discrete groups with abelian stabilizers and the C$^*$-algebras of higher rank graphs. As an illustration we describe the primitive spectrum of the C$^*$-algebra of any row-finite higher rank graph without sources.

math.OA↗

arXiv2024

Isotropy fibers of ideals in groupoid C$^{*}$-algebras

Given a locally compact étale groupoid and an ideal $I$ in its groupoid C$^*$-algebra, we show that $I$ defines a family of ideals in group C$^*$-algebras of the isotropy groups and then study to which extent $I$ is determined by this family. As an application we obtain the following results: (a) prove that every proper ideal is contained in an induced primitive ideal; (b) describe the maximal ideals; (c) classify the primitive ideals for a class of graded groupoids with essentially central isotropy.

math.OA↗

arXiv2022

Tracial weights on topological graph algebras

We describe two kinds of regular invariant measures on the boundary path space of a second countable topological graph, which allows us to describe all extremal tracial weights on the graph C$^{*}$-algebra which are not gauge-invariant. Using this description we prove that all tracial weights on the C$^{*}$-algebra of a second countable topological graph are gauge-invariant when the graph is free. This in particular implies that all tracial weights are gauge-invariant when the graph C$^{*}$-algebra is simple and separable.

math.OA↗

arXiv2021

KMS spectra for group actions on compact spaces

Given a topologically free action of a countable group $G$ on a compact metric space $X$, there is a canonical correspondence between continuous 1-cocycles for this group action and diagonal 1-parameter groups of automorphisms of the reduced crossed product C*-algebra. The KMS spectrum is defined as the set of inverse temperatures for which there exists a KMS state. We prove that the possible KMS spectra depend heavily on the nature of the acting group $G$. For groups of subexponential growth, we prove that the only possible KMS spectra are $\{0\}$, $[0,+\infty)$, $(-\infty,0]$ and $\mathbb{R}$. For certain wreath product groups, which are amenable and of exponential growth, we prove that any closed subset of $\mathbb{R}$ containing zero arises as KMS spectrum. Finally, for certain nonamenable groups including the free group with infinitely many generators, we prove that any closed subset may arise. Besides uncovering a surprising relation between geometric group theoretic properties and KMS spectra, our results provide two simple C*-algebras with the following universality property: any closed subset (containing, resp. not containing zero) arises as the KMS spectrum of a 1-parameter group of automorphisms of this C*-algebra.

math.OA↗

arXiv2021

(Non)exotic completions of the group algebras of isotropy groups

Motivated by the problem of characterizing KMS states on the reduced C$^*$-algebras of étale groupoids, we show that the reduced norm on these algebras induces a C$^*$-norm on the group algebras of the isotropy groups. This C$^*$-norm coincides with the reduced norm for the transformation groupoids, but, as follows from examples of Higson-Lafforgue-Skandalis, it can be exotic already for groupoids of germs associated with group actions. We show that the norm is still the reduced one for some classes of graded groupoids, in particular, for the groupoids associated with partial actions of groups and the semidirect products of exact groups and groupoids with amenable isotropy groups.

math.OA↗

arXiv2021

KMS states on the crossed product $C^{*}$-algebra of a homeomorphism

Let $φ:X\to X$ be a homeomorphism of a compact metric space $X$. For any continuous function $F:X\to \mathbb{R}$ there is a one-parameter group $α^{F}$ of automorphisms on the crossed product $C^*$-algebra $C(X)\rtimes_φ\mathbb{Z}$ defined such that $α^{F}_{t}(fU)=fUe^{-itF}$ when $f \in C(X)$ and $U$ is the canonical unitary in the construction of the crossed product. In this paper we study the KMS states for these flows by developing an intimate relation to the ergodic theory of non-singular transformations and show that the structure of KMS-states can be very rich and complicated. Our results are complete concerning the set of possible inverse temperatures; in particular, we show that when $C(X) \rtimes_ϕ \mathbb Z$ is simple this set is either $\{0\}$ or the whole line $\mathbb R$.

math.OA↗

arXiv2021

The structure of KMS weights on étale groupoid $C^{*}$-algebras

We generalise a number of classical results from the theory of KMS states to KMS weights in the setting of $C^{*}$-dynamical systems arising from a continuous groupoid homomorphism $c:\mathcal{G} \to \mathbb{R}$ on a locally compact second countable Hausdorff étale groupoid $\mathcal{G}$. In particular, we generalise Neshveyev's Theorem to KMS weights.

math.OA↗

arXiv2020

Random walks on groups and KMS states

A classical construction associates to a transient random walk on a discrete group $Γ$ a compact $Γ$-space $\partial_M Γ$ known as the Martin boundary. The resulting crossed product $C^*$-algebra $C(\partial_M Γ) \rtimes_r Γ$ comes equipped with a one-parameter group of automorphisms given by the Martin kernels that define the Martin boundary. In this paper we study the KMS states for this flow and obtain a complete description when the Poisson boundary of the random walk is trivial and when $Γ$ is a torsion free non-elementary hyperbolic group. We also construct examples to show that the structure of the KMS states can be more complicated beyond these cases.

math.OA↗

arXiv2020

KMS states on crossed products by abelian groups

We provide a general description of the KMS states for flows whose fixed point algebra satisfies a certain regularity condition. This is the applied to crossed products by discrete groups, and in particular to certain flows on crossed products by discrete abelian groups where the methods can be combined with spectral analysis for abelian automrphism groups.

math.OA↗

arXiv2018

Symmetries of the KMS simplex

A continuous groupoid homomorphism $c$ on a locally compact second countable Hausdorff étale groupoid $\mathcal{G}$ gives rise to a $C^{*}$-dynamical system in which every $β$-KMS state can be associated to a $e^{-βc}$-quasi-invariant measure $μ$ on $\mathcal{G}^{(0)}$. Letting $Δ_μ$ denote the set of KMS states associated to such a $μ$, we will prove that $Δ_μ$ is a simplex for a large class of groupoids, and we will show that there is an abelian group that acts transitively and freely on the extremal points of $Δ_μ$. This group can be described using the support of $μ$, so our theory of symmetries can be used to obtain a description of all KMS states by describing the $e^{-βc}$-quasi-invariant measures. To illustrate this we will describe the KMS states for the Cuntz-Krieger algebras of all finite higher rank graphs without sources and a large class of continuous one-parameter groups.

math.OA↗

arXiv2018

KMS states on the Toeplitz algebras of higher-rank graphs

The Toeplitz algebra $\mathcal{T}C^{*}(Λ)$ for a finite $k$-graph $Λ$ is equipped with a continuous one-parameter group $α^{r}$ for each $ r\in \mathbb{R}^{k}$, obtained by composing the map $\mathbb{R} \ni t \to (e^{itr_{1}}, \dots , e^{itr_{k}}) \in \mathbb{T}^{k}$ with the gauge action on $\mathcal{T}C^{*}(Λ)$. In this paper we give a complete description of the $β$-KMS states for the $C^{*}$-dynamical system $(\mathcal{T}C^{*}(Λ), α^{r})$ for all finite $k$-graphs $Λ$ and all values of $β\in \mathbb{R}$ and $r\in \mathbb{R}^{k}$.

math.OA↗

arXiv2017

Equilibrium and ground states from Cayley graphs

We study the KMS states and $KMS_{\infty}$ states of generalized gauge actions on the $C^*$-algebra of a pointed Cayley graph. Our results provide information for any finitely generated group, but they are only complete for nilpotent groups.

math.OA↗

arXiv2015

Diagonality of actions and KMS weights

The paper contains a description of a connection between diagonal actions and certain KMS weights on groupoid $C^{*}$-algebras. It furthermore contains the realization of a graph $C^{*}$-algebra of a countable graph as the groupoid $C^{*}$-algebra of a local homeomorphism and applies the theory obtained on these algebras.

math.OA↗