Free Independence is not definable

2026-02-24T09:58:05Z

Free independence is an important tool for studying the structure of operator algebras. It is natural to ask from the model-theoretic standpoint whether free independence is captured well in first-order model theory via the notion of a definable set. We prove that pairs of freely independent elements do not form a definable set in the sense of continuous model theory, relative to the theory of both C$^*$-probability spaces and tracial von Neumann algebras.

A note on purely infinite corona algebras and extensions

2026-02-24T06:28:46Z

Let $\mathcal{A}$ be a separable nuclear C*-algebra, and $\mathcal{B}$ be a nonunital separable simple $\mathcal{Z}$-stable C*-algebra. Continuing the work from Gabe-Lin-Ng, we classify all essential extensions, with large complement, of the form $$0 \rightarrow \mathcal{B} \rightarrow \mathcal{E} \rightarrow \mathcal{A} \rightarrow 0,$$ for the following cases: i. $\mathcal{C}(\mathcal{B})$ is properly infinite, and the extension is full. ii. $\mathcal{C}(\mathcal{B})$ is purely infinite (though not necessarily simple). We also have some more general results.

The Cone of J-Hermitian Matrices and a Geometric Mean

2026-02-23T17:50:13Z

We study the cone $\mathscr{P}_{\text{J}}$ of positive J-Hermitian matrices associated with an indefinite signature matrix J = $\text{Id}_{p,q}$. We show that the J-exponential map is bijective and use it to analyze the algebraic and geometric structure of $\mathscr{P}_{\text{J}}$. Through a canonical identification with the cone of positive definite matrices, we endow $\mathscr{P}_{\text{J}}$ with a natural Riemannian structure. In this setting, we define a J-geometric mean as the midpoint of geodesics and prove that it is uniquely characterized as the solution of a Riccati-type equation.

Quantum metrics from length functions on étale groupoids

2026-02-23T16:40:54Z

We show how to construct a compact quantum metric space from a proper continuous length function on an étale groupoid with compact unit space, where the unit space additionally has the structure of a compact metric space. Using compactly supported Fourier multipliers on the reduced groupoid $C^*$-algebra we provide a sufficient condition for verifying when we obtain a compact quantum metric space in this manner. The condition is sometimes also necessary, and is new even in the case of length functions on discrete groups. Lastly, we employ the condition to show that any AF groupoid with compact unit space can be equipped with a length function from which we obtain a compact quantum metric space, thereby providing a groupoid approach to understanding the quantum metric geometry of unital AF algebras.

Haag Duality in the Thermal Sector

2026-02-23T16:14:29Z

We prove that the net of localised von Neumann algebras associated with a real scalar field propagating on Minkowski spacetime, in the KMS representation, satisfies a generalised version of Haag duality. Our proof combines ideas from existing arguments for the ground-state representation with purification techniques.

Conformal transformations and equivariance in unbounded KK-theory

2026-02-23T14:59:16Z

We extend unbounded Kasparov theory to encompass conformal group and quantum group equivariance. This new framework allows us to treat conformal actions on both manifolds and noncommutative spaces. As examples, we present unbounded representatives of Kasparov's $γ$-element for the real and complex Lorentz groups and display the conformal $SL_q(2)$-equivariance of the standard spectral triple of the Podleś sphere. In pursuing descent for conformally equivariant cycles, we are led to a new framework for representing Kasparov classes. Our new representatives are unbounded, possess a dynamical quality, and also include known twisted spectral triples. We define an equivalence relation on these new representatives whose classes form an abelian group surjecting onto KK. The technical innovation which underpins these results is a novel multiplicative perturbation theory. By these means, we obtain Kasparov classes from the bounded transform with minimal side conditions.

C*-diagonals with Cantor spectrum in Cuntz algebras

2026-02-23T14:13:59Z

