https://arxiv.org/api/TXu7+E0nJgmufAOyPmTcZp+UjAM 2026-03-20T12:57:26Z 13977 60 15 http://arxiv.org/abs/2602.08998v3 2026-03-04T18:49:09Z

We study homology of ample groupoids via the compactly supported Moore complex of the nerve. Let $A$ be a topological abelian group. For $n\ge 0$ set $C_n(\mathcal G;A) := C_c(\mathcal G_n,A)$ and define $\partial_n^A=\sum_{i=0}^n(-1)^i(d_i)_*$. This defines $H_n(\mathcal G;A)$. The theory is functorial for continuous étale homomorphisms. It is compatible with standard reductions, including restriction to saturated clopen subsets. In the ample setting it is invariant under Kakutani equivalence. We reprove Matui type long exact sequences and identify the comparison maps at chain level. For discrete $A$ we prove a natural universal coefficient short exact sequence $$0\to H_n(\mathcal G)\otimes_{\mathbb Z}A\xrightarrow{\ ι_n^{\mathcal G}\ }H_n(\mathcal G;A)\xrightarrow{\ κ_n^{\mathcal G}\ }\operatorname{Tor}_1^{\mathbb Z}\bigl(H_{n-1}(\mathcal G),A\bigr)\to 0.$$ The key input is the chain level isomorphism $C_c(\mathcal G_n,\mathbb Z)\otimes_{\mathbb Z}A\cong C_c(\mathcal G_n,A)$, which reduces the groupoid statement to the classical algebraic UCT for the free complex $C_c(\mathcal G_\bullet,\mathbb Z)$. We also isolate the obstruction for non-discrete coefficients. For a locally compact totally disconnected Hausdorff space $X$ with a basis of compact open sets, the image of $Φ_X:C_c(X,\mathbb Z)\otimes_{\mathbb Z}A\to C_c(X,A)$ is exactly the compactly supported functions with finite image. Thus $Φ_X$ is surjective if and only if every $f\in C_c(X,A)$ has finite image, and for suitable $X$ one can produce compactly supported continuous maps $X\to A$ with infinite image. Finally, for a clopen saturated cover $\mathcal G_0=U_1\cup U_2$ we construct a short exact sequence of Moore complexes and derive a Mayer-Vietoris long exact sequence for $H_\bullet(\mathcal G;A)$ for explicit computations.

2026-02-09T18:43:31Z Master's thesis, Code available at https://github.com/karhunenloeve/MScMath.git Luciano Melodia http://arxiv.org/abs/2505.05179v2 2026-03-04T13:24:58Z

In this paper, we show that for a graph $Γ$ from a class named H-rigid graphs, its subgraph ${\rm Int}(Γ)$, named the internal graph of $Γ$, is an isomorphism invariant of the graph product of hyperfinite II$_1$-factors $R_Γ$. In particular, we can classify $R_Γ$ for some typical types of graphs, such as lines, cyclic graphs and infinite regular trees. As an application, we also show that for two isomorphic graph products of hyperfinite II$_1$-factors over H-rigid graphs, the difference of the radius between the two graphs will not be larger than 1. Our proof is based on the recent resolution of the Peterson-Thom conjecture.

2025-05-08T12:30:22Z Minor changes. To appear in Journal of Noncommutative Geometry Martijn Caspers Enli Chen http://arxiv.org/abs/2603.04020v1 2026-03-04T12:56:29Z

We provide sufficient conditions for the existence of a trace on the essential $\mathrm{C}^\ast$-algebra of a (not necessarily Hausdorff) étale groupoid $G$ which extends an invariant measure $μ$ on the unit space of $G$. In particular, it suffices for the isotropy groups of $G$ to be amenable, or for $G$ to be essentially free with respect to $μ$. We also show that $G$ is essentially free with respect to an invariant measure $μ$ if and only if $μ$ extends to a unique trace on the full $\mathrm{C}^\ast$-algebra of $G$. We work in the generality of possibly infinite measures and, accordingly, possibly unbounded traces. Moreover, whenever possible, we state our results for twisted groupoids. As an application, we show that gauge-invariant algebras of finite-state self-similar groups admit a unique tracial state.

2026-03-04T12:56:29Z 20 pages Alistair Miller Eduardo Scarparo http://arxiv.org/abs/2505.12769v2 2026-03-04T07:16:50Z

We prove that unital graph C*-algebras often admit a convenient decomposition into amalgamated free products. We use this to give a complete characterization of when a unital graph C*-algebra is residually finite-dimensional and when it is operator norm stable (that is, matricially semiprojective).

2025-05-19T06:50:18Z We added a new section where we give a complete characterization of when a unital graph C*-algebra is matricially semiprojective. Also our previous result on RFD property is now proved for all unital graph C*-algebras Guillaume Bellier Tatiana Shulman http://arxiv.org/abs/2507.23696v2 2026-03-03T19:14:03Z

