arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.12187

A Nica-amenable submonoid of a group which fails to embed in an amenable group

Adam Dor-On·Boyu Li
View original source ↗Read source document ↗Export metadata ↓

Abstract

We construct a weakly quasilattice-ordered submonoid of a group whose full semigroup $\mathrm{C}^*$-algebra is nuclear, while the monoid does not embed into any amenable group. Hence, Nica amenability, as well as the nuclearity of its semigroup C*-algebra, do not characterize embeddability into an amenable group for group-embeddable monoids.

Explore related subjects

math.OA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Adam Dor-On, Boyu Li. 2026-09-10. A Nica-amenable submonoid of a group which fails to embed in an amenable group. https://arxiv.org/abs/2609.12187

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

KEEP EXPLORING

Related papers

arXiv2026

New structure for Villadsen algebras of the first type

In this paper we establish two main results concerning the comparison theory of positive elements in approximately homogeneous $C^{*}$-algebras with diagonal maps. The first is an existence theorem which interfaces with the rank problem; given a Villadsen algebra $A$, we construct a convex cone that induces an embedding of a semigroup into $Cu(A)$. This semigroup is identified with the set of strictly positive, lower-semicontinuous affine maps on the trace simplex of $A$. The second is a construction of an AH algebra that produces an obstacle to classifying the approximate unitary orbits of positive elements in terms of their spectral data. Our counterexample sheds light on a critical topological obstruction when attempting to understand equivalence classes of $*$-homomorphisms from $C_{0}((0,1])$ to an arbitrary $C^{*}$-algebra of stable rank one.

math.OA↗
arXiv2026

On the embedding rigidity problem for uniformly locally finite coarse spaces

In this paper, we construct countable uniformly locally finite metric spaces $X$ and $Y$ such that $C_u^*(X)$ is isomorphic to a hereditary $C^*$-subalgebra of $C_u^*(Y)$, but neither space coarsely embeds into the other. This gives a negative answer to the embedding rigidity problem for uniformly locally finite coarse spaces. On the positive side, we prove that a hereditary embedding $C_u^*(X)\to C_u^*(Y)$ implies an injective coarse embedding $X\to Y$ whenever $C_u^*(Y)$ contains no block-rank-one ghost projection. In particular, this strengthens the coarse embedding theorem of Braga, Farah, and Vignati by obtaining injectivity under the same hypothesis that every sparse subspace of $Y$ yields only compact ghost projections.

math.OA↗
arXiv2026

Extensions of Operator Systems, Hyperrigidity and Quantum Double Suspension

We introduce a class of extensions of unital operator systems satisfying a certain Toeplitz type property and show that these extensions induce corresponding extensions of the $C^*$-algebras they generate. We prove that an extension in this class is hyperrigid in the $C^*$-algebra it generates if and only if both operator systems from which it is constructed are hyperrigid in the $C^*$-algebras they generate. We then introduce the quantum double suspension of operator systems as a special case of this construction and show that its iterates yield the Hong-Szymański quantum double suspensions at the $C^*$-algebra level, including the Vaksman-Soibelman quantum spheres. In particular, we construct hyperrigid operator systems that generate the $C^*$-algebras of these quantum spheres. As a further application, we show that every counterexample to Arveson's hyperrigidity conjecture gives rise to a sequence of counterexamples. We identify the Šilov ideal and the $C^*$-envelope of these extensions and derive a $K$-theoretic condition under which each such sequence contains infinitely many pairwise non-isomorphic counterexamples. In particular, Scherer's counterexample gives rise to infinitely many pairwise non-isomorphic counterexamples. Finally, we compute the propagation number, an invariant of operator systems introduced by Connes and van Suijlekom, for this class of extensions.

math.OA↗