The relative radius of comparison of the crossed product of a non-unital C*-algebra by a finite group

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Asadi-Vasfi, M. Ali, Elliott, George A.
Format: Preprint
Publié: 2025
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866913816177016832
author Asadi-Vasfi, M. Ali
Elliott, George A.
author_facet Asadi-Vasfi, M. Ali
Elliott, George A.
contents In this paper, we prove results on the relative radius of comparison of C*-algebras and their crossed products, focusing on the non-unital setting. More precisely, let $A$ be a stably finite simple non-type-I (not necessarily unital) C*-algebra, let $G$ be a finite group, and let $α\colon G \to {\operatorname{Aut}} (A)$ be an action which has the weak tracial Rokhlin property. Let $a$ be a non-zero positive element in $A^α\otimes \mathcal{K}$. Then we show that the radius of comparison of $\operatorname{Cu} (A^α)$ relative to $[a]$ is bounded above by the radius of comparison of $\operatorname{Cu} (A)$ relative to $[a]$. If further $A$ is exact and $a$ is in the Pedersen ideal of $A^α\otimes \mathcal{K}$, then the radius of comparison of $\operatorname{Cu} (A\rtimes_α G)$ relative to $[a]$ is equal to its radius of comparison relative to $[p\cdot a]$, scaled by $1/|G|$, where $p$ is the averaging projection in the multiplier algebra of $(A \otimes \mathcal{K}) \rtimes_{α\otimes \operatorname{id}} G$. Moreover, the radius of comparison of $\operatorname{Cu} (A\rtimes_α G)$ relative to $[a]$ is bounded above by $1/|G|$ times the radius of comparison of $\operatorname{Cu} (A)$ relative to $[a]$. We also prove that the inclusion of $A^α$ in $A$ induces an isomorphism from the purely positive part of the Cuntz semigroup ${\operatorname{Cu}} (A^α)$ to the fixed point of the purely positive part of ${\operatorname{Cu}} (A)$. An important consequence of our results is that they apply to non-unital C*-algebras and give new insights into comparison theory of C*-algebras and their crossed products.
format Preprint
id arxiv_https___arxiv_org_abs_2505_00952
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle The relative radius of comparison of the crossed product of a non-unital C*-algebra by a finite group
Asadi-Vasfi, M. Ali
Elliott, George A.
Operator Algebras
Dynamical Systems
Functional Analysis
In this paper, we prove results on the relative radius of comparison of C*-algebras and their crossed products, focusing on the non-unital setting. More precisely, let $A$ be a stably finite simple non-type-I (not necessarily unital) C*-algebra, let $G$ be a finite group, and let $α\colon G \to {\operatorname{Aut}} (A)$ be an action which has the weak tracial Rokhlin property. Let $a$ be a non-zero positive element in $A^α\otimes \mathcal{K}$. Then we show that the radius of comparison of $\operatorname{Cu} (A^α)$ relative to $[a]$ is bounded above by the radius of comparison of $\operatorname{Cu} (A)$ relative to $[a]$. If further $A$ is exact and $a$ is in the Pedersen ideal of $A^α\otimes \mathcal{K}$, then the radius of comparison of $\operatorname{Cu} (A\rtimes_α G)$ relative to $[a]$ is equal to its radius of comparison relative to $[p\cdot a]$, scaled by $1/|G|$, where $p$ is the averaging projection in the multiplier algebra of $(A \otimes \mathcal{K}) \rtimes_{α\otimes \operatorname{id}} G$. Moreover, the radius of comparison of $\operatorname{Cu} (A\rtimes_α G)$ relative to $[a]$ is bounded above by $1/|G|$ times the radius of comparison of $\operatorname{Cu} (A)$ relative to $[a]$. We also prove that the inclusion of $A^α$ in $A$ induces an isomorphism from the purely positive part of the Cuntz semigroup ${\operatorname{Cu}} (A^α)$ to the fixed point of the purely positive part of ${\operatorname{Cu}} (A)$. An important consequence of our results is that they apply to non-unital C*-algebras and give new insights into comparison theory of C*-algebras and their crossed products.
title The relative radius of comparison of the crossed product of a non-unital C*-algebra by a finite group
topic Operator Algebras
Dynamical Systems
Functional Analysis
url https://arxiv.org/abs/2505.00952