{"id":"6518a87c-3e8f-400f-8d2f-4bd56a3ca3db","arxiv_id":"2607.28597","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Free odometer crossed products by nonamenable residually finite groups yield simple nonnuclear C*-algebras that frequently have real rank zero, stable rank one, unique trace, and selflessness, with explicit K-theory over free groups.","lead":"The paper builds nonnuclear Bunce–Deddens C*-algebras from free odometer actions of nonamenable residually finite groups and proves they often keep real rank zero, stable rank one, unique trace, and selflessness. This supplies concrete simple nonnuclear examples with strong regularity, including continuum-many nonisomorphic ones over free groups.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates the external selflessness citations as the softest point and still rates the paper ACCEPT with high confidence. My re-reading finds the same: every step internal to the free-group case (decomposition, K-theory, unique trace, non-nuclearity, non-Z-stability via non-inner-amenability, RR0 via density of Qσ) is elementary or classical, and the permanence theorems apply directly once selflessness of the finite-index free groups is granted. No stronger load-bearing concern appears. The suggested concrete test simply double-checks the most computational internal step (the K0 limit) that underpins RR0; a positive outcome leaves the verdict untouched.","tokens_in":14350,"tokens_out":501,"duration_ms":8398,"concrete_test":"Independently confirm that the connecting maps on K0 in the proof of Theorem 5.3 are multiplication by the indices qn=[Gn:Gn+1] (via the unit correspondence of Lemma 5.2) and that the resulting inductive limit is exactly Qσ with [1]0mapsto1; if this identification fails for any concrete chain (e.g., the residual-2 chain used in Cor. 5.5), the density argument for RR0 in Cor. 5.7 collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim of Theorem A is supported by a clean inductive-limit decomposition (Prop. 3.3) plus standard permanence of selflessness/purity/stable rank one under matrix amplifications and inductive limits, together with classical freeness/minimality for simplicity and unique trace, non-inner-amenability for non-Z-stability, and an explicit K0 computation that feeds Rørdam’s RR0 criterion. The only external dependence is the selflessness of C*λ(H) for finite-index H ≤ Fd (Cor. 4.4 citing [36]), which is already flagged by the reader and by the paper’s own Question 1; for free groups this is on solid ground and does not undermine the argument as written. No internal gap or hidden assumption that would falsify the free-group case was found.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper defines nonnuclear Bunce–Deddens algebras BD(G,σ) as reduced crossed products C(Ĝ_σ) ⋊_λ G arising from free odometer actions of nonamenable countable discrete residually finite groups. Using the classical inductive-limit decomposition into matrix amplifications of reduced group C*-algebras (Prop. 3.3), together with permanence of selflessness/purity/stable rank one and freeness/minimality/unique ergodicity of free odometers, it establishes that for large classes of groups (acylindrically hyperbolic, linear with trivial amenable radical, extreme-boundary groups) these algebras are simple, monotracial, pure or selfless, and of stable rank one; non-inner-amenability yields non-Z-stability. For free groups F_d the picture is complete (Theorem A): selflessness, real rank zero (via an explicit K_0 computation feeding Rørdam’s criterion), and continuum many non-isomorphic examples (Corollary C). K-theory of BD(F_d,σ) is computed in Theorem B.","tokens_in":14459,"tokens_out":844,"duration_ms":30593,"significance":"The work supplies a natural, explicitly describable family of nonnuclear simple monotracial C*-algebras that nevertheless enjoy strong regularity (selflessness/purity, SR1, RR0) while failing Z-stability. This cleanly extends the classical Bunce–Deddens and Orfanos constructions beyond amenability and gives concrete test cases for the divergence of nuclear and nonnuclear regularity. The free-group K-theory computation is explicit and immediately yields continuum many isomorphism classes. The arguments are standard, carefully cited, and make recent selflessness technology transparent to nonspecialists; the open questions on finite-index permanence and purity of C*_λ(G) are well posed.","major_comments":[],"minor_comments":[{"comment":"Abstract and Theorem A list “strict comparison” among the shared properties; for the pure-but-not-necessarily-selfless range of Theorem 4.1 it would help to add a one-line pointer that Winter purity (or the Cuntz-semigroup formulation used in the cited permanence results) already encodes strict comparison, so the claim is uniform.","section":"Abstract / §4"},{"comment":"In the proof of Corollary 5.5 the residual 2-finiteness of F_d is used without a reference; a short citation (or a parenthetical that free groups are residually p-finite for every p) would help nonspecialists.","section":"§5, Corollary 5.5"},{"comment":"Notation 5.1 introduces m_n and q_n; the same quantities appear earlier in the inductive-limit discussion. A forward reference or a single global notation paragraph would reduce slight repetition.","section":"§5"},{"comment":"Figure 1 is helpful but the caption could briefly recall that “free odometers” = separating normal chains, matching Definition 2.3 and Proposition 2.5.","section":"§2, Figure 1"},{"comment":"Several arXiv preprints are cited for load-bearing permanence results ([36], [52], [23], [4], [37], etc.). Where journal versions now exist, updating the bibliographic data would improve longevity; otherwise the current citations are adequate.","section":"References"}],"recommendation":"accept","confidential_remarks":"The manuscript is short, clean, and correctly positioned as a bridge between classical odometer crossed products and the recent selflessness literature. Dependence on external permanence theorems is openly flagged (Question 1) and is not a hidden gap for the free-group case that forms Theorem A. Suitable for acceptance as is; the minor points are purely presentational."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"Jamie’s paper does exactly what the title says: takes Orfanos’s generalised Bunce–Deddens construction, drops amenability, and checks which regularity properties survive. The free-group case (Theorem A) is the cleanest part and is fully worked out—simple monotracial nonnuclear non-Z-stable, RR0, SR1, selfless/pure, plus explicit K-theory and continuum-many non-isomorphic examples.\n\nWhat is actually new is the systematic transfer. The objects themselves are the expected nonnuclear counterparts of Orfanos. The value is showing that the post-2024 selflessness/purity permanence results (Ozawa, Vigdorovich, etc.) apply directly once you have the classical inductive-limit decomposition into matrix amplifications of reduced group C*-algebras (Prop. 3.3). For free groups the K0 computation is elementary (Nielsen–Schreier + Pimsner–Voiculescu) and feeds Rørdam’s criterion for RR0 without drama. Non-Z-stability via non-inner-amenability is standard and correctly applied. Citations look honest; the paper flags its own open Question 1 about permanence under finite-index subgroups.\n\nSoft spots are minor and already acknowledged. Everything beyond free groups rides on external selflessness theorems for finite-index subgroups of acylindrically hyperbolic / linear / extreme-boundary groups. If those fail for some H the crossed-product conclusions collapse, but for Fd the dependence is on solid ground and the stress-test found no internal gap. The paper does not claim more than the citations support.\n\nThis is for people working on nonnuclear regularity, Cuntz semigroups, or concrete examples with controlled K-theory. It is not field-reorganising, but it is a usable family of examples written carefully enough that a referee can check every step. I would send it to peer review and would cite the free-group statements myself.","headline":"Clean transfer of selflessness/purity tech to free odometer crossed products; free-group case is fully worked and solid.","tokens_in":15143,"tokens_out":489,"would_cite":true,"duration_ms":7446,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L80","46L55"],"pacs":[],"model":"grok-4.5","headline":"Free-group odometer crossed products stay simple, monotracial, real-rank-zero and selfless even though they are nonnuclear and not Z-stable.","keywords":["C*-algebra","crossed product","Bunce–Deddens","nonnuclear","odometer","selfless","real rank zero","K-theory"],"falsifier":"Exhibit a finite-index subgroup H of F_d (or of an acylindrically hyperbolic/linear/extreme-boundary group) whose reduced group C*-algebra fails to be selfless, pure or of stable rank one; the corresponding crossed-product conclusions would then fail.","tokens_in":15163,"feed_emoji":"♾️","tokens_out":1002,"duration_ms":16706,"temperature":0.7,"pith_summary":"Classical Bunce–Deddens algebras arise from Z-odometers on a Cantor set and give simple nuclear C*-algebras of real rank zero. This paper runs the same construction for free odometer actions of nonamenable residually finite groups, producing reduced crossed products that are deliberately nonnuclear. For free groups and several larger classes, the resulting algebras still have unique trace, real rank zero, stable rank one and strict comparison; in many cases they are selfless and therefore pure. The argument uses the inductive-limit decomposition into matrix algebras over reduced group C*-algebras of the finite-index subgroups, together with permanence of selflessness and pureness, plus an explicit K-theory computation that feeds Rørdam’s real-rank-zero criterion. The examples therefore supply a large supply of simple nonnuclear monotracial C*-algebras that behave regularly without being Z-stable.","feed_headline":"Nonnuclear free-group odometers still give pure C*-algebras","feed_subtitle":"Simple monotracial crossed products keep real rank zero and selflessness without nuclearity or Z-stability","key_machinery":"The inductive-limit decomposition BD(G,σ)≅lim→ M_{[G:G_n]}(C*_λ(G_n)) coming from the inverse-limit description of the odometer; selflessness/purity/stable-rank-one of the finite-index reduced group C*-algebras then pass to the limit, while the free-group K-theory computation K_0≅Q_σ⊆Q supplies the density needed for real rank zero.","core_discovery":"For every d≥2 and every separating normal chain σ in the free group F_d, the Bunce–Deddens algebra BD(F_d,σ)=C(Ĝ_σ)⋊_λ F_d is simple, separable, unital, nonnuclear, non-Z-stable, has real rank zero, stable rank one and a unique tracial state, and is selfless (hence pure). Parallel permanence statements hold for equicontinuous or subodometer actions of acylindrically hyperbolic, linear, and extreme-boundary groups.","pith_inferences":["If Thiel’s question whether C*_λ(G) is pure for every nonamenable G has a positive answer, every nonnuclear Bunce–Deddens algebra would automatically be pure.","The same inductive-limit-plus-permanence strategy should produce further nonnuclear examples with real rank zero once K-theory is computed for other groups satisfying Baum–Connes.","Isomorphism classes of the algebras forgetting the diagonal may be coarser than structural conjugacy of the odometers, leaving an open rigidity question the paper flags but does not resolve."],"forward_implications":["Continuum many pairwise non-isomorphic nonnuclear Bunce–Deddens algebras exist over each free group F_d, distinguished by their K_0 groups Q_σ.","Selflessness (hence pureness and stable rank one) holds for all free odometer crossed products of the listed large classes of groups, without amenability or freeness hypotheses on every intermediate action.","These algebras give simple monotracial examples that are pure yet not Z-stable, separating the two properties outside the nuclear setting.","Real rank zero for free-group examples follows from density of the unique-trace pairing on K_0 once selflessness is known."],"fun_headline_variants":["Free-group Bunce-Deddens algebras stay pure without nuclearity","Nonnuclear odometer crossed products still selfless and monotracial","Free odometers yield real-rank-zero pure C*-algebras beyond nuclearity","Nonamenable free-group BD algebras keep unique trace and selflessness","Acylindrically hyperbolic odometers give pure nonnuclear C*-algebras"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The claim that reduced group C*-algebras of all finite-index subgroups of the listed classes of groups are already selfless (or pure, or of stable rank one).","fun_headline_variants_meta":{"raw":{"variants":["Free-group Bunce-Deddens algebras stay pure without nuclearity","Nonnuclear odometer crossed products still selfless and monotracial","Free odometers yield real-rank-zero pure C*-algebras beyond nuclearity","Nonamenable free-group BD algebras keep unique trace and selflessness","Acylindrically hyperbolic odometers give pure nonnuclear C*-algebras"]},"model":"grok-4.5","effort":"low","cost_usd":0.004213,"raw_usage":{"total_tokens":1240,"prompt_tokens":698,"num_sources_used":0,"completion_tokens":83,"cost_in_usd_ticks":42128000,"prompt_tokens_details":{"text_tokens":698,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":459,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":698,"tokens_out":83,"duration_ms":6635,"temperature":1.0,"reasoning_tokens":459,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-31T02:40:34.995333+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a finite-index subgroup H of F_d (or of an acylindrically hyperbolic/linear/extreme-boundary group) whose reduced group C*-algebra fails to be selfless, pure or of stable rank one; the corresponding crossed-product conclusions would then fail.","supporting_citations":[],"review_version":1}