Abstract:We study upgraded free independence phenomena for unitary elements $u_1$, $u_2$, \dots representing the large-$n$ limit of Haar random unitaries, showing that free independence extends to several larger algebras containing $u_j$ in the ultraproduct of matrices $\prod_{n \to \mathcal{U}} M_n(\mathbb{C})$. Using a uniform asymptotic freeness argument and volumetric analysis, we prove free independence of the Pinsker algebras $\mathcal{P}_j$ containing $u_j$. The Pinsker algebra $\mathcal{P}_j$ is the maximal subalgebra containing $u_j$ with vanishing $1$-bounded entropy defined by Hayes; $\mathcal{P}_j$ in particular contains the relative commutant $\{u_j\}' \cap \prod_{n \to \mathcal{U}} M_n(\mathbb{C})$, more generally any unitary that can be connected to $u_j$ by a sequence of commuting pairs of Haar unitaries, and any unitary $v$ such that $v\mathcal{P}_j v^* \cap \mathcal{P}_j$ is diffuse. Through an embedding argument, we go back and deduce analogous free independence results for $\mathcal{M}^{\mathcal{U}}$ when $\mathcal{M}$ is a free product of Connes embeddable tracial von Neumann algebras $\mathcal{M}_i$, which thus yields (in the Connes-embeddable case) a generalization and a new proof of Houdayer--Ioana's results on free independence of approximate commutants. It also yields a new proof of the general absorption results for Connes-embeddable free products obtained by the first author, Hayes, Nelson, and Sinclair.

Unit-free versions of the Vidav-Palmer theorem and of the Blecher-Ruan-Sinclair non-associative characterization of unital $C^*$-algebras

Automorphisms of the Category of Free Non-Associative Algebras with Unit

Operator Algebras of Universal Quantum Homomorphisms

Towards a classification of unitary elements of C*-algebras

Trivial Endomorphisms of the Calkin Algebra

Upgraded free independence phenomena for random unitaries

An algebraic approach to Wigner's unitary-antiunitary theorem

Automorphisms of categories of free algebras with unit for classical varieties of non-associative algebras

Unital Full Amalgamated Free Products of MF Algebras

A local characterization for the Cuntz semigroup of AI-algebras

On unital absorbing extensions of C$^*$-algebras of stable rank one and real rank zero

Non-commutative factorizations and finite-dimensional representations of free algebras

Classifying $^$-homomorphisms I: Unital simple nuclear $C^$-algebras

Absolutely Summing Operators on non commutative $C^*$-algebras and applications

Non-linear classification of finite-dimensional simple $C^*$-algebras

Unital Banach algebras not isomorphic to Calkin algebras of separable Banach spaces

A double commutant theorem for operator algebras

Villadsen algebras

A description of the logmodular subalgebras in the finite dimensional $C^*$-algebras

Representations of Smith algebras which are free over the Cartan subalgebra

A note on unital full amalgamated free products of quasi-diagonal C*-algebras