Weighted Orlicz $*$-algebras on locally elliptic groups

2025-03-26T17:16:20Z

Let $G$ be a locally elliptic group, $(\Phi,\Psi)$ a complementary pair of Young functions, and $\omega: G \rightarrow [1,\infty)$ a weight function on $G$ such that the weighted Orlicz space $L^\Phi(G,\omega)$ is a Banach $*$-algebra when equipped with the convolution product and involution $f^*(x):=\overline{f(x^{-1})}$ ($f \in L^\Phi(G,\omega)$). Such a weight always exists on $G$ and we call it an $L^\Phi$-weight. We assume that $1/\omega \in L^\Psi(G)$ so that $L^\Phi(G,\omega) \subseteq L^1(G)$. This paper studies the spectral theory and primitive ideal structure of $L^\Phi(G,\omega)$. In particular, we focus on studying the Hermitian, Wiener and $*$-regularity properties on this algebra, along with some related questions on spectral synthesis. It is shown that $L^\Phi(G,\omega)$ is always quasi-Hermitian, weakly-Wiener and $*$-regular. Thus, if $L^\Phi(G,\omega)$ is Hermitian, then it is also Wiener. Although, in general, $L^\Phi(G,\omega)$ is not always Hermitian, it is known that Hermitianness of $L^1(G)$ implies Hermitianness of $L^\Phi(G,\omega)$ if $\omega$ is sub-additive. We give numerous examples of locally elliptic groups $G$ for which $L^1(G)$ is Hermitian and sub-additive $L^\Phi$-weights on these groups. In the weighted $L^1$ case, even stronger Hermitianness results are formulated.

Continuous spectrum-shrinking maps and applications to preserver problems

2025-03-26T10:48:20Z

For a positive integer $n$ let $\mathcal{X}_n$ be either the algebra $M_n$ of $n \times n$ complex matrices, the set $N_n$ of all $n \times n$ normal matrices, or any of the matrix Lie groups $\mathrm{GL}(n)$, $\mathrm{SL}(n)$ and $\mathrm{U}(n)$. We first give a short and elementary argument that for two positive integers $m$ and $n$ there exists a continuous spectrum-shrinking map $\phi : \mathcal{X}_n \to M_m$ (i.e.\ $\mathrm{sp}(\phi(X))\subseteq \mathrm{sp}(X)$ for all $X \in \mathcal{X}_n$) if and only if $n$ divides $m$. Moreover, in that case we have the equality of characteristic polynomials $k_{\phi(X)}(\cdot) = k_{X}(\cdot)^\frac{m}{n}$ for all $X \in \mathcal{X}_n$, which in particular shows that $\phi$ preserves spectra. Using this we show that whenever $n \geq 3$, any continuous commutativity preserving and spectrum-shrinking map $\phi : \mathcal{X}_n \to M_n$ is of the form $\phi(\cdot)=T(\cdot)T^{-1}$ or $\phi(\cdot)=T(\cdot)^tT^{-1}$, for some $T\in \mathrm{GL}(n)$. The analogous results fail for the special unitary group $\mathrm{SU}(n)$ but hold for the spaces of semisimple elements in either $\mathrm{GL}(n)$ or $\mathrm{SL}(n)$. As a consequence, we also recover (a strengthened version of) \v{S}emrl's influential characterization of Jordan automorphisms of $M_n$ via preserving properties.

On the topological ranks of Banach $^*$-algebras associated with groups of subexponential growth

2025-03-25T21:16:44Z

Let $G$ be a group of subexponential growth and $\mathscr C\overset{q}{\to}G$ a Fell bundle. We show that any Banach $^*$-algebra that sits between the associated $\ell^1$-algebra $\ell^1( G\,\vert\,\mathscr C)$ and its $C^*$-envelope has the same topological stable rank and real rank as $\ell^1( G\,\vert\,\mathscr C)$. We apply this result to compute the topological stable rank and real rank of various classes of symmetrized twisted $L^p$-crossed products and show that some twisted $L^p$-crossed products have topological stable rank 1. Our results are new even in the case of (untwisted) group algebras.

