The real and stable rank of tracially complete C*-algebras

2026-05-08T14:09:51Z

We prove that a factorial tracially complete C*-algebra with CPoU has real rank zero and stable rank one. This leads to an essentially complete description of the Cuntz semigroup of these algebras. In particular, the results of this paper hold for the uniform tracial completions of $\mathcal{Z}$-stable C*-algebras.

Schur bounded patterns and submajorisation

2026-05-08T10:36:18Z

We characterise the Schur bounded patterns of ideals of compact operators that are not closed under submajorisation, in particular the Schatten ideals $\mathcal{C}_p$ with $0

Sections and cones

2026-05-08T08:02:57Z

By Bartle-Graves theorem every surjective map between C*-algebras has a continuous section, and Loring proved that that there exists a continuous section of norm arbitrary close to 1. Here we prove that there exists a continuous section of norm exactly 1. This result is used in the second part of the paper which is devoted to properties of cone C*-algebras. It is proved that any $\ast$-homomorphism from the cone over a separable C*-algebra to a quotient C*-algebra always lifts to a contractive asymptotic homomorphism. As an application we give a short proof and strengthen the result of Forough-Gardella-Thomsen that states that any cpc (order zero) map has an asymptotically cpc (order zero, respectively) lift. As another application we give unified proofs of Voiculescu's result that cones are quasidiagonal and Brown-Carrion-White's result that all amenable traces on cones are quasidiagonal. We also prove that all hyperlinear traces on cones are MF.

Homotopy lifting, asymptotic homomorphisms, and traces

2026-05-08T07:55:06Z

The following homotopy lifting theorem is proved: Let $φ, ψ: B \to D/I$ be homotopic $\ast$-homomorphisms and suppose $ψ$ lifts to a (discrete) asymptotic homomorphism. Then $φ$ lifts to a (discrete) asymptotic homomorphism. Moreover the whole homotopy lifts. We also prove a cp version of this theorem and a version where $φ$ is replaced by an asymptotic homomorphism. We obtain a lifting characterization of several important properties of C*-algebras and use them together with the lifting theorem to get the following applications: 1) MF-property is homotopy invariant; 2) If either $A$ or $B$ is exact, $A$ is homotopy dominated by $B$ and all amenable traces on $B$ are quasidiagonal, then all amenable traces on $A$ are quasidiagonal; 3) If a C*-algebra $A$ is homotopy dominated by a nuclear C*-algebra $B$ and all (hyperlinear) traces on $B$ are MF, then all hyperlinear traces on $A$ are MF. 4) Some of the extension groups introduced by Manuilov and Thomsen coincide. 5) The C*-algebra $qA$ from Cuntz's picture of KK-theory is always quasidiagonal.

Nuclear C*-algebras: 99 problems

2026-05-08T00:44:03Z

We present a collection of questions related to the structure and classification of nuclear C*-algebras.

Real decomposable maps on operator systems

2026-05-07T22:49:48Z

We initiate and study the theory of ``real decomposable maps" between real operator systems. Formally, this is new even in the complex case, which hitherto has restricted itself to the case where the systems are complex C*-algebras. We investigate how our definition interacts with the existing theory (which it generalizes) and with the complexification. In particular, a surprising term appears in the `Jordan decomposition' of real decomposable maps. This term constitutes a new class of completely bounded maps, a class that also showed up in disguised form in our recent study of real noncommutative (nc) convexity, and whose theory is likely to have applications in that subject. We also check the real case of many important known results related to decomposability, for example results about the weak expectation property or injectivity of von Neumann algebras.

The Quasi-linearity problem for Jordan-Banach algebras: a topological characterization

2026-05-07T12:29:48Z

Let $\mathfrak{J}$ be a JB$^*$-algebra with no quotients isomorphic to $S_2(\mathbb{C})$. Let $μ$ be a local quasi-linear Jordan functional on $\mathfrak{J}_{sa}$. We show that $μ$ is a linear functional on $\mathfrak{J}_{sa}$ if and only if the restriction of $μ$ to the closed unit ball of $\mathfrak{J}_{sa}$ is uniformly weakly continuous.

Geometric Means and Lebesgue-type Decomposition of Completely Positive Maps

2026-05-07T11:14:32Z

We introduce the geometric mean and the parallel sum of completely positive (CP) maps on von Neumann algebras, based on the Pusz--Woronowicz theory of positive sesquilinear forms. We provide a concrete characterization via a block matrix positivity condition and establish their fundamental properties, including the AM--GM--HM inequality with respect to the CP order. In finite-dimensional settings, our construction is compatible with the Choi--Jamiolkowski correspondence, under which the geometric mean of CP maps corresponds to the Kubo--Ando geometric mean of their Choi matrices. This yields a natural operator-theoretic framework for interpolating quantum channels. As an application, we obtain index-type inequalities for conditional expectations in subfactor theory. Finally, we establish a Lebesgue-type decomposition of CP maps via a parallel sum construction, thereby providing a unified framework that simultaneously generalizes Ando's decomposition of bounded positive operators and Kosaki's decomposition of normal positive functionals on von Neumann algebras.

