Maximal Algebraic Ideals in Nonunital $C^*$-Algebras

Zhichao Liu; Xin Ma

Home/Archive/arXiv

arXiv · 2609.18840

Maximal Algebraic Ideals in Nonunital $C^*$-Algebras

Zhichao Liu·Xin Ma

View original source ↗Read source document ↗Export metadata ↓

Abstract

Motivated by Ozawa's question of whether every maximal algebraic two-sided ideal in a $C^*$-algebra must be closed, we study the existence of maximal algebraic two-sided ideals in nonunital $C^*$-algebras. We formulate singular-distribution estimates intrinsically through lower semicontinuous 2-quasitraces and apply them to control algebraic ideal membership. This allows us to develop a novel criterionthe, the admissible quasitracial projection scale, for establishing the nonexistence of maximal ideals in nonunital $C^*$-algebras. This criterion applies to a wide class of simple $C^*$-algebras, including: (i) all $A\otimes K$ where $A$ is unital, simple, stably finite, $QT_2^1(A)$ nonempty, and the radius of comparison $rc(A)$ is finite, as well as all their hereditary $C^*$-subalgebras whenever $A$ satisfies further assumptions that A is of real rank zero and A has finitely many extreme quasitraces; (ii) all nonunital, simple, separable, stably finite, $Z$-stable $C^*$-algebras A that have an approximate identity consisting of increasing projections $(p_n)$ and for which the simplex $QT_2^1(A,p_1)$ of normalized traces at $p_1$ has finitely many extreme points. We also show that a large class of $C^*$-algebras E constructed from extensions of $C^*$-algebras above such that $E$ still has no maximal ideals. In particular, for these classes, Ozawa's question could be settled in an unexpected manner.

Explore related subjects

math.OA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Zhichao Liu, Xin Ma. 2026-09-16. Maximal Algebraic Ideals in Nonunital $C^*$-Algebras. https://arxiv.org/abs/2609.18840

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Maximal Ergodic Theorems for Operators with Finite Peripheral Spectrum

Let $\mathcal M$ be a semifinite von Neumann algebra and $T : \mathcal{M} \to \mathcal{M}$ be a positive $L_\infty-L_1$ contraction in the sense of Junge-Xu, of which the numerical range, when viewed as an operator on $L_2(\mathcal M),$ is contained in a closed polygon with vertices on the unit circle. In this article, we prove that there exists a positive constant $C_p(T)$ such that \begin{equation}\label{abstract1stin} \Big\|\sup_{n \ge 0}\!^{+} T^n x \Big\|_p \le C_p(T)\, \|x\|_p \end{equation} for all $ x \in L_p(\mathcal{M}) $, $1<p<\infty$ extending some noncommutative maximal ergodic inequalities proved by Junge-Xu \cite{junge-Xu} and later generalized by Bekjan \cite{Bekjan2008}. In the commutative setting, similar inequalities as in \eqref{abstract1stin} hold for arbitrary $L_\infty-L_1$ contractions with the same condition in the numerical range, yielding a vast generalization of a classical maximal ergodic theorem of Stein \cite{Stein-ergodic-theorem} proved in 1960s. Moreover, we establish a noncommutative weak-type maximal inequality for convolution powers which was proved by Calderón and Bellow \cite{Bellow-Calderon} in the classical setting, complementing our strong type noncommutative maximal ergodic inequalities. Our method relies on several new polynomial identities, suitable square function estimates tailored to fit our setting and generalization of Stein's method of embedding maximal function into analytic family of operators. However, we show that even in the classical setting, the variational inequality extending \eqref{abstract1stin} holds for arbitrary operators described above, precisely when the spectrum meets the unit circle only at $1.$

math.OA↗

arXiv2026

Group actions on von Neumann algebras with compact open subgroups

We study strictly outer actions of locally compact groups with a compact open subgroup on von Neumann factors. For amenable groups, we prove 2-cohomology vanishing and obtain classification results using a description of the central sequence algebra and Rohlin-type observations. We also characterize the inclusions of factors associated with group actions, and extend M. Choda's result to this locally compact setting.

math.OA↗

arXiv2026

Covariant representations of actions of inverse semigroups: a new approach to the reduced and essential crossed-product C*-algebras

We consider an action of an inverse semigroup on a C*-algebra $A$ and use it to construct a groupoid of germs with unit space the spectrum of $A$. Motivated by the representation theory of C*-algebras of groupoids, we construct a concrete family of covariant representations for the action. We use this family to give new definitions of the reduced and essential crossed product C*-algebras that avoid, respectively, passing to the double commutant and local multiplier algebra of $A$. Our reduced crossed product is isomorphic to the one defined by Exel, Buss and Meyer, and when the inverse semigroup is quasi-countable our essential crossed product is isomorphic to the one defined by Kwaśniewski and Meyer.

math.OA↗