Showing 1–41 of 41 results for author: Szabo, G

A homotopy rigidity theorem for $\mathcal{Z}_0$-stable $\mathrm{C}^\ast$-algebras

Authors: Jorge Castillejos, Baukje Debets, Gabor Szabo

Abstract: We show that two simple, separable, nuclear and $\mathcal{Z}_0$-stable $\mathrm{C}^\ast$-algebras are isomorphic if they are trace-preservingly homotopy equivalent. This result does not assume the UCT and can be viewed as a tracial stably projectionless analog of the homotopy rigidity theorem for Kirchberg algebras. We show that two simple, separable, nuclear and $\mathcal{Z}_0$-stable $\mathrm{C}^\ast$-algebras are isomorphic if they are trace-preservingly homotopy equivalent. This result does not assume the UCT and can be viewed as a tracial stably projectionless analog of the homotopy rigidity theorem for Kirchberg algebras. △ Less

Submitted 8 May, 2025; v1 submitted 7 May, 2025; originally announced May 2025.

Comments: 13 pages

MSC Class: 46L55; 46L05

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

Authors: Johannes Christensen, Robert Neagu, Gábor Szabó

Abstract: 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.… ▽ More 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. △ Less

Submitted 17 April, 2025; originally announced April 2025.

MSC Class: 46L55; 46L40

Corona algebras and strongly self-absorbing $\mathrm{C}^{\ast}$-dynamics

Authors: Xiuyuan Li, Matteo Pagliero, Gábor Szabó

Abstract: This article concerns the structure of $\mathrm{C}^{\ast}$-algebraic group actions induced on corona algebras from a given $σ$-unital $\mathrm{C}^{\ast}$-dynamical system over a locally compact group $G$. We prove that such actions satisfy the so-called dynamical folding property, which generalizes a fundamental property observed for corona algebras in works of Manuilov--Thomsen and Phillips--Weav… ▽ More This article concerns the structure of $\mathrm{C}^{\ast}$-algebraic group actions induced on corona algebras from a given $σ$-unital $\mathrm{C}^{\ast}$-dynamical system over a locally compact group $G$. We prove that such actions satisfy the so-called dynamical folding property, which generalizes a fundamental property observed for corona algebras in works of Manuilov--Thomsen and Phillips--Weaver. We then focus on corona actions induced from $G$-$\mathrm{C}^{\ast}$-dynamics that are assumed to absorb a given strongly self-absorbing and unitarily regular $G$-action $γ$. It is proved that these corona actions are $γ$-saturated, which is a stronger property than being separably $γ$-stable. Conversely, if one assumes that the underlying $\mathrm{C}^{\ast}$-dynamics absorbs the trivial action on the compact operators, then $γ$-saturation of the corona action is equivalent to the original action being $γ$-absorbing. These results are a dynamical version of recent work by Farah and the third-named author. △ Less

Submitted 10 March, 2025; originally announced March 2025.

Comments: 21 pp

MSC Class: 46L05; 46L55

Coronas and strongly self-absorbing C*-algebras

Authors: Ilijas Farah, Gábor Szabó

Abstract: Let $\mathcal D$ be a strongly self-absorbing $\mathrm{C}^*$-algebra. Given any separable $\mathrm{C}^*$-algebra $A$, our two main results assert the following. If $A$ is $\mathcal D$-stable, then the corona algebra of $A$ is $\mathcal D$-saturated, i.e., $\mathcal D$ embeds unitally into the relative commutant of every separable $\mathrm{C}^*$-subalgebra. Conversely, assuming that the stable coro… ▽ More Let $\mathcal D$ be a strongly self-absorbing $\mathrm{C}^*$-algebra. Given any separable $\mathrm{C}^*$-algebra $A$, our two main results assert the following. If $A$ is $\mathcal D$-stable, then the corona algebra of $A$ is $\mathcal D$-saturated, i.e., $\mathcal D$ embeds unitally into the relative commutant of every separable $\mathrm{C}^*$-subalgebra. Conversely, assuming that the stable corona of $A$ is separably $\mathcal D$-stable, we prove that $A$ is $\mathcal D$-stable. This generalizes recent work by the first-named author on the structure of the Calkin algebra. As an immediate corollary, it follows that the multiplier algebra of a separable $\mathcal D$-stable $\mathrm{C}^*$-algebra is separably $\mathcal D$-stable. Appropriate versions of the aforementioned results are also obtained when $A$ is not necessarily separable. The article ends with some non-trivial applications. △ Less

Submitted 18 May, 2025; v1 submitted 4 November, 2024; originally announced November 2024.

Comments: 29 pages. Minor corrections

MSC Class: 22D55; 46L05; 46L35

Metric Spaces in Which Many Triangles Are Degenerate

Authors: Vašek Chvátal, Noé de Rancourt, Guillermo Gamboa Quintero, Ida Kantor, Péter G. N. Szabó

Abstract: Richmond and Richmond (American Mathematical Monthly 104 (1997), 713--719) proved the following theorem: If, in a metric space with at least five points, all triangles are degenerate, then the space is isometric to a subset of the real line. We prove that the hypothesis is unnecessarily strong: In a metric space on $n$ points, fewer than $7n^2/6$ suitably placed degenerate triangles suffice. Howev… ▽ More Richmond and Richmond (American Mathematical Monthly 104 (1997), 713--719) proved the following theorem: If, in a metric space with at least five points, all triangles are degenerate, then the space is isometric to a subset of the real line. We prove that the hypothesis is unnecessarily strong: In a metric space on $n$ points, fewer than $7n^2/6$ suitably placed degenerate triangles suffice. However, fewer than $n(n-1)/2$ degenerate triangles, no matter how cleverly placed, never suffice. △ Less

Submitted 10 January, 2024; originally announced January 2024.

Comments: Supersedes arXiv:2209.14361 [math.MG]

MSC Class: 30L99; 51F99; 54E99

Classification of equivariantly $\mathcal{O}_2$-stable amenable actions on nuclear $\mathrm{C}^\ast$-algebras

Authors: Matteo Pagliero, Gábor Szabó

Abstract: Given a second-countable, locally compact group $G$, we consider amenable $G$-actions on separable, stable, nuclear $\mathrm{C}^\ast$-algebras that are isometrically shift-absorbing and tensorially absorb the trivial action on the Cuntz algebra $\mathcal{O}_2$. We show that such actions are classified up to cocycle conjugacy by the induced $G$-action on the primitive ideal space. In the special ca… ▽ More Given a second-countable, locally compact group $G$, we consider amenable $G$-actions on separable, stable, nuclear $\mathrm{C}^\ast$-algebras that are isometrically shift-absorbing and tensorially absorb the trivial action on the Cuntz algebra $\mathcal{O}_2$. We show that such actions are classified up to cocycle conjugacy by the induced $G$-action on the primitive ideal space. In the special case when $G$ is exact, we prove a unital version of our classification theorem. For compact groups, we obtain a classification up to conjugacy. △ Less

Submitted 13 September, 2024; v1 submitted 21 September, 2023; originally announced September 2023.

Comments: 39 pages; v3 some corrections; this version is accepted for publication at JFA

MSC Class: 46L55; 46L35

Equivariant property (SI) revisited, II

Authors: Gábor Szabó

Abstract: We investigate Matui-Sato's notion of property (SI) for C*-dynamics, this time with a focus on actions of possibly non-amenable groups. The main result is a generalization of earlier work: For any countable group $Γ$ and any non-elementary separable simple nuclear C*-algebra $A$ with strict comparison, every amenable $Γ$-action on $A$ has equivariant property (SI). This is deduced from a more gene… ▽ More We investigate Matui-Sato's notion of property (SI) for C*-dynamics, this time with a focus on actions of possibly non-amenable groups. The main result is a generalization of earlier work: For any countable group $Γ$ and any non-elementary separable simple nuclear C*-algebra $A$ with strict comparison, every amenable $Γ$-action on $A$ has equivariant property (SI). This is deduced from a more general statement involving relative property (SI) for certain inclusions into ultraproducts. The article concludes with a few consequences of this result. △ Less

