Inclusions of Fell bundles $\mathrm{C}^*$-algebras and coaction crossed products

2026-06-11T17:29:27Z

Let $p \colon \mathcal{A} \to G$ be a Fell bundle over a locally compact Hausdorff second countable groupoid $G$ equipped with a Haar system, and let $Γ$ be a discrete group. Given a continuous $1$-cocycle $c \colon G \to Γ$, we show that the $\mathrm{C}^*$-algebra of the restricted Fell bundle $\mathcal{A}|_{G_e}$ embeds isometrically into $\mathrm{C}^*(G;\mathcal{A})$, where $G_e = c^{-1}(e)$ is the clopen subgroupoid corresponding to the identity element. We exploit this embedding to show that $\mathrm{C}^*(G;\mathcal{A})$ admits a natural structure of a topologically graded $\mathrm{C}^*$-algebra in the sense of Exel. As a consequence, we obtain a canonical coaction $δ$ of $Γ$ on $\mathrm{C}^*(G; \mathcal{A})$. We further show that the associated coaction crossed product $\mathrm{C}^*(G; \mathcal{A})\rtimes_δΓ$ is naturally isomorphic to the $\mathrm{C}^*$-algebra of a Fell bundle constructed from the cocycle data.

Strict comparison holds in the uniform Roe algebra of a discrete amenable group

2026-06-11T17:24:39Z

Let $Γ$ be a countable discrete amenable group, and let $A=l^\infty(Γ) \rtimes Γ$. It is shown that if $a, b \in A \otimes \mathcal K$ are positive elements such that $$\mathrm{d}_τ(a) < \mathrm{d}_τ(b),\quad τ\in \mathrm{T}(A),$$ then $a$ is Cuntz subequivalent to $b$. Moreover, consider the universal minimal set $(M, Γ)$. The simple C*-algebra $\mathrm{C}(M)\rtimesΓ$ is shown to be AH in the strong sense that there is an increasing net of unital sub-C*-algebras $A_λ\subseteq A$, $λ\in Λ$, such that each $A_λ$ is a simple (separable) $\mathcal Z$-absorbing approximately homogeneous C*-algebra with real rank zero and $A = \bigcup_{λ\in Λ} A_λ$. In particular, $\mathrm{C}(M)\rtimesΓ$ is approximately divisible.

The Hao-Ng isomorphism theorem for reduced crossed products

2026-06-11T15:06:44Z

We prove the Hao-Ng isomorphism for reduced crossed products by locally compact Hausdorff groups. More precisely, for a non-degenerate $\mathrm{C}^*$-correspondence $X$ and a generalized gauge action $G \curvearrowright X$ by a locally compact Hausdorff group $G$, we prove the commutation ${\mathcal{O}}_{X\rtimes_rG}\cong {\mathcal{O}}_X\rtimes_rG$ of the reduced crossed product with the Cuntz-Pimsner C*-algebra construction. This is done by proving that the reduced crossed product of an operator algebra commutes with the C*-envelope, which relies on refined W*-dynamical covers of C*-dynamical systems, unitary implementation of W*-dynamical systems, and an operator-valued extension of Maharam's lifting theorem.

Non-commutative Law of iterated logarithm

2026-06-11T12:34:50Z

We prove optimal non-commutative analogues of the classical Law of Iterated Logarithm (LIL) for both martingales and sequences of independent (non-commutative) random variables. The classical martingale version was established by Stout [Sto70b] and the independent case by Hartman-Wintner [HW41]. Our approach relies on a key exponential inequality essentially due to Randrianantoanina [Ran24] that improves that from Junge and Zeng [JZ15]. It allows to derive an optimal non-commutative Stout-type LIL just as in [Zen15], from that martingale result we then deduce a non-commutative Hartman-Wintner type LIL for independent sequences of random variables.

Principal groupoid models for stable UCT Kirchberg algebras

2026-06-11T11:10:29Z

We show that every stable UCT Kirchberg algebra has a principal étale groupoid model, and thus contains a C$^*$-diagonal. Every unital UCT Kirchberg algebra $A$ for which $[1_A]_0$ has infinite order in $K_0(A)$ is also covered by our methods. In particular, we obtain a principal étale groupoid model for the Cuntz algebra $\mathcal{O}_\infty$.

