2026-10-16 | | Total: 9
We establish a compactness theorem for the resolvent of free Laplacians. More precisely, let $X=(X_1,\ldots,X_n)$ be a self-adjoint tuple admitting Lipschitz conjugate variables in the sense of Dabrowski (2014). Under the non-commutative curvature--dimension condition $CD(c,\infty)$ with $c>0$, introduced in our previous work (2026), we prove that the free Laplacian $Δ:=\partial^*\bar\partial$ is proper, that is, has compact resolvent. Our argument is non-perturbative and uses a spectral variant of the free Bochner method based on Dabrowski's almost-commutation formulas. A further stochastic argument gives a normal unital trace-preserving embedding of $M=W^*(X_1,\ldots,X_n)$ into $L(\mathbb F_2)$. Together, the compactness and embedding theorems gives several operator-algebraic consequences, including the Haagerup approximation property, the CMAP, and strong solidity. We also obtain proper proximality and bi-exactness. We finally obtain several geometric consequences. We prove a free analogue of Klartag's improved log--Lichnerowicz inequality (2023), together with rigidity in the equality case. More surprisingly, under $CD(0,\infty)$, we prove a dimension-free Kannan--Lovász--Simonovits (KLS) bound in the free setting. As a consequence, we obtain a free thin-shell estimate for isotropic tuples. We conclude with further questions on spectral comparison with the canonical semicircular model.
In this paper, we study the strong irreducibility of a class of operators associated with irrational rotation algebras in the hyperfinite type $\mathrm{II}_1$ factor $\mathcal R$. By developing weighted shift models for their relative commutants, we obtain $K_0$ calculations and splitting criteria for direct sums. In particular, we construct strongly irreducible operators in $\mathcal R$ whose relative commutants have $K_0$-groups isomorphic to $\mathbb Z$ and $\mathbb Z^2$. We realize every Jones index of an irreducible subfactor of $\mathcal R$ as $[\mathcal R:W^*(T)]$ for some strongly irreducible operator $T$ relative to $\mathcal R$. Furthermore, we construct strong generators of $\mathcal R$ and strongly irreducible operators in every type $\mathrm{II}_1$ factor $\mathcal M$ with separable predual.
We initiate a theory of ``operator spaces" (in other words subspaces of $C^*$-algebras) with an emphasis on the maximal tensor product. The natural morphisms become the maximally bounded maps instead of the completely bounded ones. With this new looking glass we first examine various issues : lifting and extension properties, local reflexivity, inner derivations, similarity problems.This first part is semi-expository while the second one focuses on the class of von Neumann algebras $M$ such that any completely bounded unital homomorphism on a $C^*$-algebra with values in $M$ is maximally bounded (or equivalently is similar to a $*$-homomorphism via a similarity belonging to $M$). We show that this holds if and only if $M$ is the direct sum of a finite von Neumann algebra and an injective one. This also characterizes the $M$'s such that all completely bounded derivations into $M$ are inner. Our main tool for this is a new characterization of injective von Neumann algebras.
We establish three new characterisations of coarse embeddability into Hilbert space for discrete metric spaces of bounded geometry, in terms of escaping quasi-local couplings, Schur multipliers, and operator norm state localisation. As applications, we prove that if a sparse metric space of bounded geometry is coarsely embeddable into Hilbert space, then every ghost projection in the quasi-local algebra is compact, while we also provide a counterexample to the converse implication. Finally, we characterise coarse embeddability into Hilbert space via the relative Haagerup property for the quasi-local algebra, and investigate its relation to coarse embeddability into $\ell^p$ for $p>2$.
The topological $1$-bounded entropy $h^\text{top}(C^*(Γ))$ of the full group $C^*$-algebra of a finitely generated group $Γ$ is given a representation-theoretic interpretation. The implications of Hilbert-Schmidt and matricial stability in this setting are investigated, recovering and strengthening a representation growth result of Hadwin and Shulman. The entropy framework is used to recover upper bounds on representation growth for superrigid groups and property (T) groups. This recovers a result of De La Harpe, Robinson, and Valette on the growth rate of the irreducible unitary representations of a property (T) group within the framework of $1$-bounded entropy. A soft proof that $SL_n(\mathbb{Z})$ admits subexponential representation growth is recorded.
We prove that $C(X)\rtimesΓ$ is singly generated whenever $Γ$ is a finitely generated discrete amenable group and its action on the nonempty compact metrizable space $X$ is free, minimal, and has the uniform Rokhlin property and Cuntz comparison of open sets. In particular, every free minimal $\mathbb Z^d$-crossed product with metrizable underlying space is singly generated.
We develop a theory of operator algebraic quantum hypergroups and their representations, formulated using a special case of the algebraic quantum hypergroup framework of van Daele and Delvaux. As part of the axioms, every operator algebraic quantum hypergroup admits a dual object of the same type. We prove that a certain universal completion in the compact case satisfies the axioms of an earlier notion of a compact quantum hypergroup in the sense of the second author and Chapovsky. As part of this theory, we discuss their (co)amenability properties. We consider examples induced by conditional expectations of algebraic quantum groups satisfying certain properties, which include quantum hypergroups corresponding to double cosets and automorphisms of quantum groups, and quantum hypergroups induced by representation categories of Kac type compact quantum groups.
We embed skew fields of meromorphic functions in several non-commuting variables into the topological $*-$algebra of closed linear operators affiliated to a finite von Neumann algebra, $\mathfrak{M}$, with faithful, normal tracial state, $τ$. Namely, let $\mathscr{O} _d (r)$, $r \in (0, +\infty]$, denote the rings of formal power series in $d \in \mathbb{N}$ non-commuting variables with ``radius of convergence" at least $r$ and let $Ξ\in \mathfrak{M} ^{1\times d}$ be a tuple of row-norm $<r$ with the property that there exist no non-zero trace-class operators $T_1, \cdots, T_d \in \mathscr{B} (L^2 (\mathfrak{M}, τ))$ obeying $\sum _j [T_j , Ξ_j] =0$. Then the unital homomorphism $\mathscr{O} _d (r) \rightarrow \mathfrak{M}$ defined by the evaluation, $\mathfrak{z} _j \mapsto Ξ_j$, extends to an embedding of the universal skew field of fractions of $\mathscr{O} _d (r)$ into the $*-$algebra of closed operators affiliated to $\mathfrak{M}$. In their $L^2-$homology theory of von Neumann algebras, Connes and Shlyakhtenko defined a certain quantity, $0 \leq Δ(Ξ) \leq d$, as the Murray--von Neumann co-dimension of the Hilbert module generated by all $d-$tuples of finite rank operators obeying the above commutator condition with $Ξ\in \mathfrak{M} ^{1\times d}$. As demonstrated by Mai, Speicher and Yin, this $Δ$ measures, in a certain precise sense, the algebraic independence of the components of $Ξ$. Connes--Shlyakhtenko proved that $Δ$ is an upper bound for Voiculescu's non-microstates free entropy dimension, $δ^* (Ξ)$, and remark that it is of interest to determine whether these two quantities are equal. Using non-commutative function theory, we show that this is generally not the case, by constructing a triple of self-adjoint operators, $Ξ= (Ξ_1,Ξ_2,Ξ_3)$, for which this inequality is strict, $δ^*(Ξ) < Δ(Ξ)$.
Let $X$ be an infinite-dimensional complex Banach space and let $\mathcal B(X)$ the full algebra of all bounded linear operator on $X$. In this paper, we give a complete characterization of surjective maps $φ:\mathcal B(X)\to\mathcal B(X)$ satisfying \[ r(AB)=0\quad\Longleftrightarrow\quad r(φ(A)φ(B))=0 \qquad(A,B\in\mathcal B(X)). \] Without assuming additivity, injectivity, or continuity, we show that there exists a function $γ: B(X)\mapsto \C \setminus\{0\}$ such that the map $φ$ takes one of the following forms: 1. there exists a bounded linear or conjugate-linear, invertible operator $S:X\to X$ such that : \label{eq:direct} φ(A)=γ(A)SAS^{-1},\qquad \text{ for all } \quad A\in B(X), 2. the space $X$ is reflexive and there exists a bounded linear or conjugate-linear, invertible operator $S:X^*\to X$ such that \label{eq:dual} φ(A)=γ(A)SA^*S^{-1},\qquad \text{ for all } \quad A\in B(X).