Submitted 11 October, 2023; v1 submitted 17 August, 2023; originally announced August 2023.

Comments: 12 pages; v2 minor corrections. This version has been accepted for publication in the special issue of Münster Journal of Mathematics in honour of Eberhard Kirchberg. arXiv admin note: text overlap with arXiv:1904.10897

MSC Class: 46L35; 46L55; 46L40

Equivariant property Gamma and the tracial local-to-global principle for C*-dynamics

Authors: Gábor Szabó, Lise Wouters

Abstract: We consider the notion of equivariant uniform property Gamma for actions of countable discrete groups on C*-algebras that admit traces. In case the group is amenable and the C*-algebra has a compact tracial state space, we prove that this property implies a kind of tracial local-to-global principle for the C*-dynamical system, generalizing a recent such principle for C*-algebras exhibited in work… ▽ More We consider the notion of equivariant uniform property Gamma for actions of countable discrete groups on C*-algebras that admit traces. In case the group is amenable and the C*-algebra has a compact tracial state space, we prove that this property implies a kind of tracial local-to-global principle for the C*-dynamical system, generalizing a recent such principle for C*-algebras exhibited in work of Castillejos et al. For actions on simple nuclear $\mathcal{Z}$-stable C*-algebras, we use this to prove that equivariant uniform property Gamma is equivalent to equivariant $\mathcal{Z}$-stability, generalizing a result of Gardella-Hirshberg-Vaccaro. △ Less

Submitted 28 June, 2024; v1 submitted 30 January, 2023; originally announced January 2023.

Comments: 47 pages, various small corrections and added details. This version has been accepted for publication by APDE

MSC Class: 46L55

Journal ref: Analysis & PDE 18 (2025) 1385-1432

Dynamical McDuff-type properties for group actions on von Neumann algebras

Authors: Gábor Szabó, Lise Wouters

Abstract: We consider the notion of strong self-absorption for continuous actions of locally compact groups on the hyperfinite II$_1$-factor and characterize when such an action is tensorially absorbed by another given action on any separably acting von Neumann algebra. This extends the well-known McDuff property for von Neumann algebras and is analogous to the core theorems around strongly self-absorbing C… ▽ More We consider the notion of strong self-absorption for continuous actions of locally compact groups on the hyperfinite II$_1$-factor and characterize when such an action is tensorially absorbed by another given action on any separably acting von Neumann algebra. This extends the well-known McDuff property for von Neumann algebras and is analogous to the core theorems around strongly self-absorbing C$^*$-dynamics. Given a countable discrete group $G$ and an amenable action $G\curvearrowright M$ on any separably acting semi-finite von Neumann algebra, we establish a type of measurable local-to-global principle: If a given strongly self-absorbing $G$-action is suitably absorbed at the level of each fibre in the direct integral decomposition of $M$, then it is tensorially absorbed by the action on $M$. As a direct application of Ocneanu's theorem, we deduce that if $M$ has the McDuff property, then every amenable $G$-action on $M$ has the equivariant McDuff property, regardless whether $M$ is assumed to be injective or not. By employing Tomita-Takesaki theory, we can extend the latter result to the general case where $M$ is not assumed to be semi-finite. △ Less

Submitted 29 January, 2024; v1 submitted 27 January, 2023; originally announced January 2023.

Comments: 34 pages; some corrections and rewritten introduction; this version was accepted for publication in Journal of the Institute of Mathematics of Jussieu

MSC Class: 46L55

The dynamical Kirchberg-Phillips theorem

Authors: James Gabe, Gábor Szabó

Abstract: Let $G$ be a second-countable, locally compact group. In this article we study amenable $G$-actions on Kirchberg algebras that admit an approximately central embedding of a canonical quasi-free action on the Cuntz algebra $\mathcal{O}_\infty$. If $G$ is discrete, this coincides with the class of amenable and outer $G$-actions on Kirchberg algebras. We show that the resulting $G$-C*-dynamical syste… ▽ More Let $G$ be a second-countable, locally compact group. In this article we study amenable $G$-actions on Kirchberg algebras that admit an approximately central embedding of a canonical quasi-free action on the Cuntz algebra $\mathcal{O}_\infty$. If $G$ is discrete, this coincides with the class of amenable and outer $G$-actions on Kirchberg algebras. We show that the resulting $G$-C*-dynamical systems are classified by equivariant Kasparov theory up to cocycle conjugacy. This is the first classification theory of its kind applicable to actions of arbitrary locally compact groups. Among various applications, our main result solves a conjecture of Izumi for actions of discrete amenable torsion-free groups, and recovers the main results of recent work by Izumi-Matui for actions of poly-$\mathbb{Z}$ groups. △ Less

Submitted 16 August, 2023; v1 submitted 10 May, 2022; originally announced May 2022.

Comments: v3 60 pages; the main result is improved for compact groups, various small corrections and improvements. This is the pre-typeset version to appear in Acta Mathematica

MSC Class: 46L55; 46L35; 19K35

On embeddings of extensions of almost finite actions into cubical shifts

Authors: Emiel Lanckriet, Gábor Szabó

Abstract: For a countable amenable group $G$ and a fixed dimension $m\geq 1$, we investigate when it is possible to embed a $G$-space $X$ into the $m$-dimensional cubical shift $([0,1]^m)^G$. We focus our attention on systems that arise as an extension of an almost finite $G$-action on a totally disconnected space $Y$, in the sense of Matui and Kerr. We show that if such a $G$-space $X$ has mean dimension l… ▽ More For a countable amenable group $G$ and a fixed dimension $m\geq 1$, we investigate when it is possible to embed a $G$-space $X$ into the $m$-dimensional cubical shift $([0,1]^m)^G$. We focus our attention on systems that arise as an extension of an almost finite $G$-action on a totally disconnected space $Y$, in the sense of Matui and Kerr. We show that if such a $G$-space $X$ has mean dimension less than $m/2$, then $X$ embeds into the $(m+1)$-dimensional cubical shift. If the distinguished factor $G$-space $Y$ is assumed to be a subshift of finite type, then this can be improved to an embedding into the $m$-dimensional cubical shift. This result ought to be viewed as the generalization of a theorem by Gutman-Tsukamoto for $G=\mathbb Z$ to actions of all amenable groups, and represents the first result supporting the Lindenstrauss-Tsukamoto conjecture for actions of groups other than $G=\mathbb{Z}^k$. △ Less

Submitted 14 October, 2022; v1 submitted 21 February, 2022; originally announced February 2022.

Comments: 10 pages; v2 minor changes

MSC Class: 37B05

The stable uniqueness theorem for equivariant Kasparov theory

Authors: James Gabe, Gábor Szabó

Abstract: This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical systems. The main result is a stable uniqueness theorem that generalizes a fundamental characterization of ordinary $KK$-theory by Lin and Dadarlat-Eilers. Alo… ▽ More This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical systems. The main result is a stable uniqueness theorem that generalizes a fundamental characterization of ordinary $KK$-theory by Lin and Dadarlat-Eilers. Along the way, we prove an equivariant Cuntz-Thomsen picture analog of the fact that the equivalence relation of homotopy agrees with the (a priori stronger) equivalence relation of stable operator homotopy. The results proved in this paper will be employed as the technical centerpiece in forthcoming work of the authors to classify certain amenable group actions on Kirchberg algebras by equivariant Kasparov theory. △ Less

Submitted 22 March, 2025; v1 submitted 20 February, 2022; originally announced February 2022.

Comments: 44 pages; v4 Fixed an error in the proof of Lemma 2.8. To appear in the American Journal of Mathematics

MSC Class: 46L55; 19K35

On tracial $\mathcal Z$-stability of simple non-unital C*-algebras

