$H_0(C_c(\mathcal{G}_\bullet,\mathbb{Z}))\neq H_0^{\mathrm{sing}}(B\mathcal{G};\mathbb{Z})$ for the Cantor unit groupoid

2026-02-13T16:54:57Z

For an ample groupoid $\mathcal{G}$, Matui type groupoid homology is computed from the nerve $\mathcal{G}_\bullet$ via Moore chains $C_c(\mathcal{G}_n,\mathbb{Z})$ and the alternating sum of pushforwards along the face maps. We give an explicit example showing that this homology need not agree with singular homology of the classifying space $B\mathcal{G}$. The discrepancy occurs already in degree $0$ for the unit groupoid on the Cantor set.

A category of quantum posets

2026-02-13T15:28:03Z

We investigate a category of quantum posets that generalizes the category of posets and monotone functions. Up to equivalence, its objects are hereditarily atomic von Neumann algebras equipped with quantum partial orders in Weaver's sense. We show that this category is complete, cocomplete and symmetric monoidal closed. As a consequence, any discrete quantum family of maps in Sołtan's sense from a discrete quantum space to a partially ordered set is canonically equipped with quantum preorder in Weaver's sense. In particular, the quantum power set of a quantum set is so ordered. As an application, we show that each quantum poset embeds into its quantum power set.

Quantum graphs and spin models

2026-02-13T13:48:50Z

We quantize the regularity properties of classical graphs that determine spin models for singly-generated Yang-Baxter planar algebras, including the Kauffman polynomial, and construct explicit examples. A source of examples comes from deforming graphs using higher-idempotent splittings of quantum isomorphisms for which we prove that the relevant algebraic, combinatorial, and topological properties of the original graphs are preserved along with the quantum automorphism group. We also obtain exotic examples of highly regular quantum graphs using the quantum Fourier transform and a method of iterated convolution. Our examples include quantum versions of the strongly regular $9$-Paley, $16$-Clebsch and the Higman-Sims graphs, yielding new models for their regularity parameters. As applications, we construct a compact quantum group that is monoidally equivalent to $SO_q(5)$ at the square of the golden ratio, whose dual is infinite with property (T), and exhibit a highly-regular quantum graph with no classical analogue. Finally, we introduce quantum spin models, construct explicit examples and make contact with quantum Hadamard matrices.

A Note on Pseudofinite W*-Probability Spaces

2026-02-13T10:26:29Z

We introduce pseudofinite W*-probability spaces. These are W*-probability spaces that are elementarily equivalent to Ocneanu ultraproducts of finite-dimensional von Neumann algebras equipped with arbitrary faithful normal states. We are particularly interested in the case where these finite-dimensional von Neumann algebras are full matrix algebras: the pseudofinite factors. We show that these are indeed factors. We see as a consequence that pseudofinite factors are never of type $\mathrm{III}_0$. Mimicking the construction of the Powers factors, we give explicit families of examples of matrix algebra ultraproducts that are $\mathrm{III}_λ$ factors for $λ\in (0,1]$. We show that these examples share their universal theories with the corresponding Powers factor and thus have uncomputable universal theories. Finally, we show that pseudofinite factors are full. This generalizes a theorem of Farah-Hart-Sherman which shows that pseudofinite tracial factors do not have property $Γ$. It has the consequence that hyperfinite factors of type $\mathrm{III}$ (the Powers factors) are never pseudofinite. Our proofs combine operator algebraic insights with routine continuous logic syntactic arguments: using Łos' theorem to prove that certain sentences which are true for all matrix algebras are inherited by their ultraproducts.

An extreme boundary of acylindrically hyperbolic groups

2026-02-13T02:28:20Z

We prove that every acylindrically hyperbolic group admits a minimal and extremely proximal action on a compact metrizable space. If there are no nontrivial finite normal subgroups, then the action is topologically free. This answers positively a question of Ozawa and the applications to $C^\ast$-algebras are discussed.

Selfless reduced $C^{*}$-algebras of linear groups

2026-02-13T01:57:10Z

It is shown that the reduced C*-algebra of a nontrivial linear group $Γ

Topological Classification of Insulators: III. Non-interacting Spectrally-Gapped Systems in All Dimensions

2026-02-13T01:30:28Z

We study non-interacting electrons in disordered materials which exhibit a spectral gap, in each of the ten Altland-Zirnbauer symmetry classes, in all space dimensions. We define an appropriate space of Hamiltonians and a topology on it so that the so-called strong topological invariants become complete invariants yielding the Kitaev periodic table, but now derived as the set of path-connected components of the space of Hamiltonians, rather than as $K$-theory groups. We thus confirm the conjecture regarding a one-to-one correspondence between topological phases of gapped non-interacting systems and the respective Abelian groups $\{0\},\mathbb{Z},2\mathbb{Z},\mathbb{Z}_2$ in the spectral gap regime. We do this by providing the appropriate notion of locality, as well as a novel, so-called bulk non-triviality, which together reproduce the Kitaev table. Once the natural definitions are identified, the main technical achievement is lifting $K$-theory calculations to $π_0$ of unitaries and projections.

$C^*$-simplicity and boundary actions of discrete quantum groups

2026-02-12T21:37:13Z

We introduce and investigate several quantum group dynamical notions for the purpose of studying $C^*$-simplicity of discrete quantum groups via the theory of boundary actions. In particular we define a quantum analogue of Powers' Averaging Property (PAP) and a quantum analogue of strongly faithful actions. We show that our quantum PAP implies $C^*$-simplicity and the uniqueness of $σ$-KMS states, and that the existence of a strongly $C^*$-faithful quantum boundary action also implies $C^*$-simplicity and, in the unimodular case, the quantum PAP. We illustrate these results in the case of the unitary free quantum groups $\mathbb{F} U_F$ by showing that they satisfy the quantum PAP and that they act strongly $C^*$-faithfully on their quantum Gromov boundary. Moreover we prove that this particular action of $\mathbb{F} U_F$ is a quantum boundary action.

