Infinite graph product of groups II: Analytic properties

2026-06-02T08:33:45Z

We study analytic properties of graph product of finite groups with a hyperbolic defining graph. This is done by studying dynamics on the Bowditch compactification of the extension graph, or the crossing graph, of graph product. In particular, we provide a new class of convergence groups and identify the if and only if condition for this convergence action to be geometrically finite. We also provide a new class of properly proximal groups, relatively bi-exact groups, and groups with strongly solid group von Neumann algebras.

Curvature, Dolbeault-Dirac operators, and an $\mathrm{L}^p$-index theorem on compact Kähler manifolds

2026-06-02T08:12:59Z

We develop an $\mathrm{L}^p$-Banach noncommutative-geometric framework for Dolbeault-Dirac operators on compact Kähler manifolds with coefficients in a Hermitian holomorphic vector bundle $E$. For every $p \in (1,\infty)$, we prove that the closed $\mathrm{L}^p$-realization $\mathcal{D}_{E,p}$ of the Dolbeault-Dirac operator is bisectorial and admits a bounded $\mathrm{H}^\infty$ functional calculus on $\mathrm{L}^p(Ω^{0,\bullet}(M,E))$. We also show an $\mathrm{L}^p$-Gaffney-type estimate, obtain $\mathrm{L}^p$-Hodge decompositions, and prove that $\mathcal{D}_{E,p}$ gives rise to an even compact Banach spectral triple over the algebra $\mathrm{C}(M)$, graded by form parity. The index of the associated Fredholm operator is equal to the holomorphic Euler characteristic $χ(M,E)$. In particular, it is independent of $p$. A central tool is an abstract notion of Ricci curvature lower bound for strongly continuous semigroups on $\mathrm{UMD}$ Banach spaces, formulated as a semigroup-level intertwining relation. Under this condition, together with natural Riesz equivalences and bounded $\mathrm{H}^\infty$ functional calculi for the relevant generators, the associated Hodge-Dirac operator is bisectorial and admits a bounded $\mathrm{H}^\infty$ functional calculus. The framework also applies to heat semigroups on Riemannian manifolds, $q$-Ornstein-Uhlenbeck semigroups and semigroups of Schur multipliers. This provides a unified Banach-space approach to curvature, functional calculus, Riesz transforms and index theory beyond the Hilbert space setting.

Functoriality of real crossed product K-theory spectral sequences with respect to group homomorphisms

2026-06-02T04:06:59Z

Spectral sequences are a key tool for computing the K-theory of a crossed product C$^*$-algebra. However, the impact of a group homomorphism $Ω\colon G \to H$ on such a spectral sequence was unknown until quite recently, even when $G = \mathbb Z^\ell$, $H = \mathbb Z^{k}.$ Recent work [Mil25] of the fourth-named author in the complex case establishes that ABC spectral sequences are functorial with respect to group homomorphisms. In this paper, we obtain the analogous result for real K-theory and for united K-theory. Specifically, we first show that the ABC spectral sequence approximates KO$_*(G \ltimes_r A)$ with the group homology H$_p(G;KO_q(A))$ when $G$ is a torsion-free discrete group satisfying the Baum--Connes conjecture with coefficients in $A$. Then, for a homomorphism $Ω\colon G \to H$ of such groups with amenable kernel, and a real $H$-C$^*$-algebra $A$, we show moreover that the map in K-theory induced by the $*$-homomorphism $G \ltimes_r A \to H \ltimes_r A$ is approximated by the natural map in group homology.

Questions on the structure of random embeddings of $L(\mathbb{F}_2)$

2026-06-02T00:43:51Z

Motivated by recent developments at the interface of operator algebras and random matrix theory, we propose new conjectures concerning the asymptotic structure of random matrix models of the countable free groups. The first conjecture predicts a random matrix analogue of the Akemann-Ostrand property for free groups, and reveals a succinct approach to recover the Peterson-Thom property for $L(\mathbb{F}_2)$. The second stronger conjecture is motivated by continuous model theory. It predicts that the \emph{random} embedding of the free group factor into a matrix ultraproduct is \emph{existential}. We discuss the interesting relationship between these conjectures.

Vertex-transitive quantum graphs

2026-06-01T22:36:22Z