A New Proof of the Weyl-von Neumann-Berg Theorem

2025-03-25T02:33:31Z

We give a new proof of the Weyl-von Neumann-Berg theorem. Our proof improves Halmos' proof in 1972 by observing the fact that every compact set in the complex plane is the continuous image of a compact set in the real line.

Topological description of pure invariant states of the Weyl $C^*$-algebra

2025-03-25T01:49:08Z

In this work we study the topology of certain families of states of the Weyl $C^*$-algebra with finite degrees of freedom. We focus on families of pure states characterized by symmetries and a (semi-)regularity condition, and obtain precise topological descriptions through homeomorphisms with other explicit spaces. Of special importance are the families of pure, semi-regular states invariant under either continuous (plane-wave states) or discrete (Bloch-wave states) spatial translations, and the family of states invariant under discrete, mutually commuting spatial and momentum translations (Zak-wave states), all of which we completely characterize.

An operator algebraic approach to symmetry defects and fractionalization

2025-03-24T21:29:36Z

We provide a superselection theory of symmetry defects in 2+1D symmetry enriched topological (SET) order in the infinite volume setting. For a finite symmetry group $G$ with a unitary on-site action, our formalism produces a $G$-crossed braided tensor category $G\mathsf{Sec}$. This superselection theory is a direct generalization of the usual superselection theory of anyons, and thus is consistent with this standard analysis in the trivially graded component $G\mathsf{Sec}_1$. This framework also gives us a completely rigorous understanding of symmetry fractionalization. To demonstrate the utility of our formalism, we compute $G\mathsf{Sec}$ explicitly in both short-range and long-range entangled spin systems with symmetry and recover the relevant skeletal data.

Murray-von Neumann dimension for strictly semifinite weights

2025-03-24T14:22:41Z

Given a von Neumann algebra $M$ equipped with a faithful normal strictly semifinite weight $\varphi$, we develop a notion of Murray-von Neumann dimension over $(M,\varphi)$ that is defined for modules over the basic construction associated to the inclusion $M^\varphi \subset M$. For $\varphi=\tau$ a faithful normal tracial state, this recovers the usual Murray-von Neumann dimension for finite von Neumann algebras. If $M$ is either a type $\mathrm{III}_\lambda$ factor with $0<\lambda <1$ or a full type $\mathrm{III}_1$ factor with $\text{Sd}(M)\neq \mathbb{R}$, then amongst extremal almost periodic weights the dimension function depends on $\varphi$ only up to scaling. As an application, we show that if an inclusion of diffuse factors with separable preduals $N\subset M$ is with expectation $\mathcal{E}$ and admits a compatible extremal almost periodic state $\varphi$, then this dimension quantity bounds the index $\text{Ind}{\mathcal{E}}$, and in fact equals it when the modular operators $\Delta_\varphi$ and $\Delta_{\varphi|_N}$ have the same point spectrum. In the pursuit of this result, we also show such inclusions always admit Pimsner-Popa orthogonal bases.

Operator algebras over the p-adic integers

2025-03-24T12:11:29Z

We introduce $p$-adic operator algebras, which are nonarchimedean analogues of $C^*$-algebras. We demonstrate that various classical examples of operator algebras - such as group(oid) $C^*$-algebras - have nonarchimedean counterparts. The category of $p$-adic operator algebras exhibits similar properties to those of the category of real and complex $C^*$-algebras, featuring limits, colimits, tensor products, crossed products and an enveloping construction permitting us to construct $p$-adic operator algebras from involutive algebras over $\mathbb{Z}_p$. In several cases of interest, the enveloping algebra construction recovers the $p$-adic completion of the underlying $\mathbb{Z}_p$-algebra. We then discuss an analogue of topological $K$-theory for Banach $\mathbb{Z}_p$-algebras, and compute it in basic examples such as the $p$-adic Cuntz algebra and rotation algebras. Finally, for a large class of $p$-adic operator algebras, we show that our $K$-theory coincides with the reduction mod $p$ of Quillen's algebraic $K$-theory.