Trace arithmetic--$κ_p$ inequality

2026-02-12T13:22:26Z

Let $\mathcal{A}$ be a unital $C^\ast$-algebra equipped with a faithful tracial positive linear functional $τ$. Denote by $\mathcal{A}_+$ its positive cone. For $p>0$ and $A,B\in\mathcal{A}_+$, we consider the operations $$ Aκ_p B := \bigl(A^{p/4} B^{p/2} A^{p/4}\bigr)^{1/p}, \qquad A\nabla B := \frac{A+B}{2}. $$ We prove that, for all $p>0$ and all $A,B\in\mathcal{A}_+$, $$ τ(Aκ_p B)\le \sqrt{τ(A)τ(B)}\le τ(A\nabla B), $$ thereby answering \cite[Problem~1]{KM24}, posed by Á.~Komálovics and L.~Molnár, in the affirmative. We also record a unitarily invariant norm analogue of the key estimate in the matrix case, and we provide explicit $2\times2$ counterexamples showing that the triangle inequality for $d_p$ may fail when $0

Strong convergence of random representations of free products of finite groups

2026-02-12T13:04:30Z

We extend the polynomial method of Chen--Garza-Vargas--Tropp--van Handel and Magee--Puder--van Handel for operator-norm bounds in random permutation models to the setting where torsion is present. The main new feature is that asymptotic expansion of traces naturally involves fractional powers of $N$ rather than an ordinary Laurent series. We formulate fractional-power analogues of the method's key hypotheses and prove they lead to strong convergence. We verify these analogues for free products of finite groups $Γ=G_1*\cdots*G_m$. Concretely, for a uniformly random $φ_N\in{\rm hom}(Γ,{\rm Sym}(N))$, set $π_N = {\rm std} \circ φ_N$, where ${\rm std}$ denotes the standard $(N-1)$-dimensional representation of ${\rm Sym}(N)$ (the permutation representation with the trivial subrepresentation removed). We deduce strong convergence of $π_N$ to the left regular representation of $Γ$. As applications, we obtain asymptotically sharp spectral gaps for the associated random Schreier graphs, including almost Ramanujan behavior for $C_2*C_2*C_2$ and an explicit non-Ramanujan limiting spectral radius for $C_2*C_3 \cong {\rm PSL}_2({\bf Z})$.

Rokhlin Dimension and Inductive Limit Actions on AF-algebras

2026-02-12T12:43:22Z

Given a separable, AF-algebra A and an inductive limit action on A of a finitely generated abelian group with finite Rokhlin dimension with commuting towers, we give a local description of the associated crossed product C*-algebra. In particular, when A is unital and $α\in Aut(A)$ is approximately inner and has the Rokhlin property, we conclude that $A \rtimes_α \mathbb{Z}$ is an A$\mathbb{T}$-algebra.

A family of matrix flows converging to normal matrices

2026-02-12T11:28:32Z

The celebrated Antezana-Pujals-Stojanoff Theorem states that the iterated Aluthge transforms of an arbitrary matrix converge to a normal matrix. We introduce a family of matrix flows that share this convergence property by defining them through ordinary differential equations. The family includes a continuous analogue of the Aluthge transform, as well as a differential equation discussed by Haagerup in the context of II$_1$ factors. We also examine the same type of flows in the setting of Hilbert space operators equipped with unitarily invariant norms.

Amenable unitary representations of locally compact groupoids

2026-02-12T08:52:18Z

Let $G$ be a second countable locally compact groupoid equipped with a Haar system $λ$.In this work, we introduce and develop the notion of amenability for continuous unitary representations of $G$, formulated in terms of Hilbert bundles over the unit space $G^{0}$. We prove that $G$ is amenable if and only if its left regular representation is amenable, thereby extending Bekka's characterisation of amenable unitary representations from groups to groupoids. We further investigate the amenability of induced representations of $G$ and also study the representation of properly amenable groupoids. Finally, we define a topological invariant mean associated with a representation, constructed by utilising the theory of operator-valued vector measures on the unit space $G^{0}$, to characterise amenability.

Finite de Finetti theorems for free easy quantum groups

2026-02-12T01:33:11Z

We prove various finite de Finetti theorems for non-commutative distributions which are invariant under the free easy quantum group actions. This complements the free de Finetti theorems by Banica, Curran and Speicher, which mostly focus on infinite sequences. We also discuss some refined results for the infinite setting.

Gröbner bases of Burchnall-Chaundy ideals for ordinary differential operators

2026-02-11T22:10:54Z

The correspondence between commutative rings of ordinary differential operators (ODOs) and algebraic curves was established by Burchnall and Chaundy, Krichever and Mumford, among many others. To make this correspondence computationally effective, in this paper we aim to compute the defining ideals of spectral curves, Burchnall-Chaundy (BC) ideals. We provide an algorithm to compute a Gröbner basis of a BC ideal. The point of departure is the computation of the finite set of generators of a maximal commutative ring of ODOs, which was implemented by the authors in the package dalgebra of SageMath. The algorithm to compute BC ideals has been also implemented in dalgebra. The differential Galois theory of the corresponding spectral problems, linear differential equations with parameters, would benefit from the computation on this prime ideal, generated by constant coefficient polynomials. In particular, we prove the primality of the differential ideal generated by a BC ideal, after extending the coefficient field. This is a fundamental result to develop Picard-Vessiot theory for spectral problems.