Abstract:Recall that a unitary in a tracial von Neumann algebra is Haar if $\tau(u^n)=0$ for all $n\in \mathbb{N}$. We introduce and study a new Borel equivalence relation $\sim_N$ on the set of Haar unitaries in a diffuse tracial von Neumann algebra $N$. Two Haar unitaries $u,v$ in $\mathcal{U}(N)$ are related if there exists a finite path of sequentially commuting Haar unitaries in an ultrapower $N^\mathcal{U}$, beginning at $u$ and ending at $v$. We show that for any diffuse tracial von Neumann algebra $N$, the equivalence relation $\sim_N$ admits either 1 orbit or uncountably many orbits. We characterize property Gamma in terms of path length and number of orbits of $\sim_N$ and also show the existence of non-Gamma II$_1$ factors so that $\sim_N$ admits only 1 orbit. Examples where $\sim_N$ admits uncountably many orbits include $N$ having positive 1-bounded entropy: $h(N)>0$. As a key example, we explicitly describe $\sim_{L(\mathbb{F}_t)}$ for the free group factors. Using these ideas we introduce a numerical invariant for diffuse tracial von Neumann algebras called the commutation diameter, with applications to elementary equivalence classification. We compute lower and upper bounds for the commutation diameter in various examples. Notably we obtain non-trivial lower bounds for the family of arbitrary graph products $N$ of diffuse tracial von Neumann algebras whose underlying graph is connected and has diameter at least 4, and distinguish them up to elementary equivalence from the [CIKE23] exotic factors, despite satisfying $h(N)\leq 0$.

Non-Commutative Fejér Theorems

Truncation Approximations and Spectral Invariant Subalgebras in Uniform Roe Algebras of Discrete Groups

On the Equi-Nuclearity of Roe Algebras of Metric Spaces

Relative commutant pictures of Roe algebras

Ghost Ideals in Uniform Roe Algebras of Coarse Spaces

Strong almost finiteness

Degree estimate for commutators

An equivalence between inverse sumset theorems and inverse conjectures for the U^3 norm

A noncommutative maximal inequality for Fejér means on totally disconnected non-abelian groups

Approximated by finite-dimensional homomorphisms into Simple C*-Algebras with Tracial Rank One

Uniformly Based Cuntz semigroups and approximate intertwinings

Relating the Roe algebra of a space to the uniform Roe algebras of its discretizations

Voiculescu's Theorem in Properly Infinite Factors

On Quantitative Approximation

From the Choi formalism in infinite dimensions to unique decompositions of generators of completely positive dynamical semigroups

Finite sums of commutators

Sequential commutation in tracial von Neumann algebras

RANK DISTRIBUTIONS ON COARSE SPACES AND IDEAL STRUCTURE OF ROE ALGEBRAS

Operator algebras of free wreath products

Rigidity of operator systems: tight extensions and noncommutative measurable structures

Indiscrete Common Commensurators