We define a quantum graph to be vertex-transitive if the join of its automorphism group is the maximum quantum relation on its quantum vertex set, in direct analogy with the classical case. All simple quantum graphs in $M_2(\mathbb C)$ are vertex-transitive, but many simple quantum graphs in $M_3(\mathbb C)$ are not vertex-transitive. We provide a complete classification of vertex-transitive quantum graphs in $M_3(\mathbb C)$ up to isomorphism. To do this, we introduce a polynomial invariant for quantum graphs in $M_n(\mathbb C)$, which we call the panoramic polynomial.

From Clouatre-Ostermann-Ransford to Okubo-Ando

2026-06-01T21:53:25Z

We prove that if $θ$ is a continuous unital homomorphism of an operator algebra $A$ into $B(\mathcal{H})$, and $β$ is in the dual space of $A$, then the completely bounded norm of $θ$ is less than or equal to the maximum of $1$ and the completely bounded norm of $θ+ βI $. As an application, we give another proof of the Okubo--Ando theorem.

Pure UCP Maps on Finite Toeplitz Systems and Quantum Gromov--Hausdorff Convergence

2026-06-01T17:53:58Z

We study pure unital completely positive maps on the finite Toeplitz operator system $ T_{d}$ of $d \times d$ Toeplitz matrices. Our first main result gives an explicit characterization of pure UCP maps from $T_{d}$ to $M_n$ in terms of positive $n\times n$ matrix-valued trigonometric polynomials of degree at most $d-1$. This characterization provides a checkable criterion for deciding when a given UCP map is pure. As a first application, we show that every pure UCP map from $ T_{d}$ to $M_n$ admits a unique UCP extension to the generated $C^*$-algebra. As a second application, we prove that, for each fixed $n$, the space of pure UCP maps from $T_{d}$ to $M_n$, equipped with the matricial Connes distance, converges in the Gromov--Hausdorff sense to the space of normalized positive $n\times n$ matrix-valued Borel measures on the unit circle, equipped with the matricial Monge--Kantorovich distance.

Hybrid Clifford Codes via Operator Algebra Quantum Error Correction and Projective Representation Theory

2026-06-01T17:38:21Z

Clifford codes are a natural generalization of quantum stabilizer codes based primarily on representation theory. This class of codes has previously been extended to the setting of quantum subsystem codes. We formulate a two-fold generalization of Clifford codes, for both the hybrid classical and quantum information and projective representation theory settings. This leads to new classes of hybrid subspace and subsystem Clifford codes. We extend the fundamental representation theoretic quantum error correction theorem to include these codes, based on the operator algebra quantum error correction framework. We also discuss several examples throughout the presentation, of both stabilizer and non-stabilizer type.

A finitary criterion for selfless tracial C*-algebras

2026-06-01T13:39:21Z

We study the class of selfless C*-probability spaces introduced by Robert. It is known that a selfless tracial algebra has strict comparison and a unique trace. We prove that for separable tracial C*-algebras, selflessness is equivalent to approximate selflessness, a finitary condition: for every finite set $F$, every $N \geq 1$ and $\varepsilon > 0$ there exists a unitary $u$ with $|τ(u^k)| < \varepsilon$ ($1 \leq |k| \leq N$) and $|τ(w)| < \varepsilon$ for all alternating words $w$ of length $\leq N$ built from centered elements of $F$ and powers $u^n$ ($|n| \leq N$). The equivalence is established using a diagonalisation argument in the tracial ultrapower. As an application, we give a concise proof that countable groups with a topologically-free extreme boundary are C*-selfless. We also discuss the relation to nuclearity and $\mathcal{Z}$-stability.

On the Nielsen-Thomsen sequence

2026-06-01T11:56:30Z

The Nielsen-Thomsen sequence plays a pivotal role in refining invariants for C$^*$-algebras beyond the Elliott classification framework. This paper revisits the sequence, introducing the concepts of Nielsen-Thomsen bases, rotation maps and diagonalisable morphisms, to better understand its unnatural splitting. These insights enable novel comparison methods for *-homomorphisms at the level of the Hausdorffized algebraic K$_1$-groups, and subsequently the Hausdorffized unitary Cuntz group. We apply our methods to classification via the Hausdorffized unitary Cuntz semigroup. In particular, we present a new proof of the non-isomorphism between two A$\mathbb{T}$-algebras constructed by Gong, Jiang and Li. We also exhibit several pairs of non-unitarily equivalent *-homomorphisms with domain C($\mathbb{T}$).

