Homology and cohomology of crossed products by inverse monoid actions and Steinberg algebras

2026-02-21T12:19:31Z

Given a unital action $θ$ of an inverse monoid $S$ on an algebra $A$ over a filed $K$ we produce (co)homology spectral sequences which converge to the Hochschild (co)homology of the crossed product $A\rtimes_θS$ with values in a bimodule over $A\rtimes_θS$. The spectral sequences involve a new kind of (co)homology of the inverse monoid $S,$ which is based on $KS$-modules. The spectral sequences take especially nice form, when $(A\rtimes_θS)^e $ is flat as a left (homology case) or right (cohomology case) $A^e$-module, involving also the Hochschild (co)homology of $A.$ Same nice spectral sequences are also obtained if $K$ is a commutative ring, over which $A$ is projective, and $S$ is $E$-unitary. We apply our results to the Steinberg algebra $A_K(\mathscr{G})$ over a field $K$ of an ample groupoid $\mathscr{G},$ whose unit space $\mathscr{G} ^{(0)}$ is compact. In the homology case our spectral sequence collapses on the $p$-axis, resulting in an isomorphism between the Hochschild homology of $A_K(\mathscr{G})$ with values in an $A_K(\mathscr{G})$-bimodule $M$ and the homology of the inverse semigroup of the compact open bisections of $\mathscr{G}$ with values in the invariant submodule of $M.$

Notes on C-algebras, representations, and Morita equivalence (with a view toward C-algebras of reductive groups)

2026-02-20T20:26:21Z

These notes give an expanded account of my lectures at the CIRM-IHP research school on 'Methods in representation theory and operator algebras', January 6-10, 2025. Their main goal is to explain a proof of a theorem of A. Wassermann, that identifies the reduced C*-algebra of a real reductive group, up to Morita equivalence, with a direct sum of much simpler C*-algebras. Along the way we introduce the basic theory of representations and Morita equivalence of C*-algebras that is needed to understand the theorem and its proof. The target audience is Masters- and PhD-level students, and other mathematicians who are not specialists in operator algebras.

Quantum relations in the general setting: composition and adjacency operators

2026-02-20T17:14:06Z

Quantum relations in the sense of Weaver are $M'$-bimodules, for a von Neumann algebra $M$, these generalising actual relations on a set $X$ when $M=\ell^\infty(X)$. Similarly, relations between two sets can be generalised as bimodules over the commutants of two algebras. We make an explicit study of this idea, developing some tools to check that constructions are well-defined. Motivation comes from Kornell's concept of a Quantum Set (for algebras which are sums of matrix algebras), and we find that $*$-homomorphisms correspond to certain quantum relations, extending unpublished work of Kornell. We find a functor from completely positive maps to quantum relations, related to the idea of taking a noisy communication channel and reducing it to its underlying ``relation''. As with Quantum Graphs, at least in finite-dimensions, quantum relations correspond to ``adjacency operators'', certain CP maps depending on a choices of faithful functional on the algebras. We develop some tools to deal with the non-Schur-idempotent case, and show links with our functor from CP maps, and work of Verdon. We explicitly compute the adjacency operator of a $*$-homomorphism.

Proof of Audenaert-Kittaneh's Conjecture

2026-02-20T14:03:37Z

By using the Three-lines theorem for a certain analytic function defined in terms of the trace and a duality argument method, we prove Audenaert-Kittaneh's conjecture related to $p$-Schatten classes. This generalizes the main result obtained by McCarthy in [Israel J. Math. 5 (1967)].

Combinatorics of cyclic-conditional freeness

2026-02-20T10:00:42Z

This work investigates the combinatorial structures underlying cyclic conditional freeness and introduces cumulants that serve to linearize the cyclic conditional additive convolution. In the process, we establish the notion of "cyclic freeness", demonstrating its equivalence to infinitesimal freeness in the presence of tracial states. Furthermore, we show that cyclic conditional freeness can be reduced to cyclic freeness through a multivariate extension of the inverse Markov-Krein transform.

C-submodule preserving module mappings on Hilbert C-modules

2026-02-19T10:12:08Z

