https://arxiv.org/api/9R+b4mTEdaeckPLORaRoxetLJ3o 2026-06-20T18:14:08Z 14259 375 15 http://arxiv.org/abs/2512.01325v2 2026-04-07T14:00:21Z

We study a question of Matui and varations of it on minimal ample groupoids that are neither almost finite nor purely infinite. We first observe that there are already effective minimal ample transformation groupoids that are neither almost finite nor purely infinite. These groupoids can even be chosen to be amenable. Then we construct essentially principle ample groupoids that are neither almost finite nor purely infinite. These are based on the recent twisted topological groupoid construction of Palmer and Wu. In particular our new examples do not arise from transformation groupoids.

2025-12-01T06:28:33Z Added discussions on when our groupoids are isomorphic to transformation groupoids. Final version. To appear at J. Topol. Anal Xiaolei Wu Mengfei Zhao Xin Ma http://arxiv.org/abs/2410.16480v2 2026-04-07T13:41:48Z

We consider inclusions $\mathcal{S}\leq \mathcal{R}$ of discrete, probability measure-preserving orbit equivalence relations. In previous work with Abért-Fraçzyk, we established the pointwise almost sure existence of the cospectral radius of a random walk on the $\mathcal{R}$-classes. In this paper, we investigate the connections of this cospectral radius to the coamenability of the inclusion $\mathcal{S}\leq \mathcal{R}$. We also undertake a systematic study of coamenability for inclusions of relations, establishing several equivalence formulations of this notion.

2024-10-21T20:11:05Z 57 pages. No figures. Numerous edits, updated discussion on open problem on coamenability versus cohyperfiniteness, and generalized Proposition 7.2. Comments welcome! Ben Hayes http://arxiv.org/abs/2512.10018v2 2026-04-07T12:26:05Z

We prove a sharp, quantitative analogue of Helgason's conjecture at the level of distributions: For a semisimple Lie group $G$ of real rank one, Poisson transforms map a Sobolev space on $P\backslash G$ boundedly with closed range to an $L^2$-space on $K\backslash G$. The result is obtained for the Poisson transform studied by Knapp-Wallach under the name Szegö map, and the appropriate Sobolev spaces are defined using van Erp-Yuncken's Heisenberg calculus. The proof generalizes to show that commutators of this Poisson transform with smooth functions on the Furstenberg compactification are compact. This proves the remaining open conjecture in Julg's seminal program to establish the Baum-Connes conjecture for closed subgroups of semisimple Lie groups of real rank one.

2025-12-10T19:11:31Z 41 pages, v2: examples improved Heiko Gimperlein Magnus Goffeng http://arxiv.org/abs/2508.17516v2 2026-04-07T03:55:19Z

We initiate the study of the Stone-Čech transformation groupoid $\mathcal{G} = \mathcal{S}\ltimesβ\mathcal{S}$ of an inverse semigroup $\mathcal{S}$. We prove that the properties of being Hausdorff, principal, and effective are all equivalent for $\mathcal{G}$, and give an algebraic condition on $\mathcal{S}$ equivalent to the Hausdorffness of $\mathcal{G}$. We show that the Hausdorffness of Exel's tight groupoid $\mathcal{G}_{\text{tight}}(\mathcal{S})$ is necessary for the Hausdorffness of $\mathcal{G}$. Finally, we clarify the connection between several crossed product constructions involving this groupoid, and show that when it is Hausdorff and $\mathcal{S}$ has the Property (FL) of Lledó and Martínez, then $\mathcal{G}$ is amenable if and only if the reduced C$^*$-algebra $\text{C}^*_r(\mathcal{S})$ is exact.

2025-08-24T20:43:15Z Revision following referee report: several minor changes and a major revision to the discussions around reduced crossed products and exactness. These have resulted in improvements to the presentation of the paper and a new section with corrected results. Abstract adjusted accordingly Joseph P. Z. Gondek Charles Starling http://arxiv.org/abs/2604.02117v2 2026-04-06T16:45:24Z

Building off work of Farenick and Rahaman, we extend the definition of the density space and the Bures metric to the setting of non-unital C*-algebras equipped with a faithful trace and prove that the Bures metric is also a metric in this case and show that its topology is weaker than the topology induced by the C*-norm. Furthermore, we prove a Heine-Borel type theorem for C*-algebras and the density space. In particular, we prove that for any C*-algebra (unital or non-unital) equipped with a faithful trace, the density space equipped with the Bures metric topology is not compact if and only if the C*-algebra is infinite dimensional. We also exhibit several examples of sequences that have no converging sequence in the unital and non-unital case including both commutative and noncommutative C*-algebras. Next, building off work from some of the authors, we extend the definition of the quantum metric on the density space to the non-unital C*-algebra case by introducing the notion of a quantum Lipschitz triple, which form a subclass of quantum locally compact metric spaces of Latrémolière that utilize Rieffel's notion of a quantum metric (we also introduce new classes of quantum locally compact metric spaces that include certain noncommutative homogeneous C*-algebras). Furthermore, we prove that this quantum metric topology is weaker than the topology of the one induced by the C*-norm and finish the article with an analysis of matrix-valued functions on the quantized interval, which provides commutative and noncommuataive examples where the quantum metric topology on the density space is not compact and is not uniformly equivalent to both the Bures metric and the metric induced by the C*-norm.

