Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2109.08606

Simplicity and tracial weights on non-unital reduced crossed products

Yuhei Suzuki
View original source ↗Read source document ↗Export metadata ↓

Abstract

We extend theorems of Breuillard-Kalantar-Kennedy-Ozawa on unital reduced crossed products to the non-unital case under mild assumptions. As a result simplicity of C*-algebras is stable under taking reduced crossed product over discrete C*-simple groups, and a similar result for uniqueness of tracial weight. Interestingly, our analysis on tracial weights involves von Neumann algebra theory. Our generalizations have two applications. The first is to locally compact groups. We establish stability results of (non-discrete) C*-simplicity and the unique trace property under discrete group extensions. The second is to the twisted crossed product. Thanks to the Packer-Raeburn theorem, our results lead to (generalizations of) the results of Bryder-Kennedy by a different method.

Explore related subjects

math.OAmath.GR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yuhei Suzuki. 2024-02-20. Simplicity and tracial weights on non-unital reduced crossed products. https://doi.org/10.1142/s0129167x24500216

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On Generators for $W^{*}$-bundles

We give an explicit example of a $W^{*}$-bundle $M$ over a compact, metrizable space $K$, which has each fiber $M_{p}$ a $\textrm{II}_{1}$-factor with separable predual, and which satisfies the following negation of the generator problem: given any finite family $a_{1},\cdots,a_{n}\in M$ of continuous sections, there is a $p\in K$ (depending upon that family) so that $a_{1,p},\cdots,a_{n,p}$ do not generate $M_{p}$ as a von Neumann algebra. More generally, if $N$ is a sub-bundle of $M$ with the property that each fiber is hyperfinite, or has a Cartan, or is generated by two commuting diffuse subalgebras, or has diffuse central sequence algebra, or is generated by a single sequential commutation orbit, then given any finite family $a_{1},\cdots,a_{n}\in M$ of continuous sections, there is a $p\in K$ (depending upon that family) so that $a_{1,p},\cdots,a_{n,p}$ together with $N_{p}$ do not generate $M_{p}$. We discuss implications for the generator problem for von Neumann algebras: e.g. there is no ``continuous" way to take countably many generators for a tracial von Neumann algebra with separable predual and produce a single generator, at least if such a procedure works for all von Neumann algebras simultaneously.

math.OA↗
arXiv2026

The Operator Daugavet Property in Semifinite Noncommutative $L_1$-Spaces

Let $\mathcal M$ be a diffuse semifinite von Neumann algebra endowed with a faithful normal semifinite trace $τ$. We prove that, for every nonzero Banach space $Y$, the projective tensor product $L_1(\mathcal M,τ)\widehat{\otimes}_πY$ has the operator Daugavet property. Moreover, the witnessing operators may always be chosen contractive. This extends the operator Daugavet phenomenon from atomless vector-valued $L_1$-spaces to the semifinite noncommutative setting and yields further Daugavet-type consequences for projective symmetric tensor products, all without approximation assumptions.

math.OA↗
arXiv2026

Involution-preserving ring isomorphisms in norm between unital $C^*$-algebras

Let $A$ and $B$ be nonzero unital $C^*$-algebras with units $1_A$ and $1_B$, respectively, and let $T\colon A\to B$ be a bijection satisfying \[ \|T(a+b)\|=\|T(a)+T(b)\|, \qquad \|T(ab)\|=\|T(a)T(b)\|, \qquad T(a^*)=T(a)^* \] for all $a,b\in A$. We prove that there exist a central symmetry $u$ in $B$ and a real $*$-isomorphism $Φ\colon A\to B$ such that \[ T(a)=uΦ(a) \qquad(a\in A). \] Moreover, $u$ and $Φ$ are uniquely determined by $T$. Conversely, if $u\in B$ is a central symmetry and $Φ\colon A\to B$ is a real $ * $-isomorphism, then $T=uΦ$ is a bijection satisfying the three identities above. In particular, the two norm identities, together with involution preservation, force the normalized map $uT$ to preserve the full product, not merely the Jordan product.

math.OA↗