A note on ideal C$^\ast$-completions and amenability

Tomasz Kochanek

2024-03-12

Abstract:For a discrete group $G$, we consider certain ideals $\mathcal{I}\subset c_0(G)$ of sequences with prescribed rate of convergence to zero. We show that the equality between the full group C$^\ast$-algebra of $G$ and the C$^\ast$-completion $\mathrm{C}_{\mathcal{I}}^\ast(G)$ in the sense of Brown and Guentner implies that $G$ is amenable.

Functional Analysis

What problem does this paper attempt to address?

A note on ideal C -completions and amenability

DOI: https://doi.org/10.1007/s00010-024-01077-x

2024-05-11

Aequationes Mathematicae

Abstract:For a discrete group G , we consider certain ideals of sequences with prescribed rate of convergence to zero. We show that the equality between the full group C -algebra of G and the C -completion in the sense of Brown and Guentner (Bull. London Math. Soc. 45:1181–1193, 2013) implies that G is amenable.

mathematics, applied
Exotic $C^*$-completions of Étale Groupoids

Mathias Palmstrøm

2024-04-16

Abstract:We generalize the ideal completions of countable discrete groups, as introduced by Brown and Guentner, to second countable Hausdorff étale groupoids. Specifically, to every pair consisting of an algebraic ideal in the algebra of bounded Borel functions on the groupoid and a non-empty family of quasi-invariant measures on the unit space, we construct a $C^*$-algebra in a way which naturally encapsulates the constructions of the full and reduced groupoid $C^*$-algebras. We investigate the connection between these constructions and the Haagerup property, and use the construction to show the existence of many exotic groupoid $C^*$-algebras for certain classes of groupoids.

Mathematics
On Amenable and Coamenable Coideals

Benjamin Anderson-Sackaney

2023-08-03

Abstract:We study relative amenability and amenability of a right coideal $\widetilde{N}_P\subseteq \ell^\infty(\mathbb{G})$ of a discrete quantum group in terms of its group-like projection $P$. We establish a notion of a $P$-left invariant state and use it to characterize relative amenability. We also develop a notion of coamenability of a compact quasi-subgroup $N_\omega\subseteq L^\infty(\widehat{\mathbb{G}})$ that generalizes coamenability of a quotient as defined by Kalantar, Kasprzak, Skalski, and Vergnioux, where $\widehat{\mathbb{G}}$ is the compact dual of $\mathbb{G}$. In particular, we establish that the coamenable compact quasi-subgroups of $\widehat{\mathbb{G}}$ are in one-to-one correspondence with the idempotent states on the reduced $C^*$-algebra $C_r(\widehat{\mathbb{G}})$. We use this work to obtain results for the duality between relative amenability and amenability of coideals in $\ell^\infty(\mathbb{G})$ and coamenability of their codual coideals in $L^\infty(\widehat{\mathbb{G}})$, making progress towards a question of Kalantar et al{.}.

Operator Algebras,Functional Analysis
Ideals, quotients, and continuity of the Cuntz semigroup for rings

Ramon Antoine,Pere Ara,Joan Bosa,Francesc Perera,Eduard Vilalta

2024-11-01

Abstract:In this paper we explore which part of the ideal lattice of a general ring is parametrized by its Cuntz semigroup $\mathrm{S}(R)$ and its ambient semigroup $\Lambda(R)$. We identify these classes of ideals as the quasipure ideals (a generalization of pure ideals) in the case of $\mathrm{S}(R)$, and what we term decomposable ideals in the case of $\Lambda(R)$. For an ($s$-)unital ring $R$, the latter class exhausts all ideals of the ring. We prove that these constructions behave well with respect to quotients. In order to study the passage to inductive limits, we introduce the classes of dense and left normal rings. We show that $\mathrm{S}(R)$ is an abstract Cu-semigroup whenever $R$ is left normal and, for such rings, the assignment $R\mapsto \mathrm{S}(R)$ is continuous. We prove a parallel result for $\Lambda(R)$ whenever $R$ is a dense ring.

