Freely infinitely divisible $R$-diagonal elements and Brown measure

2026-05-25T05:17:10Z

We study freely infinitely divisible $R$-diagonal elements in the unbounded setting and Brown measures for free additive perturbations by such elements. This class includes circular elements, circular Cauchy elements, and other previously studied $R$-diagonal models. We construct examples and prove stability under several algebraic operations, including homogeneous noncommutative polynomials in bounded, freely independent elements from this class. Using results for general $R$-diagonal perturbations, together with several analytic estimates specific to freely infinitely divisible $R$-diagonal elements, we prove that, in the bounded case, the support of the Brown measure coincides with the spectrum, and we obtain a criterion for property (H) in this non-normal setting. Finally, we study the free convolution semigroup associated with the symmetrized law of the modulus and derive a Hamilton--Jacobi equation for the regularized logarithmic potential.

Advanced linear algebra

2026-05-24T19:02:59Z

This is an introduction to advanced linear algebra, with emphasis on geometric aspects, and with some applications included too. We first review basic linear algebra, notably with the spectral theorem in its general form, and with the theory of the resultant and discriminant. Then we discuss the Jordan form and its basic applications to physics, and other advanced decomposition results for the matrices. We then go into positivity topics, involving matrices and bilinear forms, and with a look into curved space-time, and discrete Laplacians. Finally, we discuss the various groups of matrices, with a look at reflection groups, Lie groups, spin matrices and random matrices.

Nuclear Dimension and Rigidity Results for Virtually Abelian Groups

2026-05-24T03:44:26Z

Let $G$ be a finitely generated virtually abelian group. We show that the Hirsch length, $h(G)$, is equal to the nuclear dimension of its group $C^*$-algebra, $\dim_{nuc}(C^*(G))$. We then specialize our attention to a generalization of crystallographic groups dubbed \textit{crystal-like}. We demonstrate that in this scenario a \textit{point group} is well defined and the order of this point group is preserved by $C^*$-isomorphism. We close by using these tools to demonstrate that crystallographic (as a group property) is preserved by $C^*$-isomorphism. These three tools combine to prove that $2D$ crystallographic groups are $C^*$-superrigid.

On the Shirshov--Cohn theorem for JB-algebras

2026-05-23T06:42:39Z

It is shown that a JB-algebra which can be generated by the union of two of its associative Jordan subalgebras is a JC-algebra, hence special. A similar refinement of Macdonald's principle for JB-algebras is obtained. Moreover, we prove that the free unital JB-algebra generated by $n$ projections is a JC-algebra if and only if $n\in \{1,2,3\}$. Finally, we give an explicit description of the free unital JB-algebra generated by two projections paralleling the Raeburn-Sinclair theorem for C*-algebras.

Spectral constants for the quantum annulus

2026-05-22T17:08:57Z

We find several new estimates for the spectral constants $K(\mathbb A_r)$ for which a closed annulus $\overline{\mathbb A}_r$ or closed polyannulus $\overline{\mathbb A}^n_r$ is a $K$-spectral set for operators in the quantum annulus $\mathbb Q \mathbb A_r$. We give two alternative proofs to an existing estimate of spectral constant. The first proof capitalizes a dilation theorem due to McCullough and Pascoe, while the second proof involves a certain variety in the Euclidean biball. For commuting and doubly commuting operators in $\mathbb Q \mathbb A_r$, we find upper and lower bounds for the smallest spectral constants.

Tensorial Permanence of $K$-Stability for Diagonal AH-Algebras

2026-05-22T16:00:56Z

We study $K$-stability for tensor products of diagonal AH-algebras with arbitrary C*-algebras. Our main result provides a characterization of $K$-stability: for a diagonal AH-algebra $A = \varinjlim (A_i, \varphi_i)$, $A \otimes B$ is $K$-stable for every C*-algebra $B$ if and only if the sizes of the matrix blocks in the inductive system grow without bound. As applications, we show that non-$\mathcal{Z}$-stable Villadsen algebras of the first kind are $K$-stable when tensored with any C*-algebra. Moreover, any simple, unital, infinite-dimensional diagonal AH-algebra automatically satisfies this growth condition, and therefore its tensor product with arbitrary C*-algebras is always $K$-stable.

On Similarity Structure Groups and their W$^$ and C$^$-Algebras

2026-05-22T15:12:01Z