Authors: Jorge Castillejos, Kang Li, Gabor Szabo

Abstract: We investigate the notion of tracial $\mathcal Z$-stability beyond unital C*-algebras, and we prove that this notion is equivalent to $\mathcal Z$-stability in the class of separable simple nuclear C*-algebras. We investigate the notion of tracial $\mathcal Z$-stability beyond unital C*-algebras, and we prove that this notion is equivalent to $\mathcal Z$-stability in the class of separable simple nuclear C*-algebras. △ Less

Submitted 4 April, 2023; v1 submitted 19 August, 2021; originally announced August 2021.

Comments: Canad. J. Math., to appear. Accepted version

MSC Class: 46L05; 46L35

On a categorical framework for classifying C*-dynamics up to cocycle conjugacy

Authors: Gabor Szabo

Abstract: We provide the rigorous foundations for a categorical approach to the classification of C*-dynamics up to cocycle conjugacy. Given a locally compact group $G$, we consider a category of (twisted) $G$-C*-algebras, where morphisms between two objects are allowed to be equivariant maps or exterior equivalences, which leads to the concept of so-called cocycle morphisms. An isomorphism in this category… ▽ More We provide the rigorous foundations for a categorical approach to the classification of C*-dynamics up to cocycle conjugacy. Given a locally compact group $G$, we consider a category of (twisted) $G$-C*-algebras, where morphisms between two objects are allowed to be equivariant maps or exterior equivalences, which leads to the concept of so-called cocycle morphisms. An isomorphism in this category is precisely a cocycle conjugacy in the known sense. We show that this category allows sequential inductive limits, and that some known functors on the usual category of $G$-C*-algebras extend. After observing that this setup allows a natural notion of (approximate) unitary equivalence, the main aim of the paper is to generalize the fundamental intertwining results commonly employed in the Elliott program for classifying C*-algebras. This reduces a given classification problem for C*-dynamics to the prevalence of certain uniqueness and existence theorems, and may provide a useful alternative to the Evans--Kishimoto intertwining argument in future research. △ Less

Submitted 15 January, 2021; v1 submitted 4 July, 2019; originally announced July 2019.

Comments: 56 pages; this version has been accepted for publication in JFA. Note: some concepts introduced in this paper have been renamed

MSC Class: 46L55

Journal ref: J. Funct. Anal. 280 (2021), no. 8

Equivariant property (SI) revisited

Authors: Gabor Szabo

Abstract: We revisit Matui-Sato's notion of property (SI) for C*-algebras and C*-dynamics. More specifically, we generalize the known framework to the case of C*-algebras with possibly unbounded traces. The novelty of this approach lies in the equivariant context, where none of the previous work allows one to (directly) apply such methods to actions of amenable groups on highly non-unital C*-algebras, in pa… ▽ More We revisit Matui-Sato's notion of property (SI) for C*-algebras and C*-dynamics. More specifically, we generalize the known framework to the case of C*-algebras with possibly unbounded traces. The novelty of this approach lies in the equivariant context, where none of the previous work allows one to (directly) apply such methods to actions of amenable groups on highly non-unital C*-algebras, in particular to establish equivariant Jiang-Su stability. Our main result is an extension of an observation by Sato: For any countable amenable group $Γ$ and any non-elementary separable simple nuclear C*-algebra $A$ with strict comparison, every $Γ$-action on $A$ has equivariant property (SI). A more general statement involving relative property (SI) for inclusions into ultraproducts is proved as well. As a consequence we show that if $A$ also has finitely many rays of extremal traces, then every $Γ$-action on $A$ is equivariantly Jiang-Su stable. We moreover provide applications of the main result to the context of strongly outer actions, such as a generalization of Nawata's classification of strongly outer automorphisms on the (stabilized) Razak-Jacelon algebra. △ Less

Submitted 8 July, 2020; v1 submitted 24 April, 2019; originally announced April 2019.

Comments: v4 36 pages; this version has been accepted at Analysis & PDE

MSC Class: 46L35; 46L55; 46L40

Journal ref: Analysis & PDE 14 (2021) 1199-1232

Almost finiteness and the small boundary property

Authors: David Kerr, Gabor Szabo

Abstract: Working within the framework of free actions of countable amenable groups on compact metrizable spaces, we show that the small boundary property is equivalent to a density version of almost finiteness, which we call almost finiteness in measure, and that under this hypothesis the properties of almost finiteness, comparison, and $m$-comparison for some nonnegative integer $m$ are all equivalent. Th… ▽ More Working within the framework of free actions of countable amenable groups on compact metrizable spaces, we show that the small boundary property is equivalent to a density version of almost finiteness, which we call almost finiteness in measure, and that under this hypothesis the properties of almost finiteness, comparison, and $m$-comparison for some nonnegative integer $m$ are all equivalent. The proof combines an Ornstein-Weiss tiling argument with the use of zero-dimensional extensions which are measure-isomorphic over singleton fibres. These kinds of extensions are also employed to show that if every free action of a given group on a zero-dimensional space is almost finite then so are all free actions of the group on spaces with finite covering dimension. Combined with recent results of Downarowicz-Zhang and Conley-Jackson-Marks-Seward-Tucker-Drob on dynamical tilings and of Castillejos-Evington-Tikuisis-White-Winter on the Toms-Winter conjecture, this implies that crossed product C$^*$-algebras arising from free minimal actions of groups with local subexponential growth on finite-dimensional spaces are classifiable in the sense of Elliott's program. We show furthermore that, for free actions of countably infinite amenable groups, the small boundary property implies that the crossed product has uniform property $Γ$, which under minimality confirms the Toms-Winter conjecture for such crossed products by the aforementioned work of Castillejos-Evington-Tikuisis-White-Winter. △ Less

Submitted 11 June, 2019; v1 submitted 11 July, 2018; originally announced July 2018.

Comments: 32 pages, minor changes

Report number: CPH-SYM-DNRF92

Journal ref: Comm. Math. Phys. 374 (2020), pp. 1--31

Actions of certain torsion-free elementary amenable groups on strongly self-absorbing C*-algebras

Authors: Gabor Szabo

Abstract: In this paper we consider a bootstrap class $\mathfrak C$ of countable discrete groups, which is closed under countable unions and extensions by the integers, and we study actions of such groups on C*-algebras. This class includes all torsion-free abelian groups, poly-$\mathbb Z$-groups, as well as other examples. Using the interplay between relative Rokhlin dimension and semi-strongly self-absorb… ▽ More In this paper we consider a bootstrap class $\mathfrak C$ of countable discrete groups, which is closed under countable unions and extensions by the integers, and we study actions of such groups on C*-algebras. This class includes all torsion-free abelian groups, poly-$\mathbb Z$-groups, as well as other examples. Using the interplay between relative Rokhlin dimension and semi-strongly self-absorbing actions established in prior work, we obtain the following two main results for any group $Γ\in\mathfrak C$ and any strongly self-absorbing C*-algebra $\mathcal D$: (1) There is a unique strongly outer $Γ$-action on $\mathcal D$ up to (very strong) cocycle conjugacy. (2) If $α: Γ\curvearrowright A$ is a strongly outer action on a separable, unital, nuclear, simple, $\mathcal D$-stable C*-algebra with at most one trace, then it absorbs every $Γ$-action on $\mathcal D$ up to (very strong) cocycle conjugacy. In fact we establish more general relative versions of these two results for actions of amenable groups that have a predetermined quotient in the class $\mathfrak C$. For the monotracial case, the proof comprises an application of Matui--Sato's equivariant property (SI) as a key method. △ Less

Submitted 9 July, 2018; originally announced July 2018.

Comments: 17 pages

Report number: CPH-SYM-DNRF92 MSC Class: 46L55; 46L40

Journal ref: Comm. Math. Phys. 371 (2019), no. 1, pp. 267--284

Rokhlin dimension: absorption of model actions

