http://arxiv.org/api/xEpsFIKPH6Kbbuljgaogb+louP4 2025-05-08T00:00:00-04:00 13237 195 15 http://arxiv.org/abs/2305.07255v2 2025-03-18T06:17:07Z 2023-05-12T05:16:26Z

In this paper, we introduce Kasparov's bivariant K-theory that is equivariant under symmetries of a C*-tensor category. It is motivated by some dualities in quantum group equivariant KK-theory, and the classification theory of inclusions of C*-algebras. The fundamental properties of the KK-theory, i.e., the existence of the Kasparov product, Cuntz's picture, universality, and triangulated category structure, hold true in this generalization as well. Moreover, we further prove a new property specific to this theory; the invariance of KK-theory under weak Morita equivalence of the tensor categories. As an example, we study the Baum-Connes type property for $3$-cocycle twists of discrete groups.

Yuki Arano Kan Kitamura Yosuke Kubota 10.1016/j.aim.2024.109848 53 pages. Published version Adv. Math. 453 (2024), 109848 http://arxiv.org/abs/2503.13641v1 2025-03-17T18:45:47Z 2025-03-17T18:45:47Z

In this paper we give a diagrammatic description of the categories of modules coming from the conformal embeddings $\mathcal{V}(\mathfrak{sl}_N,N) \subset \mathcal{V}(\mathfrak{so}_{N^2-1},1)$. A small variant on this construction (morally corresponding to a conformal embedding of $\mathfrak{gl}_N$ level $N$ into $\mathfrak{o}_{N^2-1}$ level $1$) has uniform generators and relations which are rational functions in $q = e^{2 \pi i/4N}$, which allows us to construct a new continuous family of tensor categories at non-integer level which interpolate between these categories. This is the second example of such an interpolation category for families of conformal embeddings after Zhengwei Liu's interpolation categories $\mathcal{V}(\mathfrak{sl}_N, N\pm 2) \subset \mathcal{V}(\mathfrak{sl}_{N(N\pm 1)/2},1)$ which he constructed using his classification Yang-Baxter planar algebras. Our approach is different from Liu's, we build a two-color skein theory, with one strand coming from $X$ the image of defining representation of $\mathfrak{sl}_N$ and the other strand coming from an invertible object $g$ in the category of local modules, and a trivalent vertex coming from a map $X \otimes X^* \rightarrow g$. We anticipate small variations on our approach will yield interpolation categories for every infinite discrete family of conformal embeddings.

Cain Edie-Michell Noah Snyder 29 pages http://arxiv.org/abs/2405.07888v2 2025-03-17T17:30:51Z 2024-05-13T16:24:53Z

We provide an explicit expression for the modular hamiltonian of the von Neumann algebras associated to the unit double cone for the (fermionic) quantum field theories of the 2-component Weyl (helicity 1/2) field, and of the 4-component massless Dirac and Majorana fields. To this end, we represent the one particle spaces of these theories in terms of solutions of the corresponding wave equations, and obtain the action of the modular group on them. As an application, we compute the relative entropy between the vacuum of the massless Majorana field and one particle states associated to waves with Cauchy data localized in the spatial unit ball.

Francesca La Piana Gerardo Morsella 10.1007/s00220-025-05253-1 24 pages, one figure. One figure and several explanations added. Version accepted for publication Communications in Mathematical Physics vol. 406 (2025), n. 81 http://arxiv.org/abs/2503.13251v1 2025-03-17T15:07:49Z 2025-03-17T15:07:49Z

