{"id":"40bf7a96-b90b-427c-9039-d5061ea8fce4","arxiv_id":"2507.19614","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A countable group with the approximation property acting on a countable set with trivial infinite intersections of stabilizers always acts amenably on the Stone-Cech boundary of that set.","lead":"This paper proves a general condition under which a group action on the Stone-Cech boundary of a countable set is topologically amenable even when the underlying action is not. It supplies new examples of non-amenable dynamical systems whose associated C*-algebras have a unique non-trivial ideal.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.6's proof silently requires the sequences (x_n) and (y_n) to escape every finite subset of X along ω; without this, the stabilizer of [x_n]_ω need not be trivial and the temperedness and inner-product arguments collapse.","rationale":"The central theorem is plausible and the reader's conditional verdict is appropriate. The single most load-bearing assumption is the escape condition on the sequences used to build uniform approximants. The proof of Theorem 2.6 uses 'infinite sequence' twice without specifying that the sequence tends to infinity along ω; the reader correctly identifies this as implicit only in [5] and in Proposition 2.2. Without escape, the stabilizer of the associated character can be a single-point stabilizer, which the theorem's hypothesis does not control, and the key computation that only the γ'=γ term survives the ultraproduct limit fails. This is a genuine gap in the written proof, but it is very likely fixable by making the escape condition explicit, since Proposition 2.1 already provides sequences at infinity and Proposition 2.2 already assumes them. No fatal flaw was found in the overall strategy: the use of (AP) via [17] Theorem 4.10, the inverse-limit construction with Lemma 2.5, and the application of Proposition 1.6 are all structurally consistent, though several steps (e.g., the Choi-Effros lifting step in the diagram) are compressed and would benefit from expansion. Given that the concern is real but addressable, the reader's CONDITIONAL verdict should stand.","tokens_in":15528,"tokens_out":20038,"duration_ms":223786,"concrete_test":"Inspect Definition 2.1 of arXiv:2305.16277 ([5]) for 'uniform approximants of non-standard points': does it require lim_{n→ω} x_n = ∞? If yes, add that hypothesis explicitly at the two places in the proof of Theorem 2.6 and rerun the inner product estimate; it goes through, so the gap is expository. If no, exhibit an action satisfying Theorem 2.6's stabilizer hypothesis but with a non-amenable point stabilizer (e.g., Γ=F_2, X=(Γ/Λ)⊔Y with Λ non-amenable and Y a free orbit), take a sequence constant on an ω-large set at a point with stabilizer Λ, and check whether the associated Calkin measure yields a tempered Koopman representation. If it is not tempered, the proof's blanket claim fails for arbitrary infinite sequences, and the theorem needs an explicit hypothesis.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 2.6 hinges on showing that a uniform approximant of a non-standard point gives a tempered Koopman representation because its stabilizer is trivial. The proof says 'Let (x_n) be an infinite sequence in X' but never states that lim_{n→ω} x_n = ∞, i.e. that {x_n} escapes every finite subset along ω. If (x_n) is constant equal to x on an ω-large set, then [x_n]_ω is the finite point x and Stab([x_n]_ω) = Stab(x), which may be non-amenable even when the theorem's 'infinite intersection of stabilizers' hypothesis holds (the hypothesis only controls infinite sets). Then the associated L^2-representation need not be weakly contained in λ_Γ, so Lemma 1.1 cannot be invoked. The same missing escape condition appears later: the identity dropping all γ'≠γ in the inner product computation requires that any γ^{-1}γ' fixing γ x_n for an ω-large set of n fixes infinitely many distinct points, which is only true if (x_n) tends to infinity along ω. Proposition 2.1 and Proposition 2.2 do use the escape condition ('lim_{n→ω} x_n = ∞'), but the proof of Theorem 2.6 does not cite or restate it. If [5]'s definition of uniform approximants already forces this escape, the gap is purely expository; if not, the theorem as written is under-proved.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":15839,"tokens_out":16362,"duration_ms":198498,"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":[{"comment":"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":"Section 2, proof of Theorem 2.6"},{"comment":"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.","section":"Section 2, proof of Theorem 2.6"}],"minor_comments":[{"comment":"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.","section":"Abstract and Section 3"},{"comment":"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":"Theorem 3.1"},{"comment":"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.","section":"Section 2, proof of Proposition 2.1"},{"comment":"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.","section":"Corollary 2.7"},{"comment":"There are several typographical errors, including 'Propostion', 'aknowledges', 'akcnowledges', and 'R˘ adulescu'; these should be corrected in revision.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper relies heavily on the author's earlier work, in particular [5], [8], and [9]. The referee should ask the editor to ensure that [5] is available to the reviewers or that the relevant definitions (especially the definition of uniform approximants and the precise meaning of 'non-standard point') are reproduced in the paper. The abstract mismatch between the arXiv metadata and the full text should be corrected before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nWhat'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.\n\nSoft 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.\n\nThe 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.\n\nNet: 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.\n\nI'd send it to review. I wouldn't cite it yet in my own work until the proof is tightened.","headline":"Plausible new broad criterion for boundary amenability, but the main proof is missing a needed escape condition on sequences; worth sending to a referee.","tokens_in":16326,"tokens_out":5511,"would_cite":false,"duration_ms":56359,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L05","46L55","37B05","22D25"],"pacs":[],"model":"deepseek-v4-flash","headline":"A countable group with property (AP) and trivial infinite stabilizer intersections acts amenably on the Stone-Čech boundary.","keywords":["topological amenability","Stone-Čech boundary","property (AP)","non-standard boundaries","quasi-regular representations","C*-simplicity","free products","ideal structure of C*-algebras"],"falsifier":"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.","tokens_in":15332,"feed_emoji":"♾️","tokens_out":24296,"duration_ms":266151,"temperature":0.7,"pith_summary":"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.","feed_headline":"Coset-space actions become amenable on the Stone-Čech boundary","feed_subtitle":"A stabilizer condition plus property (AP) makes coset-boundary actions amenable, yielding unique-ideal C*-algebras.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Introduces non-standard boundaries, uniform approximants of non-standard points, Calkin measures, and the non-standard criterion for boundary amenability used as Proposition 1.6.","marker":"[5]"},{"why":"Supplies Lemma 2.3, used to reduce temperedness checks from convex combinations of Calkin measures to single uniform approximants.","marker":"[8]"},{"why":"Provides the characterization of Zimmer-amenability used to turn temperedness and pair-amenability into equivariant ucp maps from \\(\\ell^\\infty\\Gamma\\).","marker":"[14]"},{"why":"Gives the lemma that turns the equivariant ucp map on the inverse limit into a nuclear ucp map on the crossed product.","marker":"[15]"},{"why":"Provides the non-commutative Fejér-type approximation which, together with property (AP), places the kernel of the limiting representation in the compact ideal.","marker":"[17]"},{"why":"Defines property (AP), the main hypothesis on the group.","marker":"[23]"},{"why":"Shows the GNS image of \\(\\ell^\\infty X_\\omega\\) equals \\(L^\\infty(\\mu)\\), making the inverse limit a genuine von Neumann algebra construction.","marker":"[24]"},{"why":"Relates spectral gap of the subgroup to the ideal structure of the quasi-regular C*-algebra, yielding the unique nontrivial ideal conclusion.","marker":"[11]"}],"fun_headline_variants":["Non-amenable actions become amenable on Stone-Čech boundary","Trivial stabilizers yield boundary-amenable coset actions","Property AP flips non-amenable to boundary-amenable","Stone-Čech boundary tames these group actions","Coset boundaries: amenability from free stabilizer action"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Non-amenable actions become amenable on Stone-Čech boundary","Trivial stabilizers yield boundary-amenable coset actions","Property AP flips non-amenable to boundary-amenable","Stone-Čech boundary tames these group actions","Coset boundaries: amenability from free stabilizer action"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000269,"raw_usage":{"total_tokens":1624,"prompt_tokens":948,"completion_tokens":676,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":564,"completion_tokens_details":{"reasoning_tokens":591}},"tokens_in":564,"tokens_out":676,"duration_ms":7498,"temperature":1.0,"reasoning_tokens":591,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T14:13:53.441496+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"An approach to the study of boundary actions","cited_arxiv_id":"2305.16277","evidence_quote":"Introduces non-standard boundaries, uniform approximants of non-standard points, Calkin measures, and the non-standard criterion for boundary amenability used as Proposition 1.6."},{"cited_title":"Bassi and F","cited_arxiv_id":null,"evidence_quote":"Supplies Lemma 2.3, used to reduce temperedness checks from convex combinations of Calkin measures to single uniform approximants."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the characterization of Zimmer-amenability used to turn temperedness and pair-amenability into equivariant ucp maps from \\(\\ell^\\infty\\Gamma\\)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the lemma that turns the equivariant ucp map on the inverse limit into a nuclear ucp map on the crossed product."},{"cited_title":"Crann and M","cited_arxiv_id":null,"evidence_quote":"Provides the non-commutative Fejér-type approximation which, together with property (AP), places the kernel of the limiting representation in the compact ideal."},{"cited_title":"Haagerup and J","cited_arxiv_id":null,"evidence_quote":"Defines property (AP), the main hypothesis on the group."},{"cited_title":"Hadwin, W","cited_arxiv_id":null,"evidence_quote":"Shows the GNS image of \\(\\ell^\\infty X_\\omega\\) equals \\(L^\\infty(\\mu)\\), making the inverse limit a genuine von Neumann algebra construction."},{"cited_title":"Bekka, M","cited_arxiv_id":null,"evidence_quote":"Relates spectral gap of the subgroup to the ideal structure of the quasi-regular C*-algebra, yielding the unique nontrivial ideal conclusion."}],"review_version":1}