Authors: Gabor Szabo

Abstract: In this paper, we establish a connection between Rokhlin dimension and the absorption of certain model actions on strongly self-absorbing C*-algebras. Namely, as to be made precise in the paper, let $G$ be a well-behaved locally compact group. If $\mathcal D$ is a strongly self-absorbing C*-algebra, and $α: G\curvearrowright A$ is an action on a separable, $\mathcal D$-absorbing C*-algebra that ha… ▽ More In this paper, we establish a connection between Rokhlin dimension and the absorption of certain model actions on strongly self-absorbing C*-algebras. Namely, as to be made precise in the paper, let $G$ be a well-behaved locally compact group. If $\mathcal D$ is a strongly self-absorbing C*-algebra, and $α: G\curvearrowright A$ is an action on a separable, $\mathcal D$-absorbing C*-algebra that has finite Rokhlin dimension with commuting towers, then $α$ tensorially absorbs every semi-strongly self-absorbing $G$-actions on $\mathcal D$. This contains several existing results of similar nature as special cases. We will in fact prove a more general version of this theorem, which is intended for use in subsequent work. We will then discuss some non-trivial applications. Most notably it is shown that for any $k\geq 1$ and on any strongly self-absorbing Kirchberg algebra, there exists a unique $\mathbb R^k$-action having finite Rokhlin dimension with commuting towers up to (very strong) cocycle conjugacy. △ Less

Submitted 19 October, 2018; v1 submitted 12 April, 2018; originally announced April 2018.

Comments: v2 40 pages; this version has been accepted for publication in Analysis & PDE

MSC Class: 46L55

Journal ref: Analysis & PDE 12 (2019) 1357-1396

Approaching the UCT problem via crossed products of the Razak-Jacelon algebra

Authors: Selçuk Barlak, Gábor Szabó

Abstract: We show that the UCT problem for separable, nuclear $\mathrm C^*$-algebras relies only on whether the UCT holds for crossed products of certain finite cyclic group actions on the Razak-Jacelon algebra. This observation is analogous to and in fact recovers a characterization of the UCT problem in terms of finite group actions on the Cuntz algebra $\mathcal O_2$ established in previous work by the a… ▽ More We show that the UCT problem for separable, nuclear $\mathrm C^*$-algebras relies only on whether the UCT holds for crossed products of certain finite cyclic group actions on the Razak-Jacelon algebra. This observation is analogous to and in fact recovers a characterization of the UCT problem in terms of finite group actions on the Cuntz algebra $\mathcal O_2$ established in previous work by the authors. Although based on a similar approach, the new conceptual ingredients in the finite context are the recent advances in the classification of stably projectionless $\mathrm C^*$-algebras, as well as a known characterization of the UCT problem in terms of certain tracially AF $\mathrm C^*$-algebras due to Dadarlat. △ Less

Submitted 19 October, 2018; v1 submitted 3 December, 2017; originally announced December 2017.

Comments: v2 11 pages; this version has been accepted for publication in Groups, Geometry, and Dynamics

MSC Class: 46L35; 46L55

Journal ref: Groups Geom. Dyn. 14 (2020), no. 1, pp. 137--149

On diagonal quasi-free automorphisms of simple Cuntz-Krieger algebras

Authors: Selçuk Barlak, Gábor Szabó

Abstract: We show that an outer action of a finite abelian group on a simple Cuntz-Krieger algebra is strongly approximately inner in the sense of Izumi if the action is given by diagonal quasi-free automorphisms and the associated matrix is aperiodic. This is achieved by an approximate cohomology vanishing-type argument for the canonical shift restricted to the relative commutant of the set of domain proje… ▽ More We show that an outer action of a finite abelian group on a simple Cuntz-Krieger algebra is strongly approximately inner in the sense of Izumi if the action is given by diagonal quasi-free automorphisms and the associated matrix is aperiodic. This is achieved by an approximate cohomology vanishing-type argument for the canonical shift restricted to the relative commutant of the set of domain projections of the canonical generating isometries in the fixed point algebra. △ Less

Submitted 3 October, 2018; v1 submitted 28 August, 2017; originally announced August 2017.

Comments: v3 17 pages; this version has been accepted for publication in Mathematica Scandinavica

Report number: CPH-SYM-DNRF92 MSC Class: 46L40; 46L55

Journal ref: Math. Scand. 125 (2019), no. 2, pp. 210--226

The embedding problem in topological dynamics and Takens' theorem

Authors: Yonatan Gutman, Yixiao Qiao, Gabor Szabo

Abstract: We prove that every $\mathbb{Z}^{k}$-action $(X,\mathbb{Z}^{k},T)$ of mean dimension less than $D/2$ admitting a factor $(Y,\mathbb{Z}^{k},S)$ of Rokhlin dimension not greater than $L$ embeds in $(([0,1]^{(L+1)D})^{\mathbb{Z}^{k}}\times Y,σ\times S)$, where $D\in\mathbb{N}$, $L\in\mathbb{N}\cup\{0\}$ and $σ$ is the shift on the Hilbert cube $([0,1]^{(L+1)D})^{\mathbb{Z}^{k}}$; in particular, when… ▽ More We prove that every $\mathbb{Z}^{k}$-action $(X,\mathbb{Z}^{k},T)$ of mean dimension less than $D/2$ admitting a factor $(Y,\mathbb{Z}^{k},S)$ of Rokhlin dimension not greater than $L$ embeds in $(([0,1]^{(L+1)D})^{\mathbb{Z}^{k}}\times Y,σ\times S)$, where $D\in\mathbb{N}$, $L\in\mathbb{N}\cup\{0\}$ and $σ$ is the shift on the Hilbert cube $([0,1]^{(L+1)D})^{\mathbb{Z}^{k}}$; in particular, when $(Y,\mathbb{Z}^{k},S)$ is an irrational $\mathbb{Z}^{k}$-rotation on the $k$-torus, $(X,\mathbb{Z}^{k},T)$ embeds in $(([0,1]^{2^kD+1})^{\mathbb{Z}^k},σ)$, which is compared to a previous result by the first named author, Lindenstrauss and Tsukamoto. Moreover, we give a complete and detailed proof of Takens' embedding theorem with a continuous observable for $\mathbb{Z}$-actions and deduce the analogous result for $\mathbb{Z}^{k}$-actions. Lastly, we show that the Lindenstrauss--Tsukamoto conjecture for $\mathbb{Z}$-actions holds generically, discuss an analogous conjecture for $\mathbb{Z}^{k}$-actions appearing in a forthcoming paper by the first two authors and Tsukamoto and verify it for $\mathbb{Z}^{k}$-actions on finite dimensional spaces. △ Less

Submitted 8 December, 2017; v1 submitted 20 August, 2017; originally announced August 2017.

Comments: 26 pages; this version is going to appear in Nonlinearity

Report number: CPH-SYM-DNRF92 MSC Class: 37C45; 54H20

Journal ref: Nonlinearity 31 (2018), no. 2, pp. 597--620

Betweenness Structures of Small Linear Co-Size

Authors: Péter G. N. Szabó

Abstract: One way to study the combinatorics of finite metric spaces is to study the betweenness relation associated with the metric space. In the hypergraph metrization problem, one has to find and characterize metric betweennesses whose collinear triples (or alternatively, non-degenerate triangles) coincide with the edges of a given $3$-uniform hypergraph. Metrizability of different kinds of hypergraphs w… ▽ More One way to study the combinatorics of finite metric spaces is to study the betweenness relation associated with the metric space. In the hypergraph metrization problem, one has to find and characterize metric betweennesses whose collinear triples (or alternatively, non-degenerate triangles) coincide with the edges of a given $3$-uniform hypergraph. Metrizability of different kinds of hypergraphs was investigated in the last decades. Chen showed that steiner triple systems are not metrizable, while Richmond and Richmond characterized linear betweennesses, i.e. metric betweennesses that realize the complete $3$-uniform hypergraph. The latter result was also generalized to almost-metric betweennesses by Beaudou et al. In this paper, we further extend this theory by characterizing the largest nonlinear almost-metric betweennesses that satisfy certain hereditary properties, as well as the ones that contain a small linear number of non-degenerate triangles. △ Less