Groupoid homology and K-theory for algebraic actions from number theory

2026-06-11T08:34:48Z

We compute the groupoid homology for the ample groupoids associated with algebraic actions from rings of algebraic integers and integral dynamics. We derive results for the homology of the topological full groups associated with rings of algebraic integers, and we use our groupoid homology calculation to compute the K-theory for ring C*-algebras of rings of algebraic integers, recovering the results of Cuntz and Li and of Li and Lück without using Cuntz-Li duality. Moreover, we compute the K-theory for C*-algebras attached to integral dynamics, resolving the conjecture by Barlak, Omland, and Stammeier in full generality.

An isomorphism theorem for infinite reduced free products

2026-06-11T06:10:32Z

Let C_1, C_2, ... be a sequence of separable unital C*-algebras, equipped with faithful tracial states and satisfying a mild condition. Let A be a unital direct limit of one dimensional NCCW complexes, also equipped with a faithful tracial state. Suppose there is a unital trace preserving embedding of A in the Jiang-Su algebra which is an isomorphism on K-theory. (For example, A could be C([0,1]) with Lebesgue measure, or the Jiang-Su algebra itself.) Let D be the infinite reduced free product of the algebras C_n. Then the reduced free product A*D is isomorphic to D. If D is exact and the factors satisfy a blockwise real rank zero condition, then in place of A we can use C(X) for any contractible compact metric space X and any faithful tracial state on C(X). An example consequence is that the reduced free product of infinitely many copies of C([0,1]), with Lebesgue measure, is isomorphic to the reduced free product of infinitely many copies of the Jiang-Su algebra.

Rapidly growing AF algebras

2026-06-11T03:54:15Z

We introduce certain families of AF algebras associated to Bratteli diagrams arising from numerical semigroup theory, a branch of combinatorics. Curry-Schoenberg B-splines, staples of computer-aided design, provide insight into the statistical properties of these algebras. This permits us to consider certain ensembles of "rapidly growing" AF algebras from a probabilistic viewpoint.

Boundary Cochains and the Toeplitz Index on the Half-Lattice

2026-06-10T23:44:23Z

