Examples of non-amenable, boundary-amenable dynamical systems

Jacopo Bassi

REVIEW 2 major objections 5 minor 31 references

Examples of non-amenable, boundary-amenable dynamical systems

T0 review · 2 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A countable group with property (AP) and trivial infinite stabilizer intersections acts amenably on the Stone-Čech boundary.

desk verdict Plausible new broad criterion for boundary amenability, but the main proof is missing a needed escape condition on sequences; worth sending to a referee. read the letter →

arxiv 2507.19614 v3 pith:6SMRUK5V submitted 2025-07-25 math.OA math.GR

Jacopo Bassi This is my paper · ORCID

classification math.OAmath.GR MSC 46L0546L5537B0522D25

keywords topologicalamenabilityStone-Čechboundaryproperty(AP)non-standardboundariesquasi-regularrepresentationsC*-simplicityfreeproductsidealstructureofC*-algebras

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper aims to establish a general criterion for boundary amenability: if a countable discrete group $\Gamma$ has the approximation property (AP) and acts on a countable set $X$ so that the intersection of the stabilizers of any infinite collection of points is trivial, then the induced action of $\Gamma$ on the Stone-Čech boundary $B_\$\beta$ X$ is topologically amenable. This matters because the original action on $X$ itself need not be amenable, so the theorem produces many non-amenable yet boundary-amenable dynamical systems. The paper applies the criterion to free products: for $r,s>1$, the action of $F_{r+s}$ on $B_\$\beta$(F_{r+s}/F_r)$ is topologically amenable, and the associated quasi-regular C*-algebra has a unique nontrivial ideal, the ideal of compact operators.

What carries the argument

The central object is the non-standard boundary $B_{\$\beta$,\omega}X$, the preimage of the Stone-Čech boundary under the $\Gamma$-equivariant surjection from the spectrum of the ultraproduct $\ell^\infty X_\omega$. The argument is carried by uniform approximants of non-standard points, measures built from sequences of Dirac masses $x_n$ weighted by a positive $\$ell^{1}$$-sequence, and by the inverse limit of the associated Koopman representations over the directed family of Calkin measures. Property (AP), meaning that elements of the reduced crossed product can be norm-approximated by finitely supported functions on the group, is what forces the kernel of the limiting representation into the compact ideal. A lifting argument then turns the construction into a nuclear ucp map from $C^*_\$\lambda$\Gamma$, which is exactly the non-standard criterion for topological amenability of the boundary action.

What would settle it

The definition of uniform approximants in [5] decides the matter: if it allows sequences that do not leave every finite subset of $X$, then a constant sequence $x_n=x$ with nontrivial stabilizer $H$ produces a Calkin measure whose Koopman representation is the quasi-regular representation on $\Gamma/H$; choosing $H$ non-amenable in an AP group would then give a non-tempered representation, contradicting the necessary condition of Theorem 1.2 for boundary amenability. Reading that definition and testing such a sequence settles whether Theorem 2.6 needs the escape-to-infinity condition as an explicit hypothesis.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2.6: let $\Gamma$ be a discrete countable group with property (AP) acting on a countable set $X$ so that $\bigcap_n \operatorname{Stab}(x_n)=\{e\}$ for every infinite family of points $x_n$. Then the action of $\Gamma$ on $B_\$\beta$ X$ is topologically amenable. The proof works on non-standard boundaries $B_{\$\beta$,\omega}X$: for a free ultrafilter $\omega$, it builds Calkin measures from uniform approximants of non-standard points and shows that their Koopman representations are tempered and pair-amenable, hence Zimmer-amenable. Property (AP) is then used to show that the kernel of the inverse limit of these representations is contained in the compact ideal, and a lifting argument converts this into the nuclear ucp map required for topological amenability. Theorem 3.1 draws the C*-algebraic consequence for free products: boundary amenability plus spectral gap of the subgroup gives a unique nontrivial ideal in the quasi-regular C*-algebra.

Load-bearing premise

The load-bearing premise is that every uniform approximant sequence used to build Calkin measures leaves every finite subset of $X$ along the ultrafilter; only then does a group element fixing the non-standard point fix an infinite set of points, so the stabilizer hypothesis forces it to be the identity.

Editorial extensions

If this is right