Submitted 6 June, 2018; v1 submitted 16 August, 2017; originally announced August 2017.

Comments: 36 pages, 7 figures; technical proofs are relegated to a separate appendix

A Characterization of Uniquely Representable Graphs

Authors: Péter G. N. Szabó

Abstract: The betweenness structure of a finite metric space $M = (X, d)$ is a pair $\mathcal{B}(M) = (X,β_M)$ where $β_M$ is the so-called betweenness relation of $M$ that consists of point triplets $(x, y, z)$ such that $d(x, z) = d(x, y) + d(y, z)$. The underlying graph of a betweenness structure $\mathcal{B} = (X,β)$ is the simple graph $G(\mathcal{B}) = (X, E)$ where the edges are pairs of distinct poi… ▽ More The betweenness structure of a finite metric space $M = (X, d)$ is a pair $\mathcal{B}(M) = (X,β_M)$ where $β_M$ is the so-called betweenness relation of $M$ that consists of point triplets $(x, y, z)$ such that $d(x, z) = d(x, y) + d(y, z)$. The underlying graph of a betweenness structure $\mathcal{B} = (X,β)$ is the simple graph $G(\mathcal{B}) = (X, E)$ where the edges are pairs of distinct points with no third point between them. A connected graph $G$ is uniquely representable if there exists a unique metric betweenness structure with underlying graph $G$. It was implied by previous works that trees are uniquely representable. In this paper, we give a characterization of uniquely representable graphs by showing that they are exactly the block graphs. Further, we prove that two related classes of graphs coincide with the class of block graphs and the class of distance-hereditary graphs, respectively. We show that our results hold not only for metric but also for almost-metric betweenness structures. △ Less

Submitted 20 June, 2020; v1 submitted 3 August, 2017; originally announced August 2017.

Comments: 16 pages (without references); 3 figures; major changes: simplified proofs, improved notations and namings, short overview of metric graph theory

A New Proof for the Characterization of Linear Betweenness Structure

Authors: Péter G. N. Szabó

Abstract: In their paper published in 1997, Richmond and Richmond classified metric spaces in which all triangles are degenerate. That result was later reproved by Dovgoshei and Dordovskii in the finite case and it was generalized to finite pseudometric betweennesses by Beaudou et al. In this paper, we give a new, independent proof to the finite case of the original theorem which we reformulate in terms of… ▽ More In their paper published in 1997, Richmond and Richmond classified metric spaces in which all triangles are degenerate. That result was later reproved by Dovgoshei and Dordovskii in the finite case and it was generalized to finite pseudometric betweennesses by Beaudou et al. In this paper, we give a new, independent proof to the finite case of the original theorem which we reformulate in terms of linearity of betweenness structures. △ Less

Submitted 31 May, 2020; v1 submitted 3 July, 2017; originally announced July 2017.

Comments: 10 pages, 3 figures Keywords: Finite metric space, Metric betweenness, Linearity, Degenerate triangles triangles

MSC Class: 05B30; 05C12; 51E30

The classification of Rokhlin flows on C*-algebras

Authors: Gabor Szabo

Abstract: We study flows on C*-algebras with the Rokhlin property. We show that every Kirchberg algebra carries a unique Rokhlin flow up to cocycle conjugacy, which confirms a long-standing conjecture of Kishimoto. We moreover present a classification theory for Rokhlin flows on C*-algebras satisfying certain technical properties, which hold for many C*-algebras covered by the Elliott program. As a conseque… ▽ More We study flows on C*-algebras with the Rokhlin property. We show that every Kirchberg algebra carries a unique Rokhlin flow up to cocycle conjugacy, which confirms a long-standing conjecture of Kishimoto. We moreover present a classification theory for Rokhlin flows on C*-algebras satisfying certain technical properties, which hold for many C*-algebras covered by the Elliott program. As a consequence, we obtain the following further classification theorems for Rokhlin flows. Firstly, we extend the statement of Kishimoto's conjecture to the non-simple case: Up to cocycle conjugacy, a Rokhlin flow on a separable, nuclear, strongly purely infinite C*-algebra is uniquely determined by its induced action on the prime ideal space. Secondly, we give a complete classification of Rokhlin flows on simple classifiable $KK$-contractible C*-algebras: Two Rokhlin flows on such a C*-algebra are cocycle conjugate if and only if their induced actions on the cone of lower-semicontinuous traces are affinely conjugate. △ Less

Submitted 7 May, 2020; v1 submitted 28 June, 2017; originally announced June 2017.

Comments: 57 pages; this version has been accepted for publication in Communications in Mathematical Physics

MSC Class: 46L55; 46L40

Journal ref: Comm. Math. Phys. 382 (2021), pp. 2015--2070

Strongly self-absorbing C*-dynamical systems, III

Authors: Gabor Szabo

Abstract: In this paper, we accomplish two objectives. Firstly, we extend and improve some results in the theory of (semi-)strongly self-absorbing C*-dynamical systems, which was introduced and studied in previous work. In particular, this concerns the theory when restricted to the case where all the semi-strongly self-absorbing actions are assumed to be unitarily regular, which is a mild technical conditio… ▽ More In this paper, we accomplish two objectives. Firstly, we extend and improve some results in the theory of (semi-)strongly self-absorbing C*-dynamical systems, which was introduced and studied in previous work. In particular, this concerns the theory when restricted to the case where all the semi-strongly self-absorbing actions are assumed to be unitarily regular, which is a mild technical condition. The central result in the first part is a strengthened version of the equivariant McDuff-type theorem, where equivariant tensorial absorption can be achieved with respect to so-called very strong cocycle conjugacy. Secondly, we establish completely new results within the theory. This mainly concerns how equivariantly $\cal Z$-stable absorption can be reduced to equivariantly UHF-stable absorption with respect to a given semi-strongly self-absorbing action. Combining these abstract results with known uniqueness theorems due to Matui and Izumi-Matui, we obtain the following main result. If $G$ is a torsion-free abelian group and $\cal D$ is one of the known strongly self-absorbing C*-algebras, then strongly outer $G$-actions on $\cal D$ are unique up to (very strong) cocycle conjugacy. This is new even for $\mathbb{Z}^3$-actions on the Jiang-Su algebra. △ Less

Submitted 21 April, 2017; v1 submitted 6 December, 2016; originally announced December 2016.

Comments: 22 pages; v3 some added remarks and simplified argument in section 5

Report number: SOAR-GMJT-02 MSC Class: 46L55

Journal ref: Adv. Math. 316 (2017), no. 20, pp. 356-380

Equivariant Kirchberg-Phillips-type absorption for amenable group actions

Authors: Gabor Szabo

Abstract: We show an equivariant Kirchberg-Phillips-type absorption theorem for pointwise outer actions of discrete amenable groups on Kirchberg algebras with respect to natural model actions on the Cuntz algebras $\mathcal{O}_\infty$ and $\mathcal{O}_2$. This generalizes results known for finite groups and poly-$\mathbb{Z}$ groups. The model actions are shown to be determined, up to strong cocycle conjugac… ▽ More We show an equivariant Kirchberg-Phillips-type absorption theorem for pointwise outer actions of discrete amenable groups on Kirchberg algebras with respect to natural model actions on the Cuntz algebras $\mathcal{O}_\infty$ and $\mathcal{O}_2$. This generalizes results known for finite groups and poly-$\mathbb{Z}$ groups. The model actions are shown to be determined, up to strong cocycle conjugacy, by natural abstract properties, which are verified for some examples of actions arising from tensorial shifts. We also show the following homotopy rigidity result, which may be understood as a precursor to a general Kirchberg-Phillips-type classification theory: If two outer actions of an amenable group on a unital Kirchberg algebra are equivariantly homotopy equivalent, then they are conjugate. This marks the first C*-dynamical classification result up to cocycle conjugacy that is applicable to actions of all amenable groups. △ Less