Rings and Algebras
Amenability and profinite completions of finitely generated groups

Steffen Kionke,Eduard Schesler

DOI: https://doi.org/10.48550/arXiv.2106.08742

2021-06-16

Abstract:This article explores the interplay between the finite quotients of finitely generated residually finite groups and the concept of amenability. We construct a finitely generated, residually finite, amenable group $A$ and an uncountable family of finitely generated, residually finite non-amenable groups all of which are profinitely isomorphic to $A$. All of these groups are branch groups. Moreover, picking up Grothendieck's problem, the group $A$ embeds in these groups such that the inclusion induces an isomorphism of profinite completions. In addition, we review the concept of uniform amenability, a strengthening of amenability introduced in the 70's, and we prove that uniform amenability indeed is detectable from the profinite completion.

Group Theory
Amenability for unitary groups of C*-algebras

Vadim Alekseev,Max Schmidt,Andreas Thom

2024-12-01

Abstract:In this note we state a conjecture that characterizes unital C*-algebras for which the unitary group is amenable as a topological group in the norm topology. We prove the conjecture for simple, separable, stably finite, unital, $\mathcal Z$-stable, UCT C*-algebras with torsionfree K_0 using the progress on the Elliott classification program for nuclear C*-algebras as well as Pestov's study of amenability of gauge groups. Based on work of Kirchberg, we provide a counterexample to a question of Ng, who proposed a different characterization in earlier work.

Operator Algebras,Group Theory
Unitary Cuntz semigroups of ideals and quotients

Laurent Cantier

DOI: https://doi.org/10.48550/arXiv.2012.08646

2021-07-06

Abstract:We define a notion of ideal for objects in the category of abstract unitary Cuntz semigroups introduced in [3] and termed Cu$^\sim$. We show that the set of ideals of a Cu$^\sim$-semigroup has a complete lattice structure. In fact, we prove that for any C$^*$-algebra of stable rank one $A$, the assignment $I\longmapsto$Cu$_1(I)$ defines a complete lattice isomorphism between the set of ideals of $A$ and the set of ideals of its unitary Cuntz semigroup Cu$_1(A)$. Further, we introduce a notion of quotients and exactness for the (non abelian) category Cu$^\sim$. We show that Cu$_1(A)/$Cu$_1(I)\simeq$ Cu$_1(A/I)$ for any ideal $I$ in $A$ and that the functor Cu$_1$ is exact. Finally, we link a Cu$^\sim$-semigroup with the Cu-semigroup of its positive elements and the abelian group of its maximal elements in a split-exact sequence. This result allows us to extract additional information that lies within the unitary Cuntz semigroup of a C$^*$-algebra of stable rank one.

Operator Algebras
Amenability and Weak Containment for Actions of Locally Compact Groups on C*-Algebras

Alcides Buss,Siegfried Echterhoff,Rufus Willett

DOI: https://doi.org/10.1090/memo/1513

2024-09-01

Memoirs of the American Mathematical Society

Abstract:In this work we introduce and study a new notion of amenability for actions of locally compact groups on C ∗ C^* -algebras. Our definition extends the definition of amenability for actions of discrete groups due to Claire Anantharaman-Delaroche. We show that our definition has several characterizations and permanence properties analogous to those known in the discrete case. For example, for actions on commutative C ∗ C^* -algebras, we show that our notion of amenability is equivalent to measurewise amenability. Combined with a recent result of Alex Bearden and Jason Crann, this also settles a long standing open problem about the equivalence of topological amenability and measurewise amenability for a second countable G G -space X X . We use our new notion of amenability to study when the maximal and reduced crossed products agree. One of our main results generalizes a theorem of Matsumura: we show that for an action of an exact locally compact group G G on a locally compact space X X the full and reduced crossed products C 0 ( X ) ⋊ m a x G C_0(X)\rtimes _\mathrm {max}G and C 0 ( X ) ⋊ r e d G C_0(X)\rtimes _\mathrm {red}G coincide if and only if the action of G G on X X is amenable. We also show that the analogue of this theorem does not hold for actions on noncommutative C ∗ C^* -algebras. Finally, we study amenability as it relates to more detailed structure in the case of C ∗ C^* -algebras that fibre over an appropriate G G -space X X , and the interaction of amenability with various regularity properties such as nuclearity, exactness, and the (L)LP, and the equivariant versions of injectivity and the WEP.