We study the problem of continuity of derivations over Banach algebras. More specifically, we consider a class of Banach algebras that contain a dense '$C^*$-like' subalgebra. We discuss applications to $L^p$-crossed products and symmetrized $L^p$-crossed products. As an example, our results imply that every derivation over the $L^p$-crossed product $F^p(G,X,α)$ is continuous, provided that $G$ is infinite, finitely generated, has polynomial growth, and acts freely on the compact Hausdorff space $X$.

2025-07-31T16:15:57Z 11 pages. Section 3 was re-written. The rest of the paper only had minor changes. To appear in Canad. Math. Bull Felipe I. Flores 10.4153/S0008439526101878 http://arxiv.org/abs/2602.16572v2 2026-03-03T18:30:12Z

Over an arbitrary commutative ring $R$, we develop a theory of quantum cellular automata. We then use algebraic K-theory to construct a space $\mathbf{Q}(X)$ of quantum cellular automata (QCA) on a given metric space $X$. In most cases of interest, $π_0 \mathbf{Q}(X)$ classifies QCA up to quantum circuits and stabilization. Notably, the QCA spaces are related by homotopy equivalences $\mathbf{Q}(*) \simeq Ω^n \mathbf{Q}(\mathbb{Z}^n)$ for all $n$, which shows that the classification of QCA on Euclidean lattices is given by an $Ω$-spectrum indexed by the dimension $n$. As a corollary, we also obtain a non-connective delooping of the K-theory of Azumaya $R$-algebras, which may be of independent interest. We also include a section leading to the $Ω$-spectrum for QCA over $C^*$-algebras with unitary circuits.

2026-02-18T16:15:36Z 57 pages, 5 Figures, 1 Table Mattie Ji Bowen Yang http://arxiv.org/abs/2603.00276v2 2026-03-03T12:07:02Z

If $G$ is a compact group, continuous normalized positive definite functions are in one-to-one correspondence with unital quantum channels acting as Fourier multipliers on the group von Neumann algebra $\mathrm{VN}(G)$. We study the convex geometry of the convex set $\mathrm{P}_1(G)$ of normalized positive definite functions, equipped with the topology induced by the norm topology of the Fourier algebra $\mathrm{A}(G)$, and its relation with the structure of $\mathrm{VN}(G)$. We show that the von Neumann algebras of two compact groups $G$ and $H$ are $*$-isomorphic if and only if the convex sets $\mathrm{P}_1(G)$ and $\mathrm{P}_1(H)$ are affinely homeomorphic. We also describe the group of affine homeomorphisms of $\mathrm{P}_1(G)$ in terms of Jordan $*$-automorphisms of $\mathrm{VN}(G)$.

2026-02-27T19:50:06Z 13 pages, minor improvements Cédric Arhancet Lei Li http://arxiv.org/abs/2512.18900v3 2026-03-03T10:41:03Z

Kadison--Schwarz (KS) maps form a natural class of positive linear maps lying strictly between positivity and complete positivity. Despite their relevance in operator algebras and quantum dynamics, explicit analytic sufficient conditions for the KS property remain scarce beyond low-dimensional or highly symmetric settings. In this work we analyze unital positive linear maps on $M_3$ within the Bloch--Gell--Mann representation and derive explicit analytic sufficient conditions ensuring the Kadison--Schwarz property. The approach exploits unitary equivalence together with structural properties of the Lie algebra $\mathfrak{su}(3)$ and does not rely on numerical optimization or semidefinite-programming methods. A key mechanism is the cancellation of contributions associated with antisymmetric structure constants, which reduces the problem to estimates governed solely by the symmetric tensor $d_{ijk}$. The results clarify how the Kadison--Schwarz property can hold under assumptions substantially weaker than complete positivity and yield a structural criterion for the KS property on $M_3$ in terms of Bloch parameters.

2025-12-21T22:10:06Z 1. The title has been reformulated. 3. The proof of the main theorem has been expanded and clarified. 4. Addition of an illustrative two-parameter diagonal family $T(t,s)$, highlighting the relation between positivity, the Kadison--Schwarz property, and complete positivity. 5. Reorganization and structural clarification of the Appendix Adam Rutkowski http://arxiv.org/abs/2512.08797v3 2026-03-03T09:57:16Z

Recently De les Coves, Drescher and Netzer showed that an analogue of the Birkhoff--von Neumann theorem fails in the quantum setting. Motivated by this and questions arising in the study of quantum automorphisms of graphs, we introduce a graph-based variant of quantum magic squares and show that the analogue already fails for the cycle \(C_4\), via an explicit counterexample. We also show that they admit monic linear matrix inequality descriptions, hence form compact free spectrahedra.

2025-12-09T16:48:21Z 24 pages. Minor corrections, typos, and minor revisions to the exposition Francesca La Piana http://arxiv.org/abs/2602.13948v2 2026-03-02T21:51:07Z

We provide an algebraic perspective on Nielsen--Ninomiya-type no-go theorems arising from group cohomological anomalies, revisiting in particular the version proved by Kapustin and Sopenko. Departing from their analytic proof, our approach emphasizes the algebraic structure of symmetry actions and the local computability of anomaly indices. We demonstrate that this no-go theorem is due to a fundamental algebraic incompatibility between anomaly data and the dimension of local Hilbert spaces. Specifically, when an anomaly index is locally computable via quasi-local unitary operators, a suitable gauge fixing trivializes their (generalized) determinants, imposing unexpected and nontrivial constraints on lattice regularizations.

