http://arxiv.org/api/YOAstwYE63JDNr8thZLh/IiIImA 2025-05-09T00:00:00-04:00 13242 285 15 http://arxiv.org/abs/2502.15362v1 2025-02-21T10:20:34Z 2025-02-21T10:20:34Z

In this paper, we investigate the general properties and structure of $C^*$-extreme points within the $C^*$-convex set $\mathrm{UCP}(\mathcal{A},B(\mathcal{H}))$ of all unital completely positive (UCP) maps from a unital real $C^*$-algebra $\mathcal{A}$ to the algebra $B(\mathcal{H})$ of all bounded real linear maps on a real Hilbert space $\mathcal{H}$. We analyze the differences in the structure of $C^*$-extreme points between the real and complex $C^*$-algebra cases. In particular, we show that the necessary and sufficient conditions for a UCP map between matrix algebras to be a $C^*$-extreme point are identical in both the real and complex matrix algebra cases. We also observe significant differences in the structure of $C^*$-extreme points when $\mathcal{A}$ is a commutative real $C^*$-algebra compared to when $\mathcal{A}$ is a commutative complex $C^*$-algebra. We provide a complete classification of the $C^*$-extreme points of $\mathrm{UCP}(\mathcal{A},B(\mathcal{H}))$, where $\mathcal{A}$ is a unital commutative real $C^*$-algebra and $\mathcal{H}$ is a finite-dimensional real Hilbert space. As an application, we classify all $C^*$-extreme points in the $C^*$-convex set of all contractive skew-symmetric real matrices in $M_n(\mathbb{R})$.

Anand O. R K. Sumesh Arindam Sutradhar http://arxiv.org/abs/2501.07791v2 2025-02-21T01:49:18Z 2025-01-14T02:19:21Z

We construct the first examples of residually finite amenable groups that are not Hilbert-Schmidt (HS) stable. We construct finitely generated, class 3 nilpotent by cyclic examples and solvable linear finitely presented examples. This also provides the first examples of amenable groups that are very flexibly HS-stable but not flexibly HS-stable and the first examples of residually finite amenable groups that are not locally HS-stable. Along the way we exhibit (necessarily not-finitely-generated) class 2 nilpotent groups $G = A\rtimes \Z$ with $A$ abelian such that the periodic points of the dual action are dense but it does not admit dense periodic measures. Finally we use the Tikuisis-White-Winter theorem to show all of the examples are not even operator-HS-stable; they admit operator norm almost homomorphisms that can not be HS-perturbed to true homomorphisms.

Caleb Eckhardt 11 pages. This version contains finitely presented examples http://arxiv.org/abs/2502.14985v1 2025-02-20T19:21:38Z 2025-02-20T19:21:38Z

We compute the K-theory of the C*-category generated by order zero, equivariant, properly supported, classical pseudodifferential operators acting on sections of homogeneous bundles over the symmetric space of a real reductive Lie group G. Our result uses the Connes-Kasparov isomorphism for G, and in fact is equivalent to the Connes-Kasparov isomorphism. We relate our computation to David Vogan's well-known parametrization of the tempered irreducible representations of G with real infinitesimal character. When the reductive group G has real rank one, we formulate and prove a Fourier isomorphism theorem for equivariant order zero pseudodifferential operators on the symmetric space, and use it to prove a K-theoretic version of Vogan's theorem.

Peter DeBello Nigel Higson http://arxiv.org/abs/2412.17167v2 2025-02-20T16:48:21Z 2024-12-22T21:25:44Z

Cuntz algebras $\mathcal{O}_n$, $n>1$, are celebrated examples of a separable infinite simple C*-algebra with a number of fascinating properties. Their K-theory allows an embedding of $\mathcal O_m$ in $\mathcal O_n$ whenever $n-1$ divides $m-1$. In 2009, Kawamura provided a simple and explicit formula for all such embeddings. His formulas can be easily deduced by viewing Cuntz algebras as graph C*-algebras. Our main result is that, using both the covariant and contravariant functoriality of assigning graph C*-algebras to directed graphs, we can provide explicit polynomial formulas for all unital embeddings of Cuntz algebras into matrices over Cuntz algebras allowed by K-theory.