For every $r,s>1$, the action of $F_{r+s}$ on $B_\beta(F_{r+s}/F_r)$ is topologically amenable.
The C*-algebra of the quasi-regular representation of $F_{r+s}$ on $\ell^2(F_{r+s}/F_r)$ has the ideal of compact operators as its unique nontrivial ideal.
Whenever $\Gamma$ is C*-simple with property (AP) and $\Lambda$ is an infinite subgroup with spectral gap in $\Gamma$, boundary amenability of $\Gamma\curvearrowright B_\beta(\Gamma/\Lambda)$ implies that the quotient of the quasi-regular C*-algebra by the compacts is $C^*_\lambda(\Gamma)$.
The theorem supplies boundary-amenable actions for AP groups that are not covered by hyperbolicity, giving a dynamical route to one-ideal C*-algebras.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial: The proof relies on the implicit requirement that uniform approximant sequences leave every finite subset of $X$ along the ultrafilter; making this a stated hypothesis would sharpen Theorem 2.6 and clarify exactly which non-free actions are covered.
Editorial: Because property (AP) enters only through norm approximability by finitely supported functions, the same inverse-limit mechanism is a plausible template for exact groups with weaker approximation properties.
Editorial: The one-ideal conclusion is a short step from boundary amenability once spectral gap is known, so the real content is the boundary amenability criterion; a natural target is actions such as tree-automorphism groups where freeness of the boundary action is hard to verify directly.
Editorial: A concrete probe of the mechanism is a sequence that cycles inside a finite set: if such a sequence were admitted as a uniform approximant, the stabilizer of the non-standard point could be a non-amenable subgroup and the temperedness step would break.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Here's my read on Bassi's arXiv:2507.19614. The headline: a plausible and fairly general new criterion for boundary amenability of group actions on countable sets, with attractive free-product examples. The main proof has a real gap—the missing escape condition on sequences—but it looks fixable and may be entirely a matter of not restating a definition from the author's earlier paper.

What's new: Theorem 2.6 gives a broad sufficient condition—trivial infinite intersections of stabilizers plus (AP)—for the Stone-Čech boundary action to be topologically amenable. That's not in the earlier literature. The free product corollary (Theorem 3.1) is concrete and yields new C*-algebras with a unique non-trivial ideal; that's a solid application. The non-standard boundary machinery from the author's previous papers is used honestly, and the reliance on [5], [8], [9] is transparent.

Soft spots. The big one is the proof of Theorem 2.6. It takes a sequence (x_n) and argues that if γ fixes the non-standard point [x_n]_ω, then γ fixes x_n for all n in some A ∈ ω, and since stabilizers of infinite sets are trivial, γ = id. That inference requires the set {x_n : n ∈ A} to be infinite, i.e. the sequence must escape every finite set along ω. The theorem doesn't state this, and the proof doesn't cite the author's own Proposition 2.2, which does state the lim_{n→ω} x_n = ∞ hypothesis. If that's built into the definition of "uniform approximants" in [5], then it's an expository slip—but it's load-bearing either way, and it also affects the later computation with (y_n). This needs to be spelled out before the result is accepted.

The other concern is the step from (AP) to the asserted nuclearity of φ. The proof is only a sketch; it cites [15] and [17], but a referee will want to see the diagram chase worked out in detail. Also, the arXiv abstract promises tree automorphism examples that simply aren't in the full text; the full text abstract is narrower. That mismatch has to be fixed.

Net: the central idea is good, the conclusion is probably right, and the examples are worth having. The paper isn't ready as-is, but it deserves a serious referee who can push the author to close the escape-condition gap and expand the nuclearity argument.

I'd send it to review. I wouldn't cite it yet in my own work until the proof is tightened.

Referee Report

2 major / 5 minor

Summary. The paper proves the following theorem: if a countable discrete group Γ with property (AP) acts on a countable set X so that the intersection of the stabilizers of any infinite family of points of X is trivial, then the induced action of Γ on the Stone-Čech boundary ∂_β X is topologically amenable. The proof proceeds through the author's earlier non-standard boundary framework: it studies uniform approximant measures on B_{β,ω}X, shows their Koopman representations are tempered and pair-amenable, forms an inverse limit of the associated representations, and uses property (AP) to arrange that the kernel lies in the compact ideal. Applications are given to free products Γ * Λ, yielding non-amenable but boundary-amenable actions and quasi-regular representation C*-algebras with a unique non-trivial ideal.

