{"id":"3681057a-10ac-4a65-a6ad-ef4ea3db7e3b","arxiv_id":"1908.02971","paper_version":3,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every Kirchberg algebra admits rigid, KK-equivalent, maximal embeddings into non-nuclear and non-exact simple C*-algebras, via perturbed free group crossed products.","lead":"This paper builds a framework for constructing C*-algebra inclusions with extreme rigidity, maximality, and KK-equivalence properties. It yields the first constructive nuclear minimal ambient C*-algebras and shows that every Kirchberg algebra can be squeezed between non-nuclear and non-exact simple algebras.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Main Theorem internally sound; applications hinge on cited O∞-action from [54].","rationale":"I read the Main Theorem proof in detail. The key steps—Prop 2.5's minimality via isometric action (a dense orbit implies minimality for an isometric action), Prop 4.4's density in the closure of the inner automorphism group, Theorem 3.3's Powers averaging, and Theorem 4.8's rigidity—are internally consistent. The unitality of the map in Theorem 4.8 is justified because 1_A is the unit of M(A⊗B) and hence of M(D), so the completely positive extension is unital on A. The only place the paper outsources a crucial object is Corollary 4.5, which matches the reader's weakest assumption. Since [54] is published and the citation is explicit, I do not regard this as grounds to reject; the verdict should remain ACCEPT.","tokens_in":19787,"tokens_out":35118,"duration_ms":373935,"concrete_test":"Check [54], Theorem 5.1 and its proof: verify that the constructed F∞-action on O∞ is amenable and pointwise approximately inner. If yes, Corollary 4.5 follows immediately; if not, identify a correction. Alternatively, rerun the proof of Theorem A with any other amenable pointwise approximately inner action on a simple nuclear separable purely infinite C*-algebra to see whether the Kirchberg ambient conclusion survives.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The Main Theorem's proof is self-contained: Proposition 4.4 constructs the desired inner perturbation from pointwise approximate innerness, and Theorems 3.3 and 4.8 are proved in the text. The one genuinely load-bearing external input is Corollary 4.5, which imports an amenable, pointwise approximately inner F∞-action on O∞ from the proof of Theorem 5.1 in [54]. All three applications (Theorems A, B, C) use this action; if it were unavailable, Theorem A's ambient Kirchberg algebra and the rigidity/maximality claims in B and C would not follow. The paper gives only a one-sentence citation for this construction, so the dependency is real, but it is a citation to a published article rather than an internal gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a new method for constructing C*-algebra inclusions with extreme properties. The Main Theorem (Proposition 4.4 together with Theorems 3.3 and 4.8) asserts that for every simple unital separable purely infinite C*-algebra A and every approximately inner action alpha of the free group F_infty on A, there is an inner perturbation gamma such that for any simple C*-algebra B with nonzero fixed-point algebra, the reduced crossed product inclusion B ⋊_{r,beta} F_infty ⊂ (A⊗B) ⋊_{r,gamma⊗beta} F_infty is rigid and has no intermediate C*-algebras. The proof uses transitivity of inner automorphisms on projection pairs (Lemma 2.4), a strong restriction on invariant subspaces (Proposition 3.1), a Powers-type averaging argument (Theorem 3.3), and rigidity of equivariant automorphisms and completely positive maps (Lemma 4.7 and Theorem 4.8). Applications, via an amenable pointwise approximately inner F_infty-action on O_infty (Corollary 4.5, cited from [54]), yield: Theorem A, a constructive nuclear minimal ambient C*-algebra for a class of reduced free-group crossed products; Theorem B, a Kirchberg-algebra analogue of Dadarlat's modeling theorem, sandwiching every Kirchberg algebra by non-nuclear and non-exact simple purely infinite algebras with KK-equivalence and rigidity; and Theorem C, embedding every unital Kirchberg algebra as a rigid maximal subalgebra of a wild ambient algebra. The appendix extends the tensor-splitting theorem to non-unital simple C*-algebras.","tokens_in":19949,"tokens_out":11214,"duration_ms":125411,"significance":"If correct, the results are substantial. They provide the first constructive nuclear minimal ambient C*-algebras, avoiding the Baire category methods used in earlier work [52], and they reveal new rigidity and ubiquity phenomena for Kirchberg algebras. The Main Theorem is proved from first principles and is genuinely parameter-free; the key technique of perturbing actions by inner automorphisms while preserving amenability is elegant and likely to be influential. The applications are striking. The main caveat is that Theorems A–C inherit a dependence on Corollary 4.5, which imports an amenable, pointwise approximately inner F_infty-action on O_infty from the author's earlier paper [54] without reproducing the construction. This is a real dependency, but it is a citation to a published article rather than an internal gap, and it does not affect the proof of the Main Theorem itself.","major_comments":[],"minor_comments":[{"comment":"The existence of an amenable, pointwise approximately inner F_infty-action on O_infty is stated by reference to the proof of Theorem 5.1 in [54], and all three applications (Theorems A–C) rely on it. Please state the precise result from [54] that is being cited and indicate which properties of the action are used, so that the dependency is fully transparent.","section":"Corollary 4.5"},{"comment":"The sentence 'Since the inclusion C ⊂ O_infty is a KK-equivalence' appears to be a typographical error, since C was defined as the ambient algebra (A⊗O_infty) ⋊_{r,alpha⊗beta} F_infty and is not naturally a subalgebra of O_infty. Please rephrase the argument for the KK-equivalence of the inclusion B ⊂ C.","section":"Proof of Theorem A"},{"comment":"Several symbols are corrupted in the text, e.g., 'p1 + p2 /lessn⋊tequal e_j' should read 'p1 + p2 ≤ e_j' and similar occurrences in Lemma 4.7 and Theorem 4.8. Please correct these typographical issues throughout.","section":"Proposition 2.5 proof"},{"comment":"The condition that a C*-subalgebra is 'invariant under multiplications by B ⋊_{r,beta} F_infty' is terse; please state explicitly that the subalgebra is invariant under both left and right multiplication by B ⋊_{r,beta} F_infty, as this is what the proof uses.","section":"Theorem 3.3"}],"recommendation":"accept","confidential_remarks":"The paper is well within the scope of the journal and is a strong contribution. The heavy citation of the author's earlier work is natural here because the results grow directly out of [52]–[56]. I found no evidence of inflated referencing or unacknowledged dependence; the cited results are published and appear to be used appropriately."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First, the punchline: this is a strong paper. The main theorem is proved from first principles, and the three applications (A, B, C) are substantial. The only real external dependency is Corollary 4.5, which uses the amenable pointwise approximately inner F∞-action on O∞ from [54]. That's a published result, and the stress-test note is right: it's not an internal gap, but it is load-bearing for the applications. I don't see a reason to doubt it.\n\nWhat's genuinely new is the inner perturbation technique. Proposition 2.5 uses transitivity of Inn(A) on projection pairs (Lemma 2.4) to convert an approximately inner action into one with minimality on all projection-pair spaces and dense stabilizers. This avoids the Baire category theorem used in [52], giving the first constructive nuclear minimal ambient algebra. Proposition 4.4 strengthens this to density of the action in the closure of Inn(A), which drives the rigidity results. The proof of Theorem 3.3 (no intermediate C*-algebras) is careful and complete; the Powers averaging argument is applied correctly. The rigidity theorem 4.8 and Lemma 4.7 are clean. Theorem B is a genuine Kirchberg-algebra analogue of Dadarlat's theorem, and Theorem C gives a nice ubiquity statement for Kirchberg algebras.\n\nSoft spots: (1) The self-citation for the O∞ action is the main one. It would be better to state the construction or at least point to a precise theorem in [54], because the existence of such an action is counterintuitive and central to A–C. But this is a dependency on published work, not a gap. (2) The paper is dense; the appendix on tensor splitting is useful but adds length. (3) I can't machine-check the analysis, so my confidence is moderate, but the proofs are detailed and I found no errors.\n\nWho should read this: anyone working on tight inclusions, crossed products, or classification-driven structure theory of C*-algebras. It deserves a serious referee. My recommendation: send it out; if the referee is satisfied with the [54] citation, accept. I would cite it.","headline":"A solid, genuinely new paper: the constructive ambient-Kirchberg results are proved cleanly, and the only load-bearing citation is to the author's own published O∞-action.","tokens_in":20429,"tokens_out":4404,"would_cite":true,"duration_ms":46561,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L55","46L05","46L07"],"pacs":[],"model":"deepseek-v4-flash","headline":"Inner perturbations of free-group actions produce rigid C*-inclusions with no intermediate algebras.","keywords":["Kirchberg algebras","C*-dynamical systems","rigid inclusions","inner perturbations","free groups","reduced crossed products","KK-equivalence","purely infinite C*-algebras"],"falsifier":"A direct way to test the construction is to make the Corollary 4.5 action explicit: write down the generators and unitaries of the action and check its two defining properties, amenability and pointwise approximate innerness, on $O_\\infty$. If an effective construction is impossible, or if the action fails either property, then Proposition 4.4 and the theorems built on it have no input; conversely, a concrete refutation of the Main Theorem would be any intermediate C*-algebra between $B\\rtimes_{r,\\beta}\\mathbb{F}_\\infty$ and $(A\\otimes B)\\rtimes_{r,\\gamma\\otimes\\beta}\\mathbb{F}_\\infty$ for simple $A,B$ satisfying the hypotheses.","tokens_in":19617,"feed_emoji":"🔗","tokens_out":23373,"duration_ms":204904,"temperature":0.7,"pith_summary":"This paper proves a way to pack simple operator algebras tightly inside larger ones. Its main theorem says that if $A$ is a simple, unital, separable, purely infinite C*-algebra and $\\alpha$ is an approximately inner action of the infinite-rank free group $\\mathbb{F}_\\infty$ on $A$, then a small perturbation of $\\alpha$ by inner automorphisms forces the reduced crossed product inclusion $B \\rtimes_{r,\\beta} \\mathbb{F}_\\infty \\subset (A\\otimes B) \\rtimes_{r,\\gamma\\otimes\\beta} \\mathbb{F}_\\infty$ to have no intermediate C*-algebras and to be rigid, meaning the only completely positive map fixing the smaller algebra is the identity. This yields the first constructive nuclear minimal ambient C*-algebras, a Kirchberg-algebra analogue of the modeling theorem for AF-algebras, and new embeddings of every Kirchberg algebra as a rigid maximal subalgebra. The load-bearing input is an amenable, pointwise approximately inner action of $\\mathbb{F}_\\infty$ on the Cuntz algebra $O_\\infty$, imported from the author's earlier work rather than constructed in this paper.","feed_headline":"Every Kirchberg algebra gets a rigid tight squeeze","feed_subtitle":"Small inner twists of a free-group action give inclusions with no intermediate algebras and no nontrivial symmetries.","key_machinery":"The engine is an inner perturbation of a C*-dynamical system: replace each automorphism $\\alpha_s$ by $\\operatorname{ad}(u_s)\\circ \\alpha_s$ for a suitably chosen unitary $u_s$ in the multiplier algebra. Because purely infinite simple C*-algebras have real rank zero and their inner automorphism groups act transitively on pairs of orthogonal nonzero projections with prescribed $K_0$-classes, the unitaries can be chosen to make the perturbed action extremely transitive: on each projection-pair space $P(A;x_1,x_2)$, the orbit of every pair is dense, and the set of projections whose stabilizer contains at least two canonical free generators is norm-dense in the projection space. This noncommutative analogue of the topological property R forces every invariant closed self-adjoint subspace to be trivial (Proposition 3.1); combined with the free-group averaging argument it excludes intermediate C*-algebras (Theorem 3.3), and a strengthened density condition---density of the orbit of the action in the group of inner automorphisms---gives rigidity of completely positive maps (Theorem 4.8). Amenability is preserved under inner perturbations, which is what keeps the ambient algebras nuclear in the applications.","core_discovery":"The central discovery is that inner automorphisms, normally considered trivial in the study of single C*-algebras and of cocycle conjugacy, control the inclusion structure of the associated crossed products. The Main Theorem states: for every simple unital separable purely infinite C*-algebra $A$ and every approximately inner action $\\alpha : \\mathbb{F}_\\infty \\curvearrowright A$, there is an inner perturbation $\\gamma$ of $\\alpha$ such that for any simple $B$ with an action $\\beta : \\mathbb{F}_\\infty \\curvearrowright B$ and $B^\\beta \\neq 0$, the inclusion $B \\rtimes_{r,\\beta} \\mathbb{F}_\\infty \\subset (A\\otimes B) \\rtimes_{r,\\gamma\\otimes\\beta} \\mathbb{F}_\\infty$ admits no intermediate C*-algebras and is rigid. From this the paper derives three applications: (A) every reduced crossed product $A \\rtimes_{r,\\alpha} \\mathbb{F}_\\infty$ with $A^\\alpha \\neq 0$ admits a KK-equivalent rigid embedding into a Kirchberg algebra (a simple, separable, nuclear, purely infinite C*-algebra) without intermediate C*-algebras, constructed without the category-based existence argument; (B) every Kirchberg algebra is rigidly and KK-equivalently sandwiched between a non-nuclear and a non-exact simple purely infinite C*-algebra, with both inclusions maximal; and (C) any unital Kirchberg algebra---and also $C^*_r(\\mathbb{F}_\\infty)$---embeds as a rigid maximal C*-subalgebra of an ambient algebra containing an arbitrary prescribed unital separable C*-algebra with a faithful conditional expectation.","pith_inferences":["A natural testable extension is to run the same inner-perturbation squeeze with other Kirchberg algebras in place of $O_\\infty$; the obstruction should be the existence of an amenable, pointwise approximately inner action of the acting group, so the framework may transfer from $\\mathbb{F}_\\infty$ to other groups only when such an action is available.","The hypothesis $B^\\beta\\neq0$ in the Main Theorem is probably close to necessary: for free actions with no fixed points, the averaging step that builds elements of the intermediate algebra may fail, so the no-intermediate-algebra conclusion could break; testing that boundary would delimit the theorem.","Because rigidity here is exactly operator-system rigidity in the sense of injective envelopes, the constructed inclusions may make the injective envelope of the crossed product computable in new cases, an application the paper does not pursue."],"forward_implications":["Theorem A gives the first constructive nuclear minimal ambient C*-algebras: any $A\\rtimes_{r,\\alpha}\\mathbb{F}_\\infty$ with $A^\\alpha\\neq0$ embeds KK-equivalently and rigidly into a Kirchberg algebra with no intermediate C*-algebras, and the construction avoids the category-based existence argument.","Theorem B gives a purely infinite analogue of the modeling theorem for AF-algebras: every Kirchberg algebra is KK-equivalently and rigidly maximal inside a non-exact simple purely infinite algebra, and contains a non-nuclear simple purely infinite rigid maximal subalgebra.","Theorem C shows that any unital Kirchberg algebra, and also the reduced free group C*-algebra $C^*_r(\\mathbb{F}_\\infty)$, can appear as a rigid maximal subalgebra of an ambient algebra that contains any prescribed separable algebra with a faithful conditional expectation.","The Main Theorem shows that inner perturbations---which never change the isomorphism class of a crossed product up to cocycle conjugacy---change the inclusion lattice of the same reduced crossed product, so the same algebra can be tightly squeezed in many different ways."],"supporting_citations":[{"why":"Supplies the amenable, pointwise approximately inner action of $\\mathbb{F}_\\infty$ on $O_\\infty$ quoted as Corollary 4.5, plus the crossed-product decompositions used in Theorems B and C.","marker":"[54]"},{"why":"The prior construction of nuclear minimal ambient C*-algebras through a dense-orbit existence argument; the present argument refines its intermediate-algebra exclusion method without relying on that existence argument.","marker":"[52]"},{"why":"Provides the transitivity of inner automorphisms on projection pairs with prescribed $K_0$-classes and the KK-equivalence of $A\\subset A\\otimes O_\\infty$.","marker":"[11]"},{"why":"Yields real rank zero for purely infinite simple C*-algebras, giving the abundant projections used in the transitivity and subspace arguments.","marker":"[60]"},{"why":"Supplies the definition of amenability for C*-dynamical systems and its equivalence with nuclearity of the reduced crossed product, used to identify Kirchberg ambient algebras.","marker":"[3]"},{"why":"Provides the free-group averaging argument that forces an intermediate C*-subalgebra to coincide with the full reduced crossed product.","marker":"[23]"},{"why":"The classification theorem for purely infinite simple nuclear C*-algebras, used with [41] to identify crossed products built in Theorems B and C with $O_\\infty$ up to stable isomorphism.","marker":"[30]"},{"why":"The classification result used with [30] to identify those crossed products with $O_\\infty$.","marker":"[41]"},{"why":"Gives the exact-sequence machinery for reduced crossed products by free groups, used with the Five Lemma to show the embedding in Theorem A is a KK-equivalence.","marker":"[42]"}],"fun_headline_variants":["Inner perturbations give maximal C*-inclusions, no intermediates","Constructive nuclear minimal ambient C*-algebras from tight inclusions","Rigid maximal subalgebras: Kirchberg algebras inside wild C*-algebras","No-intermediate C*-inclusions from inner twists of free-group actions","Every Kirchberg algebra is a rigid maximal subalgebra of a wild ambient"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The applications all rely on the existence of an amenable action of the infinite-rank free group on the Cuntz algebra $O_\\infty$ whose automorphisms are limits of inner automorphisms, quoted from the author's earlier paper rather than constructed here; if that action does not exist, the constructive theorems lose their engine.","fun_headline_variants_meta":{"raw":{"variants":["Inner perturbations give maximal C*-inclusions, no intermediates","Constructive nuclear minimal ambient C*-algebras from tight inclusions","Rigid maximal subalgebras: Kirchberg algebras inside wild C*-algebras","No-intermediate C*-inclusions from inner twists of free-group actions","Every Kirchberg algebra is a rigid maximal subalgebra of a wild ambient"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001572,"raw_usage":{"total_tokens":6289,"prompt_tokens":970,"completion_tokens":5319,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":586,"completion_tokens_details":{"reasoning_tokens":5225}},"tokens_in":586,"tokens_out":5319,"duration_ms":41495,"temperature":1.0,"reasoning_tokens":5225,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:28:11.948171+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct way to test the construction is to make the Corollary 4.5 action explicit: write down the generators and unitaries of the action and check its two defining properties, amenability and pointwise approximate innerness, on $O_\\infty$. If an effective construction is impossible, or if the action fails either property, then Proposition 4.4 and the theorems built on it have no input; conversely, a concrete refutation of the Main Theorem would be any intermediate C*-algebra between $B\\rtimes_{r,\\beta}\\mathbb{F}_\\infty$ and $(A\\otimes B)\\rtimes_{r,\\gamma\\otimes\\beta}\\mathbb{F}_\\infty$ for simple $A,B$ satisfying the hypotheses.","supporting_citations":[{"cited_title":"Suzuki, Complete descriptions of intermediate operator algebras b y intermediate extensions of dynamical systems","cited_arxiv_id":null,"evidence_quote":"Supplies the amenable, pointwise approximately inner action of $\\mathbb{F}_\\infty$ on $O_\\infty$ quoted as Corollary 4.5, plus the crossed-product decompositions used in Theorems B and C."},{"cited_title":"Suzuki, Minimal ambient nuclear C ∗ -algebras","cited_arxiv_id":null,"evidence_quote":"The prior construction of nuclear minimal ambient C*-algebras through a dense-orbit existence argument; the present argument refines its intermediate-algebra exclusion method without relying on that existence argument."},{"cited_title":"Cuntz, K-theory for certain C ∗ -algebras","cited_arxiv_id":null,"evidence_quote":"Provides the transitivity of inner automorphisms on projection pairs with prescribed $K_0$-classes and the KK-equivalence of $A\\subset A\\otimes O_\\infty$."},{"cited_title":"Zhang, A property of purely infinite simple C ∗ -algebras","cited_arxiv_id":null,"evidence_quote":"Yields real rank zero for purely infinite simple C*-algebras, giving the abundant projections used in the transitivity and subspace arguments."},{"cited_title":"de la Harpe, G","cited_arxiv_id":null,"evidence_quote":"Provides the free-group averaging argument that forces an intermediate C*-subalgebra to coincide with the full reduced crossed product."},{"cited_title":"Kirchberg, The classification of purely infinite C ∗ -algebras using Kasparov’s theory","cited_arxiv_id":null,"evidence_quote":"The classification theorem for purely infinite simple nuclear C*-algebras, used with [41] to identify crossed products built in Theorems B and C with $O_\\infty$ up to stable isomorphism."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The classification result used with [30] to identify those crossed products with $O_\\infty$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the exact-sequence machinery for reduced crossed products by free groups, used with the Five Lemma to show the embedding in Theorem A is a KK-equivalence."}],"review_version":1}