Piotr M. Hajac Yang Liu http://arxiv.org/abs/2502.14081v1 2025-02-19T20:12:48Z 2025-02-19T20:12:48Z

We introduce and study certain asymptotic invariants associated with fusion algebras (equipped with a dimension function), which arise naturally in the representation theory of compact quantum groups. Our invariants generalise the analogous concepts studied for classical discrete groups. Specifically we introduce uniform F\o lner constants and the uniform Kazhdan constant for a regular representation of a fusion algebra, and establish a relationship between these, amenability, and the exponential growth rate considered earlier by Banica and Vergnioux. Further we compute the invariants for fusion algebras associated with % discrete duals of quantum $SU_q(2)$ and $SO_q(3)$ and determine the uniform exponential growth rate for the fusion algebras of all $q$-deformations of semisimple, simply connected, compact Lie groups and for all free unitary quantum groups.

Jacek Krajczok Adam Skalski 39 pages http://arxiv.org/abs/2401.03705v3 2025-02-19T18:40:22Z 2024-01-08T07:30:01Z

In the context of noncommutative geometry, we consider quiver representations -- not on vector spaces, as traditional, but on finite-dimensional prespectral triples (`discrete topological noncommutative spaces'). A similar idea appeared in the original work of Marcolli-van Suijlekom on quiver representations in spectral triples (`discrete noncommutative geometries'), which paved the way for some of our results in independent directions. We introduce Bratteli networks, a structure that yields a neat combinatorial characterisation of the space $\mathrm{Rep}~Q$ of prespectral-triple-representations of a quiver $\mathrm{Rep}~Q$, as well as of the gauge group and of their quotient. Not only these claims that make it possible to `integrate over $\mathrm{Rep}~Q$' are, as we now argue, in line with the spirit of random noncommutative geometry -- formulating path integrals over Dirac operators -- but they also contain a physically relevant case. Namely, the equivalence between quiver representations and path algebra modules, established here for the new category, inspired the following construction: Only from representation theory data, we build a spectral triple for the quiver and evaluate the spectral action functional from a general formula over closed paths. When we apply this construction to lattice-quivers, we obtain not only Wilsonian Yang-Mills lattice gauge theory, but also the Weisz-Wohlert-cells in the context of Symanzik's improved gauge theory. We show that a hermitian (`Higgs') matrix field emerges from the self-loops of the quiver and derive the Yang-Mills--Higgs theory on flat space as a smooth limit.

Carlos I. Perez-Sanchez 36 pp, many quivers; v3 several significant amends, new results http://arxiv.org/abs/2407.02993v2 2025-02-19T14:05:30Z 2024-07-03T10:48:31Z

In this article we study generalised Dirac-Schr\"odinger operators in arbitrary signatures (with or without gradings), providing a general KK-theoretic framework for the study of index pairings and spectral flow. We provide a general Callias Theorem, which shows that the index (or the spectral flow, or abstractly the K-theory class) of Dirac-Schr\"odinger operators can be computed on a suitable compact hypersurface. Furthermore, if the zero eigenvalue is isolated in the spectrum of the Dirac operator, we relate the index (or spectral flow) of Dirac--Schr\"odinger operators to the index (or spectral flow) of corresponding Toeplitz operators. Combining both results, we obtain an index (or spectral flow) equality relating Toeplitz operators on the noncompact manifold to Toeplitz operators on the compact hypersurface. Our results generalise various known results from the literature, while presenting these results in a common unified framework.

Koen van den Dungen Updated and extended version, 41 pages http://arxiv.org/abs/2410.17407v2 2025-02-18T15:25:02Z 2024-10-22T20:28:58Z

