Search arXiv⌕ Search

arXiv · 2610.19023

Invariant von Neumann subalgebras of crossed products and tensor products

Abstract

Let $Γ$ be a countable discrete group acting on a tracial von Neumann algebra $(Q,τ_Q)$ in a trace-preserving way. We study invariant von Neumann subalgebras of $Q\rtimesΓ$ and of $L(Γ)\bar\otimes Q$, where the latter is equipped with the diagonal action. We show that, under the pointwise weak mixing assumption, an invariant subalgebra whose image under the canonical conditional expectation onto $Q$ is scalar is necessarily contained in $L(Γ)$. Further, under relative weak mixing and central freeness assumptions, we determine the structure of invariant subalgebras of the crossed product with non-trivial intersection with $Q$. For p.m.p. actions of groups with trivial amenable radical and the invariant subalgebras rigidity property, pointwise relative weak mixing gives a complete classification of invariant subalgebras in the tensor product case. We construct essentially free, prime, pointwise weakly mixing p.m.p. actions of $\mathbb{F}_n$ for every $2\leq n\leq\infty$, as well as non-prime examples with explicitly described factors.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tattwamasi Amrutam, Artem Dudko, Yongle Jiang, Adam Skalski. 2026-10-13. Invariant von Neumann subalgebras of crossed products and tensor products. https://arxiv.org/abs/2610.19023

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

KEEP EXPLORING

Related papers

Remarks on Derivations on Maximal Triangular Operator Algebras

This note concerns bounded derivations on maximal triangular operator algebras on a Hilbert space. Given any bounded derivation $δ$ on a maximal triangular algebra whose invariant lattice is continuous at 1, an operator which is shown to implement $δ$ is constructed explicitly. For a general reducible maximal triangular algebra the same construction yields an operator which is shown to implement any $δ$, if and only if $δ$ obeys an additional triple product rule. This work is based on unpublished parts of the author's dissertation [19] and describes a variant of the proof of a more general result in [21] and is thus in effect a footnote to that work. To the best of the author's knowledge the constructive proof and triple product rule have not appeared elsewhere. The work here is not set in the context of the large body of subsequent research, and no claims are made regarding its relationship to later developments.

math.OA↗

An Approximate-Diagonal Characterization of Amenable Actions on C*Algebras

We introduce relative $h$-diagonals for crossed products $A\rtimes_αΓ$ by discrete groups, which are positive-form approximate diagonals in the Haagerup tensor product taken relative to $A$. We show that $α$ is amenable if and only if $A\rtimes_αΓ$ admits a relative $h$-diagonal, an analogue of Johnson's theorem for $L^{1}(G)$.

math.OA↗

Failure of noncommutative Rota's theorem with $L\log L$ endpoint

We construct a factorizable Markov map $T$ on a hyperfinite finite von Neumann algebra and a positive element $x\in L\log L$ for which the sequence $T^n(T^*)^n x$ does not converge bilaterally almost uniformly. This answers a question of Anantharaman-Delaroche \cite{AD2006}.

math.OA↗