Amenability and comparison for étale groupoids with polynomial growth

2026-06-08T11:15:54Z

We show that any second-countable locally compact Hausdorff étale groupoid with polynomial growth is topologically amenable. If moreover the groupoid is compactly generated with compact and metrizable unit space, it has weak $m$-comparison. Thus if the groupoid is also ample and minimal, it satisfies Matui's AH-conjecture.

Spectral Truncation Kernels: Noncommutativity in $C^*$-algebraic Kernel Machines

2026-06-08T10:03:45Z

A central question in vector- and function-valued learning is how to design kernels that capture both local and non-local interactions while remaining computationally tractable. Existing operator-valued kernels offer only partial answers: separable kernels are efficient but fail to model interactions across the function domain, while commutative kernels capture only pointwise structure. To address this, we propose spectral truncation kernels, a new class of positive definite kernels for vector- and function-valued learning based on spectral truncation and $C^*$-algebra. By allowing noncommutative products in the kernel construction, the proposed kernels induce interactions across the data function domain and fill the gap between existing separable and commutative kernels. In addition, by using the $C^*$-algebraic framework, we reduce the computational cost compared to the existing vector-valued RKHS framework with operator-valued kernels.

The homotopy groups of the equivariant automorphism group of Kirchberg algebras with compact group actions and equivariant Dadarlat-Pennig theory

2026-06-08T08:46:30Z

In the first half of this paper, we describe the homotopy groups of the equivariant automorphism group of Kirchberg algebras with isometrically shift-absorbing actions of compact groups in terms of equivariant KK-theory. This provides an equivariant version of Dadarlat's result. In the second half, we present a unified treatment of the equivariant Dadarlat-Pennig theory for strongly self-absorbing actions.

Weak quasi-Hopf algebras, C*-tensor categories and conformal field theory, and the Kazhdan-Lusztig-Finkelberg theorem

2026-06-08T07:53:39Z

We develop Doplicher-Roberts quantum group duality program for the WZW model within the framework of vertex operator algebras. We establish that a weak quasi-fibre structure on a functor preserving a Drinfeld coboundary symmetry naturally extends a symmetric functor under permutation symmetry. Utilizing Wenzl's functor associated with the unitary quantum group fusion category, we construct a weak tensor structure, yielding a new class of unitary coboundary weak Hopf $C^*$-algebras for all Lie types and levels. Via a specialized Drinfeld twist and the Wenzl de-quantization curve, this structure is transported onto the Zhu algebra--which consequently becomes a unitary coboundary weak quasi-Hopf $C^*$-algebra with a 3-coboundary associator--providing a uniform, self-contained construction of unitary rigid braided tensor categories for categories of affine VOA modules at positive integer levels. Furthermore, we analyze the type A case via classification methods based on Kazhdan--Wenzl theory and our weak Hopf algebra framework, providing key insight into the determination of associativity from the braiding in the general case. We develop a cohomology theory for braided tensor categories with a generating object enabling a complete identification of our ribbon braided tensor structure with the constructions of Huang and Lepowsky for the classical Lie types and G_2, while bypassing their original reliance on the KZ equations and the Verlinde formula entirely. Our methods solve several long-standing problems: Galindo's question on the uniqueness of unitary tensor structures, Kirillov's conjecture on the positivity of a certain Hermitian form on the module category of an affine Lie algebra by Beilinson-Feigin-Mazur, the quantum group structure on the Zhu algebra sought by Frenkel and Zhu, and provide a direct proof of the Kazhdan-Lusztig-Finkelberg equivalence settling an open problem of Huang.

Characteristic Functions and Colligations

2026-06-08T06:29:27Z

The characteristic function of row contractions and the characteristic function of liftings of row contractions are multi-analytic operators which are complete invariants up to unitary equivalence for row contractions and liftings of row contractions, respectively. We provide alternate proofs for these properties of characteristic functions using colligations. Co-isometric observable colligations with certain class of basic operators are characterized. Blaschke factor based transformations of the characteristic function of lifting are studied.

Quasi-Product States and Factor Types for the One-Dimensional Hard-Core Model

2026-06-08T04:22:52Z