Let $A$ be a (non-unital, in general) C*-algebra with center $Z(M(A))$ of its multiplier algebra, and let $\{ X, \langle .,. \rangle \}$ be a full Hilbert $A$-module. Then any bijective bounded module morphism $T$, for which every norm-closed $A$-submodule of $X$ is invariant, is of the form $T=d \cdot {\rm id}_X$ where $d \in Z(M(A))$ is invertible. As an example of a merely injective bounded module operator with that preserver property serves $T =d \cdot {\rm id}_X$ where $|d| \in Z(M(A))$ has a positive spectrum, but not bounded away from zero. The same assertions are true if the restriction on the C*-submodules to be norm-closed is dropped. From a different point of view, for two given strongly Morita equivalent C*-algebras $A$ and $B$ and a Hilbert $B$-$A$ bimodule $\{ X, \langle .,. \rangle \}$ with faithful compact right action of $B$, for any two two-sided norm-closed ideals $I \in A$, $J \in B$, any full compatible norm-closed Hilbert $J$-$I$ subbimodule of $X$ is invariant for any left bounded $B$-module operator and any right bounded $A$-module operator. So these subsets of submodules of $X$ cannot rule out any bounded module operator as a non-preserver of that subset collection, however any single element of this subset collection is preserved by any bounded module operator on $X$. For any $B$-$A$ imprimitivity bimodule both the C*-valued inner product values are always preserved by bijective bounded module operators $T$ on $X$ iff $T= u \cdot {\rm id}_X$ for a unitary element $u\in Z(M(A))$.

$C(SO_q(2n+1)/SO_q(2n-1))$ as iterated torsioned quantum double suspensions of $C(\mathbb{T})$

2026-02-19T04:32:57Z

Let $A$ be a unital $C^*$-algebra, and let $Σ^2_m A$ denote the $m$-torsioned quantum double suspension of $A$. For $q \in (0,1)$ and $n \geq 1$, we prove that the $C^*$-algebra corresponding to the quotient space $SO_q(2n+1)/SO_q(2n-1)$ is isomorphic to $Σ^{2(n-1)} \, Σ^2_2 \, Σ^{2(n-1)} C(\mathbb{T})$. It follows as a consequence that these spaces are independent of the deformation parameter $q$.

A Homogeneous Nullstellensatz for Joint Invariant Subspaces

2026-02-18T15:03:41Z

Jurij Volčič conjectured that a noncommutative polynomial $g$ belongs to the unital $\mathbb{K}$-algebra generated by finitely many noncommutative polynomials if and only if, for matrices of every size, every joint invariant subspace of the evaluations of the generators is also invariant under the evaluation of $g$. In this paper, we establish a homogeneous Nullstellensatz for joint invariant subspaces by proving that this equivalence holds whenever the generators are homogeneous. In contrast, we demonstrate that the statement fails in the general case, thereby settling the conjecture completely.

Comparison of Extensions of Unitary Vertex Operator Algebras and Conformal Nets

2026-02-18T12:18:42Z

Let $V$ be one of the following unitary strongly-rational VOAs: unitary WZW models, discrete series W-algebras of type ADE, even lattice VOAs, parafermion VOAs, their tensor products, and their strongly-rational cosets. Let $U$ be a (unitary) VOA extension of $V$, described by a Q-system $Q$. We prove that $U$ is strongly local. Let $\mathcal A_V,\mathcal A_U$ be the conformal nets associated to $V,U$ in the sense of Carpi-Kawahigashi-Longo-Weiner (CKLW). We prove that $\mathcal A_U$ is canonically isomorphic to the conformal net extension of $\mathcal A_V$ defined by the Q-system $Q$. We prove that all unitary $U$-modules are strongly integrable in the sense of Carpi-Weiner-Xu (CWX). We show that the CWX $*$-functor from the $C^*$-category of unitary $U$-modules to the $C^*$-category of finite-index $\mathcal A_U$-modules is naturally isomorphic to $*$-functor defined by $Q$.

Projective corepresentations and cohomology of compact quantum groups

2026-02-18T11:23:28Z