2026-04-02T14:51:58Z 40 pages, 3 figures Konrad Aguilar Karina Behera Katrine von Bornemann Hjelmborg Tron Omland Gregory Wickham Nicole Wu Adam M. Yassine http://arxiv.org/abs/2604.04835v1 2026-04-06T16:35:59Z

A countable discrete group $Γ$ is said to have the relative ISR-property if for every non-trivial normal subgroup $N\trianglelefteqΓ$ and every von Neumann subalgebra $\mathcal{M}\subseteq L(Γ)$ invariant under conjugation by $N$, one has $\mathcal{M}=L(K)$ for some subgroup $K\leΓ$. Similarly, $Γ$ has the relative $C^*$-ISR-property if every $N$-invariant unital $C^*$-subalgebra $\mathcal{A} \subseteq C_r^*(Γ)$ is of the form $C_r^*(K)$. We show that every torsion-free acylindrically hyperbolic group with trivial amenable radical satisfies the relative ISR property. Moreover, we also show that all torsion-free hyperbolic groups have the relative $C^*$-ISR property. Furthermore, we establish an analogous relative ISR-property for irreducible lattices in higher-rank semisimple Lie groups, such as $\mathrm{SL}_d(\mathbb{Z})$ ($d \geq 3$), with trivial center.

2026-04-06T16:35:59Z 24 pages; preliminary version. Comments are welcome Tattwamasi Amrutam http://arxiv.org/abs/2602.08348v3 2026-04-06T14:14:12Z

Our recent approach to the Finkelberg-Kazhdan-Lusztig equivalence theorem centers on the construction of a fiber functor associated with the categories in the equivalence theorem, which in turn explains the underlying algebraic and analytic structure of the corresponding weak Hopf algebra in a new sense. We provide a non-technical and historical overview of the core arguments behind our proof, discuss these structural properties, and its applications to rigidity and unitarizability of braided fusion categories arising from conformal field theory. We conclude proposing some natural directions for future research.

2026-02-09T07:32:05Z 32 pages, comments are welcome. In v3 we have added more historical remarks and references Claudia Pinzari http://arxiv.org/abs/2604.04697v1 2026-04-06T14:06:52Z

We show that the gauge-invariant ideal parametrisation results of the author and Kakariadis are in agreement with those of Bilich in the case of a proper product system over $\mathbb{Z}_+^d$. This is accomplished in two ways: first via the use of Nica-covariant representations and Gauge-Invariant Uniqueness Theorems (the indirect route), and second via the definitions of the parametrising objects alone (the direct route). We then apply our findings to simplify the main parametrisation result of the author and Kakariadis in the proper case, thereby fully describing the gauge-invariant ideal structure of each equivariant quotient of the Toeplitz-Nica-Pimsner algebra. We close by providing applications in the contexts of C*-dynamical systems and row-finite higher-rank graphs.

2026-04-06T14:06:52Z 35 pages. arXiv admin note: substantial text overlap with arXiv:2310.04175 Joseph A. Dessi http://arxiv.org/abs/2604.04663v1 2026-04-06T13:15:57Z

Let $(A,G,α)$ be a partial dynamical system and let $A\rtimes_{α,r} G$ denote the associated reduced partial crossed product. In this article, we introduce the Haagerup property for partial actions of discrete groups on $C^*$-algebras. We prove that the partial crossed product $A\rtimes_{α,r} G$ has the Haagerup property if and only if both $A$ and the partial action $α$ have the Haagerup property. As a consequence, we obtain an equivalence between the Haagerup property of the partial crossed product and that of the underlying $C^*$-algebra and the acting group. We also show that the Haagerup property is preserved under inductive limits and apply this result to study the Haagerup property of inductive limits of partial crossed products.

2026-04-06T13:15:57Z 10 pages Md Amir Hossain Chaitanya J. Kulkarni 10.1017/S0004972726101488 http://arxiv.org/abs/2604.04597v1 2026-04-06T11:21:44Z

We give a general methodology for constructing split exact sequences of amplified graph C*-algebras with sinks. This in turn allows us to construct explicit KK-equivalences with $\mathbb{C}^N$ for a large class of C*-algebras, including the quantum Grassmannian $\mathrm{Gr}_q(2,4)$. We discuss compatibility with known (quantum) CW-constructions and give an explicit KK-equivalence between the classical and quantum projective spaces $\mathbb{C}P^1$ and $\mathbb{C}P_q^1$.

2026-04-06T11:21:44Z Jesse Reimann Sophie Emma Zegers http://arxiv.org/abs/2603.23157v2 2026-04-06T09:49:08Z