We study a quasi-product state associated with the one-dimensional hard-core Gibbs measure. After coding the model by the topological Markov chain, we construct the standard path $AF$-algebra of admissible hard-core words and show that the stationary Markov measure induces on it a faithful diagonal state in the sense of Evans. We then analyze the von Neumann algebra generated by the corresponding GNS representation. The resulting algebra is a hyperfinite factor, and its type is determined by the single parameter $κ=q/p^2,$ where $\begin{pmatrix}p&q\\ 1&0\end{pmatrix}$ is the transition matrix of the Markov chain. More precisely, the factor is of type $\mathrm{II}_1$ when $κ=1$, and of type $\mathrm{III}_ł$ with $ ł=\min\{κ,κ^{-1}\}$ for $\k\neq 1$. We also specify the centralizer and the weight flow for the resulting factor.

A new approach to strong convergence II. The classical ensembles

2026-06-06T17:55:42Z

The first paper in this series introduced a new approach to strong convergence of random matrices that is based primarily on soft arguments. This method was applied to achieve a refined qualitative and quantitative understanding of strong convergence of random permutation matrices and of more general representations of the symmetric group. In this paper, we introduce new ideas that make it possible to achieve stronger quantitative results and that facilitate the application of the method to new models. When applied to the Gaussian GUE/GOE/GSE ensembles of dimension $N$, these methods achieve strong convergence for noncommutative polynomials with matrix coefficients of dimension $\exp(o(N))$. This provides a sharp form of a result of Pisier on strong convergence with coefficients in a subexponential operator space. Analogous results up to logarithmic factors are obtained for Haar-distributed random matrices in $\mathrm{U}(N)/\mathrm{O}(N)/\mathrm{Sp}(N)$. We further illustrate the methods of this paper in the following applications. 1. We obtain improved rates for strong convergence of random permutations. 2. We obtain a quantitative form of strong convergence of the model introduced by Hayes for the solution of the Peterson-Thom conjecture. 3. We prove strong convergence of tensor GUE models of $Γ$-independence. 4. We prove strong convergence of irreducible representations of $\mathrm{U}(N)$ of dimension up to $\exp(N^{1/3-δ})$, improving a result of Magee and de la Salle.

Equivariant compactifications, trivial embeddability and finite type

2026-06-06T00:29:07Z

We characterize finite-type $\mathbb{G}$-principal $\mathbb{U}$-equivariant bundles on normal $\mathbb{U}$-spaces for compact Lie groups $\mathbb{U}$ and $\mathbb{G}$, in several ways, including (a) their extensibility across the $\mathbb{U}$-equivariant compactification $β_{\mathbb{U}}X$ and (b) their becoming finite-type upon extending the structure group along at least one $\mathbb{U}$-equivariant compact-Lie-group embedding $\mathbb{G}\le \mathbb{K}$. This generalizes non-equivariant results of Phillips and the author's characterizing finite-type matrix-algebra bundles, upon specializing $\mathbb{G}$ to projective unitary groups. When the $\mathbb{U}$-action on $X$ has virtually abelian isotropy, matrix-algebra equivariant bundles are also finite-type precisely when, locally over a finite open $\mathbb{U}$-cover, they are tensor factors of trivial matrix bundles. In a $K$-theoretic offshoot we prove that for $\mathbb{U}$-actions with finite isotropy groups on compact Hausdorff spaces $X$ equivariant vector bundles $\mathcal{E}\to X$ are factors of trivial bundles $K$-theoretically: there is a class $a\in K_{\mathbb{U}}(X)$ with $[\mathcal{E}]a$ the class of a bundle induced by a $\mathbb{U}$-representation (which furthermore can be chosen so as to restrict to isotropy groups to multiples of the regular representations). This generalizes a result of Donovan and Karoubi.

The hyperfinite II$_1$-factor is Ulam stable

2026-06-05T15:11:13Z

We prove Ulam stability of the hyperfinite II$_1$-factor with respect to the trace norm on the operator-norm unit ball. More precisely, every sufficiently additive, multiplicative, unital, $*$-preserving map from the hyperfinite II$_1$-factor-factor into a II$_1$-factor-factor von Neumann algebra is uniformly close, after passing to a small amplification of the target, to a genuine unital $*$-homomorphism. As a key finite-dimensional ingredient, we establish a dimension-free stability theorem for matrix algebras in the same trace-norm setting. As an application, we show that the hyperfinite II$_1$-factor is isolated among II$_1$-factors with respect to sufficiently accurate approximate $*$-isomorphisms.

Embeddings of $L^p$-operator algebras

2026-06-05T14:47:33Z