Inductive limits of compact quantum metric spaces

2025-03-24T01:18:41Z

A compact quantum metric space is a unital $C^*$-algebra equipped with a Lip-norm. Let $\{(A_n, L_n)\}$ be a sequence of compact quantum metric spaces, and let $\phi_n:A_n\to A_{n+1}$ be a unital $^*$-homomorphism preserving Lipschitz elements for $n\geq 1$. We show that there exists a compact quantum metric space structure on the inductive limit $\varinjlim(A_n,\phi_n)$ by means of the inverse limit of the state spaces $\{\mathcal{S}(A_n)\}$. We also give some sufficient conditions that two inductive limits of compact quantum metric spaces are Lipschitz isomorphic.

Hyers-Ulam stability of homomorphisms and -homomorphisms on Hilbert C-modules

2025-03-23T21:22:03Z

In this paper, we introduce the idea of $\ast$-homomorphism on a Hilbert $C^{*}$-module. Furthermore, we prove the Hyers-Ulam stability of homomorphisms and $\ast$-homomorphisms on Hilbert $C^{*}$-modules using the fixed point method.

$\mathcal{Z}$-stability of twisted group C*-algebras of nilpotent groups

2025-03-23T14:40:12Z

We prove that the twisted group C*-algebra of a finitely generated nilpotent group is $\mathcal{Z}$-stable if and only if it is nowhere scattered, a condition that we characterize in terms of the given group and 2-cocycle. As a main application, we prove new converses to the Balian-Low Theorem for projective, square-integrable representations of nilpotent Lie groups.

Relative Positions of Half-sided Modular Inclusions

2025-03-23T11:40:18Z

Let $K_1 \subset H$ and $K_2 \subset H$ be half-sided modular inclusions in a common standard subspace $H$. We prove that the inclusion $K_1 \subset K_2$ holds if and only if we have an inclusion of spectral subspaces of the generators of the positive one-parameter groups associated to the half-sided modular inclusions $K_1 \subset H$ and $K_2 \subset H$. From this we give a characterization of this situation in terms of (operator valued) symmetric inner functions. We illustrate these characterizations with some examples of non-trivial phenomena occurring in this setting.

The stable uniqueness theorem for equivariant Kasparov theory

2025-03-22T08:48:31Z

This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical systems. The main result is a stable uniqueness theorem that generalizes a fundamental characterization of ordinary $KK$-theory by Lin and Dadarlat-Eilers. Along the way, we prove an equivariant Cuntz-Thomsen picture analog of the fact that the equivalence relation of homotopy agrees with the (a priori stronger) equivalence relation of stable operator homotopy. The results proved in this paper will be employed as the technical centerpiece in forthcoming work of the authors to classify certain amenable group actions on Kirchberg algebras by equivariant Kasparov theory.

Uncertainty principles on $C^{*}$-algebras

2025-03-22T06:43:40Z

In this paper we prove some uncertainty bounds for commutators and anti-commutators of observables in a $C^*$-algebra. We give a short, elementary proof of Robertson's Standard Uncertaity Principle in this setting. We also prove some other uncertainty relations for which the lower bound doesn't vanish for any number of observables.

Quasi-invariant states with uniformly bounded cocycles

2025-03-21T23:07:44Z

We investigate the notion of quasi-invariant states introduced in [2, 3] from an analytic viewpoint.We give the structures of quasi-invariant states with uniformly bounded cocycles. As a consequence, we can apply a Theorem of Kovacs and Szucs to get a conditional expectation on fixed points and another of Stormer to get an invariant semifinite trace under extra assumptions.