Sharp median testing and sparse criteria for generalized $BMO$ spaces

2026-06-01T04:55:33Z

We study generalized $BMO$-type spaces associated with a normalized family of local quasi-Banach function spaces $\mathbb X=\{X_Q\}_{Q\subset\mathbb R^n}$. For such a family we consider two oscillation seminorms: the mean-based seminorm $BMO_{\mathbb X}$ and the best-constant seminorm $BMO_{\mathbb X}^{*}$. The main purpose of the paper is to separate the two mechanisms that govern their comparison with classical $BMO$. First, we introduce a lower median-testing functional $Λ_{\mathbb X}$, which measures the nondegeneracy of the local norms on subsets occupying a fixed positive proportion of a cube. Using the John--Strömberg median oscillation characterization of $BMO$, we prove that the condition $Λ_{\mathbb X}(λ)>0$ for some $0<λ<1/2$ implies the embedding \[ BMO_{\mathbb X}^{*}\cap L^1_{\mathrm{loc}}(\mathbb R^n) \hookrightarrow BMO . \] Second, we introduce a sparse testing seminorm $T_{\mathbb X}$, which measures the compatibility of the local norms with sparse sums of characteristic functions. Using a sparse domination principle for $BMO$ oscillation, we prove that $T_X(η_0)<\infty$, where $η_0$ is the sparsity parameter arising from the local sparse domination formula, implies \[ BMO\hookrightarrow BMO_{\mathbb X} . \] We also provide a sufficient small-set criterion for this sparse testing condition in terms of an upper testing functional $Ψ_{\mathbb X}$.

Higher-rank trees arising from polyhedral graphs

2026-06-01T03:01:31Z

We introduce a new family of higher-rank graphs, whose construction was inspired by the graphical techniques of Lambek \cite{Lambek} and Johnstone \cite{Johnstone} used for monoid and category emedding results. We show that they are planar $k$-trees for $2 \le k \le 4$. We also show that higher-rank trees differ from $1$-trees by giving examples of higher-rank trees having properties which are impossible for $1$-trees. Finally, we collect more examples of higher-rank planar trees which are not in our family.

Relative invariant subalgebra rigidity for Thompson's group $F$

2026-05-31T14:44:48Z

We prove that Thompson's group $F$ satisfies the relative invariant subalgebra rigidity property with respect to its commutator subgroup: every von Neumann subalgebra of $L(F)$ that is invariant under conjugation by $[F,F]$ is of the form $L(N)$ for some normal subgroup $N \trianglelefteq F$. Along the way, we establish a general factoriality criterion for invariant subalgebras whose hypotheses are met whenever the ambient group is i.c.c., simple, and every faithful ergodic measure-preserving action of it on a probability space is essentially free.

A Toeplitz corona theorem for the pentablock and applications

2026-05-30T18:49:19Z

We state and prove a Toeplitz corona theorem for the pentablock $\mathbb{P}$, a domain in $\mathbb{C}^3$ given by \[ \mathbb{P}=\{(a_{21}, \text{tr}(A), \det(A)) \in \mathbb C^3 : A=[a_{ij}] \in M_2(\mathbb C), \|A\|<1\}. \] By two different applications of this theorem, we obtain a few new characterizations in the Toeplitz corona theorems for the bidisc and the symmetrized bidisc.

Realization, interpolation, extension on the pentablock and applications to $\mathbb D^2$, $\mathbb G_2$

2026-05-30T14:56:13Z

We introduce Schur-Agler class for the pentablock $\mathbb P$ and establish a realization theorem for functions in this class. Then we prove an interpolation theorem for the pentablock with interpolating functions belonging to the corresponding Schur-Agler class. Also, we obtain an extension theorem for $\mathbb P$. Applying these results, we add a few new characterizations in the existing realization and interpolation theorems for the bidisc $\mathbb D^2$ and the symmetrized bidisc $\mathbb G_2$. Also, we give alternative proofs to the existing extension theorems for $\mathbb D^2, \, \mathbb G_2$.