We prove that there exists a C*-diagonal with Cantor spectrum in the Cuntz algebra $\mathcal{O}_k$ for $2 \le k < \infty$. Our method generalises to an uncountable family of UCT Kirchberg algebras with distinct K-theory. Moreover, we construct principal étale groupoid models for these Cuntz algebras and UCT Kirchberg algebras.

A going-down principle for {é}tale groupoids and the Baum-Connes conjecture

2026-02-23T12:43:13Z

We study a going-down principle for {é}tale groupoids and its applications, extending the earlier results for locally compact groups by Chabert, Echterhoff and Oyono-Oyono, and for ample groupoids by B{ö}nicke and by B{ö}nicke-Dell'Aiera. The proof in the general {é}tale groupoid setting is based on a more detailed study of groupoid simplicial complexes. We also study a bicategorical functoriality involving the induction functors from {é}tale groupoid correspondences, which was introduced by Miller. This yields a bicategorical interpretation of the induction-restriction adjunction. As an application of the going-down principle, we provide a proof of the split injectivity of Baum-Connes assembly map for {é}tale groupoids that are strongly amenable at infinity, recovering a result obtained by B{ö}nicke and Proietti via a categorical approach. The going-down principle is also applied on the proof of continuity of topological K-theory of {é}tale groupoids and the study of scope of validity of K{ü}nneth formulas.

A Banach algebra encoding quantum group duality

2026-02-23T08:26:36Z

We introduce and study a new Banach algebra structure on the trace-zero subspace $\mathcal{T}(L^2(\mathbb{G}))_0$ of trace class operators for any locally compact quantum group $\mathbb{G}$; it is defined through a mixed Lie-type product of the two dual products on $\mathcal{T}(L^2(\mathbb{G}))$ arising from the canonical extensions of the co-products of $\mathbb{G}$ and $\widehat{\mathbb{G}}$. The surprising fact that this new product is indeed associative stems precisely from the duality of the latter two products. This, in particular, gives new faithful associative products on trace-zero matrices in $M_d(\mathbb{C})$. After establishing some basic properties, we show that the single algebra $\mathcal{T}(L^2(\mathbb{G}))_0$ captures simultaneous properties of $\mathbb{G}$ and $\widehat{\mathbb{G}}$, is faithful for a large class of quantum groups, and encodes both $M^r_{cb}(L^1(\mathbb{G}))$ and $M^r_{cb}(L^1(\widehat{\mathbb{G}}))$ as left, respectively right, completely bounded module maps on $\mathcal{T}(L^2(\mathbb{G}))$. We finish by exhibiting an analogous product on the trace-zero nuclear operators $\mathcal{N}(L^p(G))_0$ for a locally compact group $G$ and $p\in(1,\infty)$. Building on [7], our work suggests an approach for developing an $L^p$-version of locally compact quantum group theory.

Continuous functions over a pure C*-algebra

2026-02-22T16:15:49Z

Let $X$ be a compact metric space, and let $A$ be a pure $\mathrm{C}^*$-algebra. We show that $C(X,A)$ is pure whenever $A$ is simple; or every quotient of $A$ is stably finite (e.g., $A$ has stable rank one). Using permanence properties of pureness, we prove that the tensor product of any such $A$ with any ASH-algebra is pure.

A note on strong similarity and the Connes embedding problem

2026-02-22T12:09:50Z

We show that there exists a completely bounded (c.b. in short) homomorphism $u$ from a $C^*$-algebra $C$ with the lifting property (in short LP) into a QWEP von Neumann algebra $N$ that is not strongly similar to a $*$-homomorphism, i.e. the similarities that ``orthogonalize" $u$ (which exist since $u$ is c.b.) cannot belong to the von Neumann algebra $N$. Moreover, the map $u$ does not admit any c.b. lifting up into the WEP $C^*$-algebra of which $N$ is a quotient. We can take $C=C^*(F_\infty)$ the full $C^*$-algebra of the free group $F_\infty$ with infinitely many generators and $N= B(H)\bar \otimes M$ where $M$ is the von Neumann algebra generated by the reduced $C^*$-algebra of $F_\infty$. Incidentally we observe an analogue for strong similarity of Haagerup's (and Paulsen's) similarity formula for the cb-norm : if $C$ is any unital $C^*$-algebra and $N$ any von Neumann algebra then for any bounded unital homomorphism $u: C \to N$ we have $$\|u\|_{mb}= \inf\{ \|S\|\|S^{-1}\| \}$$ where the inf (which is attained) runs over all invertible $S\in N$ such that $S u(.) S^{-1}$ is a $*$-homomorphism. We end the note by a quick proof of the main point using the mb-norm and the space $R_n\cap C_n$.

