Inclusions of Operator Algebras from Tensor Categories: beyond irreducibility

2025-04-07T16:33:24Z

We derive faithful inclusions of C*-algebras from a coend-type construction in unitary tensor categories. This gives rise to different potential notions of discreteness for an inclusion in the non-irreducible case, and provides a unified framework that encloses the theory of compact quantum group actions. We also provide examples coming from semi-circular systems and from factorization homology. In the irreducible case, we establish conditions under which the C*-discrete and W*-discrete conditions are equivalent.

Spatial models for boolean actions in the infinite measure-preserving setup

2025-04-07T14:51:07Z

We show that up to a null set, every infinite measure-preserving action of a locally compact Polish group can be turned into a continuous measure-preserving action on a locally compact Polish space where the underlying measure is Radon. We also investigate the distinction between spatial and boolean actions in the infinite measure-preserving setup. In particular, we extend Kwiatkowska and Solecki's Point Realization Theorem to the infinite measure setup. We finally obtain a streamlined proof of a recent result of Avraham-Re'em and Roy: L\'evy groups cannot admit nontrivial continuous measure-preserving actions on Polish spaces when the measure is locally finite.

Filtered Calculus and crossed products by R-actions

2025-04-07T11:52:14Z

We show an isomorphism between the kernel of the C*-algebra of the tangent groupoid of a filtered manifold and the crossed product of the order 0 pseudodifferential operators in the associated filtered calculus by a natural R-action. This isomorphism is constructed in the same way as in the classical pseudodifferential calculus by Debord and Skandalis. The proof however relies on a structure result for the C*-algebra of graded nilpotent Lie groups which did not appear in the commutative case. A consequence of this structure result is a decomposition of the principal symbol algebra, generalizing the decomposition of Epstein and Melrose in the case of contact manifolds.

Robustness of topological phases on aperiodic lattices

2025-04-07T08:16:01Z

We study the robustness of topological phases on aperiodic lattices by constructing *-homomorphisms from the groupoid model to the coarse-geometric model of observable C*-algebras. These *-homomorphisms induce maps in K-theory and Kasparov theory. We show that the strong topological phases in the groupoid model are detected by position spectral triples. We show that topological phases coming from stacking along another Delone set are always weak in the coarse-geometric sense.

Rectangular matrix additions in low and high temperatures

2025-04-05T10:22:05Z

We study the addition of two random independent $M\times N$ rectangular random matrices with invariant distributions in two limit regimes, where the parameter beta (inverse temperature) goes to infinity and zero. In low temperature regime the random singular values of the sum concentrate at deterministic points, while in high temperature regime we obtain a Law of Large Numbers for the empirical measures. As a consequence, we deliver a duality between low and high temperatures. Our proof uses the type BC Bessel function as characteristic function of rectangular matrices, and through the analysis of this function we introduce a new family of cumulants, that linearize the addition in high temperature limit, and degenerate to the classical or free cumulants in special cases.

On the small boundary property, $\mathcal Z$-absorption, and Bauer simplexes

2025-04-04T17:37:37Z

Let $X$ be a compact metrizable space, and let $\Delta$ be a closed set of Borel probability measures on $X$. We study the small boundary property of the pair $(X, \Delta)$. In particular, it is shown that $(X, \Delta)$ has the small boundary property if it has a restricted version of property Gamma. As an application, it is shown that, if $A$ is the crossed product C*-algebra $\mathrm{C}(X)\rtimes\mathbb Z^d$, where $(X, \mathbb Z^d)$ is a free minimal topological dynamical system, or if $A$ is an AH algebra with diagonal maps, then, $A$ is $\mathcal Z$-stable if the set of extreme tracial states is compact, regardless of its dimension.

On the small boundary property and $\mathcal Z$-absorption, II

2025-04-04T17:32:55Z