Given a locally compact quantum group $\mathbb{G}$ and two $\mathbb{G}$-$W^*$-algebras $\alpha: A\curvearrowleft \mathbb{G}$ and $\beta: B\curvearrowleft \mathbb{G}$, we study the notion of equivariant $W^*$-Morita equivalence $(A, \alpha)\sim_{\mathbb{G}} (B, \beta)$, which is an equivariant version of Rieffel's notion of $W^*$-Morita equivalence. We prove that important dynamical properties of $\mathbb{G}$-$W^*$-algebras, such as (inner) amenability, are preserved under equivariant Morita equivalence. For a coideal von Neumann algebra $L^\infty(\mathbb{K}\backslash \mathbb{G})\subseteq L^\infty(\mathbb{G})$ with dual coideal von Neumann algebra $L^\infty(\check{\mathbb{K}})\subseteq L^\infty(\check{\mathbb{G}})$, we use a natural $\check{\mathbb{G}}$-$W^*$-Morita equivalence $L^\infty(\mathbb{K}\backslash \mathbb{G})\rtimes_\Delta \mathbb{G} \sim_{\check{\mathbb{G}}} L^\infty(\check{\mathbb{K}})$ to relate dynamical properties of $L^\infty(\mathbb{K}\backslash \mathbb{G})$ with dynamical properties of $L^\infty(\check{\mathbb{K}})$. We use this to refine some recent results established by Anderson-Sackaney and Khosravi. This refinement allows us to answer a question of Kalantar, Kasprzak, Skalski and Vergnioux, namely that for $\mathbb{H}$ a closed quantum subgroup of the compact quantum group $\mathbb{G}$, coamenability of $\mathbb{H}\backslash \mathbb{G}$ and relative amenability of $\ell^\infty(\check{\mathbb{H}})$ in $\ell^\infty(\check{\mathbb{G}})$ are equivalent. Moreover, if $\mathbb{G}$ is compact, we study the relation between $\mathbb{G}$-$W^*$-Morita equivalence of $(A, \alpha)$ and $(B, \beta)$ and $\mathbb{G}$-$C^*$-Morita equivalence of the associated $\mathbb{G}$-$C^*$-algebras $(\mathcal{R}(A), \alpha)$ and $(\mathcal{R}(B), \beta)$ of regular elements.

Joeri De Ro 25 pages. Comments are welcome! v2: Corrected minor typos, added Proposition 4.7, upgraded one direction of Theorem 5.6 to the non-ergodic setting http://arxiv.org/abs/2405.05383v2 2025-02-17T23:38:20Z 2024-05-08T19:18:39Z

In a recent paper we showed that a subspace of a real JBW*-triple is an M-summand if and only if it is a weak*-closed triple ideal. As a consequence, M-ideals of real JB*-triples, including real C*-algebras, real JB*-algebras and real TROs, correspond to norm-closed triple ideals. In the present paper we extend this result to (possibly non-selfadjoint) real operator algebras and Jordan operator algebras, where the argument is necessarily different. We also give simple characterizations of one-sided M-ideals in real operator algebras, and give some applications to that theory.

David P. Blecher Matthew Neal Antonio M. Peralta Shanshan Su 18 pages, to appear Math Nachrichten http://arxiv.org/abs/1011.1558v7 2025-02-17T17:05:00Z 2010-11-06T12:46:59Z

This book treats: - spectral theory of Banach *-algebras, - basic representation theory of normed *-algebras, - spectral theory of representations of commutative *-algebras. A novel feature of the book is the construction of the enveloping C^*-algebra of a general normed *-algebra.

Marco Thill The 8th edition is available at bookshops and at Amazon. arXiv admin note: text overlap with arXiv:math/0701306, arXiv:0807.4242 http://arxiv.org/abs/2502.11821v1 2025-02-17T14:14:55Z 2025-02-17T14:14:55Z