Significance. If the proof can be completed as it stands, the result is a useful broad sufficient condition for boundary amenability and provides new examples of non-amenable dynamical systems whose Stone-Čech boundary action is amenable. The applications to free products and to the ideal structure of quasi-regular representation C*-algebras are concrete and potentially significant. The paper also contains a number of carefully written supporting results: Proposition 2.1 and Proposition 2.2 establish detailed structure of non-standard boundaries, and Lemma 2.5 gives a clean construction of equivariant ucp maps into inverse limits. The main theorem is plausible and fits an established framework, but the proof as written has a load-bearing gap concerning the escape of the approximating sequences to infinity and a compressed nuclearity step that need to be repaired.

major comments (2)

[Section 2, proof of Theorem 2.6] The assertion that γ([x_n]_ω) = [x_n]_ω implies γ = id is valid only when the set {x_n : n ∈ A} is infinite. As written, an 'infinite sequence' may be ω-equivalent to a constant sequence; for example, if Γ = F_2 * Z acts on X = Γ/F_2, then the hypothesis on infinite intersections of stabilizers holds, but the constant sequence x_n = eF_2 has stabilizer F_2, so the claim 'which by hypothesis implies γ = id' fails without an additional escape condition. The proof needs lim_{n→ω} x_n = ∞, the condition explicitly used in Proposition 2.1 and Proposition 2.2; this should be stated and verified for every uniform approximant. The same missing condition affects the later inner-product calculation, where the cancellation of all γ' ≠ γ requires that γ x_n and γ' x_n differ on an ω-large set of indices. If the definition of uniform approximants in [5] already forces escape to infinity, that definition should be cited explicitly; otherwise the theorem is under-proved.
[Section 2, proof of Theorem 2.6] The step from a Γ-equivariant ucp map l^∞Γ → A_Λ to a nuclear ucp map φ : C*_λΓ → A_Λ is not justified. The map supplied by [15] Lemma 4.8 is only asserted to be ucp; nuclearity of its restriction to C*_λΓ does not follow from the mere existence of a ucp map. The intended argument presumably uses that the reduced crossed product l^∞Γ ⋊_r Γ is nuclear (which would follow from exactness of Γ, hence from property (AP)), but the text does not distinguish the full and reduced crossed products and does not state this nuclearity step. In addition, the application of property (AP) through [17] Theorem 4.10 is compressed to a single sentence; the proof should identify the representation σ, explain why the Fejér-type sums converge in norm in B(l2X)_ω, and make clear how pointwise convergence of the functions ρ_i is used. Without these details, the construction of the nuclear map required by Proposition 1.6(ii) is incomplete.

minor comments (5)

[Abstract and Section 3] The arXiv metadata abstract promises applications to hyperbolic torsion-free groups with quasi-isometrically embedded subgroups and to automorphism groups of k-regular trees, but Section 3 contains only the free-product application. Please align the abstract with the results actually proved in the text.
[Theorem 3.1] The first sentence of Theorem 3.1 uses the symbol Υ without defining it and has an unclear grammatical structure: it should state explicitly that the acting group is an arbitrary subgroup Υ of Γ * Λ with property (AP). The proof then needs to say that for such Υ the stabilizer condition follows from the triviality of intersections of conjugates of Γ in the free product.
[Section 2, proof of Proposition 2.1] The definition of a non-trivial ultrafilter contains the expression X_n A_n = ∅, which appears to be a typo for the intersection ⋂_n A_n = ∅; please correct it.
[Corollary 2.7] The proof of Corollary 2.7 is only a one-line reference to the non-standard boundary being an equivariant extension of BβX that contains ωX_∞. Since the corollary is not used later, this is not load-bearing, but the argument should be expanded: freeness of the action on BβX rules out common fixed points of infinite subsets of X, so Theorem 2.6 applies.
[Throughout] There are several typographical errors, including 'Propostion', 'aknowledges', 'akcnowledges', and 'R˘ adulescu'; these should be corrected in revision.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 2.6's proof uses prior lemmas and a new (AP)-argument, not a restatement of its hypothesis.

full rationale

