Pith. sign in

REVIEW 4 minor 61 references

Non-amenable tight squeezes by Kirchberg algebras

T0 review · 0 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Inner perturbations of free-group actions produce rigid C*-inclusions with no intermediate algebras.

desk verdict 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. read the letter →

arxiv 1908.02971 v3 pith:T3HFP2EY submitted 2019-08-08 math.OA math.DS

Yuhei Suzuki This is my paper · ORCID
classification math.OAmath.DS MSC 46L5546L0546L07
keywords KirchbergalgebrasC*-dynamicalsystemsrigidinclusionsinnerperturbationsfreegroupsreducedcrossedproductsKK-equivalencepurelyinfiniteC*-algebras
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 4 minor

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.

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.

minor comments (4)
  1. [Corollary 4.5] 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.
  2. [Proof of Theorem A] 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.
  3. [Proposition 2.5 proof] 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.
  4. [Theorem 3.3] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; Main Theorem is proved from first principles and the cited O_infinity action is a legitimate external input, not a self-fulfilling premise.

full rationale

The central derivation is not circular. The Main Theorem is proved from Proposition 4.4, Theorem 3.3, and Theorem 4.8, each of which is established in the text. Proposition 2.5 constructs inner perturbations using Lemma 2.4 (Cuntz transitivity) and a dense-sequence argument; no parameter is fitted to the conclusion. Theorem 3.3 excludes intermediate C*-algebras by Proposition 3.1 and Powers averaging; Theorem 4.8 gives rigidity via Proposition 4.2 and Lemma 4.7. None of these steps defines its conclusion into its hypothesis. The only notable external input is Corollary 4.5 (and the companion action used in Theorem B), which imports from the author's prior article [54] the existence of an amenable, pointwise approximately inner F_infinity-action on O_infinity. That action is used as an ingredient for Theorems A-C, but it is not the paper's target claim and is not derived from the paper's conclusion; it is a cited, published theorem with explicit assumptions, so it is real evidence and does not constitute circularity. There is also no renamed version of a known result: Theorem B is explicitly positioned as a Kirchberg-algebra analogue of Dadarlat's AF-modeling theorem, not as the same statement.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters were fitted and no new entities were posited. The proofs rely on standard background theorems in operator algebras, which are listed as axioms. The constructions use explicit choices of unitaries via transitivity, but no numerical fitting.

assumptions (6)
  • standard math Kirchberg-Phillips classification of unital Kirchberg algebras by K-theory and tracial data.
    Used to identify crossed products as Kirchberg algebras and to arrange K-theory via projections; cited in Section 5.
  • standard math Zhang's theorem: every purely infinite simple C*-algebra has real rank zero.
    Crucial for the abundance of projections and the density arguments in Proposition 3.1 and Lemma 4.7; cited as [60].
  • standard math Cuntz's result: inner automorphisms act transitively on sufficiently large projection pairs in purely infinite simple algebras.
    Basis for Lemma 2.4, which drives the inner perturbation construction; cited [11].
  • standard math Kishimoto's theorem on simplicity of reduced crossed products by outer actions.
    Ensures the ambient crossed products are simple and purely infinite; cited [32].
  • standard math Akemann-Anderson-Pedersen excision theorem for states on C*-algebras.
    Used in Theorems 3.3 and A.3 to localize elements at states; cited [1].
  • standard math Anantharaman-Delaroche's equivalence between amenability of a dynamical system and nuclearity of its reduced crossed product.
    Used to establish that the ambient algebras are nuclear (Kirchberg); cited [3].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Non-amenable tight squeezes by Kirchberg algebras." pith.science (2026). https://pith.science/paper/T3HFP2EY

@misc{pith2026190802971,
  author       = {Pith},
  title        = {Pith review of: Non-amenable tight squeezes by Kirchberg algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/T3HFP2EY}},
  note         = {Machine review of arXiv:1908.02971}
}
read the original abstract

We give a framework to produce C*-algebra inclusions with extreme properties. This gives the first constructive nuclear minimal ambient C*-algebras. We further obtain a purely infinite analogue of Dadarlat's modeling theorem on AF-algebras: Every Kirchberg algebra is rigidly and KK-equivalently sandwiched by non-nuclear C*-algebras without intermediate C*-algebras. Finally we reveal a novel property of Kirchberg algebras: They embed into arbitrarily wild C*-algebras as rigid maximal C*-subalgebras.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