Consider a minimal and free topological dynamical system $(X, \mathbb Z^d)$. It is shown that zero mean dimension of $(X, \mathbb Z^d)$ is characterized by $\mathcal Z$-absorption of the crossed product C*-algebra $A=\mathrm{C}(X) \rtimes \mathbb Z^d$, where $\mathcal Z$ is the Jiang-Su algebra. In fact, among other conditions, the following are shown to be equivalent: (1) $(X, \mathbb Z^d)$ has the small boundary property. (2) $A \cong A \otimes \mathcal Z$. (3) $A$ has uniform property $\Gamma$. (4) $l^\infty(A)/J_{2, \omega, \mathrm{T}(A)}$ has real rank zero. The same statement also holds for unital simple AH algebras with diagonal maps.

W*-superrigidity for discrete quantum groups

2025-04-04T08:27:39Z

A discrete group $G$ is called W*-superrigid if the group $G$ can be entirely recovered from the ambient group von Neumann algebra $L(G)$. We introduce an analogous notion for discrete quantum groups. We prove that this strengthened quantum W*-superrigidity property holds for a natural family of co-induced discrete quantum groups. We also prove that, remarkably, most existing families of W*-superrigid groups are not quantum W*-superrigid.

On von Neumann algebras generated by free Poisson random weights

2025-04-03T23:45:59Z

We study a generalization of free Poisson random measure by replacing the intensity measure with a n.s.f. weight $\varphi$ on a von Neumann algebra $M$. We give an explicit construction of the free Poisson random weight using full Fock space over the Hilbert space $L^2(M,\varphi)$ and study the free Poisson von Neumann algebra $\Gamma(M,\varphi)$ generated by this random weight. This construction can be viewed as a free Poisson type functor for left Hilbert algebras similar to Voiculescu's free Gaussian functor for Hilbert spaces. When $\varphi(1)<\infty$, we show that $\Gamma(M,\varphi)$ can be decomposed into free product of other algebras. For a general weight $\varphi$, we prove that $ \Gamma(M,\varphi) $ is a factor if and only if $ \varphi(1)\geq 1 $ and $ M\neq \mathbb{C} $. The second quantization of subunital weight decreasing completely positive maps are studied. By considering a degenerate version of left Hilbert algebras, we are also able to treat free Araki-Woods algebras as special cases of free Poisson algebras for degenerate left Hilbert algebras. We show that the L\'{e}vy-It\^o decomposition of a jointly freely infinitely divisible family (in a tracial probability space) can in fact be interpreted as a decomposition of a degenerate left Hilbert algebra. Finally, as an application, we give a realization of any additive time-parameterized free L\'{e}vy process as unbounded operators in a full Fock space. Using this realization, we show that the filtration algebras of any additive free L\'{e}vy process are always interpolated group factors with a possible additional atom.

Borel fields and measured fields of Polish spaces, Banach spaces, von Neumann algebras and C*-algebras

2025-04-03T19:30:12Z

Several recent articles in operator algebras make a nontrivial use of the theory of measurable fields of von Neumann algebras $(M_x)_{x \in X}$ and related structures. This includes the associated field $(\text{Aut}\ M_x)_{x \in X}$ of automorphism groups and more general measurable fields of Polish groups with actions on Polish spaces. Nevertheless, a fully rigorous and at the same time sufficiently broad and flexible theory of such Borel fields and measurable fields is not available in the literature. We fill this gap in this paper and include a few counterexamples to illustrate the subtlety: for instance, for a Borel field $(M_x)_{x \in X}$ of von Neumann algebras, the field of Polish groups $(\text{Aut}\ M_x)_{x \in X}$ need not be Borel.

Tensor free probability theory: asymptotic tensor freeness and central limit theorem

2025-04-02T14:46:17Z