We study unitary orthonormal bases in the sense of Pimsner and Popa for inclusions $(\mathcal{B}\subseteq \mathcal{A}, E),$ where $\mathcal{A}, \mathcal{B}$ are finite dimensional von Neumann algebras and $E$ is a conditional expectation map from $\mathcal{A}$ onto $\mathcal{B}$. It is shown that existence of such bases requires that the associated inclusion matrix satisfies a spectral condition forcing dimension vectors to be Perron-Frobenius eigenvectors and the conditional expectation map preserves the Markov trace. Subject to these conditions, explicit unitary orthonormal bases are constructed if either one of the algebras is abelian or simple. They generalize complex Hadamard matrices, Weyl unitary bases, and a recent work of Crann et al which correspond to the special cases of $\mathcal{A}$ being abelian, simple, and general multi-matrix algebras respectively with $\mathcal{B}$ being the algebra of complex numbers. For the first time $\mathcal{B}$ is more general. As an application of these results it is shown that if $(\mathcal{B}\subseteq \mathcal{A}, E),$ admits a unitary orthonormal basis then the Connes-St{\o}rmer relative entropy $H(\mathcal{A}_1|\mathcal{A})$ equals the logarithm of the square of the norm of the inclusion matrix, where $\mathcal{A}_1$ denotes the Jones basic construction of the inclusion. As a further application, we prove the existence of unitary orthonormal bases for a large class of depth 2 subfactors with abelian relative commutant.

Keshab Chandra Bakshi B V Rajarama Bhat 23 pages, no figures http://arxiv.org/abs/2502.11226v1 2025-02-16T18:28:01Z 2025-02-16T18:28:01Z

We adapt Goldie's concept of uniform dimensions from module theory over rings to $\Gamma$-monoids. A $\Gamma$-monoid $M$ is said to have uniform dimension $n$ if $n$ is the largest number of pairwise incomparable nonzero $\Gamma$-order ideals contained in $M$. Specializing to the talented monoid of a graph, we show that the uniform dimension provides a rough measure of how the graph branches out. Since for any order ideal $I$, its orthogonal ideal $I^\perp$ is the largest ideal incomparable to $I$, we study the notions of orthogonality and regularity, particularly when $I^{\perp\perp}=I$. We show that the freeness of the action of $\mathbb Z$ on the talented monoid of a graph is preserved under quotienting by a regular ideal. Furthermore, we determine the underlying hereditary and saturated sets that generate these ideals. These results unify recent studies on regular ideals of the corresponding Leavitt path algebras and graph $C^*$-algebras. We conclude that for graphs $E$ and $F$, if there is a $\mathbb Z$-monoid isomorphism $T_E\cong T_F$, then there is a one-to-one correspondence between the regular ideals of the associated Leavitt path algebras $L_K(E)$ and $L_K(F)$ (and similarly, $C^*(E)$ and $C^*(F)$). Since the talented monoid $T_E$ is the positive cone of the graded Grothendieck group $K_0^{gr}(L_K(E))$, this provides further evidence supporting the Graded Classification Conjecture.

Luiz Gustavo Cordeiro Daniel Gonçalves Roozbeh Hazrat http://arxiv.org/abs/2407.01591v3 2025-02-15T04:36:15Z 2024-06-24T04:36:24Z

The $\alpha$-induction of graded local conformal nets is studied. We show that inclusions of graded local conformal nets give rise to braided subfactors so that the $\alpha$-induction is still effective for graded local conformal nets. As an application, we give a shorter proof of classification of $N=2$ superconformal nets in the discrete series.

Ziyun Xu The notion of graded localized endomorphisms is included. Some essential information missing in the previous version is added. arXiv admin note: substantial text overlap with arXiv:1207.2398, arXiv:1304.4062 by other authors http://arxiv.org/abs/2502.10521v1 2025-02-14T19:36:31Z 2025-02-14T19:36:31Z

We study the properties of a generalization of the Mycielski construction to quantum graphs. We discuss quantum symmetries of quantum Mycielskians and their relation to quantum symmetries of the original quantum graphs. We introduce a quantum generalization of the notion of graphs with twin vertices and check that this concept coincides with its classical version for classical graphs with few vertices. Finally, we propose the quantum generalization of the distinguishing number and study its behavior under the quantum Mycielski construction.

Arkadiusz Bochniak Igor Chełstowski Paweł Kasprzak Piotr M. Sołtan http://arxiv.org/abs/2502.10286v1 2025-02-14T16:48:13Z 2025-02-14T16:48:13Z

We construct an operator system generated by $4$ operators that is not hyperrigid, although all restrictions of irreducible representations have the unique extension property.

Marcel Scherer 7 pages