{"id":"15ff696d-370b-4434-912a-773ea306cfe3","arxiv_id":"2504.14454","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Reduced crossed products over discrete groups are prime, and the ideal intersection property holds for FC-hypercentral groups, exactly when certain conjugacy classes of elements acting 'inner' on invariant subalgebras are infinite.","lead":"This paper proves complete characterizations of when reduced crossed product C*-algebras are prime and when they have the ideal intersection property, in terms of the dynamics of the underlying group action. The results resolve two longstanding problems in operator algebra theory and introduce a new induction framework for C*-dynamical systems.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 4.5 applies Theorem 3.7 to sub-induced systems, but Theorem 3.7 requires induced; the proof of Proposition 4.8(3)⇒(4) and hence the main characterizations rests on this gap.","rationale":"I read the paper's central claim as the intrinsic characterizations in Theorems A and B, with Theorem 3.7 as the key reduction. The reader flagged Theorem 3.7 as the weakest assumption; I agree that the proofs depend on it, but the more precise vulnerability is in Lemma 4.5 where the theorem is applied beyond its stated hypotheses. I constructed a concrete example showing the identification asserted in the proof of Lemma 4.5 is false, although the lemma's conclusion can likely be recovered. This is a real but repairable gap in the proof; the central claims may still be correct. The separable conditions additionally depend on the unpublished Geffen–Ursu preprint [17], which the reader noted; this is a secondary concern. Neither issue justifies rejection, but both warrant conditional acceptance pending a corrected proof and an independent verification of [17].","tokens_in":41713,"tokens_out":22734,"duration_ms":185849,"concrete_test":"Verify the explicit sub-induced-but-not-induced example: take A=B(ℓ2)⊕C, G=C_2 with trivial action, J=B(ℓ2)⊕0, and compute both I(A×λG) and B(ℓ2(G/H))⊗I(J×λH). Show that I(A×λG) has an extra summand I(C^*(C_2)), so the identification in the proof of Lemma 4.5 fails. Then check whether the conclusion still follows by inserting b=λ_r into the B(ℓ2)⊕B(ℓ2) summand; if it does, rewrite the proof with the direct-sum decomposition of I(A×λG).","verdict_should_be":"UNCHANGED","load_bearing_attack":"Lemma 4.5 (Section 4) assumes (I(A),G,α) is sub-induced from (J,H,β), i.e. only a G-invariant regular ideal K⊴I(A) is induced from (J,H,β). Theorem 3.7, however, states its tensor product decomposition only for induced systems. The proof of Lemma 4.5 then asserts 'By Theorem 3.7, we can identify I(A×λG) with I(J×λH)⊗B(ℓ2(G/H))' — an identification that is false when K is a proper summand. For the concrete system A=B(ℓ2)⊕C, G=C_2 acting trivially, J=B(ℓ2)⊕0, one computes I(A×λG)≅(B(ℓ2)⊗I(C^*(C_2)))⊕I(C^*(C_2)), not B(ℓ2)⊗I(J×λH). The conclusion of Lemma 4.5 happens to hold, but the stated justification is invalid. Since Proposition 4.8(3)⇒(4), Theorem 6.7, Theorem 7.3 and Theorem 9.3 all route through this step, a corrected direct-sum argument is required for the proof as written to be sound.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper develops a new theory of induction and imprimitivity for C*-dynamical systems at the level of injective envelopes and applies it to give intrinsic characterizations of primality of reduced crossed products (Theorem A) and of the ideal intersection property over FC-hypercentral groups (Theorem B). The key intermediate results are a tensor product decomposition for injective envelopes of induced systems (Theorem C), a characterization of the regular ideal intersection property (Theorem 6.7), and a reduction of the ideal intersection property to the regular ideal intersection property for FC-hypercentral groups (Theorem 9.3). The proof strategy combines meandering projections, derivation-based intrinsic reformulations of quasi-inner automorphisms, and a separable approximation lemma attributed to Geffen-Ursu.","tokens_in":41994,"tokens_out":9400,"duration_ms":78438,"significance":"If the results are correct, this paper resolves a long-standing problem completely and in intrinsic terms, extending the minimal-system results of Geffen and Ursu to arbitrary prime systems. The induction theory at the level of injective envelopes, the tensor product decompositions, and the systematic treatment of the regular ideal intersection property are likely to be useful tools. The paper is careful to distinguish intrinsic from extrinsic conditions and provides instructive examples, including applications to PSL2(Z), SL2(Z), free products of cyclic groups, and Tarski monster groups.","major_comments":[{"comment":"Lemma 4.5 invokes Theorem 3.7 to identify I(A×λG) with I(J×λH)⊗B(ℓ2(G/H)) under the hypothesis that (I(A),G,α) is only sub-induced from (J,H,β). Theorem 3.7 is stated and proved only for induced systems, not for sub-induced ones. When the G-invariant regular ideal K generated by the orbit of J is a proper summand of I(A), the identification fails; for example, for A=B(ℓ2)⊕C with G=C2 acting trivially and J=B(ℓ2)⊕0 with H=G, one computes I(A×λG)≅(B(ℓ2)⊗I(C*(C2)))⊕I(C*(C2)), which is not the tensor product B(ℓ2)⊗I(J×λH). The conclusion of Lemma 4.5 may still be true, but the proof as written is invalid and must be repaired, for instance by applying Theorem 3.7 to the induced subsystem (K,G,α|K) and then using a direct-sum decomposition of I(A×λG) to show that b⊗1 is central in the larger envelope. This is load-bearing: Proposition 4.8(3)⇒(4), and hence Theorems 6.7, 7.3 and 9.3, all route through this step.","section":"§4, Lemma 4.5"},{"comment":"The separable characterizations in Theorems A, B, 6.7, 7.3 and 9.3 (condition (4) or (7)) rely on Lemma 5.3, which is quoted from the unpublished preprint [17] without proof. In particular the equivalence (1)⇔(2) in Lemma 5.3 is a nontrivial equivariant approximation result. If [17] is not yet publicly and independently verified, the paper should either include the proof of Lemma 5.3 or replace the reference with a peer-reviewed source; otherwise the separable half of the main results is not self-contained.","section":"§5, Lemma 5.3"}],"minor_comments":[{"comment":"There are typos: 'C*-alegbra' and 'C*-alegbras' should be 'C*-algebra' and 'C*-algebras'.","section":"§2.1 and §2.3"},{"comment":"The proof refers to 'Lemma 6.5', but the relevant statement is Proposition 6.5; please correct the cross-reference.","section":"§6, proof of Proposition 6.6"},{"comment":"The statement that 'FC(D∞) is the cyclic group of order 2 generated by y' is incorrect: in the presentation given, y has infinite order and FC(D∞) is the infinite cyclic subgroup generated by y. Please fix this example.","section":"§10, Example 10.17"},{"comment":"The quantification over left transversals in the meandering projection condition (2) is slightly ambiguous; as used in Lemma 4.7, the bound is required to be independent of the choice of transversal, and it would be helpful to state this explicitly.","section":"§4, Definition 4.1"}],"recommendation":"major_revision","confidential_remarks":"The paper is a substantial contribution and the main results appear plausible, but the proof of Lemma 4.5 contains a genuine gap that must be fixed with a direct-sum argument. The dependence on the unpublished preprint [17] for Lemma 5.3 should also be addressed in the revision. I would be willing to review a revised version."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis is a substantial paper. The authors completely characterize primality of reduced crossed products and give the ideal intersection property characterization for FC-hypercentral groups. The induction/imprimitivity theory at the level of injective envelopes is new, and the meandering projections are a genuinely useful device. The non-separable derivation-based characterization is original and looks correct. On those grounds alone the paper deserves a serious referee.\n\nThe soft spots are real but not fatal. The biggest one is Lemma 4.5. The lemma assumes only that (I(A),G,α) is sub-induced, meaning a regular ideal K is induced from (J,H,β). The proof then says \"By Theorem 3.7\" to identify I(A×_λ G) with I(J×_λ H)⊗B(ℓ2(G/H)). Theorem 3.7 requires the whole system to be induced, not just a sub-ideal. The stress-test note is right: for A=B(ℓ2)⊕C, G=C_2 acting trivially, this identification is false. The conclusion of Lemma 4.5 still holds in that example, and likely in general via a direct-sum argument: since K is a summand of I(A), the crossed product splits and the missing summand only adds to the center. But the proof as written does not give that argument. Since Proposition 4.8, Theorem 6.7, Theorem 7.3 and Theorem 9.3 all pass through Lemma 4.5, this needs to be fixed before the paper is fully sound. It is a gap, not a collapse—the statement seems true and the fix is probably routine.\n\nThe other concern is the use of Lemma 5.3 from the unpublished Geffen-Ursu preprint [17]. The separable conditions ride on that. If [17] remains unpublished, the authors should include a proof or at least a detailed self-contained statement. This is a completeness issue rather than a correctness one.\n\nThe citation pattern looks honest; the paper builds on the first author's prior work but does not assume the target results. No circularity.\n\nWho should read it: anyone working on crossed products, injective envelopes, or the ideal structure of group C*-algebras. It is a long paper, but the structure is clear. My recommendation: send it out, flag the Lemma 4.5 issue and the [17] reliance for the referee.","headline":"Major results with a real but repairable gap in Lemma 4.5 and a separable-case dependency on an unpublished preprint; still worth a careful referee.","tokens_in":42506,"tokens_out":5625,"would_cite":true,"duration_ms":45035,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L05","46L55"],"pacs":[],"model":"deepseek-v4-flash","headline":"A complete intrinsic characterization of primality and ideal intersection for reduced crossed products is established, via a new induction theory at the level of injective envelopes.","keywords":["reduced crossed product","prime C*-algebra","ideal intersection property","regular ideal intersection property","injective envelope","FC-hypercentral group","C*-dynamical system","induction and imprimitivity"],"falsifier":"Look for a counterexample to the tensor-product decomposition: construct a C*-dynamical system $(A,G,\\alpha)$ induced from a regular subsystem $(J,H,\\beta)$ and compute its minimal injective extension $I(A\\times_\\lambda G)$; if it is not isomorphic to $B(\\ell^2(G/H))\\otimes I(J\\times_\\lambda H)$, the main theorems collapse. Alternatively, build a prime system induced from a subsystem where a non-identity element has finite $H$-conjugacy class and acts as $\\exp(\\delta)$ for a commuting derivation on an essential hereditary subalgebra, yet the reduced crossed product is prime; that would contradict Theorem A directly.","tokens_in":41529,"feed_emoji":"🧮","tokens_out":9804,"duration_ms":75615,"temperature":0.7,"pith_summary":"The paper resolves two open problems in the structure theory of reduced crossed products over discrete groups: when the crossed product is a prime C*-algebra, and when the system has the ideal intersection property. For prime systems, it proves that the crossed product is prime exactly when every nontrivial element arising from an induced subsystem either has infinite conjugacy class or fails to act by a locally implemented automorphism (implemented by a commuting derivation or unitary on an invariant subalgebra). For groups with no nontrivial infinite-conjugacy-class quotients (FC-hypercentral groups), the same kind of condition, with 'sub-induced' replacing 'induced', characterizes the ideal intersection property. The payoff is that both structural properties become checkable from the underlying dynamics rather than from the crossed product itself.","feed_headline":"Reduced crossed products: primality and ideal intersection solved","feed_subtitle":"A new induction theory reduces both properties to infinite-conjugacy-class conditions on the action.","key_machinery":"The central mechanism is a new theory of induction and imprimitivity for C*-dynamical systems, carried out at the level of injective envelopes. For a system $(A,G,\\alpha)$ induced from a regular subsystem $(J,H,\\beta)$, it yields tensor-product decompositions $$I(A)\\cong \\ell^\\infty(G/H)\\otimes I(J),\\qquad I(A\\times_\\$\\lambda$ G)\\cong B(\\$ell^{2}$(G/H))\\otimes I(J\\times_\\$\\lambda$ H),$$ an analogue of the classical imprimitivity theorem for crossed products. This decomposition is what allows the authors to convert extrinsic conditions on the injective envelope (the existence of meandering projections, or of inner automorphisms implemented by invariant unitaries) into intrinsic conditions on the original system, such as the existence of commuting derivations on essential hereditary subalgebras.","core_discovery":"The central claim, stated as Theorem A and Theorem B, is that the ideal-theoretic properties of a reduced crossed product are governed by the conjugacy-class structure of automorphisms that are 'almost inner' on pieces of the system. Theorem A: for a prime C*-dynamical system $(A,G,\\alpha)$, the reduced crossed product $A\\times_\\lambda G$ is prime if and only if, whenever the system is induced from a regular C*-dynamical subsystem $(J,H,\\beta)$ and an element $r\\in H\\setminus\\{e\\}$ admits a $C_H(r)$-invariant essential hereditary C*-subalgebra $B\\subseteq J$ on which $\\alpha_r$ is the exponential of a $C_H(r)$-commuting *-derivation (or, equivalently, whenever $\\beta_r$ is inner on the injective envelope with a $C_H(r)$-invariant unitary), the $H$-conjugacy class of $r$ is infinite. Theorem B: for a unital system over an FC-hypercentral group, the ideal intersection property holds exactly when the same condition holds with 'sub-induced' instead of 'induced'. The paper further shows that, for such groups, the regular ideal intersection property, the ideal intersection property, and the uniqueness of pseudo-expectations are all equivalent.","pith_inferences":["The tensor-product decomposition of injective envelopes suggests a general strategy: to study a structural property of a crossed product, first lift it to the injective envelope, where coset-space tensor products trivialize the group action, then pull the conclusion back through the essential embedding; this may yield new proofs for factoriality, unique trace, or nuclearity questions.","The dichotomy between FC-hypercentral and non-FC-hypercentral groups that the paper exploits indicates that for groups with nontrivial ICC quotients, the ideal intersection property may require invariants beyond conjugacy classes, possibly tied to the Furstenberg boundary of the quotient.","The separable approximate-invariance condition could be turned into a quantitative criterion: bounding the distance to inner automorphisms and the deviation of implementing unitaries from invariance gives an explicit threshold below which the crossed product is guaranteed to be non-prime, suggesting a route to concrete computations for specific actions."],"forward_implications":["For any prime C*-dynamical system, primality of the reduced crossed product is now characterized by a condition that can be checked from the action and its subsystems alone (Theorem 7.3).","For FC-hypercentral groups, the ideal intersection property coincides with the regular ideal intersection property and with uniqueness of pseudo-expectations (Theorem 9.3).","For minimal systems, the characterization recovers the known Geffen–Ursu primality theorem; for simple underlying algebras it reduces to a condition on automorphisms implemented by invariant unitaries on the injective envelope (Corollaries 7.6 and 9.6).","For groups with restrictive subgroup structure—$\\mathrm{PSL}_2(\\mathbb{Z})$, $\\mathrm{SL}_2(\\mathbb{Z})$, and free products of cyclic groups of square-free order—the conditions simplify to proper outerness of the relevant automorphisms (Propositions 10.12, 10.13, 10.15).","For abelian systems over FC-hypercentral groups, the ideal intersection property is equivalent to a disjoint-translate condition on regular open subsets, giving a dynamical criterion in the spirit of topological freeness (Corollary 9.5)."],"supporting_citations":[{"why":"introduced injective envelopes of C*-dynamical systems, the boundary-theoretic framework on which the intrinsic-to-extrinsic reduction is built.","marker":"[28]"},{"why":"the imprimitivity theorem for crossed products, the analogue that the paper's tensor-product decompositions extend to injective envelopes.","marker":"[21]"},{"why":"the original primality characterization for finite-group actions that motivated the induction approach used here.","marker":"[47]"},{"why":"supplies the recent characterizations for minimal systems and FC-hypercentral groups, including the separable approximate-invariance criterion adopted as Lemma 5.3.","marker":"[17]"},{"why":"supplies the derivation-based characterization of proper outerness adapted into the equivariant *-derivation condition in Theorem A(2).","marker":"[41]"},{"why":"introduced pseudo-expectations and the cohomological obstruction to the ideal intersection property, supplying the framework used in Section 9.","marker":"[37]"},{"why":"established the equivalence between primality and simplicity for minimal systems over FC-hypercentral groups, generalized by Corollary 9.4.","marker":"[12]"},{"why":"supplies the separable characterization of proper outerness that serves as the model for the approximate-invariance condition.","marker":"[13]"}],"fun_headline_variants":["Primality and ideal intersection: crossed products cracked","Crossed products: ideal properties tied to conjugacy classes","Reduced crossed products: conjugacy conditions for ideal properties","Ideal intersection and primality: intrinsic conditions for crossed products","Crossed products: ideal structure determined by dynamics"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the claim that when a system is induced from a subsystem, the minimal injective extensions of the system and of its reduced crossed product split as tensor products over the coset space; if this splitting can fail, the intrinsic characterizations of primality and of the ideal intersection property lose their foundation.","fun_headline_variants_meta":{"raw":{"variants":["Primality and ideal intersection: crossed products cracked","Crossed products: ideal properties tied to conjugacy classes","Reduced crossed products: conjugacy conditions for ideal properties","Ideal intersection and primality: intrinsic conditions for crossed products","Crossed products: ideal structure determined by dynamics"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000243,"raw_usage":{"total_tokens":1502,"prompt_tokens":894,"completion_tokens":608,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":510,"completion_tokens_details":{"reasoning_tokens":529}},"tokens_in":510,"tokens_out":608,"duration_ms":5592,"temperature":1.0,"reasoning_tokens":529,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:47:46.245683+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Look for a counterexample to the tensor-product decomposition: construct a C*-dynamical system $(A,G,\\alpha)$ induced from a regular subsystem $(J,H,\\beta)$ and compute its minimal injective extension $I(A\\times_\\lambda G)$; if it is not isomorphic to $B(\\ell^2(G/H))\\otimes I(J\\times_\\lambda H)$, the main theorems collapse. Alternatively, build a prime system induced from a subsystem where a non-identity element has finite $H$-conjugacy class and acts as $\\exp(\\delta)$ for a commuting derivation on an essential hereditary subalgebra, yet the reduced crossed product is prime; that would contradict Theorem A directly.","supporting_citations":[{"cited_title":"Green,The structure of imprimitivity algebras, J","cited_arxiv_id":null,"evidence_quote":"the imprimitivity theorem for crossed products, the analogue that the paper's tensor-product decompositions extend to injective envelopes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"the original primality characterization for finite-group actions that motivated the induction approach used here."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the derivation-based characterization of proper outerness adapted into the equivariant *-derivation condition in Theorem A(2)."},{"cited_title":"Kennedy and C","cited_arxiv_id":null,"evidence_quote":"introduced pseudo-expectations and the cohomological obstruction to the ideal intersection property, supplying the framework used in Section 9."},{"cited_title":"Echterhoff, On maximal prime ideals in certain group C*-algebras and crossed product algebras, J","cited_arxiv_id":null,"evidence_quote":"established the equivalence between primality and simplicity for minimal systems over FC-hypercentral groups, generalized by Corollary 9.4."}],"review_version":1}