{"id":"b26fb4e4-3a13-447f-9b40-d25d16936d27","arxiv_id":"2412.11805","paper_version":4,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For amenable etale groupoids with isotropy groups of local polynomial growth, the Jacobson topology on Prim C*(G) is characterized by closure in the Fell topology on subgroup-representation pairs.","lead":"The paper gives a complete description of the primitive ideal space of C*-algebras of amenable groupoids whose isotropy groups have local polynomial growth, extending the Mackey machine from abelian to nonabelian stabilizers. It also computes in full the primitive spectrum for the action of SL3(Z) on the flag space SL3(R)/U3(R), where stabilizers include the discrete Heisenberg group.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the central theorem is proved from its stated hypotheses; the main external dependency is the Ionescu–Williams surjectivity theorem, which is a published result and not an internal gap.","rationale":"I read the paper in good faith and focused on what would have to be true for Theorem A to hold: the surjectivity of Ind, the amenability/second countability hypotheses, and the technical condition in Theorem 3.3 that restricted kernels be intersections of maximal ideals for a cofinal family of subgroups. The first two are satisfied by the cited Ionescu–Williams theorem and by the standing assumptions. The third is not an unstated assumption: it is exactly the content of Definition 4.1, and for groups in class M the required family can be chosen as the M0 subgroups containing each finite set. Therefore the maximal-ideal-intersection property does not constitute an internal gap. I found the proof of Theorem 3.3 well-structured and its use of Corollary 2.9 justified by the maximality of the relevant primitive ideals. The main external dependency, the surjectivity of Ind, is a published theorem of Ionescu and Williams and is directly applicable; it is a legitimate dependence rather than a flaw. I therefore do not identify a load-bearing concern that would move the verdict. The reader's weakest assumption is partially correct in pointing to the technical pivot of the proof, but it is not a source of potential falsity of the central claim under its stated hypotheses. The concrete test above would further de-risk the most intricate step of Theorem 3.3.","tokens_in":59343,"tokens_out":27195,"duration_ms":227139,"concrete_test":"Verify the proof of Theorem 3.3, implication (2)⇒(3), by independently checking the state-extension step: for each ρ_l with maximal kernel, confirm that C*_{ρ_l}(Γ_k) is simple so that Corollary 2.9 applies to yield ρ_l ≺ Ind^{Γ_k}_{Γ_k∩S_l} π'_l, and then confirm that the subrepresentation inclusion Ind^{Γ_k}_{Γ_k∩S_l} π'_l ⊂ (Ind^{Gx_x}_{S_l} π_{ω_l})|_{Γ_k} is correct. If both hold, the implication is sound and the central theorem's proof stands.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest assumption is that Theorem 3.3 requires ker(π|Γ_k) to be an intersection of maximal ideals for a cofinal family of subgroups Γ_k. In the paper this is not an unstated gap: Definition 4.1 introduces class M0 precisely as the class of groups for which every primitive ideal is an intersection of maximal ideals, and class M as the class of groups in which every finite subset is contained in an M0 subgroup. Thus for a group in M we may choose the Γ_k to be M0 subgroups, and then the required property holds automatically for every representation π, since any ideal is an intersection of primitive ideals and each primitive ideal is an intersection of maximal ideals. Consequently, the maximal-ideal-intersection condition is not a hidden flaw; it is the defining hypothesis of the class M. The genuinely load-bearing external input is the surjectivity of the induction map Ind : Stab(G)prim → Prim C*(G) (Ionescu–Williams, generalized Effros–Hahn). This is what upgrades a description of the topology on the image of Ind to a description of all of Prim C*(G). The paper cites this theorem correctly and the theorem is applicable because the groupoids in question are amenable, second countable, Hausdorff, and etale. I found no internal inconsistency, circularity, or omitted proof step in the chain from Theorem 3.3 to Theorem A. The proof of Theorem 3.3, including the delicate state-extension argument in (2)⇒(3), is coherent and the use of Corollary 2.9 is justified by the maximality of the relevant primitive ideals. The worked example in Section 5 is a substantial independent computation that appears consistent with the stated theorems.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper gives a description of the Jacobson topology on Prim C*(G) for amenable second countable Hausdorff locally compact étale groupoids G whose isotropy groups lie in a class M (Definition 4.1) that contains all groups of local polynomial growth. The main theorem (Theorem A, restated as Theorem 4.2) asserts that for any G-invariant subset Ω of Stab(G)_prim and any (x,J) ∈ Stab(G)_prim, Ind(x,J) lies in the closure of Ind Ω if and only if the intersection of the induced ideals Ind^{G^x_x}_S I over all points (S,I) ∈ Sub(G)_prim in the closure of Ω with S ⊂ G^x_x is contained in J. The proof combines the surjectivity of the induction map (Ionescu–Williams, the generalized Effros–Hahn theorem) with a technical weak-containment criterion, Theorem 3.3, relating weak containment of induced representations of the groupoid to the asymptotic behaviour of states on the isotropy groups and their subgroups under the maximal-ideal-intersection hypothesis. Sharper criteria are obtained under additional hypotheses: Theorem 4.6 for FC-hypercentral isotropy groups and Theorem 4.9 for actions with locally finite stabilizers. The final section implements the theory for the crossed product SL3(Z) ⋉ C0(SL3(R)/U3(R)): using Ratner's theorem and results of Dani–Margulis, the paper computes the primitive spectrum as a set (Theorem 5.20) and describes the Jacobson topology (Theorem 5.21) in terms of the quasi-orbit space of SL2(Z) on R^2 × T^2 analyzed in Section 5.2.","tokens_in":59626,"tokens_out":23780,"duration_ms":216640,"significance":"Assuming the main results hold, this is a substantial advance over the abelian-isotropy treatment of [CN24b] and over the classical results of Glimm and Williams: it is, to my knowledge, the first general topological description of Prim for groupoid C*-algebras with discontinuous nonabelian isotropy. A particular strength is that the maximal-ideal-intersection hypothesis is transparent: the class M is defined precisely so that the hypotheses of Theorem 3.3 are automatically satisfied, and the paper is explicit that the truly external input is the surjectivity of Ind (Ionescu–Williams), a published theorem cited correctly. The state-extension argument in Theorem 3.3 (2)⇒(3), the self-contained weak Frobenius reciprocity toolkit of Section 2, and the careful quasi-orbit analysis in Section 5.2 are all coherent and detailed. The paper is also unusually honest about limitations: Question 4.13 states that the class M has no known algebraic characterization, and Question 4.14 openly doubts the existence of a topology on Stab(G)_prim realizing the description, an instructive contrast with the abelian case.","major_comments":[],"minor_comments":[{"comment":"The step 'by Lemma 1.8 and density of {K:(y_n,K)∈Ω} in hull(ker π_{y_n})' compresses a diagonal/subsequence argument that converts a pointwise state approximation into actual convergence of points (S_n, I_n) → (S, I) with (y_n, I_n) ∈ Ω; since the same step recurs verbatim in Theorem 4.6 and is echoed in Theorem 4.22, expanding this passage by two or three sentences would noticeably improve verifiability.","section":"Theorem 4.2, proof, passage (2')⇒(2)"},{"comment":"There is a typographical error in the definition of the representation for ord z = n: the text reads 'π(X) := a1/nu, , π(Y) := b1/nv' with a stray double comma.","section":"Section 5.5, before Lemma 5.18"},{"comment":"The names 'TheoremA' and 'TheoremB' appear without a space in several places; this should be corrected in the journal version.","section":"Introduction and Abstract"},{"comment":"The notation z = (a,b) ∈ T^2 = bΓ_i is confusing because the coordinate b and the character-group symbol bΓ_i are conflated, and for i = 1 the coordinate ar b appears in Q_θ(a,\\bar b); writing \\widehat{Γ_i} and explicitly stating which coordinate corresponds to the Z-character would remove ambiguity.","section":"Theorem 5.20(2)"},{"comment":"The claimed correction of [BL20, Theorem 3.18] would be much easier for a reader to check if the authors pinpointed the precise countability assumption in the original proof that fails; as written, the reader must reconstruct the comparison between the two arguments unaided.","section":"Remark 4.25"},{"comment":"The authors state that the complete description of cluster points in Lemma 5.6(2) is 'not difficult' and omit it; since Lemmas 5.4 and 5.6 are the tools the reader needs to verify Theorem 5.21, a one-sentence description of the missing case would make the section more self-contained.","section":"Lemma 5.6(2)"}],"recommendation":"accept","confidential_remarks":"The manuscript builds extensively on the authors' own [CN24b], but the nonabelian generalization is a genuine new step and novelty is claimed carefully and proportionately. The only place where the paper asserts an error in the published literature is Remark 4.25 on [BL20, Theorem 3.18]; that claim is worth spot-checking by the editor or a referee with the cited paper at hand. The heavy use of deep external results (Ionescu–Williams, Echterhoff, Ratner, Dani–Margulis) is standard for this area, and the citations appear accurate. No concerns about scope, citation pattern, or undisclosed dependencies."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague—\n\nThis is the paper to read if you care about Effros–Hahn/Mackey for nonabelian discontinuous isotropy. It does what [CN24b] did for abelian isotropy, but for arbitrary isotropy groups of local polynomial growth, and it gives a complete Jacobson-topology description of Prim C*(G) for amenable second countable Hausdorff étale groupoids in class M. The new technical core (Theorem 3.3 and the Hilbert–Schmidt intertwiner machinery of Section 2) is genuinely new and looks sound. The decomposition into necessary conditions via approximate intertwiners and then sufficiency under the maximal-intersection property is a real step up from the abelian case.\n\nWhat it does well: Theorem A (4.2) is clean and the proof flows from Theorem 3.3 plus the Ionescu–Williams surjectivity theorem. I checked the logical chain from Theorem 3.3 to Theorem A; no circularity. The paper is honest about the class M: Definition 4.1 makes the maximal-ideal-intersection property the defining hypothesis, and Question 4.13 admits there is no algebraic characterization. The SL3(Z) ⋉ C0(SL3(R)/U3(R)) example in Section 5 is a substantial computation with genuine nonabelian stabilizers (discrete Heisenberg groups), and the topology in Theorem 5.21 is far from a trivial case.\n\nSoft spots, in proportion. The main external load-bearing input is surjectivity of Ind (Ionescu–Williams), which is cited correctly and applies. The class M is broad but not algebraically characterized; a referee should check that the groups claimed to be in M (e.g. the ax+b examples) really satisfy the definition. Section 5 leans on Ratner, Dani–Margulis, and long case analyses in Lemmas 5.4 and 5.6; these are plausible but I wouldn't bet without checking the case details. The paper's own Remark 4.7 shows Theorem B cannot extend beyond FC-hypercentral groups, so the limitations are explicit. No post-hoc exclusions or fitted parameters.\n\nWho it's for: operator algebraists working on crossed products, primitive ideal spaces, and groupoid C*-algebras. A serious referee should engage; the paper deserves careful review despite the depth of the external results.\n\nRecommendation: send it to review. It is important, new, and honestly written; the soft spots are in areas where a referee can usefully ask for more detail, not in the central argument.","headline":"A genuine advance on the Mackey program for étale groupoids: full Jacobson topology for nonabelian isotropy of local polynomial growth, with a credible SL3(Z) computation.","tokens_in":60239,"tokens_out":1956,"would_cite":true,"duration_ms":20305,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L05","46L55","22D25"],"pacs":[],"model":"deepseek-v4-flash","headline":"For amenable second countable étale groupoids with isotropy of local polynomial growth, an induced primitive ideal lies in the closure of a set of induced ideals exactly when an intersection of subgroup-induced ideals is contained in it…","keywords":["groupoid C*-algebras","primitive ideal space","Jacobson topology","étale groupoids","isotropy groups","local polynomial growth","induced representations","weak containment"],"falsifier":"Exhibit a finitely generated amenable group Γ such that every finite subset lies in a subgroup whose primitive ideals are all maximal (so Γ belongs to class M), but C*(Γ) has a primitive ideal that is not an intersection of maximal ideals; taking the groupoid with one unit and isotropy Γ would then violate the implication (2)⇒(1) of Theorem A, since the intersection condition could hold while the induced ideal is not in the closure.","tokens_in":59103,"feed_emoji":"🧮","tokens_out":11404,"duration_ms":110493,"temperature":0.7,"pith_summary":"This paper aims to give a complete description of the primitive ideal space Prim C*(G) — the Jacobson topology on the set of kernels of irreducible representations — for a wide class of C*-algebras coming from étale groupoids. The class covers amenable second countable Hausdorff étale groupoids whose isotropy groups have local polynomial growth, and more generally belong to a class M defined by a maximal-ideal-intersection property. The central claim is that the topology on Prim C*(G) is fully encoded by the representation theory of the isotropy groups and their subgroups: an induced primitive ideal lies in the closure of a set of induced ideals exactly when a certain intersection of ideals induced from subgroups is contained in it. If true, this gives a concrete description of primitive spectra for all such groupoids, including crossed products by actions of groups of local polynomial growth, and yields explicit computations such as the primitive spectrum of SL3(Z) acting on SL3(R)/U3(R). The result extends the earlier abelian-isotropy case to noncommutative isotropy, provided the isotropy groups satisfy the maximal-ideal condition.","feed_headline":"One intersection condition determines the primitive spectrum","feed_subtitle":"For groupoids with local-polynomial-growth isotropy, the Jacobson topology reduces to subgroup closures and induced ideals.","key_machinery":"The engine is a weak-containment criterion for induced representations (Theorem 3.3). Given an amenable isotropy group G^x_x and a family of representations induced from other isotropy fibers, the criterion translates weak containment of one induced representation in a direct sum of others into an asymptotic condition on approximate Hilbert–Schmidt intertwiners, and then, under a maximal-ideal-intersection hypothesis on the restrictions π|Γ_k to a cofinal family of subgroups Γ_k, into a statement about convergence in the Fell topology on Sub(G)prim — the space of pairs (S,I) where S is a subgroup of G and I is a primitive ideal of C*(S). The central identity is a weak form of Frobenius reciprocity connecting induction and restriction: π ≺ $Ind^{{G^x_x}}$_S π_ω together with continuity of induction along converging subgroups gives the sufficiency direction, while the necessity direction uses the maximal-ideal-intersection property to decompose arbitrary states into convex combinations of states on maximal-ideal quotients. This is how the topology on the unit space and the representation theory of isotropy groups combine to determine the Jacobson topology.","core_discovery":"Theorem A (Theorem 4.2) states that for an amenable second countable Hausdorff locally compact étale groupoid G whose isotropy groups lie in class M, the induction map Ind : Stab(G)prim → Prim C*(G) is surjective, and for any G-invariant subset Ω of Stab(G)prim and any (x,J) ∈ Stab(G)prim, Ind(x,J) lies in the closure of Ind Ω exactly when the intersection of $Ind^{{G^x_x}}$_S I over all pairs (S,I) in the closure of Ω in Sub(G)prim with S ⊂ G^x_x is contained in J. Equivalently, π_J is weakly contained in the direct sum of the representations $Ind^{{G^x_x}}$_S π_I over those pairs. For the smaller class of FC-hypercentral isotropy groups, which includes virtually nilpotent groups, Theorem B simplifies the condition: the closure of Ω must contain a point (S,I) with S ⊂ G^x_x and π_I weakly contained in the restriction of π_J to S. The paper also proves a version for transformation groupoids with locally finite stabilizers, and as a worked example computes the primitive spectrum of SL3(Z) ⋉ C0(SL3(R)/U3(R)) together with its topology, where the stabilizers are trivial, isomorphic to $Z^{2}$, or isomorphic to the discrete Heisenberg group.","pith_inferences":["Testable extension: if the intersection formula in Theorem A is as robust as it appears, the same criterion should describe Prim C*(G) for any amenable second countable étale groupoid whose isotropy groups satisfy the maximal-ideal-intersection property, even when the class M has no algebraic characterization; searching for a counterexample among groups not in M would sharpen the boundary.","Conjectural extension: the paper's suspicion that no topology on Stab(G)prim makes the induction map a homeomorphism in general suggests that primitive spectra of groupoids are finer than quasi-orbit spaces of isotropy data; the S^fin_∞ ⋉ K^N example would be a natural place to test this.","One algorithmic consequence not stated in the paper: when the groupoid is given by an action of a finitely presented group, the explicit SL3(Z) computation indicates that the intersection condition can in principle be checked from finite data on subgroup closures, potentially leading to computational tools for primitive spectra.","The examples show class M contains exponential-growth groups such as the ax+b group, so a purely geometric characterization of M would connect the C*-algebraic maximal-ideal condition to group growth and relative hyperbolicity; this remains an open question raised by the paper."],"forward_implications":["For every action Γ ↷ X of a countable group of local polynomial growth, Prim(Γ ⋉ C0(X)) is now completely described; previously only abelian stabilizers were tractable in this generality.","For groupoids with FC-hypercentral isotropy, the topology takes a simple form: closure is detected by a single subgroup-representation pair (S,I) with π_I weakly contained in the restriction of π_J, a description that covers all type I étale groupoid C*-algebras.","For amenable actions with locally finite stabilizers, the criterion becomes checkable via finite-dimensional representations of finite subgroups of the stabilizers.","The worked example computes Prim(SL3(Z) ⋉ C0(SL3(R)/U3(R))) explicitly, both as a set and with its Jacobson topology, using the description of quasi-orbits from unipotent flow theory.","The results cover actions of countable groups that are relatively hyperbolic with respect to a family of local-polynomial-growth or FC-hypercentral subgroups, including free products and lattices in semisimple Lie groups of real rank one."],"supporting_citations":[{"why":"Proves the generalized Effros–Hahn conjecture for amenable second countable groupoids, giving surjectivity of the induction map Ind that the whole description depends on.","marker":"[IW09b]"},{"why":"The authors' previous paper establishing the abelian-isotropy case; the present arguments build directly on its methods, notation, and lemmas.","marker":"[CN24b]"},{"why":"Supplies the weak-containment and state criterion (Lemma 1.1) that connects closures in Prim A to direct sums of representations and states.","marker":"[Fel60]"},{"why":"Shows every primitive ideal of C*(Γ) is maximal for FC-hypercentral groups, a key input for Theorem B and for Corollary 2.7.","marker":"[Ech90]"},{"why":"Provides the classification of Prim C*(H3(Z)) used in the SL3(Z) example (Lemma 5.19).","marker":"[BP94]"},{"why":"Ratner's orbit-closure theorem is used to determine the quasi-orbit space for the action of SL3(Z) on SL3(R)/U3(R).","marker":"[Rat91]"},{"why":"Classifies orbit closures for unipotent flows on SL3(R)/SL3(Z), used in Lemma 5.9 for the four possible orbit-closure types.","marker":"[DM90]"},{"why":"Gromov's polynomial-growth theorem is part of the chain of results showing finitely generated polynomial-growth groups are virtually nilpotent and hence lie in class M0.","marker":"[Gro81]"}],"fun_headline_variants":["One intersection condition fixes the primitive spectrum","Intersection of induced ideals decides primitive ideal closure","Ideal closure via intersections of induced ideals","Primitive ideal clusters need subgroup intersections"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole description stands on the assumption that every finite piece of every isotropy group can be placed inside a subgroup whose irreducible-representation kernels are all maximal — no kernel strictly contains another — which is known for groups of local polynomial growth but is not yet characterized algebraically.","fun_headline_variants_meta":{"raw":{"variants":["One intersection condition fixes the primitive spectrum","Intersection of induced ideals decides primitive ideal closure","Ideal closure via intersections of induced ideals","Primitive ideal clusters need subgroup intersections"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00069,"raw_usage":{"total_tokens":3162,"prompt_tokens":1021,"completion_tokens":2141,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":637,"completion_tokens_details":{"reasoning_tokens":2087}},"tokens_in":637,"tokens_out":2141,"duration_ms":16561,"temperature":1.0,"reasoning_tokens":2087,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T14:33:37.808428+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a finitely generated amenable group Γ such that every finite subset lies in a subgroup whose primitive ideals are all maximal (so Γ belongs to class M), but C*(Γ) has a primitive ideal that is not an intersection of maximal ideals; taking the groupoid with one unit and isotropy Γ would then violate the implication (2)⇒(1) of Theorem A, since the intersection condition could hold while the induced ideal is not in the closure.","supporting_citations":[],"review_version":1}