2026-02-15T01:22:04Z 27 Pages Ruizhi Liu http://arxiv.org/abs/2603.02058v1 2026-03-02T16:48:31Z

In this short note we prove Hilbert--Schmidt stability for graph products of abelian groups and $C^*$-algebras on chordal graphs. In particular, this shows that right-angled Artin groups on chordal graphs are Hilbert--Schmidt stable.

2026-03-02T16:48:31Z Pieter Spaas http://arxiv.org/abs/2509.02263v3 2026-03-02T13:08:34Z

Motivated by the classical theory of spin structures, we develop a theory for lifting free C$^*$-dynamical systems, a.k.a. noncommutative principal bundles, along central extensions. This theory extends the bundle-theoretic notion of spin structures and yields a complete existence and classification result for such lifts. Using factor system techniques and Picard formalism, our approach introduces new invariants and obstruction classes, thereby unifying geometric, cohomological, and operator-algebraic perspectives. A range of examples demonstrates the scope of the theory.

2025-09-02T12:37:57Z 31 pages. Example in Section 4.6 corrected and updated; minor typos corrected. All comments are welcome Stefan Wagner http://arxiv.org/abs/2603.01466v1 2026-03-02T05:28:05Z

Differently from the non-relativistic quantum mechanics, the violation of Bell inequalities in quantum field theory depends more on the structure of observable algebras (typically type III von Neumann algebras) rather than the choice of specific quantum states. Therefore, studying the violation of Bell inequalities based on the von Neumann algebraic framework often reveals information about the algebraic structure. In this paper, we employ three mutually-commuting von Neumann algebras to characterize quantum entanglement swapping networks, and establish Bell-like inequalities thereon, commonly referred to as bilocal inequalities. We investigate the algebraic structural conditions under which bilocal inequalities are satisfied or violated on the generated algebra of these three von Neumann algebras. Furthermore, the conditions for maximal violation of the inequalities can be utilized to infer the structural information of von Neumann algebras in reverse. Our results not only utilize the violation of bilocal inequalities to reveal the structural properties of von Neumann algebras, but can also be applied to quantum mechanics and quantum field theory.

2026-03-02T05:28:05Z 19 pages, 1 figure Bingke Zheng Shuyuan Yang Jinchuan Hou Kan He http://arxiv.org/abs/2508.02504v2 2026-03-01T16:14:52Z

The purpose of this paper is construct an embedding of the C*-algebra of the Cartan motion group of a real reductive group G into the reduced C*-algebra of G itself. The embedding has a number of applications: we shall use it to characterize the Mackey bijection from the tempered dual of G into the unitary dual of the motion group; to characterize the continuous field of reduced group C*-algebras arising from the contraction of G to its Cartan motion group; and to characterize the Connes-Kasparov assembly map in operator K-theory. Our results continue and complete a project that was begun several years ago by the last two authors, who considered the case of complex groups. In the real case, detailed information from the theory of R-groups is used in the construction.

2025-08-04T15:12:16Z Minor revisions. To appear in Camb. J. Math Pierre Clare Nigel Higson Angel Román http://arxiv.org/abs/2505.16706v3 2026-02-28T06:36:15Z

The Graded Classification Conjecture (GCC) states that the pointed $K_0^{\operatorname{gr}}$-group is a complete invariant of the Leavitt path algebras of finite graphs when these algebras are considered with their natural grading by $\mathbb Z.$ The conjecture has previously been shown to hold in some special cases. The main result of the paper shows that the GCC holds for a significantly more general class of graphs included in the class of graphs with disjoint cycles. In particular, our result holds for finite graphs with disjoint cycles. We show the main result also for graph $C^*$-algebras. As a consequence, the graded version of the Isomorphism Conjecture holds for the class of graphs we consider. Besides showing the conjecture for the class of graphs we consider, we realize the Grothendieck $\mathbb Z$-group isomorphism by a specific graded $*$-isomorphism. In particular, we introduce a series of graph operations which preserve the graded $*$-isomorphism class of their algebras. After performing these operations on a graph, we obtain well-behaved ``representative'' graphs, which we call canonical forms. We define an equivalence $\approx$ on graphs such that $E\approx F$ holds when there are isomorphic canonical forms of $E$ and $F$ and we show that the condition $E\approx F$ is equivalent to the existence of an isomorphism $f$ of the Grothendieck $\mathbb Z$-groups of the algebras of $E$ and $F$ in the appropriate category. As $E\approx F$ can be realized by a finite series of specific graph operations, any such isomorphism $f$ can be realized by an explicit graded $*$-algebra isomorphism. Thus, we describe the graded ($*$-)isomorphism classes of the algebras of graphs we consider. Besides the ties to symbolic dynamics and Williams' Problem, such a description is relevant for the active program of classification of graph $C^*$-algebras.

2025-05-22T14:07:50Z This version contains substantial changes to sections 4 and 5 showing the inductive argument of the main result Lia Vas