A universal category-theoretical characterization of groupoid equivariant $KK^G$-theory for ${\mathbb{Z}}_2$-graded $C^*$-algebras is established, by observing the ``$KK$-axiom'' that for each $[s,{\cal E} \oplus B, \mathbb{F}] \in KK^G(A,B)$, the `corner-embedding' $*$-homomorphism ${\bf j}: B \rightarrow {\sf cl} \big({\cal K}_B({\cal E} \oplus B) + s(A) + \mathbb{F} \cdot s(A) \big)$ is invertible in $KK^G$. This $KK$-axiom and homotopy-invariance characterize graded $KK^G$-theory universally and completely, thus directly extending the well-known characterization of $KK$-theory for ungraded $C^*$-algebras via stability, homotopy invariance and splitexactness by Higson.

2026-03-24T12:58:34Z Attention, the paper is wrong! Unfortunately, I made a sign mistake at one position in the paper, namely, I overlooked that because the commutator is graded, [ F s(a), F] has an opposite sign in the difference than [ s(a), F], and so a used Kasparov element [ id_X, J, F] is unjustified. This is already obvious in Definition 4.1.(ii) Bernhard Burgstaller http://arxiv.org/abs/2604.04397v1 2026-04-06T03:57:01Z

We define possibly unsaturated, upper semicontinuous Fell bundles over Hausdorff, locally compact groupoids and establish a universal property for representations of their full section C*-algebras on Hilbert modules over arbitrary C*-algebras. Based on this, we prove that the full section C*-algebra is functorial and exact, and we define a quasi-orbit space and a quasi-orbit map. We deduce and extend Renault's Integration and Disintegration Theorems to general Fell bundles using our universal property.

2026-04-06T03:57:01Z 95 pages Alcides Buss Rohit Holkar Ralf Meyer http://arxiv.org/abs/2604.04248v1 2026-04-05T20:10:16Z

Let $A$ be a unital $C^*$-algebra and $H$ a Hilbert space. The cone $\CP(A,B(H))$ of completely positive maps carries the Bures metric $β$, closely related to the cb-norm. We introduce a family of Bures--Kuratowski (BK) metrics on $\CB(A,B(H))$ that extend $β$ exactly on $\CP(A,B(H))$. The construction combines a Kuratowski embedding of the Bures cone, based at an anchor $θ\in\CP(A,B(H))$, with a regular-representation Hausdorff coordinate arising from universal regular models. Each BK metric admits an $\ell^p$-wedge decomposition, splitting $\CB(A,B(H))$ into the Bures cone and a non-CP component attached at $θ$. We then study Vietoris--Rips and Čech complexes of BK metric spaces. The wedge formula yields explicit criteria for mixed simplices, a join-type description of the mixed Rips complex, and ball-intersection criteria for mixed Čech simplices. For finite point clouds, this makes the mixed simplicial geometry computable from the two component metrics and reveals new homological features arising from the interaction between the CP and non-CP sectors.

2026-04-05T20:10:16Z 4 figures Remus Floricel Sarah Plosker Avner Sadikov http://arxiv.org/abs/2601.01208v2 2026-04-05T15:21:53Z

We prove that continuous spectrum- and commutativity-preserving maps to $\mathcal{M}_n(\mathbb{C})$ from the space of normal (real or complex) $n\times n$, $n\ge 3$ matrices with spectra contained in a given continuous-injection interval image $Λ\subseteq \mathbb{C}$ or $\mathbb{R}$ are (a) conjugations; (b) transpose conjugations, or (c) orderings of spectra according to an orientation of $Λ$, with fixed eigenspaces. This generalizes results of Petek's (self-maps of real or complex Hermitian matrices) and the author's (complex Hermitian matrices as the domain, $\mathcal{M}_n(\mathbb{C})$ as the codomain). An application rules out possibility (c) for normal matrices with spectra constrained to a simple closed curve, extending a result by the author, Gogić and Tomašević to the effect that continuous commutativity and spectrum preservers on unitary groups are (transpose) conjugations. The involution preserving eigenspaces and complex-conjugating eigenvalues is a novel possibility beyond (a), (b) and (c) if the domain consists of all semisimple operators with $Λ$-bound spectra instead; its continuity (or lack thereof) and whether or not that map furthermore extends continuously to arbitrary $Λ$-constrained-spectrum matrices hinge on the geometry and regularity of $Λ$.

2026-01-03T15:25:13Z v2 fixes two erroneous citations; 11 pages + references Alexandru Chirvasitu http://arxiv.org/abs/2311.13651v2 2026-04-05T15:20:02Z

We study an operator-valued generalization of the Haagerup inequality for Gromov hyperbolic groups. In 1978, U. Haagerup showed that if $f$ is a function on the free group $\mathbb{F}_r$ which is supported on the $k$-sphere $S_k=\{x\in \mathbb{F}_r:\ell(x)=k\}$, then the operator norm of its left regular representation is bounded by $(k+1)\|f\|_2$. An operator-valued generalization of it was started by U. Haagerup and G. Pisier. One of the most complete form was given by A. Buchholz, where the $\ell^2$-norm in the original inequality was replaced by $k+1$ different matrix norms associated to word decompositions (this type of inequality is also called Khintchine-type inequality). We provide a generalization of Buchholz's result for hyperbolic groups.

2023-11-22T19:05:42Z 7 pages Ryo Toyota Zhiyuan Yang