On operator Connes-amenability of the Fourier-Stieltjes algebra

2026-05-06T16:36:16Z

Runde and Spronk showed in 2004 that there are non-amenable groups $G$, including $\mathbb F_2$, {whose Fourier-Stieltjes algebra, $B(G)$,} is operator Connes-amenable. This result was surprising since the measure algebra $M(G)$ is Connes-amenable if and only if $G$ is amenable, which might lead one to guess that $B(G)$ should be operator Connes-amenable if and only if $G$ is amenable. This leads to the question: for which groups $G$ is $B(G)$ operator Connes-amenable? We make progress on this problem by {exhibiting} the first examples of groups {for which $B(G)$ is not operator Connes-amenable}. More specifically, we show that $B(G)$ is not operator Connes-amenable when $G$ is a non-compact locally compact group with property (T) and finite almost periodic compactification, or when $G$ is a discrete group without the factorization property.

The quantitative coarse Baum-Connes conjecture for free products

2026-05-06T15:56:02Z

Let $G$ and $H$ be finitely generated groups. In this paper, we prove the quantitative coarse Baum--Connes conjecture for the free product $G* H$ under the assumption that the conjecture holds for both $G$ and $H$.

On masas of the Calkin algebra generated by projections

2026-05-05T14:13:21Z

Assuming the continuum hypothesis CH, we obtain complete $*$-isomorphic classification of maximal abelian self-adjoint subalgebras (masas) of the Calkin algebra $\mathcal Q(\ell_2)$ (bounded operators on a separable Hilbert space modulo compact operators) generated by projections. In particular, for any compact totally disconnected Hausdorff space $K$ of weight not exceeding the continuum and not admitting $G_δ$ points we construct under CH a masa of $\mathcal Q(\ell_2)$ which is $*$-isomorphic to the algebra $C(K)$ of complex-valued continuous functions on $K$. This, among others, shows that masas of the Calkin algebra could have rather unexpected properties compared to the previously known three $*$-isomorphic types of them generated by projections: $\ell_\infty/c_0$, $L_\infty$ and $\ell_\infty/c_0\oplus L_\infty$. It can be shown that some additional set-theoretic hypothesis, like CH, is necessary for such results. However, without making any additional set-theoretic assumptions we still construct a family of maximal possible cardinality (of the power set of $\mathbb R$) of pairwise non-$*$-isomorphic masas of $\mathcal Q(\ell_2)$ generated by projections and with properties unlike the three above examples.

An analytic approach to the finite R-transform

2026-05-05T09:47:49Z

We revisit Marcus' finite free analogue of Voiculescu $R$-transform from an analytic viewpoint. By relating the finite free Fourier transform to the Laplace transform, we study the finite $R$-transform through logarithmic potentials and Legendre transforms. Under suitable assumptions, we prove that the finite $R$-transform of a polynomial differs from the Voiculescu $R$-transform of its empirical root distribution by $O(N^{-1})$. As an application, we obtain an analytic proof of the convergence of finite free additive convolution to free additive convolution.

Spectral versus interpolation norms in tracial nonassociative $\mathrm{L}^p$-spaces

2026-05-05T09:27:08Z

We investigate the metric structure of nonassociative $\mathrm{L}^p$-spaces associated with tracial $\mathrm{JW}^*$-algebras. While noncommutative $\mathrm{L}^p$-spaces arising from von Neumann algebras enjoy a unique natural norm, the situation in the Jordan setting is more subtle. We compare two canonical definitions: the interpolation norm, arising from the complex method between the algebra and its predual, and the spectral norm, defined with the trace. We show that these two norms are equivalent but generally not isometric for $p \neq 2$, even in the associative case of nonabelian von Neumann algebras when viewed through the Jordan product, thereby answering an open question raised by the first author in a previous paper. We further analyze the geometry of these spaces in concrete examples as complex spin factors or the complexified Albert algebra. Finally, we discuss the relevance of these results to generalized probabilistic theories (GPTs), where Jordan structures arise naturally, and explain why $\mathrm{JBW}$-algebras and their preduals provide a natural framework for such models.

Noncommutative Cauchy Bound and Noncommutative Montel Bound for Roots of Polynomials

2026-05-05T04:49:47Z

In 1829, Cauchy derived an upper bound for every root of a complex polynomial using the maximum of the absolute values of the coefficients. In 1931, Montel derived an upper bound using the sum of the absolute values of the coefficients. We derive noncommutative versions of the Cauchy and Montel bounds.

Real Non-Commutative Convexity I

2026-05-04T19:04:35Z

We initiate the theory of real noncommutative (nc) convex sets, the real case of the recent and profound complex theory developed by Davidson and Kennedy. The present paper focuses on the real case of the topics from the first several sections of their Memoir. Later results will be discussed in future papers. We develop here some of the infrastructure of real nc convexity, giving many foundational structural results for real operator systems and their associated nc convex sets, and elucidate how the complexification interacts with the basic convexity theory constructions. Several new features appear in the real case, including the novel notion of the complexification of a nc convex set.