Submitted 11 January, 2018; v1 submitted 19 October, 2016; originally announced October 2016.

Comments: v3 42 pages; this version has been accepted for publication in Communications in Mathematical Physics

Report number: CPH-SYM-DNRF92 MSC Class: 46L55 (primary); 46L05; 19K35 (secondary)

Journal ref: Comm. Math. Phys. 361 (2018), no. 3, pp. 1115--1154

Rokhlin dimension for flows

Authors: Ilan Hirshberg, Gabor Szabo, Wilhelm Winter, Jianchao Wu

Abstract: We introduce a notion of Rokhlin dimension for one parameter automorphism groups of C*-algebras. This generalizes Kishimoto's Rokhlin property for flows, and is analogous to the notion of Rokhlin dimension for actions of the integers and other discrete groups introduced by the authors and Zacharias in previous papers. We show that finite nuclear dimension and absorption of a strongly self-absorbin… ▽ More We introduce a notion of Rokhlin dimension for one parameter automorphism groups of C*-algebras. This generalizes Kishimoto's Rokhlin property for flows, and is analogous to the notion of Rokhlin dimension for actions of the integers and other discrete groups introduced by the authors and Zacharias in previous papers. We show that finite nuclear dimension and absorption of a strongly self-absorbing C*-algebra are preserved under forming crossed products by flows with finite Rokhlin dimension, and that these crossed products are stable. Furthermore, we show that a flow on a commutative C*-algebra arising from a free topological flow has finite Rokhlin dimension, whenever the spectrum is a locally compact metrizable space with finite covering dimension. For flows that are both free and minimal, this has strong consequences for the associated crossed product C*-algebras: Those containing a non-zero projection are classified by the Elliott invariant (for compact manifolds this consists of topological K-theory together with the space of invariant probability measures and a natural pairing given by the Ruelle-Sullivan map). △ Less

Submitted 7 September, 2016; v1 submitted 8 July, 2016; originally announced July 2016.

Comments: 67 pages. Minor changes from previous version. To appear, Comm. Math. Phys

MSC Class: 46L55

Journal ref: Comm. Math. Phys. 353 (2017), no. 1, pp. 253-316

The spatial Rokhlin property for actions of compact quantum groups

Authors: Selçuk Barlak, Gábor Szabó, Christian Voigt

Abstract: We introduce the spatial Rokhlin property for actions of coexact compact quantum groups on $\mathrm{C}^*$-algebras, generalizing the Rokhlin property for both actions of classical compact groups and finite quantum groups. Two key ingredients in our approach are the concept of sequentially split $*$-homomorphisms, and the use of braided tensor products instead of ordinary tensor products. We show… ▽ More We introduce the spatial Rokhlin property for actions of coexact compact quantum groups on $\mathrm{C}^*$-algebras, generalizing the Rokhlin property for both actions of classical compact groups and finite quantum groups. Two key ingredients in our approach are the concept of sequentially split $*$-homomorphisms, and the use of braided tensor products instead of ordinary tensor products. We show that various structure results carry over from the classical theory to this more general setting. In particular, we show that a number of $\mathrm{C}^*$-algebraic properties relevant to the classification program pass from the underlying $\mathrm{C}^*$-algebra of a Rokhlin action to both the crossed product and the fixed point algebra. Towards establishing a classification theory, we show that Rokhlin actions exhibit a rigidity property with respect to approximate unitary equivalence. Regarding duality theory, we introduce the notion of spatial approximate representability for actions of discrete quantum groups. The spatial Rokhlin property for actions of a coexact compact quantum group is shown to be dual to spatial approximate representability for actions of its dual discrete quantum group, and vice versa. △ Less

Submitted 7 October, 2016; v1 submitted 27 May, 2016; originally announced May 2016.

Comments: 47 pages; v2 minor corrections. This version is going to appear in J. Funct. Anal

Report number: SOAR-GMJT-01

Journal ref: J. Funct. Anal. 272 (2017), no. 6, pp. 2308-2360

Strongly self-absorbing C*-dynamical systems, II

Authors: Gabor Szabo

Abstract: This is a continuation of the study of strongly self-absorbing actions of locally compact groups on C*-algebras. Given a strongly self-absorbing action $γ: G\curvearrowright\mathcal{D}$, we establish permanence properties for the class of separable C*-dynamical systems absorbing $γ$ tensorially up to cocycle conjugacy. Generalizing results of both Toms-Winter and Dadarlat-Winter, it is proved that… ▽ More This is a continuation of the study of strongly self-absorbing actions of locally compact groups on C*-algebras. Given a strongly self-absorbing action $γ: G\curvearrowright\mathcal{D}$, we establish permanence properties for the class of separable C*-dynamical systems absorbing $γ$ tensorially up to cocycle conjugacy. Generalizing results of both Toms-Winter and Dadarlat-Winter, it is proved that the desirable equivariant analogues of the classical permanence properties hold in this context. For the permanence with regard to equivariant extensions, we need to require a mild extra condition on $γ$, which replaces $K_1$-injectivity assumptions in the classical theory. This condition turns out to be automatic for equivariantly Jiang-Su absorbing C*-dynamical systems, yielding a large class of examples. It is left open whether this condition is redundant for all strongly self-absorbing actions, and we do consider examples that satisfy this condition but are not equivariantly Jiang-Su absorbing. △ Less

Submitted 11 April, 2017; v1 submitted 31 January, 2016; originally announced February 2016.

Comments: 32 pages; this is a late upload of the version that has been accepted for publication in J. Noncomm. Geom

MSC Class: 46L55

Journal ref: J. Noncomm. Geom. 12 (2018), no. 1, pp. 369--406

Sequentially split $*$-homomorphisms between $\mathrm{C}^*$-algebras

Authors: Selçuk Barlak, Gábor Szabó

Abstract: We define and examine sequentially split $*$-homomorphisms between $\mathrm{C}^*$-algebras and $\mathrm{C}^*$-dynamical systems. For a $*$-homomorphism, the property of being sequentially split can be regarded as an approximate weakening of being a split-injective inclusion of $\mathrm{C}^*$-algebras. We show for a sequentially split $*$-homomorphism that a multitude of $\mathrm{C}^*$-algebraic ap… ▽ More We define and examine sequentially split $*$-homomorphisms between $\mathrm{C}^*$-algebras and $\mathrm{C}^*$-dynamical systems. For a $*$-homomorphism, the property of being sequentially split can be regarded as an approximate weakening of being a split-injective inclusion of $\mathrm{C}^*$-algebras. We show for a sequentially split $*$-homomorphism that a multitude of $\mathrm{C}^*$-algebraic approximation properties pass from the target algebra to the domain algebra, including virtually all important approximation properties currently used in the classification theory of $\mathrm{C}^*$-algebras. We also discuss various settings in which sequentially split $*$-homomorphisms arise naturally from context. One particular class of examples arises from compact group actions with the Rokhlin property. This allows us to recover and extend the presently known permanence properties of Rokhlin actions with a unified conceptual approach and a simple proof. Moreover, this perspective allows us to obtain new results about such actions, such as a generalization of Izumi's original $K$-theory formula for the fixed point algebra, or duality between the Rokhlin property and approximate representability. △ Less

Submitted 7 October, 2016; v1 submitted 15 October, 2015; originally announced October 2015.

Comments: (v3) 48 pages; minor changes, mainly in introduction, section 3 and subsection 4.3; further references added and reference list updated. This version is going to appear in Internat. J. Math

MSC Class: 46L35; 46L55

Journal ref: Int. J. Math 27 (2016), no. 12, 48 pages

