{"id":"7bf1bffd-fd0a-45a4-8401-2649edeaa28f","arxiv_id":"2607.27691","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Non-simple higher-rank graph algebras that are purely infinite with zero-dimensional ideal lattice are O∞-stable and have nuclear dimension one.","lead":"Higher-rank graph C*-algebras that are purely infinite with zero-dimensional primitive ideal space are shown to be strongly purely infinite, O∞-stable, and of nuclear dimension one, even when they are not simple. The paper gives combinatorial conditions on the underlying k-graph that guarantee these regularity properties.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 7.4's upgrade from pure to strong pure infiniteness rests on an uncited equivalence (topological dimension zero ⇒ strong) that is the linchpin of O∞-stability and nuclear dimension one; it needs a citation or proof.","rationale":"The reader's weakest assumption identifies exactly the same load-bearing step: the uncited equivalence between pure infiniteness and strong pure infiniteness under topological dimension zero. My reading of the manuscript confirms that Proposition 7.4's proof has no independent justification for this step; it is stated as a black box and is essential for both O∞-stability and nuclear dimension one. I do not claim the equivalence is false—for k-graph algebras it may follow from [PSS2] once gauge-invariant ideals are generated by vertex projections—but as written the proof is incomplete. The other issues noted by the reader (the abstract's overclaim, the false Pedersen citation in Theorem 6.2, the unproved Example 3.12(2) claim) are real but peripheral to the central regularity result. Thus the appropriate verdict is CONDITIONAL: accept only after the equivalence is either cited with a precise reference or proved directly from the graph hypotheses. This matches the reader's conditional verdict, so no change is needed beyond affirming it.","tokens_in":20051,"tokens_out":34460,"duration_ms":310059,"concrete_test":"Verify the asserted equivalence by consulting [PR, Theorem 4.2] and [KR, Sections 4–5]. Determine whether the hypothesis is topological dimension zero, real rank zero, or the ideal property. Then test the paper's own infinite-ideal example, the 1-graph Ω of Example 3.12(3): check whether every gauge-invariant ideal I_H is generated by projections (equivalently, whether Ω satisfies the ideal property), and apply the known pure-infiniteness + ideal-property criterion for strong pure infiniteness. If the equivalence is not in the literature or fails on this example, Proposition 7.4 is not established.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The paper's central regularity claim is Proposition 7.4: under condition (5) of Theorem 3.9 plus topological dimension zero, C*(Λ) is strongly purely infinite, hence O∞-stable and of nuclear dimension one. The only step that connects pure infiniteness to strong pure infiniteness is the unproved assertion: 'A separable, nuclear C*-algebra of topological dimension zero is purely infinite if and only if it is strongly purely infinite: the two notions coincide once Prim has a basis of compact-open sets.' This is load-bearing because without it the Kirchberg–Rørdam O∞-absorption theorem cannot be applied, and the nuclear-dimension-one conclusion collapses. The assertion is not cited, and it is not obviously a theorem in [KR] or [PR]: standard strong-pure-infiniteness criteria are usually phrased via the ideal property or real rank zero, not topological dimension zero alone. For k-graph algebras the step may be provable from [PSS2] (strong aperiodicity ⇔ topological dimension zero) together with gauge-invariant ideals being generated by vertex projections, but that argument is absent. Until the equivalence is verified or replaced by a graph-specific proof, the main theorem is conditional. A secondary framing issue is that the abstract claims the conclusion for every purely infinite C*(Λ) of topological dimension zero, whereas Proposition 7.4 assumes condition (5); Theorem 3.9 does not prove that pure infiniteness implies condition (5) when Λ0 is infinite.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies row-finite, locally convex higher-rank graph C*-algebras. Its main results are: Theorem 3.9, a characterisation of pure infiniteness of C*(Λ) in terms of generalised cycles, maximal tails and strong aperiodicity; Theorem 4.1, a real-rank-zero criterion under a finiteness assumption on the lattice H(Λ) of saturated hereditary subsets; Theorem 6.2, claiming that topological dimension zero forces both ascending and descending chain conditions on ideals; and Proposition 7.4, the central application, which asserts that when C*(Λ) satisfies condition (5) of Theorem 3.9 and has topological dimension zero, it is strongly purely infinite, O∞-stable, and of nuclear dimension one, even when non-simple. The paper also discusses extremal richness, stable rank, a finite-ideal trichotomy, and Z-stability.","tokens_in":20319,"tokens_out":14692,"duration_ms":136069,"significance":"If correct, the results are significant: they give a purely combinatorial graph-level dictionary for pure infiniteness in the non-simple higher-rank setting and extend the nuclear-dimension-one computation beyond the simple case. The paper draws on deep external theorems (Kirchberg–Rørdam, Pasnicu–Rørdam, Szabó, Bosa–Gabe–Sims–White) and makes useful corrections to earlier graph-algebra literature. However, the advertised main theorem currently exceeds what is proved: Proposition 7.4 relies on an uncited equivalence between pure and strong pure infiniteness under topological dimension zero, and the abstract overstates the hypotheses under which the conclusions hold. The core graph-theoretic programme is promising, but the manuscript needs substantive revision before the central claims are supported.","major_comments":[{"comment":"The proof contains the uncited assertion: 'A separable, nuclear C*-algebra of topological dimension zero is purely infinite if and only if it is strongly purely infinite: the two notions coincide once Prim has a basis of compact-open sets.' This is load-bearing: it is exactly the step that upgrades pure infiniteness to the strong version needed to apply the Kirchberg–Rørdam O∞-absorption theorem. Without it, the conclusions D ≅ D ⊗ O∞ and nuclear dimension one do not follow. The statement is not obviously in [KR] or [PR]; standard strong-pure-infiniteness criteria are usually phrased via real rank zero or the ideal property, not via zero-dimensionality of Prim alone. Please supply a proof or a precise reference. If the proof is graph-specific, it should be included, for instance using strong aperiodicity, gauge-invariant ideals, and the structure of H(Λ).","section":"§7, Proposition 7.4"},{"comment":"The theorem 'If C*(Λ) has topological dimension zero, then C*(Λ) satisfies both ACC and DCC on ideals' is false as stated. The commutative algebra C0(N) has zero-dimensional primitive ideal space (discrete topology, hence a basis of compact open sets), but it fails both chain conditions: the ascending chain of ideals corresponding to the open sets {0,1,...,n} does not stabilise, and the descending chain corresponding to {n,n+1,...} does not stabilise. The citation [Ped, Theorem 4.4.6] does not support the claim. The theorem needs an additional hypothesis (e.g. finiteness of the ideal lattice) or should be removed/restricted. Corollary 7.7 assumes chain stabilisation directly and is therefore not affected, but the theorem as stated cannot stand.","section":"§6, Theorem 6.2"},{"comment":"The abstract claims the conclusions hold 'whenever C*(Λ) is purely infinite of topological dimension zero—in particular whenever its ideal lattice is finite'. Proposition 7.4, however, assumes condition (5) of Theorem 3.9 (strong aperiodicity and reachability by generalised cycles in each maximal tail) in addition to topological dimension zero. Theorem 3.9 does not imply condition (5) from pure infiniteness when Λ0 is infinite; Remark 3.10 explicitly leaves the infinite-vertex case open. Moreover, finiteness of H(Λ) does not by itself imply condition (5). The manuscript should either restrict the abstract/introduction to the hypotheses actually used in Proposition 7.4, or prove that pure infiniteness plus topological dimension zero implies condition (5). The phrase 'In particular, the hypotheses hold whenever H(Λ) is finite' inside Proposition 7.4 is likewise too strong.","section":"Abstract and Introduction vs. §7, Proposition 7.4"}],"minor_comments":[{"comment":"The phrase 'connected to by a generalised cycle' appears repeatedly (Theorems 3.9, 4.1, 5.4, etc.) and should read 'connected to a generalised cycle' or similar.","section":"Throughout"},{"comment":"The citation is garbled: 'the proof may be found in Theorem 5.5]S or [RSY1, Theorem 5.2]'. Please fix the bracket/reference.","section":"§2.3, Theorem 2.11"},{"comment":"The notation 'α∈s(r(µ))Λ' in the definition of an entrance is confusing. Since r(µ) is a vertex, this should be written as 'α∈r(µ)Λ' or 'α∈s(r(µ))Λ' with the source/range conventions made explicit.","section":"§3.3, Definition 3.3"},{"comment":"Examples 5.6/5.7 and 6.7(2)/(3) describe the same graphs Λ_PI and Λ_mix with essentially identical computations. Consolidating them would improve readability.","section":"§5.1 and §6.3"},{"comment":"The example 'the minimal unitisation of O2 ⊗ K' is claimed to be both purely infinite and stably finite. Under Definition 3.1, pure infiniteness excludes characters, and the minimal unitisation has a character (the quotient map onto C). Please clarify the intended notion or replace the example.","section":"§7, Remark 7.2"}],"recommendation":"major_revision","confidential_remarks":"The paper has a solid combinatorial core, and the main application is plausible, but the advertised theorem currently rests on an uncited and nontrivial implication, and Theorem 6.2 is false as stated. Please ask the authors to provide a proof or precise reference for the pure-to-strong implication under topological dimension zero, to correct or delete Theorem 6.2, and to align the abstract with the actual hypotheses of Proposition 7.4. If the missing equivalence cannot be supplied, the central claim should be downgraded accordingly."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new material here is Theorem 3.9's characterisation of pure infiniteness via generalised cycles and maximal tails, and the way the paper uses it to get real rank zero, extremal richness, and the non-simple nuclear-dimension-one statement. That is worth having even if Proposition 7.4 needs work. The extension to infinite-vertex graphs and the careful flagging of where finiteness is used are also done honestly.\n\nThe main gap is exactly where the stress-test note points: Proposition 7.4 asserts that a separable nuclear C*-algebra of topological dimension zero is purely infinite iff strongly purely infinite, with no citation. That is the step that upgrades pure infiniteness to strong pure infiniteness and opens the door to Kirchberg–Rørdam absorption and BGSW. I would not be surprised if it is true for k-graph algebras—the ideal lattice is controlled by saturated hereditary subsets, and strong aperiodicity should give the right primitive ideal space—but as written it is an unsupported assertion. If it fails, the O∞-stability and nuclear dimension one conclusions collapse. This is a load-bearing gap, not a cosmetic one.\n\nThe abstract also overclaims: it says 'whenever C*(Λ) is purely infinite of topological dimension zero', but Proposition 7.4 starts from condition (5) of Theorem 3.9. For infinite Λ0, Theorem 3.9 does not prove that pure infiniteness implies condition (5). The stronger statement may be true, but it is not established here.\n\nTwo smaller things. Theorem 6.2's proof cites Pedersen 4.4.6 for the claim that separable C*-algebras with totally disconnected primitive ideal space satisfy ACC and DCC on ideals. That is not what Pedersen's book says, and the statement smells false as a general assertion; the chain conditions are not automatic from topological dimension zero. This is peripheral to the main theorem but should be corrected. And Example 3.12(2) does not really disprove [KPR, Theorem 3.9]: showing one graph fails a sufficient condition does not establish falsehood. The counterexample needs a direct argument that the algebra is not purely infinite.\n\nThe paper cites the author's own earlier work heavily, but those are published and independent; the reliance is not circular in a damaging way. The external theorems (Kirchberg–Rørdam, Pasnicu–Rørdam, Bosa–Gabe–Sims–White, Szabó) are real.\n\nWho this is for: operator algebraists working on graph algebras and classification. It deserves a serious referee. The referee should focus on the pure-to-strong-pure step and the abstract's reach. If that step can be proved or cited, the paper is a solid contribution. I would send it out.","headline":"The graph-level pure-infiniteness characterisation is a real contribution; the O∞-stability/nuclear-dimension-one theorem is plausible but rests on an uncited pure-to-strong-pure equivalence that a referee must force into the open.","tokens_in":20927,"tokens_out":4759,"would_cite":true,"duration_ms":36530,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L05","46L35","46L55","46L80"],"pacs":[],"model":"deepseek-v4-flash","headline":"When a higher-rank graph C*-algebra is purely infinite and its primitive ideal space is zero-dimensional, it is strongly purely infinite, absorbs O∞, and has nuclear dimension one, even when non-simple.","keywords":["higher-rank graph","k-graph C*-algebra","nuclear dimension","pure infiniteness","O∞-stability","real rank zero","strong aperiodicity","generalised cycles"],"falsifier":"Search for—or construct—a separable, nuclear, purely infinite C*-algebra of topological dimension zero that is not strongly purely infinite; the paper cites no proof for the equivalence it uses, so any such example would directly refute the upgrade step of Proposition 7.4 and, with it, the O∞-stability conclusion for non-simple k-graph algebras.","tokens_in":19823,"feed_emoji":"","tokens_out":9683,"duration_ms":77292,"temperature":0.7,"pith_summary":"Higher-rank graph C*-algebras—operator algebras built from combinatorial k-graphs—are shown to be purely infinite precisely when each maximal tail in the graph has a generalised cycle with an entrance reaching every vertex. The paper's main result (Proposition 7.4) is that whenever such an algebra is purely infinite and has zero-dimensional primitive ideal space—in particular whenever its ideal lattice is finite—it is strongly purely infinite, tensorially absorbs the Cuntz algebra O∞, and has nuclear dimension one, without any simplicity assumption. This extends the nuclear-dimension-one computation from simple purely infinite algebras to a large class of non-simple algebras, using only graph combinatorics and standard absorption theorems.","feed_headline":"Purely infinite graph algebras get nuclear dimension one","feed_subtitle":"The result holds even for non-simple algebras, by reading purity off the graph's cycles and tails.","key_machinery":"The central objects are generalised cycles (pairs of distinct paths with common source and range that admit minimal common extensions with every continuation) and maximal tails (sets of vertices that are downward closed and mutually reachable). The paper's machinery is the equivalence (Theorem 3.7) between strong aperiodicity of the k-graph, the entrance condition for all generalised cycles in each maximal tail, and gauge-invariance of every ideal of C*(Λ); this reduces the ideal lattice to the finite combinatorics of saturated hereditary subsets. The upgrade to strong pure infiniteness in Proposition 7.4 then invokes the standard O∞-absorption theorem for strongly purely infinite nuclear C*","core_discovery":"The paper establishes a graph-level dictionary for pure infiniteness: C*(Λ) is purely infinite exactly when every generalised cycle in every maximal tail has an entrance and every vertex of every maximal tail is reached by a generalised cycle (Theorem 3.9, with the entrance condition alone equivalent to strong aperiodicity and to gauge-invariance of all ideals). The central application is Proposition 7.4: if C*(Λ) is purely infinite and has topological dimension zero—which is automatic when the saturated-hereditary-subset lattice H(Λ) is finite—then C*(Λ) is strongly purely infinite, C*(Λ) ≅ C*(Λ)⊗O∞, and C*(Λ) has nuclear dimension one, even when not simple. The paper also proves that under","pith_inferences":["The combinatorial criteria suggest an algorithmic way to certify O∞-stability and nuclear dimension one for finite k-graphs: compute the maximal tails and verify the generalised-cycle entrance condition, which is finite data.","If the unproved pure-infiniteness-to-strong-pure-infiniteness equivalence for zero-dimensional algebras is ultimately shown to require an extra hypothesis, the class of k-graph algebras covered by Proposition 7.4 would shrink accordingly, but the combinatorial characterization of pure infiniteness in Theorem 3.9 would remain intact.","The same cycle-and-tail framework may extend to compute the nuclear dimension of mixed extensions (AF ideal with purely infinite quotient) by translating stability and fullness conditions into graph data, potentially closing the gap left open in Remark 7.6.","The paper's results suggest a dichotomy: on the stably finite branch, Z-stability; on the purely infinite branch, O∞-stability."],"forward_implications":["Non-simple purely infinite k-graph algebras with zero-dimensional primitive ideal space are O∞-stable and of nuclear dimension one, placing them within the scope of the classification program for nuclear C*-algebras.","Pure infiniteness of C*(Λ) can now be read directly from the graph: check every maximal tail for generalised cycles with entrances reaching all vertices.","For algebras with finite ideal lattice, the hypothesis of topological dimension zero is automatic, so every such purely infinite k-graph algebra is automatically O∞-stable and has nuclear dimension one.","Real rank zero for these algebras is equivalent to a K0-liftability condition that, for k=2, reduces to an elementary homological check on the connectivity matrices.","The chain conditions on ideals are forced by topological dimension zero, yielding a trichotomy: purely infinite, stably finite, or neither."],"fun_headline_variants":["Graph cycles and tails decide purity, then dimension one","Non-simple, purely infinite graph algebras: nuclear dimension one","Finite ideals imply nuclear dimension one in graph algebras","Purity from cycles: strong infinity and dimension one","Correcting graph algebra theory: dimension one for pure algebras"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof of Proposition 7.4 assumes, without citation, that for a separable nuclear C*-algebra with topological dimension zero, pure infiniteness is equivalent to strong pure infiniteness; if this equivalence fails, the conclusion that C*(Λ) is O∞-stable and of nuclear dimension one does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Graph cycles and tails decide purity, then dimension one","Non-simple, purely infinite graph algebras: nuclear dimension one","Finite ideals imply nuclear dimension one in graph algebras","Purity from cycles: strong infinity and dimension one","Correcting graph algebra theory: dimension one for pure algebras"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000293,"raw_usage":{"total_tokens":1541,"prompt_tokens":736,"completion_tokens":805,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":480,"completion_tokens_details":{"reasoning_tokens":726}},"tokens_in":480,"tokens_out":805,"duration_ms":7987,"temperature":1.0,"reasoning_tokens":726,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T03:11:59.401301+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Search for—or construct—a separable, nuclear, purely infinite C*-algebra of topological dimension zero that is not strongly purely infinite; the paper cites no proof for the equivalence it uses, so any such example would directly refute the upgrade step of Proposition 7.4 and, with it, the O∞-stability conclusion for non-simple k-graph algebras.","supporting_citations":[],"review_version":1}