61 extracted references · 59 canonical work pages

  1. [54]

    Suzuki, Complete descriptions of intermediate operator algebras b y intermediate extensions of dynamical systems

    Y. Suzuki, Complete descriptions of intermediate operator algebras b y intermediate extensions of dynamical systems. Commun. Math. Phys. 375 (2020), 1273–1297

    work page 2020

  2. [52]

    Suzuki, Minimal ambient nuclear C ∗ -algebras

    Y. Suzuki, Minimal ambient nuclear C ∗ -algebras. Adv. Math. 304 (2017), 421–433

    work page 2017

  3. [1]

    C. A. Akemann, J. Anderson, G. K. Pedersen, Excising states of C ∗ -algebras. Canad. J. Math., 38 (1986), 1239–1260

    work page 1986

  4. [2]

    Anantharaman-Delaroche, Action moyennable d’un groupe localement compact sur une al g` ebre de von Neumann

    C. Anantharaman-Delaroche, Action moyennable d’un groupe localement compact sur une al g` ebre de von Neumann. Math. Scand. 45 (1979), 289–304

    work page 1979

  5. [3]

    Anantharaman-Delaroche, Syst` emes dynamiques non commutatifs et moyennabilit´ e, Math

    C. Anantharaman-Delaroche, Syst` emes dynamiques non commutatifs et moyennabilit´ e, Math. Ann. 279 (1987), 297–315

    1987

  6. [4]

    Anantharaman-Delaroche, Amenability and exactness for dynamical systems and their C ∗ - algebras

    C. Anantharaman-Delaroche, Amenability and exactness for dynamical systems and their C ∗ - algebras. Trans. Amer. Math. Soc. 354 (2002), no. 10, 4153–4178. EXTREMELY TIGHT C ∗ -INCLUSIONS 19

    work page 2002

  7. [5]

    P. Baum, A. Connes, N. Higson, Classifying space for proper actions and K-theory of group C ∗ - algebras. Contemp. Math. 167 (1994), 241–291

    work page 1994

  8. [6]

    Blackadar, K-Theory for operator algebras

    B. Blackadar, K-Theory for operator algebras. Second edition, Mathematical Sciences Research In- stitute Publications 5 (1998), Berkeley, CA

    work page 1998

