{"id":"3375a2a3-fc1f-4889-83a2-6cccda4aaa47","arxiv_id":"2501.01775","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For non-Hausdorff étale groupoids with countable bisection covers, reduced C*-algebra nuclearity is equivalent to groupoid amenability, and nuclearity of the essential C*-algebra implies a new strictly weaker essential amenability.","lead":"This paper builds new C*-algebras associated to non-Hausdorff groupoids and defines a weakened amenability condition called essential amenability. It proves that nuclearity of the reduced groupoid C*-algebra forces ordinary amenability in a broad setting, and it applies the new framework to semigroup C*-algebras studied by Bruce and Li.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: Theorem A as stated is supported; the unresolved max-injectivity caveat is explicit and only blocks a stronger converse.","rationale":"The reader's conditional verdict is reasonable, and I agree that the sketched reduced-case proof and the open max-injectivity question deserve attention. However, I do not see a load-bearing defect in the stated theorems. Theorem A(ii) is one-way and is proved in detail; the stronger equivalence that would require max-injectivity is explicitly flagged as unresolved and is not part of the central claim as formulated. The countable-bisection assumption is a genuine hypothesis rather than a hidden gap, and the paper candidly explains what happens without it. The reduced part is less fully written, but the available proof structure is coherent and the omitted details appear to be routine adaptations of the essential case. Therefore I would not change the reader's conditional verdict, but I also would not raise the conditional aspects to the level of a demonstrated flaw.","tokens_in":48300,"tokens_out":29654,"duration_ms":320417,"concrete_test":"As a verification step, write out the full proof of Theorem 5.11 (i)=> (ii) following the model of Theorem 5.12, checking that the Ac-approximation supplied by Lemma 5.24 satisfies Definition 5.2(i) for all x in X, not only for x in X\\D, and that the uniform convergence in Definition 5.2(ii) holds on arbitrary compact subsets of G. If this proof goes through, the reduced nuclearity-to-amenability direction is confirmed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No load-bearing flaw found in the central claims as stated. The essential half of Theorem A is the one-way implication (ii): nuclearity of C*_ess(G) implies essential amenability. This is proved directly in Theorem 5.12 (i)=> (ii) with an explicit constructive argument, and the technical assumptions are stated transparently. The reduced part Theorem 5.11 is admittedly sketched in places, but the missing details are the same arguments as the essential case with X\\D replaced by X, and the necessary ingredients (Lemma 5.24, Proposition 5.15, Corollary 4.15) are present. The genuinely unresolved point, namely max-injectivity of psi : C*_ess,max(G) -> Bess,max(G) and whether essential amenability alone suffices for the essential containment property, is explicitly acknowledged in Remarks 4.16 and 5.13. It does not invalidate Theorem A(ii), which is only the nuclearity-to-essential-amenability direction. The countable-bisection assumption is load-bearing for D to be meager, but the paper states it as a hypothesis and notes the degeneration when it fails. Thus the manuscript's central theorems appear sound; the conditional verdict is justified mainly by the need for fuller proofs of the reduced-case implications and by the open converse, not by an identified error.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a notion of essential amenability for étale groupoids with locally compact Hausdorff unit space, constructs a maximal essential C*-algebra C*_ess,max(G) and a family of Borel algebras, and proves a theorem relating nuclearity of the reduced and essential groupoid C*-algebras to amenability and essential amenability, respectively. The main results are Theorem A (Theorems 5.11 and 5.12): for étale groupoids covered by countably many open bisections, C*_red(G) is nuclear iff G is amenable, and if C*_ess(G) is nuclear then G is essentially amenable. Applications are given to crossed products and to the Bruce-Li algebras of algebraic actions of cancellative semigroups, which are realized as quotients of the maximal essential C*-algebra of a groupoid of germs.","tokens_in":48480,"tokens_out":7423,"duration_ms":68840,"significance":"If the results are correct, the paper is a substantive contribution to the C*-algebra theory of non-Hausdorff étale groupoids. The new notion of essential amenability is strictly weaker than amenability and is shown to be a necessary condition for nuclearity of the essential algebra; the proof of this direction is explicit and constructive, built on carefully justified Herz-Schur multipliers. The construction of the maximal essential algebra and of Borel groupoid algebras is versatile and likely to be reused. The paper also corrects an error in Renault's treatment of Borel amenability (Remark 5.3) and applies the machinery to Bruce-Li algebras. Importantly, the authors are transparent about the limitations: the converse implication (essential amenability ⇒ nuclearity of C*_ess) and the max-injectivity of ψ remain open, and the one-way direction is clearly stated. The potential significance is high for the non-Hausdorff groupoid literature.","major_comments":[{"comment":"The equivalence between nuclearity of C*_red(G) and amenability of G is one of the paper's main theorems, but its proof is only sketched. The text says 'we will sometimes be sketchy with the proofs of the former theorem' and the combined proof does not spell out the implications (i)⇒(ii) and (ii)⇒(i) for the reduced algebra, leaving the reader to adapt the essential-case arguments by replacing X\\D with X. Because Theorem A(i) is a central claim, full details of these implications should be provided, or a precise reference to an existing proof in the non-Hausdorff setting should be given.","section":"Section 5.2, Theorem 5.11"},{"comment":"The implication (iii)⇒(iv), asserting that nuclearity of Bess(G) implies Borel essential amenability, is only sketched. Although this implication is not needed for the one-way statement in Theorem A(ii), it forms part of the claimed equivalence (iii)⇔(iv) and of the conditional equivalence of all four conditions under max-injectivity. A rigorous proof should be supplied, or the theorem statement should be adjusted to reflect exactly which implications are fully proven.","section":"Section 5.2, Theorem 5.12"}],"minor_comments":[{"comment":"There are several typographical issues, e.g. 'W e' and 'th e' in the abstract and 'M orrally' in Section 2.1; these should be corrected in a final polish.","section":"Abstract and Section 2.1"},{"comment":"The phrase 'we characterize when C*_ess(G) is nuclear in terms of a certain essential amenability' is stronger than what is proven; only the implication nuclearity ⇒ essential amenability is established, with the converse left open in Remarks 4.16 and 5.13. Please rephrase to avoid overstatement.","section":"Section 1, final paragraph"},{"comment":"The assertion that ‖λ_{γ_n}(a)‖ → ‖λ_{x_0}(a)‖ is justified by the statement that 'any finite behaviour at x0 can be witnessed at γ_n for all large n'; this is plausible but deserves a more formal argument, since the claim is used to factor the essential regular representation through πmax.","section":"Corollary 3.42, Claim 3.43"}],"recommendation":"major_revision","confidential_remarks":"The paper is a solid contribution and the main ideas appear sound. The primary issue is the sketchiness of the proof of one of the central theorems (Theorem 5.11), which is load-bearing for the paper's headline claim. The open question about max-injectivity of ψ is explicitly acknowledged and does not invalidate the proved statements, but it should be clearly separated from the terminology 'characterize' in the introduction. The overlap with independent work [2] is transparently disclosed in the Note."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. The genuinely new content is the essential half: a maximal essential C*-algebra, Borel essential algebras, and a notion of essential amenability strictly weaker than amenability, with the theorem that nuclearity of C*_ess(G) forces essential amenability. That direction is proved constructively, with explicit multipliers and norm estimates. The reduced-algebra equivalence—nuclearity of C*_red(G) iff G amenable—overlaps with the independent Brix–Gonzales–Hume–Li preprint [2], and the authors say so in their Note. Treat that half as parallel work, not the headline.\n\nCredit where due. Proposition B (a function in C_c(G) vanishing on a dense set is supported only on the dangerous arrows D) is clean and does real work, as does the faithful representation of C*_ess(G) on the fibers over X\\D in Proposition 3.32. The Herz-Schur multiplier machinery behind Proposition 5.15 is substantial, and the proof of (i)=> (ii) in Theorem 5.12 is spelled out in genuine detail. The Bruce-Li application in Section 7 is new and concrete. The paper is also honest about its own history: it names the earlier error found by Xin Li, flags a claimed mistake in Renault's [24, Prop 2.8] with a concrete counterexample, and repeatedly says where proofs are sketched.\n\nThe soft spots are mostly the ones the authors admit. Theorem 5.11 is sketchy in places, and (iii)=> (iv) in Theorem 5.12 is deferred as \"similar to (i)=> (ii)\"; a referee should ask for those details. The countable-bisection cover is genuinely load-bearing—D meager, the singular ideal identified with support in D, and faithfulness of the essential regular representation all depend on it—but it is a stated hypothesis, so a scope limitation rather than a hidden flaw. The open point, max-injectivity of the map from C*_ess,max to B_ess,max and whether essential amenability alone gives the essential containment property, is theirs to leave open; they flag it in Remarks 4.16 and 5.13, and the strong converse is explicitly conditional. The Renault claim deserves independent checking, but they supply an example. I agree with the stress-test read: no load-bearing flaw in the central claims as stated.\n\nWho this is for: people working on non-Hausdorff étale groupoid C*-algebras, essential crossed products, and semigroup C*-algebras. It deserves a serious referee. My recommendation: send it to review; ask for the sketched implications to be completed or explicitly deferred, and for the Renault counterexample to be verified. Conditional, not reject.","headline":"The essential half is the real contribution and it holds up; the reduced half overlaps with parallel independent work, and the authors name the main open point honestly.","tokens_in":49048,"tokens_out":6215,"would_cite":true,"duration_ms":58707,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["20L05","46L52","46L05"],"pacs":[],"model":"deepseek-v4-flash","headline":"Nuclearity of the essential C*-algebra of a non-Hausdorff étale groupoid forces a strictly weaker form of amenability.","keywords":["étale groupoid","non-Hausdorff groupoid","essential C*-algebra","nuclearity","amenability","essential amenability","dangerous arrows","Borel Herz-Schur multipliers"],"falsifier":"Find an étale groupoid satisfying the countable-bisection hypothesis whose essential C*-algebra is nuclear yet some non-dangerous isotropy group $xGx$ at a unit $x\\in X\\setminus D$ is non-amenable; Proposition 5.6(iii) would then rule out essential amenability, contradicting Theorem 5.12(i)$\\Rightarrow$(ii).","tokens_in":48058,"feed_emoji":"","tokens_out":7927,"duration_ms":73793,"temperature":0.7,"pith_summary":"Groupoids encode partially defined symmetries, and an étale groupoid is a topologised version that can fail to be Hausdorff. The paper studies the C*-algebras built from such groupoids, especially the reduced algebra and the essential algebra, the latter being designed to ignore behaviour on the 'dangerous' arrows where non-Hausdorffness is witnessed. Its central claim is that for étale groupoids covered by countably many open bisections, the reduced C*-algebra is nuclear exactly when the groupoid is amenable, while nuclearity of the essential C*-algebra forces a new, strictly weaker property called essential amenability. The paper also constructs a maximal essential algebra and a faithful representation of the essential algebra on the complement of the dangerous arrows. This matters because nuclearity is the key finite-dimensional approximation property of C*-algebras, and non-Hausdorff groupoids arise naturally from inverse semigroup actions and algebraic actions of cancellative semigroups.","feed_headline":"Nuclear essential algebras force a weaker groupoid amenability","feed_subtitle":"For étale groupoids, nuclear essential C*-algebras imply essential amenability, a strictly weaker property.","key_machinery":"The central object is the set $D$ of dangerous arrows: an arrow $g\\in G$ is dangerous if a net can converge to $g$ and to a different arrow $h$, so $D$ is exactly the set of points where $G$ fails to be Hausdorff. Under the countable-bisection hypothesis, $D$ is meager, and the singular ideal of the essential algebra is characterized as functions supported on $D$. The second load-bearing tool is a family of Borel Herz-Schur multipliers $m_\\phi(a)(g)=\\phi(g)a(g)$ with $\\phi=\\xi^* * \\xi$, which give completely positive maps on the maximal, reduced, and essential Borel algebras; these multipliers carry both directions of the nuclearity-amenability argument. The faithful representation of $C^*_{\\mathrm{ess}}(G)$ on $\\bigoplus_{x\\in X\\setminus D}\\ell^2(G_x)$ completes the picture by tying the essential algebra to the non-dangerous part of the groupoid.","core_discovery":"Let $G$ be an étale groupoid with locally compact Hausdorff unit space $X:=G^{(0)}$, and assume $G$ can be covered by countably many open bisections. Theorem A says that $C^*_{\\mathrm{red}}(G)$ is nuclear if and only if $G$ is amenable, in which case the left regular representation $C^*_{\\max}(G)\\to C^*_{\\mathrm{red}}(G)$ is an isomorphism, and that if $C^*_{\\mathrm{ess}}(G)$ is nuclear, then $G$ is essentially amenable. Essential amenability asks for functions $\\xi_i$ in the algebra $A_c(G)$ (the linear span of pointwise products of functions from $C_c(G)$) such that the convolution squares $\\xi_i^**\\xi_i$ converge to $1$ uniformly on compact subsets of $G\\setminus D$, where $D$ is the set of dangerous arrows; this property is strictly weaker than amenability. The paper introduces the maximal essential algebra $C^*_{\\mathrm{ess,max}}(G)$ and proves that the essential regular representation on $\\bigoplus_{x\\in X\\setminus D}\\ell^2(G_x)$ is faithful, exhibiting the essential algebra as the reduced algebra of the non-dangerous part of the groupoid. It also defines Borel versions of amenability and essential amenability and proves they are equivalent to the topological versions.","pith_inferences":["The paper leaves open whether essential amenability alone implies nuclearity of $C^*_{\\mathrm{ess}}(G)$; one concrete way to test this is to seek groupoids where the canonical map $\\psi:C^*_{\\mathrm{ess,max}}(G)\\to B_{\\mathrm{ess,max}}(G)$ fails to be max-injective, since the equivalence in Theorem 5.12 is proved precisely under that condition.","Because the singular ideal is exactly the set of functions supported on $D$, one can view $C^*_{\\mathrm{ess}}(G)$ as a reduced algebra of the non-dangerous part of the groupoid; this suggests a broader principle that, under the countable-bisection hypothesis, non-Hausdorffness contaminates only a meager set and other ideal-structure questions could be studied by cutting out $D$.","The proved equivalence between Borel and topological (essential) amenability may make the property checkable by Borel Følner-type conditions, and the definition could plausibly be extended to groupoids without a countable bisection cover by quantifying over arbitrary meager sets, as the paper itself suggests.","For the algebras $A_\\sigma$, nuclearity of $A_\\sigma$ implies essential amenability of $G_\\sigma$; deciding whether the converse holds for this class would amount to resolving the max-injectivity obstruction for these groupoids."],"forward_implications":["For a discrete group $\\Gamma$ acting on a compact Hausdorff space $X$, nuclearity of $C(X)\\rtimes_{\\mathrm{red}} \\Gamma$ is equivalent to amenability of the action, to nuclearity of $B_b(X)\\rtimes_{\\mathrm{red}} \\Gamma$, and to Borel amenability of the action.","If $C^*_{\\mathrm{ess}}(G)$ is nuclear, then every non-dangerous isotropy group $xGx$ with $x\\in X\\setminus D$ must be amenable, giving a concrete algebraic obstruction to nuclearity of the essential algebra.","Essential amenability is strictly weaker than amenability: for the groupoid $X\\rtimes (\\Gamma\\sqcup\\{0\\})$ of Example 3.35, $G$ is essentially amenable for every group $\\Gamma$, while $G$ is amenable only when $\\Gamma$ is amenable.","For amenable $G$ with no nonzero meager-supported elements in $A^\\infty_c(G)$, the canonical map $C^*_{\\max}(G)\\to C^*_{\\mathrm{ess}}(G)$ is an isomorphism; in that case $C^*_{\\max}(G)$ is simple exactly when $G$ is minimal and topologically free.","For exact algebraic actions of cancellative semigroups, the algebras $A_\\sigma$ studied in the final section arise as quotients of $C^*_{\\mathrm{ess,max}}(G_\\sigma)$, and nuclearity of $A_\\sigma$ implies essential amenability of $G_\\sigma$."],"supporting_citations":[{"why":"Supplies the definition of the essential C*-algebra and the characterization of its kernel as functions supported on dangerous arrows.","marker":"[18]"},{"why":"Introduced the essential C*-algebra for topologically free étale groupoids, the object the present paper generalizes to all étale groupoids.","marker":"[13]"},{"why":"Established that topological amenability is a Borel property; the paper refines and corrects this to define Borel amenability and Borel essential amenability.","marker":"[24]"},{"why":"Provides the standard equivalence between nuclearity and amenability for discrete groups and the completely positive approximation machinery used in Theorems 5.11 and 5.12.","marker":"[4]"},{"why":"Gives the faithful representation of the essential algebra on the complement of the dangerous arrows, re-proved here as Proposition 3.32.","marker":"[20]"},{"why":"Constructs the algebras $A_\\sigma$ from algebraic actions; the final section shows these algebras are quotients of the maximal essential algebra.","marker":"[5]"},{"why":"Contains parallel characterizations of dangerous arrows and the singular ideal used for Corollary 3.15 and the essential regular representation.","marker":"[1]"}],"fun_headline_variants":["Essential C*-nuclearity forces groupoid essential amenability","Weaker groupoid amenability from nuclear essential algebras","New essential amenability: strictly weaker than amenability","Nuclear essential C*-algebras imply weaker groupoid amenability","Essential amenability: a new groupoid property implied by nuclearity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole argument leans on the assumption that the groupoid can be covered by countably many open bisections; if that fails, the dangerous arrows can be the entire groupoid and the essential machinery collapses, a limitation the paper explicitly notes.","fun_headline_variants_meta":{"raw":{"variants":["Essential C*-nuclearity forces groupoid essential amenability","Weaker groupoid amenability from nuclear essential algebras","New essential amenability: strictly weaker than amenability","Nuclear essential C*-algebras imply weaker groupoid amenability","Essential amenability: a new groupoid property implied by nuclearity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000174,"raw_usage":{"total_tokens":1288,"prompt_tokens":958,"completion_tokens":330,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":574,"completion_tokens_details":{"reasoning_tokens":247}},"tokens_in":574,"tokens_out":330,"duration_ms":3736,"temperature":1.0,"reasoning_tokens":247,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T22:20:44.032919+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find an étale groupoid satisfying the countable-bisection hypothesis whose essential C*-algebra is nuclear yet some non-dangerous isotropy group $xGx$ at a unit $x\\in X\\setminus D$ is non-amenable; Proposition 5.6(iii) would then rule out essential amenability, contradicting Theorem 5.12(i)$\\Rightarrow$(ii).","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the definition of the essential C*-algebra and the characterization of its kernel as functions supported on dangerous arrows."},{"cited_title":"Pitts, Characterizing groupoid C∗ -algebras of non-Hausdorff étale groupoids , Lecture Notes in Mathematics, vol","cited_arxiv_id":null,"evidence_quote":"Introduced the essential C*-algebra for topologically free étale groupoids, the object the present paper generalizes to all étale groupoids."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Established that topological amenability is a Borel property; the paper refines and corrects this to define Borel amenability and Borel essential amenability."},{"cited_title":"88, Amer","cited_arxiv_id":null,"evidence_quote":"Provides the standard equivalence between nuclearity and amenability for discrete groups and the completely positive approximation machinery used in Theorems 5.11 and 5.12."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the faithful representation of the essential algebra on the complement of the dangerous arrows, re-proved here as Proposition 3.32."},{"cited_title":"C*-algebras and groupoids , Journal of Functional Analysis 286 (2024), no","cited_arxiv_id":null,"evidence_quote":"Constructs the algebras $A_\\sigma$ from algebraic actions; the final section shows these algebras are quotients of the maximal essential algebra."}],"review_version":1}