On the nuclear dimension of strongly purely infinite C*-algebras

Authors: Gabor Szabo

Abstract: We show that separable, nuclear and strongly purely infinite C*-algebras have finite nuclear dimension. In fact, the value is at most three. This exploits a deep structural result of Kirchberg and Rørdam on strongly purely infinite C*-algebras that are homotopic to zero in an ideal-system preserving way. We show that separable, nuclear and strongly purely infinite C*-algebras have finite nuclear dimension. In fact, the value is at most three. This exploits a deep structural result of Kirchberg and Rørdam on strongly purely infinite C*-algebras that are homotopic to zero in an ideal-system preserving way. △ Less

Submitted 9 November, 2016; v1 submitted 7 October, 2015; originally announced October 2015.

Comments: 7 pages; v2 a few minor stylistic changes in the intro. This version is going to appear in Advances in Mathematics

Report number: SOAR-GMJT-02 MSC Class: 46L85; 46L35

Journal ref: Adv. Math. 306 (2017), pp. 1262-1268

Strongly self-absorbing C*-dynamical systems

Authors: Gabor Szabo

Abstract: We introduce and study strongly self-absorbing actions of locally compact groups on C*-algebras. This is an equivariant generalization of a strongly self-absorbing C*-algebra to the setting of C*-dynamical systems. The main result is the following equivariant McDuff-type absorption theorem: A cocycle action $(α,u): G\curvearrowright A$ on a separable C*-algebra is cocycle conjugate to its tensoria… ▽ More We introduce and study strongly self-absorbing actions of locally compact groups on C*-algebras. This is an equivariant generalization of a strongly self-absorbing C*-algebra to the setting of C*-dynamical systems. The main result is the following equivariant McDuff-type absorption theorem: A cocycle action $(α,u): G\curvearrowright A$ on a separable C*-algebra is cocycle conjugate to its tensorial stabilization with a strongly self-absorbing action $γ: G\curvearrowright\mathcal{D}$, if and only if there exists an equivariant and unital $*$-homomorphism from $\mathcal{D}$ into the central sequence algebra of $A$. We also discuss some non-trivial examples of strongly self-absorbing actions. △ Less

Submitted 4 June, 2019; v1 submitted 28 September, 2015; originally announced September 2015.

Comments: v2 32 pages; this revision fixes a mistake that made it into the published version. The main results are unchanged, but some intermediate proofs are modified if they previously referred to (the false) "Corollary 1.16" in the previous version

MSC Class: 46L55

Journal ref: Trans. Amer. Math. Soc. 370 (2018), 99-130

The nuclear dimension of C*-algebras associated to homeomorphisms

Authors: Ilan Hirshberg, Jianchao Wu

Abstract: We show that if X is a finite dimensional locally compact Hausdorff space, then the crossed product of C_0(X) by any automorphism has finite nuclear dimension. This generalizes previous results, in which the automorphism was required to be free. As an application, we show that group C*-algebras of certain non-nilpotent groups have finite nuclear dimension. We show that if X is a finite dimensional locally compact Hausdorff space, then the crossed product of C_0(X) by any automorphism has finite nuclear dimension. This generalizes previous results, in which the automorphism was required to be free. As an application, we show that group C*-algebras of certain non-nilpotent groups have finite nuclear dimension. △ Less

Submitted 19 August, 2016; v1 submitted 4 September, 2015; originally announced September 2015.

Comments: With an appendix by Gabor Szabo. 28 pages. Minor typos corrected. To appear, Adv. Math. arXiv admin note: text overlap with arXiv:1308.5418 by other authors

Journal ref: Adv. Math. 304 (2017), pp. 56--89

Rokhlin dimension for actions of residually finite groups

Authors: Gabor Szabo, Jianchao Wu, Joachim Zacharias

Abstract: We introduce the concept of Rokhlin dimension for actions of residually finite groups on C*-algebras, extending previous notions of Rokhlin dimension for actions of finite groups and the integers, as introduced by Hirshberg, Winter and the third author. If the group has a box space of finite asymptotic dimension, then actions with finite Rokhlin dimension preserve the property of having finite nuc… ▽ More We introduce the concept of Rokhlin dimension for actions of residually finite groups on C*-algebras, extending previous notions of Rokhlin dimension for actions of finite groups and the integers, as introduced by Hirshberg, Winter and the third author. If the group has a box space of finite asymptotic dimension, then actions with finite Rokhlin dimension preserve the property of having finite nuclear dimension, when passing to the crossed product C*-algebra. A detailed study of the asymptotic dimension of box spaces shows that finitely generated, virtually nilpotent groups have box spaces with finite asymptotic dimension, providing a reasonably large class of examples. We then establish a relation between Rokhlin dimension of residually finite groups acting on compact metric spaces and amenability dimension of the action in the sense of Guentner, Willett and Yu. We show that for free actions of infinite, finitely generated, nilpotent groups on finite dimensional spaces, both these dimensional values are finite. In particular, the associated transformation group C*-algebras have finite nuclear dimension. This extends an analogous result about $\mathbb{Z}^m$-actions by the first author. We also provide some results concerning the genericity of finite Rokhlin dimension, and permanence properties with respect to the absorption of a strongly self-absorbing C*-algebra. △ Less

Submitted 23 March, 2017; v1 submitted 26 August, 2014; originally announced August 2014.

Comments: 64 pages; some small corrections and added remarks

Report number: SOAR-GMJT-02 MSC Class: 46L55; 54H20 (Primary); 46L35; 20F69; 20F18 (Secondary)

Journal ref: Ergod. Th. Dyn. Syst. 39 (2019), no. 8, pp. 2248--2304

A short note on the continuous Rokhlin property and the universal coefficient theorem

Authors: Gabor Szabo

Abstract: Let $G$ be a metrizable compact group, $A$ a separable C*-algebra and $α$ a strongly continuous action of $G$ on $A$. Provided that $α$ satisfies the continuous Rokhlin property, we show that the property of satisfying the UCT in E-theory passes from $A$ to the crossed product C*-algebra $A\rtimes_αG$ and the fixed point algebra $A^α$. This extends a result by Gardella in the case that $G$ is the… ▽ More Let $G$ be a metrizable compact group, $A$ a separable C*-algebra and $α$ a strongly continuous action of $G$ on $A$. Provided that $α$ satisfies the continuous Rokhlin property, we show that the property of satisfying the UCT in E-theory passes from $A$ to the crossed product C*-algebra $A\rtimes_αG$ and the fixed point algebra $A^α$. This extends a result by Gardella in the case that $G$ is the circle and $A$ is nuclear. For circle actions on separable, unital C*-algebras with the continuous Rokhlin property, we establish a connection between the $E$-theory equivalence class of the coefficient algebra $A$ and the fixed point algebra $A^α$. △ Less

Submitted 11 August, 2014; originally announced August 2014.

Comments: 7 pages

MSC Class: 46L55; 19K35

Journal ref: Canad. Math. Bull. 58 (2015), no. 2, pp. 374-380

Bounds on the Number of Edges of Edge-minimal, Edge-maximal and $l$-hypertrees

Authors: Péter G. N. Szabó

Abstract: In their paper, Bounds on the Number of Edges in Hypertrees, G.Y. Katona and P.G.N. Szabó introduced a new, natural definition of hypertrees in $k$-uniform hypergraphs and gave lower and upper bounds on the number of edges. They also defined edge-minimal, edge-maximal and $l$-hypertrees and proved an upper bound on the edge number of $l$-hypertrees. In the present paper, we verify the asymptotic… ▽ More In their paper, Bounds on the Number of Edges in Hypertrees, G.Y. Katona and P.G.N. Szabó introduced a new, natural definition of hypertrees in $k$-uniform hypergraphs and gave lower and upper bounds on the number of edges. They also defined edge-minimal, edge-maximal and $l$-hypertrees and proved an upper bound on the edge number of $l$-hypertrees. In the present paper, we verify the asymptotic sharpness of the $\binom{n}{k-1}$ upper bound on the number of edges of $k$-uniform hypertrees given in the above mentioned paper. We also make an improvement on the upper bound of the edge number of $2$-hypertrees and give a general extension construction with its consequences. We give lower and upper bounds on the maximal number of edges of $k$-uniform edge-minimal hypertrees and a lower bound on the number of edges of $k$-uniform edge-maximal hypertrees. In the former case, the sharp upper bound is conjectured to be asymptotically $\frac{1}{k-1}\binom{n}{2}$. △ Less