We study the operator algebra of a rank-one boundary defect in a semi-infinite tight-binding chain, $T=U+\varepsilon E$ on $\ell^2(\mathbb{Z}_{\ge 0})$, with $U$ the forward unilateral shift and $E=\langle e_0,\cdot\rangle e_0$. The Lie algebra $\mathcal{A}=\mathrm{span}\{U^aE(U^*)^b,\,U^n\}$ has finitely supported, trace-zero commutators, the noncommutativity confined to the boundary and vanishing on the bulk. To each site we attach a $2$-cochain $ω_j(X,Y)=\langle e_j,[X,Y]e_j\rangle$; each is a Chevalley--Eilenberg coboundary, yet $H^2(\mathcal{A},\mathbb{C})$ is infinite-dimensional, carried by the abelian bulk and classifying the central extensions. On the polynomial Toeplitz algebra obtained by adjoining $U^*$, the total cochain $\sum_{j}ω_j(T_f,T_g)$ equals the symbol pairing $\frac{1}{2πi}\oint f\,dg$, which for conjugate symbols $g=1/f$ is the Fredholm index; the $ω_j$ thus form a site-resolved index density, $ω_j(U^n,(U^*)^n)=-\mathbf{1}_{\{j

Operators associated with a domain in $\mathbb C^4$ and applications

2026-06-10T18:45:13Z

The hexablock is a domain arising from a special case of the $μ$-synthesis problem. We study the commuting operator tuples having the hexablock as a spectral set. Such a tuple is called a hexablock-contraction or simply $\mathbb H$-contraction. We characterize the unitaries and isometries associated with $\mathbb H$-contractions. Two different types of dilation results for $\mathbb H$-contractions are obtained. We find connection of this theory with the operators associated with the symmetrized bidisc and tetrablock, two other domains related to the $μ$-synthesis problem.

On the universal commuting dilation constant

2026-06-10T17:31:19Z

The universal commuting dilation constant $C_d$ is the smallest constant $α$ such that every $d$-tuple of contractions dilates to a commuting $d$-tuple of normal operators with norm at most $α$. The work of several authors shows that $1.5438 \lesssim C_2 \leq 2$, and it has been asked on a few accounts whether $C_2 < 2$. We provide a positive answer that, in fact, produces a near optimal upper bound of $C_2 \leq \frac{2}{\sqrtφ}$ where $φ$ is the golden ratio. This tightens the gap on the universal commuting dilation constant to $1.5438 \lesssim C_2 \lesssim 1.5724$. We also tighten the known upper and lower bounds on $C_d$ for arbitrary $d$-tuples.

Schubert Calculus and uniform property $Γ$

2026-06-10T15:12:03Z

We construct a simple, separable, unital, nuclear C$^*$-algebra without uniform property $Γ$. The construction is based on a new topological obstruction arising from the Thom-Porteous theory of degeneracy loci. Constructions of pathological nuclear C$^*$-algebras over the past 30 years have used Chern class calculations introduced by Villadsen to obstruct the existence of large trivial subbundles. Here, by contrast, we use determinantal Schur classes to force every bundle map between certain equal-rank vector bundles to vanish somewhere on the base space. A quadratic Schubert calculus computation shows that this obstruction can persist across an inductive system and ultimately obstructs the comparison of projections by traces in the uniform tracial completion. The relevant Thom-Porteous classes live in degree proportional to the square of the forced rank loss, which in turn forces dimension growth of the same order in the constituent homogeneous C$^*$-algebras of our example. This identifies a new geometric threshold in the structure theory of nuclear C$^*$-algebras, linking the presence or absence of uniform property $Γ$ to quadratic dimension growth.

A non-locally trivial $\mathrm{W}^*$-bundle with fixed factorial fibres

2026-06-10T14:30:09Z

In this paper we construct the first example of a non-locally trivial $\mathrm{W}^*$-bundle whose fibres are all isomorphic to some fixed $\mathrm{II}_1$ factor. This is achieved by introducing a notion of uniformly having spectral gap for $\mathrm{W}^*$-bundles. For bundles with fixed factorial fibres, the negation of having this uniform spectral gap property provides an obstruction for being locally trivial. This results in seemingly elementary examples of $\mathrm{W}^*$-bundles whose fibres are all isomorphic to some fixed factor but that are not locally trivial, even over spaces with covering dimension equal to zero.

The Bishop--Phelps--Bollobás Property for Extremally Disconnected Ranges: Separable and Low-Density Domains

2026-06-10T13:44:08Z

We prove a Bishop--Phelps--Bollobás theorem for operators into spaces of continuous scalar-valued functions on extremally disconnected compact Hausdorff spaces over both the real and complex scalar fields. The main result applies whenever the density character of the domain is strictly smaller than the Baire number of the underlying compact space. The proof also yields an explicit quadratic Bishop--Phelps--Bollobás modulus. In particular, every separable Banach space paired with such a function space has the Bishop--Phelps--Bollobás property for operators.

Full Mealy automata, complete square complexes, and anti-tori

2026-06-10T10:26:19Z

To a full $m\times n$ Mealy automaton $A$ we associate a bijection $θ_A$, a one-vertex rank-two graph $F_{θ_A}$, and a one-vertex $VH$-square complex $Y_A$ tiled by $mn$ Wang tiles. We prove that $Y_A$ contains an anti-torus if and only if $A$ is bi-reversible and $F_{θ_A}$ is aperiodic. The two hypotheses are independent and play disjoint roles: bi-reversibility is exactly what makes $Y_A$ a complete square complex, so that its universal cover splits as a product of two trees and anti-tori can be discussed at all; and, within that setting, an anti-torus is precisely a period-free configuration in the two-sided path space of $F_{θ_A}$, whose existence is the aperiodicity condition. Working at the level of configurations removes any appeal to the geometry of products of trees from the main equivalence; the geometric (loop-spanned) form of Wise is shown to be strictly stronger, the lamplighter being aperiodic with no loop-spanned anti-torus.