We study projective unitary (co)representations of compact quantum groups and the associated second cohomology theory. We introduce left/right/bi/strongly projective corepresentations and study them in details. In particular, we prove that given any compact quantum group $\q$, there are compact quantum groups $\tilde{\q_l}, \tilde{\q_r}, {\tilde \q}_{bi}, {\tilde \q}_{stp}$, each of which contains $\q$ as a Woronowicz subalgebra and every left/right/bi/strongly projective unitary corepresentation of $\q$ lifts to a linear corepresentation of these quantum groups respectively. We observe that the strongly projective corepresentations are associated with the second invariant ($S^1$-valued) cohomology $H^2_{uinv}(\cdot)$ of the quantum group. We define a suitable analogue of normalizer of a compact quantum group in a bigger compact quantum group and using this, associate a canonical discrete group $Γ_\q$ to a compact quantum group $\q$ which is an alternative generalization of the second group cohomology and we show by an example that $Γ_\q$ in general may be different from $H^2_{uinv}(\q,S^1) $.

The Levi-Civita connection and Chern connections for cocycle deformations of Kähler manifolds

2026-02-18T04:31:41Z

We consider unitary cocycle deformations of covariant $\ast$-differential calculi. We prove that complex structures, holomorphic bimodules and Chern connections on the deformed calculus are twists of their untwisted counterparts. Moreover, for cocycle deformations of a class of classical Kähler manifolds, the Levi-Civita connection on the space of one-forms of the deformed calculus is shown to be a direct sum of the Chern connections on the twisted holomorphic and the anti-holomorphic bimodules. Our class of examples also includes cocycle deformations of the Heckenberger-Kolb calculi.

Finite Free Information Inequalities

2026-02-17T18:57:07Z

We develop finite free information theory for real-rooted polynomials, establishing finite free analogues of entropy and Fisher information monotonicity, as well as the Stam and entropy power inequalities. These results resolve conjectures by Shlyakhtenko and Gribinski and recover inequalities in free probability in the large-degree limit. Equivalently, our results may be interpreted as potential-theoretic inequalities for the zeros of real-rooted polynomials under differential operators which preserve real-rootedness. Our proofs leverage a new connection between score vectors and Jacobians of root maps, combined with convexity results for hyperbolic polynomials.

Separable C*-algebras Without the Countable Axiom of Choice

2026-02-17T18:49:36Z

The goal of this paper is twofold. In addition to the results stated in the next paragraph, we present some classical results on absoluteness relevant to functional analysis that are well known to logicians but not nearly as well advertised as they should be. We show that the theory of separable C*-algebras can be developed in ZF (that is, without using any Choice). This includes proving the Gelfand-Naimark representation theorems as well as the Spectral Mapping Theorem for polynomials and developing continuous functional calculus for commuting normal elements. Some of our proofs are modifications of the standard ones, obtained by avoiding the use of Choice. Some other proofs require new ideas in order to avoid the use of Choice. Yet another batch of proofs proceeds by using the set-theoretic Shoenfield Absoluteness Theorem. This result (well known to logicians but regrettably not as well advertised as it deserves) implies that statements about standard Borel spaces of low quantifier complexity that are provable in ZFC, or even ZFC together with the Continuum Hypothesis are provable in ZF. One of the main objectives of this paper is to present these results in a convenient form that can be utilized by analysts not familiar with set theory. We also show that in the absence of Choice (more precisely, assuming the existence of a Russell set) there is a concretely representable unital commutative \cstar-algebra that is not isomorphic to C(X) for any compact Hausdorff space X. Finally, from the model-theoretic point of view, while the property of having a tracial state is provably axiomatizable in ZFC, it is not provably axiomatizable in ZF+DC.

Non-computability of $K$-theory for computably presented C*-algebras

2026-02-17T18:20:08Z

We give an example of a unital C*-algebra $\mathbf{A}$ with a computable presentation and for which neither $K_0(\mathbf{A})$ nor $K_1(\mathbf{A})$ has a computable presentation.

Noncommutative $L_p$-differentiability and trace formulae

2026-02-17T17:23:26Z

Let $\mathcal{M}$ be a semifinite von Neumann algebra equipped with a normal faithful semifinite trace $τ$, and let $L_p(\mathcal{M})$ denote the associated noncommutative $L_p$-space for $1