A new characterization of (pre)liminary C*-algebras

2026-02-22T12:05:08Z

Given an arbitrary countable ordinal $α$, we introduce the notion of type $I_{α}$ C*-algebra and $α$-subhomogeneous C*-algebra. When $α=0$, these recover the notions of Fell C*-algebra and of commutative C*-algebra, respectively. When $α=n<ω$, these recover the notions of type $I_{n}$ C*-algebra and of $n$-subhomogeneous C*-algebra, respectively. We prove that a separable C*-algebra is liminary if and only if it is type $I_{α}$ for some $α<ω_{1}$, and it is preliminary (i.e., has no infinite-dimensional irreducible representation) if and only if it is $α$-subhomogeneous for some $α<ω_{1}$. We also prove that for any countable ordinal $α$ there exists a separable C*-algebra that is type $I_{α}$ and not type $I_{β}$ for $β<α$, and a separable C*-algebra that is $α$-subhomogeneous and not $β$-subhomogeneous for any $β<α$.

Teleportation=Translation: Continuous recovery of black hole information

2026-02-22T10:41:43Z

The \textit{Teleportation=Translation} conjecture posits that the recovery of information from a black hole is dual to a geometric translation in the emergent spacetime. In this paper, we establish this equivalence for general local quantum field theories by constructing a continuous unitary interpolation that bridges discrete algebraic teleportation protocols and continuous modular flow. We resolve the failure of dynamic idempotency, fundamentally inherent in Type III von Neumann algebras, by employing the Haagerup-Kosaki crossed-product construction. This lift to the semifinite Type~II$_\infty$ envelope yields a canonical, dynamically consistent path. Crucially, we prove that its unique infinitesimal generator $\tilde{G}$ is exactly twice the geometric modular momentum ($\tilde{G}=2P$). We establish this identity as a closed operator equivalence using Nelson's analytic vector theorem and quantify its structural robustness via non-commutative $L^p$ theory. Ultimately, our results demonstrate that unitary information recovery fundamentally manifests as a continuous geometric translation. This provides a rigorous operator-algebraic mechanism for resolving the black hole information paradox, offering a kinematic framework naturally extendable to include gravitational back-reaction.

Ultraproducts of crossed product C*algebras

2026-02-22T08:47:43Z

We study the relationship between the ultraproduct of a crossed product C*algebra $(A\rtimes_{r}G)^ω$ and the crossed product of an ultraproduct C*algebra $A^ω\rtimes _{r}G$ for a fixed free ultrafilter $ω$ on $\mathbb{N}$.

Banach manifolds of spectrally small quantum-group representations

2026-02-21T15:49:11Z

We prove that finite-spectrum representations of compact quantum groups either in unital $C^*$-algebras $A$ or on Banach spaces $E$ exhibit the same Banach-space-modeled differential-geometric structure as their classical analogues: (a) they are Banach analytic manifolds; (b) locally homogeneous under conjugation by the pertinent Banach Lie group $U(A)$ or $GL(E)$; (c) with orbit maps fibering principally; (d) and hence with said orbit maps admitting local analytic splitting. We also identify the finite-spectrum unitary representations as precisely those that are norm-continuous in the appropriate sense when the compact quantum group has at least one classical point, again generalizing the classical parallel present in various forms in work of Kallman, Shtern and the author.