mathematics
Residues in group completions and the Cech cohomology of BG

Edward Dewey

DOI: https://doi.org/10.48550/arXiv.1605.05385

2017-03-06

Abstract:Let $G$ be a connected affine algebraic group over $\mathbb{C}$, $G \to X$ be an open immersion of $G$-varieties, $Z = X-G$ and $i: Z \to X$ be the inclusion. Let $\alpha \in H^*(G,\mathbb{C})$ be primitive. We give a method to compute the image of $\alpha$ in $H^*(Z, i^!\mathbb{C}_X)$, using a lift of $\alpha$ along the first edge map of the Čech spectral sequence for $H^*(BG, \mathbb{C})$. We apply it to the wonderful compactification of a centerless semisimple group $G$.

Geometric Topology,Algebraic Geometry
The ideal intersection property for essential groupoid C*-algebras

Matthew Kennedy,Se-Jin Kim,Xin Li,Sven Raum,Dan Ursu

2024-09-03

Abstract:We characterise, in several complementary ways, étale groupoids with locally compact Hausdorff space of units whose essential groupoid C*-algebra has the ideal intersection property, assuming that the groupoid is topologically transitive and either Hausdorff or $\sigma$-compact. This leads directly to a characterisation of the simplicity of this C*-algebra which, for Hausdorff groupoids, agrees with the reduced groupoid C*-algebra. Specifically, we prove for topologically transitive groupoids that the ideal intersection property is equivalent to the absence of essentially confined amenable sections of isotropy groups. For topologically transitive groupoids with compact space of units we moreover show that this is equivalent to the uniqueness of equivariant pseudo-expectations. A key technical idea underlying our results is a new notion of groupoid action on C*-algebras including the essential groupoid C*-algebra itself. For minimal groupoids, we further obtain a relative version of Powers averaging property. Examples arise from suitable group representations into simple groupoid \Cstar-algebras. This is illustrated by the example of the quasi-regular representation of Thompson's group $\mathrm{T}$ with respect to Thompson's group $\mathrm{F}$, which satisfies the relative Powers averaging property in the Cuntz algebra $\mathcal{O}_2$.

Operator Algebras,Dynamical Systems,Group Theory
When amenable groups have real rank zero $C^*$-algebras

Iason Moutzouris

2023-10-02

Abstract:We investigate when discrete, amenable groups have $C^*$-algebras of real rank zero. While it is known that this happens when the group is locally finite, the converse in an open problem. We show that if $C^*(G)$ has real rank zero, then all normal subgroups of $G$ that are elementary amenable and have finite Hirsch length must be locally finite.

Operator Algebras,Group Theory
Maximal ideal space of a commutative coefficient algebra

B. K. Kwasniewski,A. V. Lebedev

DOI: https://doi.org/10.48550/arXiv.math/0311416

2003-11-25

Abstract:The basic notion of the article is a pair (A,U), where A is a commutative C*-algebra and U is a partial isometry such that mapping U()U* is an endomorphism of A and U*U belongs to A. We give a description of the maximal ideal space of the smallest coefficient C*-algebra of the algebra C*(A,U) generated by the system (A,U).

Operator Algebras,Commutative Algebra
Algebraic properties of the ring $C(X)_\mathcal{P}$

Amrita Dey,Sagarmoy Bag,Dhananjoy Mandal

2024-02-02