Countable Similarity Structure (CSS) groups are a class of generalized Thompson groups essentially introduced by Hughes. In this paper, we study CSS$^*$ groups, a subclass that includes the Higman-Thompson groups $V_{d,r}$, the countable Röver-Nekrashevych groups $V_d(G)$, and the topological full groups of subshifts of finite type of Matui. We prove that many CSS$^*$ groups give rise to prime group von Neumann algebras, greatly expanding the class of groups satisfying the result of the second named author, de Santiago, and Khan. In the process, we also prove that many CSS$^*$ groups are non-inner amenable and properly proximal. We then prove CSS$^*$ groups are either $C^*$-simple with a simple commutator subgroup, or lack both properties. This extends $C^*$-simplicity results of Le Boudec and Matte Bon and recovers the simple commutator subgroup results of Bleak, Elliott, and Hyde. Lastly, we observe that CSS$^*$ groups are not acylindrically hyperbolic, motivating the need to prove many of these results by other methods.

The ideal structure of Exel-Pardo algebras and their higher rank analogues

2026-05-22T15:07:06Z

Given a pseudo-free self-similar action of a countable group $G$ on a countable directed graph $E$ with amenable stabilizers of the vertices, we identify the exact conditions under which these stabilizers do not contribute to the ideal structure of the corresponding Exel-Pardo algebra $\mathcal{O}_{G,E}$. Under these conditions, we give a complete description of the primitive ideal space of $\mathcal{O}_{G,E}$ in graph-theoretic terms. Our results apply in particular to certain crossed products $\mathcal{O}_E\rtimes G$, where $G$ acts on $E$ by graph automorphisms. When $G$ is trivial, this recovers Hong-Szymanski's description of the ideal structure of the Cuntz-Krieger algebras $\mathcal{O}_E$. Similar results are then obtained for self-similar actions of groups on row-finite higher rank graphs without sources. In order to obtain these results we formalize the notion of a graded groupoid with essentially central isotropy, which generalizes essentially principal groupoids and groupoids injectively graded by abelian groups. Under the amenability and second countability assumptions, we describe the primitive ideal spaces of the corresponding C$^*$-algebras as topological spaces.

Conditional representation stability, classification of $*$-homomorphisms, and relative eta invariants

2026-05-21T21:39:46Z

A quasi-representation of a group is a map from the group into a matrix algebra (or similar object) that approximately satisfies the relations needed to be a representation. Work of many people starting with Kazhdan and Voiculescu, and recently advanced by Dadarlat, Eilers-Shulman-Sørensen and others, has shown that there are topological obstructions to approximating unitary quasi-representations of groups by honest representations, where `approximation' is understood to be with respect to the operator norm. The purpose of this paper is to explore whether approximation is possible if the known obstructions vanish, partially generalizing work of Gong-Lin and Eilers-Loring-Pedersen for the free abelian group of rank two, and the Klein bottle group. We show that this is possible, at least in a weak sense, for some `low-dimensional' groups including fundamental groups of closed surfaces, certain Baumslag-Solitar groups, free-by-cyclic groups, and many fundamental groups of three manifolds. The techniques used in the paper are $K$-theoretic: they have their origin in Baum-Connes-Kasparov type assembly maps, and in the Elliott program to classify $C^*$-algebras; Kasparov's bivariant KK-theory is a crucial tool. The key new technical ingredients are: a stable uniqueness theorem in the sense of Dadarlat-Eilers and Lin that works for non-exact $C^*$-algebras; and an analysis of maps on $K$-theory with finite coefficients in terms of the relative eta invariants of Atiyah-Patodi-Singer. Despite the proofs going through $K$-theoretic machinery, the main theorems can be stated in elementary terms that do not need any $K$-theory.

A secondary pairing between K-theory and K-homology, relative eta invariants, and zeta maps

2026-05-21T20:31:52Z

The $K$-homology groups of a $C^*$-algebra are receptacles for information from topology, operator algebra theory, and representation theory. For applications, one often wants to know if two $K$-homology classes are the same: the simplest way to deduce this is typically via the `primary' pairing between $K$-homology and the dual theory ($K$-theory). However, this pairing will typically miss some information: for example, it cannot detect torsion elements of $K$-homology. In this paper, we introduce a `secondary' pairing between subgroups of $K$-homology and $K$-theory that takes values in $\mathbb{Q}/\mathbb{Z}$. In good cases we show that this pairing will detect all the classes in $K$-homology that are missed by the primary pairing. We then relate our secondary pairing to the relative eta invariants of Atiyah-Patodi-Singer, and to the Thomsen exact sequence and zeta maps from $C^*$-algebra classification theory.

Self-testing of exact entanglement embezzlement

2026-05-21T16:50:39Z