Let $p$ be a prime number and $\mathcal{S}_p$ the $p$-solenoid. For $\alpha\in \mathbb{R}\times \mathbb{Q}_p$ we consider in this paper a naturally associated action groupoid $S_\alpha:=\mathbb{Z} [1/p]\ltimes_\alpha \mathcal{S}_p \rightrightarrows \mathcal{S}_p$ whose $C^*-$algebra is a model for the noncommutative solenoid $\mathcal{A}_\alpha^\mathscr{S}$ studied by Latremoli\`ere and Packer. Following the geometric ideas of Connes and Rieffel to describe the Morita equivalences of noncommutative torus using the Kronecker foliation on the torus, we give an explicit description of the geometric/topologic equivalence bibundle for groupoids $S_\alpha$ and $S_\beta$ whenever $\alpha,\beta\in \mathbb{R}\times \mathbb{Q}_p$ are in the same orbit of the $GL_2(\mathbb{Z}[1/p])$ action by linear fractional transformations. As a corollary, for $\alpha,\beta\in \mathbb{R}\times \mathbb{Q}_p$ as above we get an explicit description of the imprimitivity bimodules for the associated noncommutative solenoids.

Paulo Carrillo Rouse Laurent Guillaume Comments are welcome http://arxiv.org/abs/2503.12938v1 2025-03-17T08:53:50Z 2025-03-17T08:53:50Z

We introduce to spectral noncommutative geometry the notion of tangled spectral triple, which encompasses the anisotropies arising in parabolic geometry as well as the parabolic commutator bounds arising in so-called ``bad Kasparov products''. Tangled spectral triples incorporate anisotropy by replacing the unbounded operator in a spectral triple that mimics a Dirac operator with several unbounded operators mimicking directional Dirac operators. We allow for varying and dependent orders in different directions, controlled by using the tools of tropical combinatorics. We study the conformal equivariance of tangled spectral triples as well as how they fit into $K$-homology by means of producing higher order spectral triples. Our main examples are hypoelliptic spectral triples constructed from Rockland complexes on parabolic geometries; we also build spectral triples on nilpotent group $C^*$-algebras from the dual Dirac element and crossed product spectral triples for parabolic dynamical systems.

Magnus Fries Magnus Goffeng Ada Masters http://arxiv.org/abs/2503.12737v1 2025-03-17T02:08:08Z 2025-03-17T02:08:08Z

We present the first examples of higher-rank lattices whose reduced $C^{*}$-algebras satisfy strict comparison, stable rank one, selflessness, uniqueness of embeddings of the Jiang--Su algebra, and allow explicit computations of the Cuntz semigroup. This resolves a question raised in recent groundbreaking work of Amrutam, Gao, Kunnawalkam Elayavalli, and Patchell, in which they exhibited a large class of finitely generated non-amenable groups satisfying these properties. Our proof relies on quantitative estimates in projective dynamics, crucially using the exponential mixing for diagonalizable flows. As a result, we obtain an effective mixed-identity-freeness property, which, combined with V. Lafforgue's rapid decay theorem, yields the desired conclusions.

Itamar Vigdorovich http://arxiv.org/abs/2503.12618v1 2025-03-16T19:21:06Z 2025-03-16T19:21:06Z

We provide a mathematical realization of a proposal by Kitaev, on the basis of the operator-algebraic formulation of infinite quantum spin systems. Our main results are threefold. First, we construct an $\Omega$-spectrum $\mathit{IP}_*$ whose homotopy groups are isomorphic to the smooth homotopy group of invertible gapped quantum systems on Euclidean spaces. Second, we develop a model for the homology theory associated with the $\Omega$-spectrum $\mathit{IP}_*$, describing it in terms of the space of quantum systems placed on an arbitrary subspace of a Euclidean space. This involves introducing the concept of localization flow, a semi-infinite path of quantum systems with decaying interaction range, inspired by Yu's localization C*-algebra in coarse index theory. Third, we incorporate spatial symmetries given by a crystallographic group $\Gamma $ and define the $\Omega$-spectrum $\mathit{IP}_*^\Gamma$ of $\Gamma$-invariant invertible phases. We propose a strategy for computing the homotopy group $\pi_n(\mathit{IP}_d^\Gamma )$ that uses the Davis--L\"{u}ck assembly map and its description by invertible gapped localization flow. In particular, we show that the assembly map is split injective, and hence $\pi_n(\mathit{IP}_d^\Gamma)$ contains a computable direct summand.

Yosuke Kubota 104 pages. Comments are welcome! http://arxiv.org/abs/2503.12376v1 2025-03-16T06:33:39Z 2025-03-16T06:33:39Z

Hunter proved that the complete homogeneous symmetric polynomials of even degree are positive definite. We prove a noncommutative generalization of this result, in which the scalar variables are replaced with hermitian operators. We provide a sharp lower bound and a sum of hermitian squares representation that are novel even in the scalar case.

Stephan Ramon Garcia Jurij Volčič 13 pages http://arxiv.org/abs/2412.20792v2 2025-03-16T01:16:08Z 2024-12-30T08:18:56Z

We study the problem of free denoising. For free selfadjoint random variables $a,b$, where we interpret $a$ as a signal and $b$ as noise, we find $E(a|a+b)$. To that end, we study a probability measure $\mu^{( \mathrm{ov} )}_{a,a+b}$ on $\mathbb{R}^2$ which we call the overlap measure. We show that $\mu^{( \mathrm{ov} )}_{a,a+b}$ is absolutely continuous with respect to the product measure $\mu_a\times \mu_{a+b}$. The Radon-Nikodym derivative gives direct access to $E(a|a+b)$. We show that analogous results hold in the case of multiplicative noise when $a,b$ are positive and the aim is to find $E(a|a^{1/2}ba^{1/2})$. In a parallel development we show that, for a general selfadjoint expression $P(a,b)$ made with $a$ and $b$, finding $E(a|P(a,b))$ is equivalent to finding the distribution of $P(a,b)$ in a certain two-state probability space $(\mathcal{A},\varphi,\chi)$, where $a,b$ are c-free with respect to $(\varphi,\chi)$ in the sense of Bo\.zejko-Leinert-Speicher. We discuss how free denoising (which is set in the framework of an abstract $W^{*}$-probability space) relates to the notion of ''matrix denoising'' previously discussed in the random matrix literature.

Maxime Fevrier Alexandru Nica Kamil Szpojankowski http://arxiv.org/abs/2410.24113v5 2025-03-14T22:11:52Z 2024-10-31T16:43:08Z

In this paper, we consider representations induced by general positive and completely positive sesquilinear maps with values in ordered Banach bimodules, such as the space of trace-class operators and the spaces of bounded linear operators from a von Neumann algebra into the dual of another von Neumann algebra. Also, we deduce some new inequalities for these maps.

Giorgia Bellomonte Stefan Ivkovic Camillo Trapani http://arxiv.org/abs/2312.09666v3 2025-03-14T18:39:38Z 2023-12-15T10:26:19Z

Markov categories have recently emerged as a powerful high-level framework for probability theory and theoretical statistics. Here we study a quantum version of this concept, called involutive Markov categories. These are equivalent to Parzygnat's quantum Markov categories, but we argue that they offer a simpler and more practical approach. Our main examples of involutive Markov categories have pre-C*-algebras, including infinite-dimensional ones, as objects, together with completely positive unital maps as morphisms in the picture of interest. In this context, we prove a quantum de Finetti theorem for both the minimal and the maximal C*-tensor norms, and we develop a categorical description of such quantum de Finetti theorems which amounts to a universal property of state spaces.

Tobias Fritz Antonio Lorenzin 52 pages. The paper has been restructured for improved clarity, following the reviewer's feedback http://arxiv.org/abs/2309.08846v3 2025-03-14T14:46:55Z 2023-09-16T02:59:05Z

Let $({\sf G},\alpha, \omega,\mathfrak B)$ be a measurable twisted action of the locally compact group ${\sf G}$ on a Banach $^*$-algebra $\mathfrak B$ and $\mathfrak A$ a differential Banach $^*$-subalgebra of $\mathfrak B$, which is stable under said action. We observe that $L^1_{\alpha,\omega}({\sf G},\mathfrak A)$ is a differential subalgebra of $L^1_{\alpha,\omega}({\sf G},\mathfrak B)$. We use this fact to provide new examples of groups with symmetric Banach $^*$-algebras. In particular, we prove that discrete rigidly symmetric extensions of compact groups are symmetric or that semidirect products ${\sf K}\rtimes{\sf H}$, with ${\sf H}$ symmetric and ${\sf K}$ compact, are symmetric.

Felipe I. Flores 10.4064/sm240904-14-1 9 pages. Some typos are fixed. The title is changed http://arxiv.org/abs/2401.09730v3 2025-03-14T14:41:24Z 2024-01-18T05:18:15Z

Let ${\sf G}$ be a locally compact group with polynomial growth of order $d$, a polynomial weight $\nu$ on ${\sf G}$ and a Fell bundle $\mathscr C\overset{q}{\to}{\sf G}$. We study the Banach $^*$-algebras $L^1({\sf G}\,\vert\,\mathscr C)$ and $L^{1,\nu}({\sf G}\,\vert\,\mathscr C)$, consisting of integrable cross-sections with respect to ${\rm d} x$ and $\nu(x){\rm d} x$, respectively. By exploring new relations between the $L^p$-norms and the norm of the Hilbert $C^*$-module $L^2_{\rm e}({\sf G}\,\vert\,\mathscr C)$, we are able to show that the growth of the self-adjoint, compactly supported, continuous cross-sections is polynomial. More precisely, they satisfy $$\|{e^{it\Phi}}\|=O(|t|^n),\quad\text{ as }|t|\to\infty,$$ for values of $n$ that only depend on $d$ and the weight $\nu$. We use this fact to develop a smooth functional calculus for such elements. We also give some sufficient conditions for these algebras to be symmetric. As consequences, we show that these algebras are locally regular, $^*$-regular and have the Wiener property (when symmetric), among other results. Our results are already new for convolution algebras associated with $C^*$-dynamical systems.

Felipe I. Flores 10.1016/j.jmaa.2025.129486 29 pages. The introduction was re-written, Proposition 4.17 and Lemma 5.13 changed. Remarks 3.9, 4.2 are new. Section 6 (on Hahn algebras) was removed http://arxiv.org/abs/2503.11403v1 2025-03-14T13:45:43Z 2025-03-14T13:45:43Z

Let $G$ be a locally compact second countable groupoid with a Haar system. In this article, we introduce the induced representation of $G$ from a continuous unitary representation of a closed wide subgroupoid $H$ with a Haarsystem provided there exists a full equivariant system of measures $\mu=\{\mu^{u}\}_{u\in G^{0}}$ on $G/H$. We prove some basic properties of induced representation and a theorem on induction in stages. A groupoid version of Mackey's tensor product theorem is also provided. We also prove a groupoid version of Frobenius Reciprocity theorem on compact transitive groupoids.

K. N. Sridharan N. Shravan Kumar http://arxiv.org/abs/2503.11149v1 2025-03-14T07:36:43Z 2025-03-14T07:36:43Z

We establish a quantum version of Frucht's Theorem, proving that every finite quantum group is the quantum automorphism group of an undirected finite quantum graph. The construction is based on first considering several quantum Cayley graphs of the quantum group in question, and then providing a method to systematically combine them into a single quantum graph with the right symmetry properties. We also show that the dual $\widehat \Gamma$ of any non-abelian finite group $\Gamma$ is ``quantum rigid''. That is, $\widehat \Gamma$ always admits a quantum Cayley graph whose quantum automorphism group is exactly $\widehat \Gamma$.

Michael Brannan Daniel Gromada Junichiro Matsuda Adam Skalski Mateusz Wasilewski 32 pages