No significant circularity. Theorem 2.6's proof (Section 2, paragraph beginning 'Let (x_n) be an infinite sequence in X') uses the hypothesis once to infer that an element fixing an omega-large set of points is trivial, then reaches boundary amenability through independent equivalences and constructions: Proposition 1.6 from [5], Lemma 1.1 from [14], Lemma 4.8 of [15], and the (AP)-approximation theorem [17, Theorem 4.10]. None of these inputs contains the target theorem as an assumption, and no parameter is fitted to the conclusion. The author's prior works [5] and [8] supply the non-standard boundary framework and pair-amenability of uniform approximants; these are separate statements with their own proofs, not disguised forms of the theorem being proved. The only notable issue is an omitted hypothesis in the same paragraph: the proof does not explicitly require (x_n) to escape every finite subset of X along omega, so the inference 'which by hypothesis implies gamma = id' can fail for a sequence constant on an omega-large set. This is a rigor gap in the written proof, not a circular reduction; the derivation is not equivalent to its inputs.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

This is a pure mathematics paper with no fitted parameters or new postulated entities. The central claim rests on a body of prior operator-algebraic results, several from the author's own earlier papers, which are listed as axioms above. The theorem is new, but it is not self-contained.

assumptions (6)

standard math Theorem 1.2 from [5]: an action on a compact space is topologically amenable if and only if every quasi-invariant probability measure gives a tempered, pair-amenable Koopman representation.
Invoked in Section 2 to reduce boundary amenability to measure properties; accepted from prior literature.
standard math Proposition 1.6 from [5]: topological amenability of the non-standard boundary is equivalent to existence of a nuclear ucp map into B(l2 X)_omega with compact error, and to amenability on B_beta X.
Used as the bridge from the non-standard construction to the ordinary Stone-Cech boundary.
standard math Lemma 1.1 from [14]: for exact groups, Zimmer-amenability of a measure is equivalent to the existence of a Gamma-equivariant ucp map l8 Gamma to L8(mu).
Used to turn temperedness and pair-amenability into ucp maps.
standard math Proposition 2.3, relying on Hadwin-Li [24] Theorem 4.1: the GNS image of l8 X_omega is all of L8(mu) for non-trivial ultrafilters.
Needed to identify the inverse limit pieces with von Neumann algebras.
standard math Crann-Neufang [17] Theorem 4.10: the approximation property yields a norm-approximation identity on C*_lambda Gamma by finitely supported multipliers.
Used at the end of Theorem 2.6 to control kernels and to argue nuclearity.
standard math Bekka-Kalantar [11] Theorem B: under C*-simplicity and spectral gap, the quotient of the quasi-regular C*-algebra by the compact operators is the reduced C*-algebra.
Used in Theorem 3.1 to conclude the ideal structure of the examples.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Examples of non-amenable, boundary-amenable dynamical systems." pith.science (2026). https://pith.science/paper/6SMRUK5V

@misc{pith2026250719614,
  author       = {Pith},
  title        = {Pith review of: Examples of non-amenable, boundary-amenable dynamical systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6SMRUK5V}},
  note         = {Machine review of arXiv:2507.19614}
}

abstract

Let $\Gamma$ be a discrete countable group with the (AP)-property. It is shown that if $\Gamma$ acts on a countable set $\mathfrak{X}$ in such a way that the infinite intersection of stabilizer subgroups is always trivial, then the induced action of $\Gamma$ on $\partial_\beta \mathfrak{X}$ is topologically amenable. The range of applications include the action of $\Gamma$ on $\partial_\beta (\Gamma / \Lambda)$ for: (i) $\Gamma$ countable hyperbolic torsion-free and $\Lambda$ quasi-isometrically embedded with infinite index, (ii) $\Gamma= \Lambda * \Lambda '$ with $\Lambda$ non-amenable countable, $\Lambda'$ infinite countable and $\Gamma$ with the (AP)-property; moreover this includes the case of actions of groups of automorphisms of a $k$-regular tree with $k \geq 3$ generated by a finite number of Haar-random elements on the Stone-{\v C}ech boundary of the tree.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 29 canonical work pages

[5]

An approach to the study of boundary actions

J. Bassi, An approach to the study of boundary actions, (2023), https://arxiv. org/abs/2305.16277

work page Pith review arXiv 2023
[8]

Bassi and F

J. Bassi and F. R˘ adulescu,A mixing property for the action of SLp3, Zqˆ SLp3, Zq on the Stone- ˇCech boundary of SLp3, Zq, Int. Math. Res. Not. IMRN, 2024:1 (2024), 234–283, DOI: 10.1093/imrn/rnad014