We study embeddings of $L^p$-operator algebras arising from (twis\-ted) étale groupoids, with particular emphasis on rigidity phenomena for $p\neq 2$. Our methods rely on a detailed analysis of core normalizers and their functorial behavior under algebra homomorphisms. Using the notion of actors between groupoids, we show that under natural hypotheses, embeddings between reduced $L^p$-groupoid algebras can be described entirely in terms of morphisms of the underlying groupoids. We further show that embeddings of $L^p$-groupoid algebras induce embeddings of the associated topological full groups. Our results provide new tools for studying embeddability questions in the $L^p$-setting, and are particularly helpful when ruling out the existence of embeddings. As applications, we obtain strong embeddability results both for spatial AF $L^p$-operator algebras and for tensor products of $L^p$-Cuntz algebras. For $p\not \in \{1,2\}$, a reduced $L^p$-groupoid algebra associated with a principal étale groupoid embeds into a spatial AF $L^p$-operator algebra if and only if the underlying groupoid is AF. In particular, and in contrast with classical results of Pimsner-Voiculescu, irrational $L^p$-noncommutative tori do not embed into spatial AF $L^p$-operator algebras for $p\neq 2$. Furthermore, if $p\neq 2$, there is no unital contractive homomorphism from $\mathcal{O}_2^p \otimes_p \mathcal{O}_2^p$ into $\mathcal{O}_2^p$, showing that there is no $L^p$-analog of Kirchberg's $\mathcal{O}_2$-embedding theorem.

The continuous functional calculus in Lean

2026-06-05T14:03:34Z

The continuous functional calculus is perhaps the most fundamental construction in the theory of operator algebras, especially $C^{*}$-algebras. Here we document our formalization of the continuous functional calculus in Lean, which constitutes the first such formalization in any proof assistant. Our implementation is already merged into Lean's mathematical library, Mathlib. We provide a brief introduction to the mathematical theory for those unfamiliar with the subject, and then highlight the design decisions in our formalization which proved to be important for usability. Our exposition is aimed at a general mathematical audience and provides a glimpse into the world of formalization by laying bare the discovery process.

The balanced structure on the category of representations of a conformal net

2026-06-05T13:07:16Z

Let $\mathcal{A}$ be a (not necessarily rational) conformal net. We show that the braided $\mathrm{W}^*$-tensor category $\text{Rep}(\mathcal{A})$ of representations of $\mathcal{A}$ is canonically a balanced $\mathrm{W}^*$-tensor category. The balance is given by the action of $e^{-2πi L_0}$, where $L_0$ denotes the generator of rotations on $S^1$. In arXiv:2606.03623, we generalize this result to the larger context of a group acting on $\mathcal{A}$. We provide here a more accessible proof for the case where no group is present.

$K$-theory of ghostly ideals for $\ell^p$-coarsely embeddable spaces

2026-06-05T12:58:07Z

Ghostly ideals are among the most mysterious objects in coarse index theory. In this paper, we show that if a metric space $X$ with bounded geometry admits a coarse embedding into an $\ell^p$-space ($1 \le p < \infty$), then the canonical inclusion from any geometric ideal to the corresponding ghostly ideal induces an isomorphism in $K$-theory. As consequences, we deduce that such spaces satisfy the relative coarse Baum-Connes conjectures, as well as the operator norm localization property for finite rank projections ($ONL_{\mathcal P_{Fin}}$).

Twisted representations of conformal nets and crossed balanced tensor categories

2026-06-05T12:20:57Z

Let $\mathcal{A}$ be a (not necessarily rational) conformal net with an action of a discrete group $G$. We show that the category $\text{Rep}^G(\mathcal{A})$ of $G$-twisted representations of $\mathcal{A}$ is canonically a $G$-crossed balanced $\mathrm{W}^*$-tensor category. This extends the results of Müger arXiv:math/0403322, in the language of localized endomorphisms, that $\text{Rep}^G(\mathcal{A})$ is a $G$-crossed braided tensor category.

Multipliers of Beurling-Fourier algebras

2026-06-04T19:48:07Z

For a locally compact group G we introduce and study the reduced Beurling-Fourier-Stieltjes algebra, a weighted analogue of the reduced Fourier-Stieltjes algebra, together with the algebra of completely bounded multipliers of the associated weighted Fourier algebra. We show, in particular, that these two algebras coincide when G is amenable. For a general locally compact group G, we identify them as subspaces of the reduced Fourier-Stieltjes algebra and of the space of functions that locally belong to the Fourier algebra, respectively. Furthermore, we establish sufficient conditions on the group and the weight under which the algebra of completely bounded multipliers of the weighted Fourier algebra embeds into its unweighted counterpart.