Voiculescu's notion of asymptotic free independence applies to a wide range of random matrices, including those that are independent and unitarily invariant. In this work, we generalize this notion by considering random matrices with a tensor product structure that are invariant under the action of local unitary matrices. Assuming the existence of the \emph{tensor distribution} limit described by tuples of permutations, we show that an independent family of local unitary invariant random matrices satisfies asymptotically a novel form of freeness, which we term \emph{tensor freeness}. It can be defined via the vanishing of mixed \emph{tensor free cumulants}, allowing the joint tensor distribution of tensor free elements to be described in terms of that of individual elements. We present several applications of these results in the context of random matrices with a tensor product structure, such as partial transpositions of (local) unitarily invariant random matrices and tensor embeddings of random matrices. Furthermore, we propose a tensor free version of the central limit theorem, which extends and recovers several previous results for tensor products of free variables.

Spans of quantum-inequality projections

2025-04-02T13:57:34Z

A hereditarily atomic von Neumann algebra $A$ is a $W^*$ product of matrix algebras, regarded as the underlying function algebra of a quantum set. Projections in $A\overline{\otimes}A^{\circ}$ are interpreted as quantum binary relations on $A$, with the supremum of all $p\otimes (1-p)$ representing quantum inequality. We prove that the symmetrized weak$^*$-closed linear span of all such quantum-inequality projections is precisely the symmetric summand of the joint kernel of multiplication and opposite multiplication, a result valid without the symmetrization qualification for plain matrix algebras. The proof exploits the symmetries of the spaces involved under the compact unitary group of $A$, and related results include a classification of those von Neumann algebras (hereditarily atomic or not) for which the unitary group operates jointly continuously with respect to the weak$^*$ topology.

Homology of Steinberg algebras

2025-04-01T22:40:47Z

We study homological invariants of the Steinberg algebra $\mathcal{A}_k(\mathcal{G})$ of an ample groupoid $\mathcal{G}$ over a commutative ring $k$. For $\mathcal{G}$ principal or Hausdorff with ${\mathcal{G}}^{\rm{Iso}}\setminus{\mathcal{G}}^{(0)}$ discrete, we compute Hochschild and cyclic homology of $\mathcal{A}_k(\mathcal{G})$ in terms of groupoid homology. For any ample Hausdorff groupoid $\mathcal{G}$, we find that $H_*(\mathcal{G})$ is a direct summand of $HH_*(\mathcal{A}_k(\mathcal{G}))$; using this and the Dennis trace we obtain a map $\overline{D}_*:K_*(\mathcal{A}_k(\mathcal{G}))\to H_n(\mathcal{G},k)$. We study this map when $\mathcal{G}$ is the (twisted) Exel-Pardo groupoid associated to a self-similar action of a group $G$ on a graph, and compute $HH_*(\mathcal{A}_k(\mathcal{G}))$ and $H_*(\mathcal{G},k)$ in terms of the homology of $G$, and the $K$-theory of $\mathcal{A}_k(\mathcal{G})$ in terms of that of $k[G]$.

A character approach to the ISR property

2025-04-01T21:22:08Z

We develop a character approach to study the invariant von Neumann subalgebras rigidity property (abbreviated as the ISR property) introduced in Amrutam-Jiang's work. First, we introduce the non-factorizable regular character property for groups and show that this implies the ISR property for any infinite ICC groups with trivial amenable radical.Various examples are shown to have this property. Second, we apply known classification results on indecomposable characters to show approximately finite groups have the ISR property. Based on this approach, we also construct non-amenable groups with the ISR property while having non-trivial amenable radical or without the non-factorizable regular character property.

Covariant decomposable maps on C*-algebras and quantum dynamics

2025-04-01T20:32:52Z

We characterize covariant positive decomposable maps between unital C*-algebras in terms of a dilation theorem, which generalizes a seminal result by H. Scutaru from Rep. Math. Phys. 16 (1):79-87, 1979. As a case study, we provide a certain characterization of the operator sum representation of maps on $\mathbb{M}_n (\mathbb{C})$, covariant with respect to the maximal commutative subgroup of $\mathrm{U}(n)$. A connection to quantum dynamics is established by specifying sufficient and necessary conditions for covariance of D-divisible (decomposably divisible) quantum evolution families, recently introduced in J. Phys. A: Math. Theor. 56 (2023) 485202.