work page doi:10.1093/imrn/rnad014 2024
[9]

—— , An example of a non-amenable dynamical system which is boundary amenable , Proc. Amer. Math. Soc. 151:6 (2023), 2459–2462, DOI: 10.1090/proc/16239

work page doi:10.1090/proc/16239 2023
[15]

A. Buss, S. Echterhoff and R. Willett, Injectivity, crossed products, and amenable group actions, K-theory in algebra, analysis and topology, Contemp. Math., Amer. Math. Soc., [Providence], RI 749 (2020), 105–137

work page 2020
[17]

Crann and M

J. Crann and M. Neufang, A Non-commutative Fej´ er Theorem fro Crossed Products, the Approximation Property, and Applications , Int. Math. Res. Not. IMRN 2020:5 (2020), 3571–3601

work page 2020
[1]

C. A. Akemann, P. A. Ostrand, On a tensor product C˚-algebra associated with the free group on two generators , J. Math. Soc. Japan 27:4 (1975), 589–599

work page 1975
[2]

Amrutam, J

T. Amrutam, J. Bassi, On relative commutants of subalgebras in group and tracial crossed product von Neumann algebras , Pacific J. Math. 331:1 (2024), 1–22 14

work page 2024
[3]

Anantharaman-Delaroche, On tensor products of group C˚-algebras and related topics, Limits of graphs in group theory and computer science , 1–35

C. Anantharaman-Delaroche, On tensor products of group C˚-algebras and related topics, Limits of graphs in group theory and computer science , 1–35. EPFL Press, Lausanne; distributed by , 2009

work page 2009

Show all 31 references

[4]

—— , On spectral characterizations of amenability, Israel J. Math. 137 (2003), 1–33

2003
[6]

—— , On C˚-algebras associated to actions of discrete subgroups of SLp2, Rq on the punctured plane, Math. Scand. 126:3 (2020), 540–558

2020
[7]

—— , Remarks on some simple C˚-algebras admitting a unique lower semicontinuous 2-quasitrace, Colloq. Math. 165:1 (2021), 53–62

2021
[10]

Operator Theory 87:2 (2022), 461–470, DOI: 10.7900/jot

—— , Separable boundaries for nonhyperbolic groups , J. Operator Theory 87:2 (2022), 461–470, DOI: 10.7900/jot

2022 doi
[11]

Bekka, M

B. Bekka, M. Kalantar, Quasi-regular representations of discrete groups and associ- ated C˚-algebras, Trans. Amer. Math. Soc. 373:3 (2020), 2105–2133

2020
[12]

Boutonnet, A

R. Boutonnet, A. Ioana, J. Peterson, Properly proximal groups and their von Neu- mann algebras, Ann. Sci. ´Ec. Norm. Sup´ er. (4)54:2 (2021), 445–482

2021
[13]

K. A. Brix, C. Bruce, K. Li and E. Scarparo, Maximal ideals of group C˚-algebras and Thompson ’s groups, (2024), https://arxiv.org/abs/2403.13645v2

2024 arXiv
[14]

A. Buss, S. Echterhoff and R. Willett, Amenability and Weak Containment for Ac- tions of Locally Compact Groups on C˚-Algebras, Memoirs of the American Mathe- matical Society Volume: 301; 2024; 88 pp

2024
[16]

Christensen and S

J. Christensen and S. Neshveyev, Isotropy fibers of ideals in groupoid C˚-algebras, Adv. Math. 447 (2024), Paper No. 109696, 32 pp

2024
[18]

Eilers, G

S. Eilers, G. Restorff, E. Ruiz and A. P. W. Sørensen, The complete classification of unital graph C˚-algebras: geometric and strong , Duke Math. J. 170:11 (2021), 2421–2517 15

2021
[19]

Furstenberg, Random walks and discrete subgroups of Lie groups , 1971

H. Furstenberg, Random walks and discrete subgroups of Lie groups , 1971. Advances in Probability and Related Topics, Vol. 1, pp. 1–63, Kekker, New York

1971
[20]

Giordano, I

T. Giordano, I. Putnam and C. F. Skau, Topological orbit equivalence and C˚-crossed products, J. Reine Angew. Math. 469 (1995), 51–111

1995
[21]

Gong and H

G. Gong and H. Lin, On classification of non-unital amenable simple C˚-algebras, II, J. Geom. Phys. 158:103865 (2020), 102 pp