Abstract:Our aim is to study certain algebraic properties of the ring $C(X)_\mathcal{P}$ of real-valued functions on $X$ whose closure of discontinuity set is in an ideal of closed sets. We characterize $\mathcal{P}P$-spaces using $z$-ideals and essential ideals of $C(X)_\mathcal{P}$ and also almost $\mathcal{P}P$-spaces using $z^0$-ideals of $C(X)_\mathcal{P}$ and a topology finer than the original topology on $X$. We deduce that each maximal ideal of $C(X)_F$ \cite{GGT2018} (resp. $T'(X)$ \cite{A2010}) is a $z^0$-ideal. We establish that the notions of clean ring, weakly clean ring, semiclean ring, almost clean ring and exchange ring coincide in the ring $C(X)_\mathcal{P}$. End of this paper, we also characterize $\mathcal{P}P$-spaces and almost $\mathcal{P}P$-spaces using certain ideals having depth zero. We exhibit a condition on $\mathcal{P}$ under which prime and essential ideals of $C(X)_\mathcal{P}$ have depth zero.

General Topology,Rings and Algebras
Profinite completions of products

Peter J. Haine

2024-06-01

Abstract:A source of difficulty in profinite homotopy theory is that the profinite completion functor does not preserve finite products. In this note, we provide a new, checkable criterion on prospaces $X$ and $Y$ that guarantees that the profinite completion of $X\times Y$ agrees with the product of the profinite completions of $X$ and $Y$. Using this criterion, we show that profinite completion preserves products of étale homotopy types of qcqs schemes. This fills a gap in Chough's proof of the Künneth formula for the étale homotopy type of a product of proper schemes over a separably closed field.

Algebraic Topology,Category Theory
Leinert sets and complemented ideals in Fourier algebras

Michael Brannan,Brian Forrest,Cameron Zwarich

DOI: https://doi.org/10.48550/arXiv.1602.04778

2016-02-16

Abstract:Let $G$ be a locally compact group. We show how complemented ideals in the Fourier algebra $A(G)$ of $G$ arise naturally from a class of thin sets known as Leinert sets. Moreover, we also present an explicit example of a closed ideal in $A(\mathbb{F}_{N})$, the free group on $N \ge 2$ generators, that is complemented in $A(\mathbb{F}_{N})$ but it is not completely complemented. Then by establishing an appropriate extension result for restriction algebras arising from Leinert sets, we show that any almost connected group $G$ for which every complemented ideal in $A(G)$ is also completely complemented must be amenable.

Functional Analysis,Operator Algebras
Regular Ideals, Ideal Intersections, and Quotients

Jonathan H. Brown,Adam H. Fuller,David R. Pitts,Sarah A. Reznikoff

DOI: https://doi.org/10.1007/s00020-023-02753-4

2024-01-30

Integral Equations and Operator Theory

Abstract:Let be an inclusion of -algebras. We study the relationship between the regular ideals of B and regular ideals of A . We show that if is a regular -inclusion and there is a faithful invariant conditional expectation from A onto B , then there is an isomorphism between the lattice of regular ideals of A and invariant regular ideals of B . We study properties of inclusions preserved under quotients by regular ideals. This includes showing that if is a Cartan inclusion and J is a regular ideal in A , then is a Cartan subalgebra of A / J . We provide a description of regular ideals in the reduced crossed product of a C -algebra by a discrete group.

mathematics
Banach spaces of $\mathcal I$-convergent sequences

Michael A. Rincón-Villamizar,Carlos Uzcátegui Aylwin

2023-09-15

Abstract:We study the space $c_{0,\mathcal{I}}$ of all bounded sequences $(x_n)$ that $\mathcal{I}$-converge to $0$, endowed with the sup norm, where $\mathcal{I}$ is an ideal of subsets of $\mathbb{N}$. We show that two such spaces, $c_{0,\mathcal{I}}$ and $c_{0,\mathcal{J}}$, are isometric exactly when the ideals $\mathcal{I}$ and $\mathcal{J}$ are isomorphic. Additionally, we analyze the connection of the well-known Katětov pre-order $\leq_K$ on ideals with some properties of the space $c_{0,\mathcal{I}}$. For instance, we show that $\mathcal{I}\leq_K\mathcal{J}$ exactly when there is a (not necessarily onto) Banach lattice isometry from $c_{0,\mathcal{I}}$ to $c_{0,\mathcal{J}}$, satisfying some additional conditions. We present some lattice-theoretic properties of $c_{0,\mathcal{I}}$, particularly demonstrating that every closed ideal of $\ell_\infty$ is equal to $c_{0,\mathcal{I}}$ for some ideal $\mathcal{I}$ on $\mathbb{N}$. We also show that certain classical Banach spaces are isometric to $c_{0,\mathcal{I}}$ for some ideal $\mathcal{I}$, such as the spaces $\ell_\infty(c_0)$ and $c_0(\ell_\infty)$. Finally, we provide several examples of ideals for which $c_{0,\mathcal{I}}$ is not a Grothendieck space.

Functional Analysis
Different Completions of $A + CX$

Dragana Cvetkovic-Ilic,Qing Wen Wang,Yimin Wei

DOI: https://doi.org/10.4171/jst/356

2021-01-01

Journal of Spectral Theory

Abstract:In this paper we use Takahashi's idea of using properties of spectral measures in addressing the question of the existence of an operator X such that A +C X is of appropriate types. In particular, we consider the class of right semi-Fredholm operators. Also, in the case of right invertibility we will show how the results of this type can be used to address the appropriate completion problem of the operator matrix M-X = [GRAPHICS] .
Isotropy fibers of ideals in groupoid C$^{*}$-algebras

Johannes Christensen,Sergey Neshveyev

2024-06-01

Abstract:Given a locally compact étale groupoid and an ideal $I$ in its groupoid C$^*$-algebra, we show that $I$ defines a family of ideals in group C$^*$-algebras of the isotropy groups and then study to which extent $I$ is determined by this family. As an application we obtain the following results: (a) prove that every proper ideal is contained in an induced primitive ideal; (b) describe the maximal ideals; (c) classify the primitive ideals for a class of graded groupoids with essentially central isotropy.

Operator Algebras
C-minimal fields have the exchange property

Will Johnson

2024-06-21

Abstract:We show that C-minimal fields (i.e., C-minimal expansions of ACVF) have the exchange property, answering a question of Haskell and Macpherson. Additionally, we strengthen some theorems of Cubides Kovacsics and Delon on C-minimal fields. First, we show that definably complete C-minimal fields of characteristic 0 have generic differentiability. Second, we show that if the induced structure on the residue field is a pure ACF, then polynomial boundedness holds. In fact, polynomial boundedness can only fail if there are unexpected definable automorphisms of the multiplicative group of the residue field.

Logic

A note on ideal C$^\ast$-completions and amenability

A note on ideal C -completions and amenability

Exotic $C^*$-completions of Étale Groupoids

On Amenable and Coamenable Coideals

Ideals, quotients, and continuity of the Cuntz semigroup for rings

Amenability and profinite completions of finitely generated groups

Amenability for unitary groups of C*-algebras

Unitary Cuntz semigroups of ideals and quotients

Amenability and Weak Containment for Actions of Locally Compact Groups on C*-Algebras

Residues in group completions and the Cech cohomology of BG

The ideal intersection property for essential groupoid C*-algebras

When amenable groups have real rank zero $C^*$-algebras

Maximal ideal space of a commutative coefficient algebra

Algebraic properties of the ring $C(X)_\mathcal{P}$

Profinite completions of products

Leinert sets and complemented ideals in Fourier algebras

Regular Ideals, Ideal Intersections, and Quotients

Banach spaces of $\mathcal I$-convergent sequences

Different Completions of $A + CX$

Isotropy fibers of ideals in groupoid C$^{*}$-algebras

C-minimal fields have the exchange property