-
Banach algebras associated to twisted étale groupoids: simplicity and pure infiniteness
Authors:
Krzysztof Bardadyn,
Bartosz Kwaśniewski,
Andrew McKee
Abstract:
We define reduced and essential Banach algebras associated to a twisted étale (not necessarily Hausdorff) groupoid $(\mathcal{G},\mathcal{L})$ and extend some fundamental results from $C^*$-algebras to this context. We prove that for topologically free groupoids the associated essential Banach algebras have the ideal interesection property, and thus such an algebra is simple if and only if the gro…
▽ More
We define reduced and essential Banach algebras associated to a twisted étale (not necessarily Hausdorff) groupoid $(\mathcal{G},\mathcal{L})$ and extend some fundamental results from $C^*$-algebras to this context. We prove that for topologically free groupoids the associated essential Banach algebras have the ideal interesection property, and thus such an algebra is simple if and only if the groupoid is minimal. We give conditions under which reduced algebras are essential (for example Hausdorffness of $\mathcal{G}$ is sufficient). This in particular solves the simplicity problem posed recently by Gardella-Lupini for $L^p$-operator algebras associated to $\mathcal{G}$. In addition, using either the $n$-filling or locally contracting condition we give pure infiniteness criteria for essential simple Banach algebras associated to $(\mathcal{G},\mathcal{L})$. This extends the corresponding $C^*$-algebraic results that were previously known to hold in the untwisted Hausdorff case. The results work nicely, and allow for characterisation of the generalized intersection property, in the realm of $L^P$-operator algebras where $P \subseteq [1,\infty]$ is a non-empty set of parameters. Such algebras cover in particular $L^p$-operator algebras, for $p\in [1,\infty]$, and their Banach $*$-algebra versions.
We apply our results to Banach algebra crossed products by twisted partial group actions, Roe-type Banach algebras with coefficients in finite-rank operators on a Banach space, twisted tight $L^P$-operator algebras of inverse semigroups, graph $L^P$-operator algebras, and algebras associated to self-similar group actions on graphs. We also interpret our results in terms of twisted inverse semigroup actions and their crossed products.
△ Less
Submitted 7 March, 2025; v1 submitted 9 June, 2024;
originally announced June 2024.
-
$L^p$-Cuntz algebras and spectrum of weighted composition operators
Authors:
Krzysztof Bardadyn
Abstract:
Let $p\in [1,\infty)$. We define an $L^p$-operator algebra crossed product by a transfer operator for the topological Bernoulli shift $\varphi$ on $X=\{1,...,n\}^{\mathbb{N}}$, and we prove it is isometrically isomorphic to the $L^p$-analog $\mathcal{O}_n^p$ of the Cuntz algebra introduced by Phillips. As an application, we prove that the spectrum of the associated `abstract weighted shift operato…
▽ More
Let $p\in [1,\infty)$. We define an $L^p$-operator algebra crossed product by a transfer operator for the topological Bernoulli shift $\varphi$ on $X=\{1,...,n\}^{\mathbb{N}}$, and we prove it is isometrically isomorphic to the $L^p$-analog $\mathcal{O}_n^p$ of the Cuntz algebra introduced by Phillips. As an application, we prove that the spectrum of the associated `abstract weighted shift operators' $aT$, $a\in C(X)$, is a disk with a radius given by the formula $$ r(aT)=\max_{μ\in\text{Erg}(X,\varphi)} \exp\left( \int_X \ln(|a|\varrho^{\frac{1}{p}})dμ+ \frac{h_\varphi(μ)}{p} \right) $$ where $\varrho$ is a potential associated to the transfer operator, and $h_\varphi(μ)$ is Kolmogorov-Sinai entropy. This generalizes classical results for $p=2$.
△ Less
Submitted 26 October, 2023;
originally announced October 2023.
-
Topologically free actions and ideals in twisted Banach algebra crossed products
Authors:
K. Bardadyn,
B. K. Kwaśniewski
Abstract:
We generalize the influential $C^*$-algebraic result of Kawamura-Tomiyama and Archbold-Spielberg for crossed products of discrete transformation groups to the realm of Banach algebras and twisted actions. We prove that topological freeness is equivalent to the intersection property for all reduced twisted Banach algebra crossed products coming from subgroups, and in the untwisted case to a general…
▽ More
We generalize the influential $C^*$-algebraic result of Kawamura-Tomiyama and Archbold-Spielberg for crossed products of discrete transformation groups to the realm of Banach algebras and twisted actions. We prove that topological freeness is equivalent to the intersection property for all reduced twisted Banach algebra crossed products coming from subgroups, and in the untwisted case to a generalised intersection property for a full $L^p$-operator algebra crossed product for any $p\in [1,\infty]$. This gives efficient simplicity criteria for various Banach algebra crossed products. We also use it to identify the prime ideal space of some crossed products as the quasi-orbit space of the action. For amenable actions we prove that the full and reduced twisted $L^p$-operator algebras coincide.
△ Less
Submitted 21 March, 2025; v1 submitted 4 July, 2023;
originally announced July 2023.
-
Banach algebras associated to twisted étale groupoids: inverse semigroup disintegration and representations on $L^p$-spaces
Authors:
Krzysztof Bardadyn,
Bartosz K. Kwaśniewski,
Andrew McKee
Abstract:
We introduce Banach algebras associated to twisted étale groupoids $(\mathcal{G},\mathcal{L})$ and to twisted inverse semigroup actions. This provides a unifying framework for numerous recent papers on $L^p$-operator algebras and the theory of groupoid $C^*$-algebras. We prove disintegrations theorems that allow to study Banach algebras associated to $(\mathcal{G},\mathcal{L})$ as universal Banach…
▽ More
We introduce Banach algebras associated to twisted étale groupoids $(\mathcal{G},\mathcal{L})$ and to twisted inverse semigroup actions. This provides a unifying framework for numerous recent papers on $L^p$-operator algebras and the theory of groupoid $C^*$-algebras. We prove disintegrations theorems that allow to study Banach algebras associated to $(\mathcal{G},\mathcal{L})$ as universal Banach algebras generated by $C_0(X)$ and a twisted inverse semigroup $S$ of partial isometries subject to some relations. They work best when the target of a representation is a dual Banach algebra. For representations on dual Banach spaces, they allow to extend representations to twisted Borel convolution algebras, which is crucial when the groupoid is non-Hausdorff.
We establish fundamental norm estimates and hierarchy for full and reduced $L^p$-operator algebras for $(\mathcal{G},\mathcal{L})$ and $p \in [1,\infty]$, whose special cases have been studied recently by Gardella-Lupini, Choi-Gardella-Thiel and Hetland-Ortega. We show that in the constructions of $L^p$-analogues of Cuntz or graph algebras, by Phillips and Cortiñas-Rodríguez, the use of spatial partial isometries is not an assumption, in fact it is forced by the relations. We also introduce tight inverse semigroup Banach algebras that cover ample groupoid Banach algebras, and discuss Banach algebras associated to directed graphs.
Our results cover non-Hausdorff étale groupoids and both real and complex algebras. Some of the results are new already for complex $C^*$-algebras.
△ Less
Submitted 12 June, 2025; v1 submitted 17 March, 2023;
originally announced March 2023.
-
On $C^*$-algebras associated to transfer operators for countable-to-one maps
Authors:
K. Bardadyn,
B. K. Kwasniewski,
A. V. Lebedev
Abstract:
Our initial data is a transfer operator $L$ for a continuous, countable-to-one map $\varphi:Δ\to X$ defined on an open subset of a locally compact Hausdorff space $X$. Then $L$ may be identified with a `potential', i.e. a map $\varrho:Δ\to X$ that need not be continuous unless $\varphi$ is a local homeomorphism. We define the crossed product $C_0(X)\rtimes L$ as a universal $C^*$-algebra with expl…
▽ More
Our initial data is a transfer operator $L$ for a continuous, countable-to-one map $\varphi:Δ\to X$ defined on an open subset of a locally compact Hausdorff space $X$. Then $L$ may be identified with a `potential', i.e. a map $\varrho:Δ\to X$ that need not be continuous unless $\varphi$ is a local homeomorphism. We define the crossed product $C_0(X)\rtimes L$ as a universal $C^*$-algebra with explicit generators and relations, and give an explicit faithful representation of $C_0(X)\rtimes L$ under which it is generated by weighted composition operators. We explain its relationship with Exel-Royer's crossed products, quiver $C^*$-algebras of Muhly and Tomforde, $C^*$-algebras associated to complex or self-similar dynamics by Kajiwara and Watatani, and groupoid $C^*$-algebras associated to Deaconu-Renault groupoids.
We describe spectra of core subalgebras of $C_0(X)\rtimes L$ and use it to characterise simplicity of $C_0(X)\rtimes L$ and prove the uniqueness theorem for $C_0(X)\rtimes L$. We give efficient criteria for $C_0(X)\rtimes L$ to be a Kirchberg algebra, and we discuss relationship between KMS states on the core subalgebra of $C_0(X)\rtimes L$ and conformal measures for $\varphi$.
△ Less
Submitted 12 July, 2023; v1 submitted 8 February, 2022;
originally announced February 2022.
-
Spectrum of weighted isometries: C*-algebras, transfer operators and topological pressure
Authors:
K. Bardadyn,
B. Kwaśniewski
Abstract:
We study the spectrum of operators $aT\in B(H)$ on a Hilbert space $H$ where $T$ is an isometry and $a$ belongs to a commutative $C^*$-subalgebra $C(X)\cong A\subseteq B(H)$ such that the formula $L(a)=T^*aT$ defines a faithful transfer operator on $A$. Based on the analysis of the $C^*$-algebra $C^*(A,T)$ generated by the operators $aT$, $a\in A$, we give dynamical conditions implying that the sp…
▽ More
We study the spectrum of operators $aT\in B(H)$ on a Hilbert space $H$ where $T$ is an isometry and $a$ belongs to a commutative $C^*$-subalgebra $C(X)\cong A\subseteq B(H)$ such that the formula $L(a)=T^*aT$ defines a faithful transfer operator on $A$. Based on the analysis of the $C^*$-algebra $C^*(A,T)$ generated by the operators $aT$, $a\in A$, we give dynamical conditions implying that the spectrum $σ(aT)$ is invariant under rotation around zero, $σ(aT)$ coincides with essential spectrum $σ_{ess}(aT)$ or that $σ(aT)=\{z\in \mathbb{C}: |z|\leq r(aT)\}$ is a disk.
We extend classical Ruelle's result and prove that for a general expanding map $\varphi:X\to X$ and continuous $c:X\to [0,\infty)$ the spectral logarythm of a Ruelle-Perron-Frobenious operator $\mathcal{L}_cf(y)=\sum_{x\in \varphi^{-1}(y)} c(x)f(x)$ is equal to the topological pressure $P(\ln c,\varphi)$. As a consequence we get the variational principle for the spectral radius: $$ r(aT)=\max_{μ\in \text{Erg}(X,\varphi)} \exp\left(\int_{X}\ln(\vert a\vert\sqrt{\varrho })\,dμ+\frac{h_{\varphi}(μ)}{2} \right), $$ where $\text{Erg}(X,\varphi)$ stands for ergodic Borel probability measures, $h_{\varphi}(μ)$ is the Kolmogorov-Sinai entropy, and $\varrho:X\to [0,1]$ is the cocycle associated to $L$. In particular, we clarify the relationship between the Kolmogorov-Sinai entropy and $t$-entropy introduced by Antonevich, Bakhtin and Lebedev.
△ Less
Submitted 20 November, 2020; v1 submitted 12 November, 2019;
originally announced November 2019.