2020
[22]

G. Gong, H. Lin and Z. Niu, A review of the Elliott program of classification of simple amenable C˚-algebras, (2023), https://arxiv.org/abs/2311.14238

2023 arXiv
[23]

Haagerup and J

U. Haagerup and J. Kraus, Approximation properties for group C˚-algebras and group von Neumann algebras , Trans. Amer. Math. Soc., 344:2 (1994), 667–699

1994
[24]

Hadwin, W

D. Hadwin, W. Li, A note on approximate liftings , Oper. Matrices 3:1 (2009), 125– 143

2009
[25]

Kalantar, M

M. Kalantar, M. Kennedy, Boundaries of reduced C˚-algebras of discrete groups , J. Reine Angew. Math. 727 (2017), 247–267

2017
[26]

Lafforgue and M

V. Lafforgue and M. De la Salle, Noncommutative Lp-spaces without the completely bounded approximation property, Duke Math. J. 160:1 (2011), 71–116

2011
[27]

Ozawa, A Kurosh-type theorem for type II 1 factors, Int

N. Ozawa, A Kurosh-type theorem for type II 1 factors, Int. Math. Res. Not. IMRN (2006), Art. ID 97560, 21 pp

2006
[28]

Ozawa, Amenable actions and exactness for discrete groups, C

N. Ozawa, Amenable actions and exactness for discrete groups, C. R. Acad. Sci. Paris S´ er. I Math.330:8 (2000), 691–695

2000
[29]

Ozawa, Boundaries of reduced free group C˚-algebras, Bull

N. Ozawa, Boundaries of reduced free group C˚-algebras, Bull. Lond. Math. Soc. 39:1 (2007), 35–38

2007
[30]

Ozawa, Solid von Neumann algebras , Acta Math

N. Ozawa, Solid von Neumann algebras , Acta Math. 192:1 (2004), 111–117

2004
[31]

Skandalis, Une notion de nucl´ earit´ e enK-th´ eorie (d’apr` es J

G. Skandalis, Une notion de nucl´ earit´ e enK-th´ eorie (d’apr` es J. Cuntz), K-Theory 1 6 (1988), 549–573. 16

1988

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.

[1] [5]

An approach to the study of boundary actions

J. Bassi, An approach to the study of boundary actions, (2023), https://arxiv. org/abs/2305.16277

work page Pith review arXiv 2023

[2] [8]

Bassi and F

J. Bassi and F. R˘ adulescu,A mixing property for the action of SLp3, Zqˆ SLp3, Zq on the Stone- ˇCech boundary of SLp3, Zq, Int. Math. Res. Not. IMRN, 2024:1 (2024), 234–283, DOI: 10.1093/imrn/rnad014

work page doi:10.1093/imrn/rnad014 2024

[3] [9]

—— , An example of a non-amenable dynamical system which is boundary amenable , Proc. Amer. Math. Soc. 151:6 (2023), 2459–2462, DOI: 10.1090/proc/16239

work page doi:10.1090/proc/16239 2023

[4] [15]

A. Buss, S. Echterhoff and R. Willett, Injectivity, crossed products, and amenable group actions, K-theory in algebra, analysis and topology, Contemp. Math., Amer. Math. Soc., [Providence], RI 749 (2020), 105–137

work page 2020

[5] [17]

Crann and M

J. Crann and M. Neufang, A Non-commutative Fej´ er Theorem fro Crossed Products, the Approximation Property, and Applications , Int. Math. Res. Not. IMRN 2020:5 (2020), 3571–3601

work page 2020

[6] [1]

C. A. Akemann, P. A. Ostrand, On a tensor product C˚-algebra associated with the free group on two generators , J. Math. Soc. Japan 27:4 (1975), 589–599

work page 1975

[7] [2]

Amrutam, J

T. Amrutam, J. Bassi, On relative commutants of subalgebras in group and tracial crossed product von Neumann algebras , Pacific J. Math. 331:1 (2024), 1–22 14

work page 2024

[8] [3]

Anantharaman-Delaroche, On tensor products of group C˚-algebras and related topics, Limits of graphs in group theory and computer science , 1–35

C. Anantharaman-Delaroche, On tensor products of group C˚-algebras and related topics, Limits of graphs in group theory and computer science , 1–35. EPFL Press, Lausanne; distributed by , 2009

work page 2009