Show all 61 references
  1. [7]

    Breuillard, M

    E. Breuillard, M. Kalantar, M. Kennedy, N. Ozawa, C∗ -simplicity and the unique trace property for discrete groups. Publ. Math. I.H. ´E.S. 126 (2017), 35–71

    2017

  2. [8]

    L. G. Brown, G. K. Pedersen, C∗ -algebras of real rank zero. J. Funct. Anal. 99 (1991), 131–149

    1991

  3. [9]

    N. P. Brown, N. Ozawa, C∗ -algebras and finite-dimensional approximations. Graduate Studies in Mathematics 88. American Mathematical Society, Providence, RI, 2008

    2008

  4. [10]

    Chifan, S

    I. Chifan, S. Das, Rigidity results for von Neumann algebras arising from mixi ng extensions of profinite actions of groups on probability spaces. Math. Ann. 378 (2020), 907–950

    2020

  5. [11]

    Cuntz, K-theory for certain C ∗ -algebras

    J. Cuntz, K-theory for certain C ∗ -algebras. Ann. of Math. 113 (1981), 181–197

    1981

  6. [12]

    Dadarlat, Nonnuclear subalgebras of AF-algebras

    M. Dadarlat, Nonnuclear subalgebras of AF-algebras. Amer. J. Math. 122 (2000), no. 2, 581–597

    2000

  7. [13]

    Dadarlat, U

    M. Dadarlat, U. Pennig, A Dixmier–Douady theory for strongly self-absorbing C ∗ -algebras. J. reine angew. Math. 718 (2016), 153–181

    2016

  8. [14]

    Dykema, Factoriality and Connes’ invariant T (M ) for free products of von Neumann algebras

    K. Dykema, Factoriality and Connes’ invariant T (M ) for free products of von Neumann algebras. J. reine angew. Math., 450 (1994), 159–180

    1994

  9. [15]

    Dykema, Simplicity and the stable rank of some free product C ∗ -algebras

    K. Dykema, Simplicity and the stable rank of some free product C ∗ -algebras. Trans. Amer. Math. Soc. 351 (1999), 1–40

    1999

  10. [16]

    G. A. Elliott, G. Gong, H. Lin, Z. Niu, On the classification of simple amenable C ∗ -algebras with finite decomposition rank II. Preprint, arXiv:1507.03437

    arXiv

  11. [17]

    Problems on von Neumann algebras by R. Kadison, 1967

    L. Ge, On “Problems on von Neumann algebras by R. Kadison, 1967”. Acta Math. Sin. 19 (2003), no. 3, 619–624

    2003

  12. [18]

    L. Ge, R. Kadison, On tensor products of von Neumann algebras. Invent. Math. 123 (1996), 453–466

    1996

  13. [19]

    Haagerup, J

    U. Haagerup, J. Kraus, Approximation properties for group C ∗ -algebras and group von Neumann algebras. Trans. Amer. Math. Soc. 344 (1994), 667–699

    1994

  14. [20]

    M. Hamana. Injective envelopes of operator systems. Publ. Res. Inst. Math. Sci., 15(3) (1979), 773– 785

    1979

  15. [21]

    Hamana, Injective envelopes of C ∗ -algebras

    M. Hamana, Injective envelopes of C ∗ -algebras. J. Math. Soc. Japan 31 (1979), 181–197

    1979

  16. [22]

    Hamana, Injective envelopes of C ∗ -dynamical systems

    M. Hamana, Injective envelopes of C ∗ -dynamical systems. Tohoku Math. J. (2) 37 (1985), 463–487

    1985

  17. [23]

    de la Harpe, G

    P. de la Harpe, G. Skandalis, Powers’ property and simple C ∗ -algebras. Math. Ann. 273 (1986), 241–250

    1986

  18. [24]

    Higson, Bivariant K-theory and the Novikov conjecture

    N. Higson, Bivariant K-theory and the Novikov conjecture. Geom. Funct. Anal. 10 (2000), no. 3, 563–581

    2000

  19. [25]

    Higson, G

    N. Higson, G. Kasparov. E-theory and KK -theory for groups which act properly and isometrically on Hilbert space. Invent. Math., 144(1) (2001), 23–74

    2001

  20. [26]

    Izumi, R

    M. Izumi, R. Longo, S. Popa, A Galois correspondence for compact groups of automorphism s of von Neumann algebras with a generalization to Kac algebras. J. Funct. Anal. 155 (1998), no. 1, 25–63

    1998

  21. [27]

    Izumi, H

    M. Izumi, H. Matui, Poly-Z group actions on Kirchberg algebras I. To appear in Int. Math. Res. Not., arXiv:1810.05850

    arXiv

  22. [28]

    Izumi, H

    M. Izumi, H. Matui, Poly-Z group actions on Kirchberg algebras II. Invent. Math. 224 (2021), 699– 766

    2021

  23. [29]

    Kalantar, M

    M. Kalantar, M. Kennedy, Boundaries of reduced C ∗ -algebras of discrete groups. J. reine angew. Math. 727 (2017), 247–267

    2017

  24. [30]

    Kirchberg, The classification of purely infinite C ∗ -algebras using Kasparov’s theory

    E. Kirchberg, The classification of purely infinite C ∗ -algebras using Kasparov’s theory. Preprint

  25. [31]

    Kirchberg, N

    E. Kirchberg, N. C. Phillips, Embedding of exact C ∗ -algebras in the Cuntz algebra O2. J. reine angew. Math. 525 (2000), 17–53

    2000

  26. [32]

    Kishimoto, Outer automorphisms and reduced crossed products of simple C∗ -algebras

    A. Kishimoto, Outer automorphisms and reduced crossed products of simple C∗ -algebras. Comm. Math. Phys. 81 (1981), no. 3, 429–435

    1981

  27. [33]

    Kishimoto, N

    A. Kishimoto, N. Ozawa, S. Sakai, Homogeneity of the pure state space of a separable C ∗ -algebra. Canad. Math. Bull. 46 (2003), 365–372. 20 YUHEI SUZUKI

    2003

  28. [34]

    E. C. Lance, Hilbert C ∗ -modules: a toolkit for operator algebraists. LMS Lecture Note Series 210, Cambridge University Press, Cambridge, 1995

    1995

  29. [35]

    Longo, Simple injective subfactors

    R. Longo, Simple injective subfactors. Adv. Math. 63 (1987), 152–171

    1987

  30. [36]

    Matui, Y

    H. Matui, Y. Sato, Decomposition rank of UHF-absorbing C ∗ -algebras. Duke Math. J. 163 (2014), no. 14, 2687–2708

    2014

  31. [37]

    Neshveyev, E

    S. Neshveyev, E. Størmer, Ergodic theory and maximal abelian subalgebras of the hyper finite factor. J. Funct. Anal., 195 (2002), no. 2, 239–261

    2002

  32. [38]

    Ozawa, Boundaries of reduced free group C ∗ -algebras

    N. Ozawa, Boundaries of reduced free group C ∗ -algebras. Bull. London Math. Soc. 39 (2007), 35–38

    2007

  33. [39]

    Ozawa, Examples of groups which are not weakly amenable

    N. Ozawa, Examples of groups which are not weakly amenable. Kyoto J. Math., 52 (2012), 333–344

    2012

  34. [40]

    Pedersen, C∗ -algebras and their automorphism groups

    G. Pedersen, C∗ -algebras and their automorphism groups. 2nd Edition

  35. [41]

    N. C. Phillips, A classification theorem for nuclear purely infinite simple C ∗ -algebras. Doc. Math. 5 (2000), 49–114

    2000

  36. [42]

    M. V. Pimsner, KK-groups of crossed products by groups acting on trees. Invent. Math. 86 (1986), no. 3, 603–634

    1986

  37. [43]

    M. V. Pimsner, A class of C ∗ -algebras generalizing both Cuntz–Krieger algebras and cr ossed products by Z. Free probability theory, 189–212, Fields Inst. Commun., 12, Amer. Math. Soc., Providence, RI, 1997

    1997

  38. [44]

    Pimsner, D

    M. Pimsner, D. Voiculescu, Exact sequences for K-groups and Ext-groups of certain cros s-products of C ∗ -algebras. J. Operator Theory, 4 (1980), 93–118

    1980

  39. [45]

    Pimsner, D

    M. Pimsner, D. Voiculescu, K-groups of reduced crossed products by free groups. J. Operator Theory 8 (1982), 131–156

    1982

  40. [46]

    Popa, On a problem of R.V

    S. Popa, On a problem of R.V. Kadison on maximal abelian ∗-subalgebras in factors. Invent. Math. 65 (1981), 269–281

    1981

  41. [47]

    Popa, Maximal injective subalgebras in factors associated with f ree groups

    S. Popa, Maximal injective subalgebras in factors associated with f ree groups. Adv. Math. 50 (1983), 27–48

    1983

  42. [48]

    Popa, Deformation and rigidity for group actions and von Neumann a lgebras

    S. Popa, Deformation and rigidity for group actions and von Neumann a lgebras. Proceedings of ICM 2006 Vol. I, 445–477

    2006

  43. [49]

    R. T. Powers, Simplicity of the C ∗ -algebra associated with the free group on two generators. Duke Math. J. 42 (1975), 151–156

    1975

  44. [50]

    Rørdam, Classification of nuclear, simple C ∗ -algebras

    M. Rørdam, Classification of nuclear, simple C ∗ -algebras. vol. 126 of Encyclopaedia Math. Sci., Springer, Berlin, 2002, 1–145

    2002

  45. [51]

    Suzuki, Group C∗ -algebras as decreasing intersection of nuclear C ∗ -algebras

    Y. Suzuki, Group C∗ -algebras as decreasing intersection of nuclear C ∗ -algebras. Amer. J. Math. 139 (2017), no. 3, 681–705

    2017

  46. [53]

    Suzuki, Simple equivariant C ∗ -algebras whose full and reduced crossed products coincide

    Y. Suzuki, Simple equivariant C ∗ -algebras whose full and reduced crossed products coincide . J. Non- commut. Geom. 13 (2019), 1577–1585

    2019

  47. [55]

    Suzuki, Rigid sides of approximately finite dimensional simple oper ator algebras in non-separable category

    Y. Suzuki, Rigid sides of approximately finite dimensional simple oper ator algebras in non-separable category. Int. Math. Res. Not. 2021 (2021), 2166–2190

    2021

  48. [56]

    Suzuki, On pathological properties of fixed point algebras in Kirchb erg algebras

    Y. Suzuki, On pathological properties of fixed point algebras in Kirchb erg algebras. Proc. Roy. Soc. Ed- inburgh Sect. A 150, Issue 6 (2020), 3087–3096

    2020

  49. [57]

    Tikuisis, S

    A. Tikuisis, S. White, W. Winter, Quasidiagonality of nuclear C ∗ -algebras. Ann. of Math. (2) 185 (2017), 229–284

    2017

  50. [58]

    Winter, Structure of nuclear C ∗ -algebras: From quasidiagonality to classification, and ba ck again

    W. Winter, Structure of nuclear C ∗ -algebras: From quasidiagonality to classification, and ba ck again. Proc. Int. Congr. Math. (2017), 1797–1820

    2017

  51. [59]

    Zacharias, Splitting for subalgebras of tensor products

    J. Zacharias, Splitting for subalgebras of tensor products. Proc. Amer. Math. Soc. 129 (2001), 407– 413

    2001

  52. [60]

    Zhang, A property of purely infinite simple C ∗ -algebras

    S. Zhang, A property of purely infinite simple C ∗ -algebras. Proc. Amer. Math. Soc. 109 (1990), 717–720

    1990

  53. [61]

    Zsido, A criterion for splitting C ∗ -algebras in tensor products

    L. Zsido, A criterion for splitting C ∗ -algebras in tensor products. Proc. Amer. Math. Soc. 128 (2000), 2001–2006. EXTREMELY TIGHT C ∗ -INCLUSIONS 21 Department of Mathematics, F aculty of Science, Hokkaido Un iversity, Kita 10, Nishi 8, Kita-Ku, Sapporo, Hokkaido, 060-0810, ...

    2000

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.