Submitted 3 July, 2017; v1 submitted 10 June, 2014; originally announced June 2014.

Comments: 19 pages, accepted by Discussiones Mathematicae Graph Theory in 2015; fixed proof of Theorem 6, added square at the end of proofs

MSC Class: 05C65; 05D99 ACM Class: G.2.1; G.2.2

Journal ref: Discussiones Mathematicae Graph Theory, 36 (2016) 259-278

Bounds on the Number of Edges in Hypertrees

Authors: Gyula Y. Katona, Péter G. N. Szabó

Abstract: Let $\mathcal{H}$ be a $k$-uniform hypergraph. A chain in $\mathcal{H}$ is a sequence of its vertices such that every $k$ consecutive vertices form an edge. In 1999 Katona and Kierstead suggested to use chains in hypergraphs as the generalisation of paths. Although a number of results have been published on hamiltonian chains in recent years, the generalization of trees with chains has still remai… ▽ More Let $\mathcal{H}$ be a $k$-uniform hypergraph. A chain in $\mathcal{H}$ is a sequence of its vertices such that every $k$ consecutive vertices form an edge. In 1999 Katona and Kierstead suggested to use chains in hypergraphs as the generalisation of paths. Although a number of results have been published on hamiltonian chains in recent years, the generalization of trees with chains has still remained an open area. We generalize the concept of trees for uniform hypergraphs. We say that a $k$-uniform hypergraph $\mathcal{F}$ is a hypertree if every two vertices of $\mathcal{F}$ are connected by a chain, and an appropriate kind of cycle-free property holds. An edge-minimal hypertree is a hypertree whose edge set is minimal with respect to inclusion. After considering these definitions, we show that a $k$-uniform hypertree on $n$ vertices has at least $n-(k-1)$ edges up to a finite number of exceptions, and it has at most $\binom{n}{k-1}$ edges. The latter bound is asymptotically sharp in 3-uniform case. △ Less

Submitted 25 April, 2014; originally announced April 2014.

MSC Class: 05C65

Journal ref: Discrete Mathematics 339: (7) pp. 1884-1991. (2016)

Rokhlin actions of finite groups on UHF-absorbing C*-algebras

Authors: Selcuk Barlak, Gabor Szabo

Abstract: This paper serves as a source of examples of Rokhlin actions or locally representable actions of finite groups on C*-algebras satisfying a certain UHF-absorption condition. We show that given any finite group $G$ and a separable, unital C*-algebra $A$ that absorbs $M_{|G|^\infty}$ tensorially, one can lift any group homomorphism $G\to\operatorname{Aut}(A)/{\approx_u}$ to an honest Rokhlin action… ▽ More This paper serves as a source of examples of Rokhlin actions or locally representable actions of finite groups on C*-algebras satisfying a certain UHF-absorption condition. We show that given any finite group $G$ and a separable, unital C*-algebra $A$ that absorbs $M_{|G|^\infty}$ tensorially, one can lift any group homomorphism $G\to\operatorname{Aut}(A)/{\approx_u}$ to an honest Rokhlin action $γ$ of $G$ on $A$. Unitality may be dropped in favour of stable rank one or being stable. If $A$ belongs to a certain class of C*-algebras that is classifiable by a suitable invariant (e.g. $K$-theory), then in fact every $G$-action on the invariant lifts to a Rokhlin action of $G$ on $A$. For the crossed product C*-algebra $A\rtimes_γG$ of a Rokhlin action on a UHF-absorbing C*-algebra, an inductive limit decomposition is obtained in terms of $A$ and $γ$. If $G$ is assumed to be abelian, then the dual action $\hatγ$ is locally representable in a very strong sense. We then show how some well-known constructions of finite group actions with certain predescribed properties can be recovered and extended by the main results of this paper, when paired with known classification theorems. Among these is Blackadar's famous construction of symmetries on the CAR algebra whose fixed point algebras have non-trivial $K_1$-groups. Lastly, we use the results of this paper to reduce the UCT problem for separable, nuclear C*-algebras to a question about certain finite group actions on $\mathcal{O}_2$. △ Less

Submitted 12 March, 2015; v1 submitted 28 March, 2014; originally announced March 2014.

Comments: this version is going to appear in Trans. Amer. Math. Soc

MSC Class: 46L55; 46L35

Journal ref: Trans. Amer. Math. Soc. 369 (2017), pp. 833-859

The Rokhlin property vs. Rokhlin dimension 1 on unital Kirchberg algebras

Authors: Selcuk Barlak, Dominic Enders, Hiroku Matui, Gabor Szabo, Wilhelm Winter

Abstract: We investigate symmetries on unital Kirchberg algebras with respect to the Rokhlin property and finite Rokhlin dimension. In stark contrast to the restrictiveness of the Rokhlin property, every such outer action has Rokhlin dimension at most 1. A consequence of these observations is a relationship between the nuclear dimension of an $\mathcal{O}_\infty$-absorbing C*-algebra and its… ▽ More We investigate symmetries on unital Kirchberg algebras with respect to the Rokhlin property and finite Rokhlin dimension. In stark contrast to the restrictiveness of the Rokhlin property, every such outer action has Rokhlin dimension at most 1. A consequence of these observations is a relationship between the nuclear dimension of an $\mathcal{O}_\infty$-absorbing C*-algebra and its $\mathcal{O}_2$-stabilization. A more direct and alternative approach to this is given as well. Several applications of this relationship are discussed to cover a fairly large class of $\mathcal{O}_\infty$-absorbing C*-algebras that turn out to have finite nuclear dimension. △ Less

Submitted 21 December, 2015; v1 submitted 21 December, 2013; originally announced December 2013.

Comments: 10 pages; this version is going to appear in the Journal of Noncommutative Geometry

Report number: CPH-SYM-DNRF92 MSC Class: 46L55; 46L35

Journal ref: J. Noncommut. Geom. 9 (2015), no. 4, pp. 1383-1393

The Rokhlin dimension of topological Z^m-actions

Authors: Gabor Szabo

Abstract: We study the topological variant of Rokhlin dimension for topological dynamical systems (X,α,Z^m) in the case where X is assumed to have finite covering dimension. Finite Rokhlin dimension in this sense is a property that implies finite Rokhlin dimension of the induced action on C*-algebraic level, as was discussed in a recent paper by Ilan Hirshberg, Wilhelm Winter and Joachim Zacharias. In parti… ▽ More We study the topological variant of Rokhlin dimension for topological dynamical systems (X,α,Z^m) in the case where X is assumed to have finite covering dimension. Finite Rokhlin dimension in this sense is a property that implies finite Rokhlin dimension of the induced action on C*-algebraic level, as was discussed in a recent paper by Ilan Hirshberg, Wilhelm Winter and Joachim Zacharias. In particular, it implies under these conditions that the transformation group C*-algebra has finite nuclear dimension. Generalizing a result of Yonatan Gutman, we show that free Z^m-actions on finite dimensional spaces satisfy a strengthened version of the so-called marker property, which yields finite Rokhlin dimension for said actions. △ Less

Submitted 13 January, 2014; v1 submitted 25 August, 2013; originally announced August 2013.

Comments: 27 pages; with minor corrections in some proofs

MSC Class: 54H20; 46L35

Journal ref: Proc. London Math. Soc. (2015) 110 (3): 673-694