We consider bipartite exact entanglement embezzlement with a catalyst state vector $ψ$ in a Hilbert space $\mathcal{H}$ using unitaries (or more generally, contractions). If $\mathcal{M} \subseteq \mathcal{B}(\mathcal{H})$ is a von Neumann algebra and $U \in M_d \otimes \mathcal{M}$ and $V \in \mathcal{M}' \otimes M_d$ are unitaries (or more generally contractions), then such a protocol is of the form $(U \otimes I_d)(I_d \otimes V)(e_0 \otimes ψ\otimes e_0)=\sum_{i=0}^{d-1} α_i e_i \otimes ψ\otimes e_i$, where each $α_i>0$ and $\sum_{i=0}^{d-1} α_i^2=1$. We show that any such protocol must arise from a unique state on the tensor product $\mathcal{O}_d \otimes \mathcal{O}_d$ of the Cuntz algebra with itself. As a result, we prove that exact entanglement embezzlement is a self-test for a collection of $d$ Cuntz isometries for each party and a unique quasi-free state on the Cuntz algebra $\mathcal{O}_d$ in the sense of \cite{Iz93}. Moreover, we use modular theory to show that the von Neumann algebra generated by the copy of $\mathcal{O}_d$ is the unique separable approximately finite-dimensional Type $\text{III}_λ$ factor for some $0<λ\leq 1$, where $λ$ can be determined by an algebraic condition on the Schmidt coefficients of the state $\varphi=\sum_{i=0}^{d-1} α_i e_i \otimes e_i$.

Tracially reflexive C*-algebras

2026-05-21T16:25:49Z

Motivated by a question of L. Robert, asking whether $\rm L(T(A)) = Lsc_{C}(T(A))$ for any separable C*-algebra A, we introduce and initiate the study of \emph{tracially reflexive C*-algebras}. We first prove that commutative C*-algebras are tracially reflexive. We also prove that tracial reflexiveness satisfies permanence properties, such as being preserved under inductive limits. Subsequently, we expose two criteria for tracial reflexiveness, using the Cuntz semigroup and a weak version of the Schröder-Simpson theorem, respectively. In particular, separable topological dimension zero C*-algebras are tracially reflexive. We end the manuscript by closing remarks that could lead to further lines of investigation involving tracial reflexiveness.

$E$-theory of $X$-$C^{*}$-algebras and functor formalisms

2026-05-21T16:19:07Z

We show that $E$-theory for locally compact Hausdorff spaces constitutes a six-functor formalism which is equivalent to the six-functor formalism of $\mathrm{E}$-valued sheaves. We furthermore show that the $E$-theory category for locales that can be written as unions of finite open sublocales is equivalent to the category of $\mathrm{E}$-valued cosheaves.

A $\mathrm{C}^*$-algebraic Hoffman-Wielandt theorem

2026-05-21T14:57:09Z

We observe that the $2$-norm distance $d_{U,2}$ between the unitary orbits of normal elements in a $\mathrm{II}_1$ factor $\mathcal{M}$ is equal to the $2$-Wasserstein distance between the spectral measures induced by the trace $τ_\mathcal{M}$. Using classification and optimal transport theory, we deduce an analogous $2$-norm equation for normal operators $x$ and $y$ in simple, separable, unital, nuclear, $\mathcal{Z}$-stable $\mathrm{C}^*$-algebras that are either monotracial, or real rank zero with finitely many extremal traces, provided that $σ(x)=σ(y)$ is convex. Consequently, $d_{U,2}$ equips the set of approximate unitary equivalence classes of contractive normal elements of $\mathcal{M}$ with the structure of a compact length space. The same is true of the set of equivalence classes of embeddings into the Jiang-Su algebra $\mathcal{Z}$ of classifiable tracial $2$-Wasserstein spaces over compact, convex planar domains.

On the (Local) Lifting Property

2026-05-21T14:48:05Z

The (Local) Lifting Property ((L)LP) is introduced by Kirchberg and deals with lifting completely positive maps. We give a characterization of the (L)LP in terms of lifting $\ast$-homomorphisms. We use it to prove that if $A$ and $B$ have the LP and $F$ is their finite-dimensional C*-subalgebra, then $A\ast_F B$ has the LP. This answers a question of Ozawa. We prove that Exel's soft tori have the LP. As a consequence we obtain that $C^*(F_n\times F_n)$ is inductive limit of RFD C*-algebras with the LP. We prove that for a class of C*-algebras including $C^*(F_n\times F_n)$, all contractible C*-algebras and all suspensions, the LLP is equivalent to Ext being a group. As byproduct of methods developed in the paper we generalize Kirchberg's theorem about extensions with the WEP, give short proofs of several, old and new, facts about soft tori, new unified proofs of Li and Shen's characterization of RFD property of free products amalgamated over a finite-dimensional subalgebra and Blackadar's characterization of semiprojectivity of them.