Noncommutative Cartan C*-subalgebras

B. K. Kwasniewski; R. Meyer

Noncommutative Cartan C*-subalgebras

T0 review · 0 major / 5 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 A regular inclusion with almost faithful conditional expectation is a noncommutative Cartan subalgebra exactly when it is a reduced crossed product by a closed, purely outer inverse semigroup action.

desk verdict This paper settles Exel's open question: noncommutative Cartan subalgebras are exactly reduced crossed products by closed, purely outer inverse semigroup actions, with uniqueness up to refinement; it deserves serious refereeing. read the letter →

arxiv 1908.07217 v2 pith:SVNCKRJO submitted 2019-08-20 math.OA

B. K. Kwasniewski , R. Meyer This is my paper · ORCID

classification math.OA MSC 46L5520M1822A22

keywords noncommutativeCartansubalgebrainversesemigroupactionHilbertbimoduleFellbundleconditionalexpectationreducedcrossedproductpurelyouterdualgroupoid

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 establishes that noncommutative Cartan subalgebras — regular inclusions $A\subset B$ of C*-algebras with an almost faithful conditional expectation and only trivial virtual commutants — are exactly the reduced crossed products $A\rtimes_r S$ by inverse semigroup actions that are closed and purely outer. The characterization is proved through eight equivalent conditions, weaving together uniqueness of conditional expectations over ideals, triviality of relative commutants, and slice-theoretic forms of outerness. On top of this, the crossed product decomposition is unique up to a canonical refinement, so the inclusion determines the dynamical data that generated it. This matters because it extends the classical commutative theory of Cartan subalgebras to noncommutative and non-separable algebras, and it converts structural questions about such inclusions into questions about inverse semigroup dynamics.

What carries the argument

The carrying object is an inverse semigroup action on a C*-algebra by Hilbert bimodules — equivalently a saturated Fell bundle over the inverse semigroup — whose reduced crossed product is the ambient algebra. Two properties of such actions are decisive: closedness, meaning the canonical weak conditional expectation on the crossed product is $A$-valued (equivalently, the unit space of the dual groupoid is closed), and pure outerness, meaning no non-zero slice built from the annihilator of $I_{1,t}$ is isomorphic to an ideal as a Hilbert bimodule. The technical engine for the hard implication is a family of generalized Fourier coefficients $\mathcal{E}_t$, defined only for closed actions, which project $r(E_t)\cdot(A\rtimes_r S)$ onto the slice $E_t$; these turn the hypothetical presence of a virtual commutant into a concrete Hilbert sub-bimodule that violates pure outerness. For uniqueness, the refinement of an action replaces $S$ by the inverse semigroup of bisections of the dual groupoid, keeping the crossed product and dual groupoid unchanged.

What would settle it

Take a regular inclusion $A\subset B$ with an almost faithful conditional expectation and an inverse semigroup grading that is closed but not purely outer, and compute the relative commutant $A'\cap M(IBI)$ for some ideal $I$. If that relative commutant is ever larger than $Z(M(I))$, the characterization in Theorem 4.3 is false; conversely, if it is always trivial despite the action failing pure outerness, then the generalized Fourier coefficients assumption may be stronger than needed.

Watch

Extended reading notes

Core claim

The central claim is Theorem 4.3. For a regular C*-subalgebra $A\subset B$ with an almost faithful conditional expectation $E:B\to A$, the following are equivalent: uniqueness of conditional expectations $IBI\to I$ for every ideal $I$ of $A$; faithfulness plus uniqueness of faithful conditional expectations; triviality of all virtual commutants — the definition of being a noncommutative Cartan subalgebra; the relative commutant identity $A'\cap M(IBI)=Z(M(I))$ for every ideal; two slice-theoretic purity conditions; and, decisively, the existence of a closed and purely outer inverse semigroup action on $A$ with an $A$-preserving isomorphism $A\rtimes_r S\cong B$. Moreover, if these hold, every saturated, wide grading of $B$ with unit fibre $A$ is automatically closed and purely outer, and the grading yields the same reduced crossed product. The proof of the direction from an action to trivial virtual commutants uses generalized Fourier coefficients for closed actions to show that any virtual commutant would force a non-purely-outer sub-bimodule; Theorem 5.6 then shows the action is unique up to refinement, and the refined action is canonically the tautological action of the slice inverse semigroup.

Load-bearing premise

The argument that a closed, purely outer crossed product has only trivial virtual commutants depends on the generalized Fourier coefficients $\mathcal{E}_t$, whose construction requires each ideal $I_{1,t}$ to be complemented in $s(E_t)$; if that complementation fails, the projection machinery and the contradiction establishing (8)$\Rightarrow$(3) break down.

Editorial extensions

If this is right

If $A\subset B$ is a noncommutative Cartan subalgebra, then every saturated, wide inverse semigroup grading of $B$ with unit fibre $A$ is closed and purely outer, and the canonical map $A\rtimes S\to B$ descends to an isomorphism $A\rtimes_r S\cong B$.
Conversely, any closed and purely outer inverse semigroup action produces a noncommutative Cartan inclusion, so the class of examples is exactly the reduced crossed products of such actions.
Two inverse semigroup actions that present the same Cartan pair have isomorphic refinements and isomorphic dual groupoids; the refined action is canonically the tautological slice action, making $\mathrm{Sp}(A,B)$ an intrinsic invariant of the inclusion.
When the primitive ideal space of $A$ is Hausdorff, being Cartan is equivalent to having a unique conditional expectation $E:B\to A$, and $B$ is then the reduced section algebra of a Fell bundle over a Hausdorff, etale, locally compact groupoid, unique up to isomorphism.
In the commutative case the characterization recovers the classical groupoid model without separability: maximal Abelian subalgebras with faithful conditional expectation correspond to twists over effective, Hausdorff, etale groupoids.

Reading between the lines

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

The generalized Fourier coefficients suggest a practical computational criterion: to test whether a virtual commutant exists in a concrete reduced crossed product, it suffices to check whether $\mathcal{E}_t(\varphi(I))=0$ for all $t$; this could be applied to examples where the dual groupoid is non-Hausdorff or the action is only known to be almost closed.
Because refinement depends only on the dual groupoid's bisections, an isomorphism of Cartan pairs should force an isomorphism of dual groupoids even in settings beyond those explicitly treated, for instance for inclusions with non-unital $A$ or with almost faithful but not faithful expectations; the paper's non-separable techniques seem to leave room for this.
The failure of closedness for non-Hausdorff groupoid algebras suggests that a 'weak Cartan' theory targeting multiplier or injective-hull conditional expectations may be the right framework for non-Hausdorff dual groupoids; testing the paper's conditions on such examples would show whether the complementation hypothesis can be relaxed.
One testable consequence of the aperiodic comparison: for Cartan inclusions where $A$ is prime or has an essential Type I ideal, ideal-detection and support properties follow automatically; it would be worth checking whether these properties persist for the broader class of closed, purely outer actions when the dual groupoid is effective.

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.

Desk Editor's Note

read the letter

The paper settles the main open question in Exel's theory: an inclusion A⊂B is a noncommutative Cartan subalgebra exactly when B is a reduced crossed product by a closed and purely outer inverse semigroup action on A. That is the punchline, and it is a real result. Theorem 4.3's multi-way characterization—uniqueness of conditional expectations, trivial virtual commutants, slice conditions, and the outer action condition—is the core, and the proof is direct and detailed. The second main result, Theorem 5.6, gives uniqueness of the crossed product decomposition up to refinement; that subtlety is necessary, as Example 5.8 shows, and the refinement construction via dual groupoids is well handled. The paper also extends Renault's commutative Cartan theory to the non-separable setting, replacing topological principality by effectivity, and connects noncommutative Cartan inclusions with aperiodic inclusions in Section 6. That is genuinely new and useful. The generalized Fourier coefficients in Proposition 2.18 are the main technical tool, and they are constructed carefully. I checked the delicate step in (8)⇒(3): the projection E_t is defined only for closed actions, but condition (8) explicitly provides closedness, so the complementation in Proposition 2.17 is available. The contradiction with pure outerness goes through. The stress-test note's assessment matches my reading. Soft spots are minor. The paper leans heavily on prior results from the same authors' earlier work ([6], [21], [23]), which is normal for this line of research and not circular: the central implications are proven here, and the cited results are themselves published or on arXiv. The exposition is long and technical, but the structure is clear. If I have a caveat, it is that Section 6 shows noncommutative Cartan subalgebras do not always detect ideals, so the theory is less rigid than the commutative case; the paper says this explicitly and does not oversell. Who should read it: anyone working on C*-inclusions, Exel's crossed products, or groupoid C*-algebras. The paper deserves a serious referee and, I expect, acceptance after the usual small corrections. I would bring it to our reading group and would cite it in my own work.

Referee Report

0 major / 5 minor

Summary. The paper studies Exel's noncommutative Cartan subalgebras, i.e. regular C*-inclusions A⊂B with an almost faithful conditional expectation and trivial virtual commutants. The central result, Theorem 4.3, proves the equivalence of eight conditions: uniqueness of conditional expectations on the inclusions I⊂IBI for all ideals I of A, triviality of virtual commutants, a relative commutant condition, slice conditions, and, as the two final conditions, the assertion that any saturated wide grading gives a closed purely outer action with B≅A⋊_r S, and the existence of some closed purely outer inverse semigroup action with B≅A⋊_r S. Theorem 5.6 then shows that the crossed product decomposition is essentially unique: two actions producing the same noncommutative Cartan subalgebra have isomorphic refinements, and the refined action is canonically isomorphic to the tautological action of the slice inverse semigroup Sp(A,B). The paper also connects the theory to aperiodic inclusions and effective dual groupoids, thereby extending Renault's characterisation of commutative Cartan subalgebras to the non-separable case and to the noncommutative setting.

Significance. If correct, this is a definitive structural result for Exel's noncommutative Cartan pairs: it reduces the existence and uniqueness of a crossed product decomposition to closedness and pure outerness of an inverse semigroup action, and it upgrades Renault's theorem to the noncommutative and non-separable setting. The generalized Fourier coefficients introduced in Proposition 2.18 are a valuable new tool, and the paper carefully proves the delicate direction (8)⇒(3) of Theorem 4.3 by using closedness to construct the projections E_t and then deriving a contradiction with pure outerness. The non-separable extension, the uniqueness theorem up to refinement, and the applications to ideal detection and simplicity are substantial contributions. I found no internal inconsistency or missing hypothesis in the main argument; the proofs are detailed, and the load-bearing Fourier-coefficient step is justified by exactly the hypotheses supplied by condition (8).

minor comments (5)

[Section 4, remark after Theorem 4.3] The sentence explaining condition (4) as equivalent to I'∩M(IBI)⊆M(I) 'by Lemma 3.4' is terse and can be misread: one needs Lemma 3.4 to upgrade the inclusion to centrality in M(I), not merely to pass from I' to M(I)'. Please expand this one-sentence justification.
[Section 5, proof of Theorem 5.6] In the surjectivity part of the proof, the step 'J⊆X*E_t implies X·J=E_t·J' is used without explanation. This is plausible by the Rieffel correspondence for Hilbert subbimodules, but it is load-bearing for the uniqueness theorem and deserves a sentence of proof or an exact citation.
[Section 3, Example 3.10] There is a typo in 'compact Haudorff object space'; it should be 'Hausdorff unit space'.
[Section 2.4, Proposition 2.18] In the statement, the map E_t is written with the symbol '↠' from r(E_t)·(A⋊_r S) to E_t; since E_t is a submodule of the domain and the map is a projection, the notation suggests a surjection onto E_t but could be confused with a quotient map. Using '→' and saying 'the projection onto E_t' would be clearer.
[Section 4, proof of Theorem 4.3] In the paragraph proving that (3)–(6) imply (1), the implicit reduction from A-bilinear virtual commutants to I-bilinear virtual commutants for the inclusion I⊂IBI is not spelled out. Since I 2=I, an I-bilinear map is automatically A-bilinear after identifying its implementing multiplier; adding one sentence would remove a possible source of confusion.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 4.3 is proved by a direct implication chain, and the delicate (8)⇒(3) step uses assumptions supplied by (8).

full rationale

The central characterization in Theorem 4.3 is not circular. Conditions (1)–(6) are shown equivalent through Proposition 4.5 and Lemma 4.4, which directly translate virtual commutants into multiplier conditions; (3)–(6)⇒(7) uses Lemma 4.10 to show the expectation preserves every slice and Proposition 3.7 to obtain closedness and the reduced crossed product isomorphism; (7)⇒(8) is immediate; and (8)⇒(3) is the only delicate direction. That last step uses the generalized Fourier coefficients of Proposition 2.18, which require a closed action, but closedness is exactly part of assumption (8). The final criterion that x=0 iff E_t(ax)=0 for all t,a follows from faithfulness of the reduced crossed product expectation and density of the grading, not from the Cartan condition being proved. The contradiction with pure outerness uses Lemma 4.11, a standard Rieffel-correspondence fact, and the definition of pure outerness. Thus no condition in Theorem 4.3 is assumed to prove itself, and no derived equivalence is merely a renamed input. Citations to the authors' prior work ([6], [7], [21], [22], [23]) supply definitions and parameter-free theorems whose assumptions do not include the target result; they function as independent support rather than as a self-referential chain.

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

No empirical parameters or new physical entities are introduced. The paper relies on standard operator-algebraic background and on several previously established results, including the authors' prior work on aperiodic inclusions and essential crossed products [21,22,23]. These citations are explicit and are not used in a circular way: the main characterizations are proven in this paper.

assumptions (4)

domain assumption Regular inclusions are unit fibres of saturated inverse semigroup gradings.
Used in Proposition 2.5 to replace regular inclusions by inverse semigroup gradings, a foundational step for representing crossed products.
domain assumption Reduced crossed product A⋊_r S has a canonical weak conditional expectation to A^2.
Quoted from [6,23] in Proposition 2.9; the expectation is central to defining the reduced crossed product and to the generalized Fourier coefficients.
domain assumption Results on aperiodic inclusions and essential crossed products from [23] are used.
Theorems 6.14, 1.1, and related statements from the authors' earlier work are invoked in Sections 6 and 7 to connect Cartan inclusions with aperiodicity and effectivity.
standard math Standard facts about Hilbert C*-bimodules, Rieffel correspondence, and multipliers are used without proof.
E.g., Lemma 4.11 and Lemma 3.4 rely on these standard tools; the paper cites the literature for them.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Noncommutative Cartan C*-subalgebras." pith.science (2026). https://pith.science/paper/SVNCKRJO

@misc{pith2026190807217,
  author       = {Pith},
  title        = {Pith review of: Noncommutative Cartan C*-subalgebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SVNCKRJO}},
  note         = {Machine review of arXiv:1908.07217}
}

read the original abstract

We characterise Exel's noncommutative Cartan subalgebras in several ways using uniqueness of conditional expectations, relative commutants, or purely outer inverse semigroup actions. We describe in which sense the crossed product decomposition for a noncommutative Cartan subalgebra is unique. We relate the property of being a noncommutative Cartan subalgebra to aperiodic inclusions and effectivity of dual groupoids. In particular, we extend Renault's characterisation of commutative Cartan subalgebras.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 16 canonical work pages

[6]

Math.220 (2017), no

Alcides Buss, Ruy Exel, and Ralf Meyer,Reduced C˚-algebras of Fell bundles over inverse semigroups, Israel J. Math.220 (2017), no. 1, 225–274, doi: 10.1007/s11856-017-1516-9. MR 3666825

doi:10.1007/s11856-017-1516-9 2017
[21]

3, 257–303, doi: 10.4064/sm8762-5-2017

Bartosz Kosma Kwaśniewski and Ralf Meyer,Aperiodicity, topological freeness and pure outerness: from group actions to Fell bundles, Studia Math.241 (2018), no. 3, 257–303, doi: 10.4064/sm8762-5-2017. MR 3756105

doi:10.4064/sm8762-5-2017 2018
[23]

Essential crossed products for inverse semigroup actions: simplicity and pure infiniteness

, Essential crossed products by inverse semigroup actions: simplicity and pure inﬁnite- ness (2019), eprint. arXiv: 1906.06202

work page Pith review arXiv 2019
[1]

Math.316 (2017), 748–769, doi: 10.1016/j.aim.2017.06.024

Selçuk Barlak and Xin Li,Cartan subalgebras and the UCT problem, Adv. Math.316 (2017), 748–769, doi: 10.1016/j.aim.2017.06.024. MR3672919

work page doi:10.1016/j.aim.2017.06.024 2017
[2]

arXiv: 1704.04939

, Cartan subalgebras and the UCT problem, II(2017), eprint. arXiv: 1704.04939. NONCOMMUTATIVE CARTAN C˚-SUBALGEBRAS 25

arXiv 2017
[3]

Brown, James A

Lawrence G. Brown, James A. Mingo, and Nien-Tsu Shen,Quasi-multipliers and embeddings of Hilbert C˚-bimodules, Canad. J. Math.46 (1994), no. 6, 1150–1174, doi: 10.4153/CJM- 1994-065-5. MR 1304338

work page doi:10.4153/cjm- 1994
[4]

Nathan Brownlowe and Iain Raeburn, Exel’s crossed product and relative Cuntz– Pimsner algebras, Math. Proc. Camb. Phil. Soc. 141 (2006), no. 3, 497–508, doi: 10.1017/S030500410600956X. MR 2984316

work page doi:10.1017/s030500410600956x 2006
[5]

Operator Theory 67 (2012), no

Alcides Buss and Ruy Exel,Fell bundles over inverse semigroups and twisted étale groupoids, J. Operator Theory 67 (2012), no. 1, 153–205, available athttp://www.theta.ro/jot/archive/ 2012-067-001/2012-067-001-007.html . MR 2881538

work page 2012

Show all 27 references

[7]

Alcides Buss and Ralf Meyer,Inverse semigroup actions on groupoids, Rocky Mountain J. Math. 47 (2017), no. 1, 53–159, doi: 10.1216/RMJ-2017-47-1-53. MR3619758

2017 doi
[8]

arXiv: 1711.01052

Toke Meier Carlsen, Efren Ruiz, Aidan Sims, and Mark Tomforde,Reconstruction of groupoids and C˚-rigidity of dynamical systems(2017), eprint. arXiv: 1711.01052

2017 arXiv
[9]

Man Duen Choi,A Schwarz inequality for positive linear maps onC˚-algebras, Illinois J. Math. 18 (1974), 565–574, doi: 10.1215/ijm/1256051007. MR0355615

1974
[10]

Lisa Orloﬀ Clark, Ruy Exel, Enrique Pardo, Aidan Sims, and Charles Starling,Simplicity of algebras associated to non-Hausdorﬀ groupoids, Trans. Amer. Math. Soc.372 (2019), no. 5, 3669–3712, doi: 10.1090/tran/7840. MR3988622

2019 doi
[11]

Donsig, Adam H

Allan P. Donsig, Adam H. Fuller, and David R. Pitts,Von Neumann algebras and ex- tensions of inverse semigroups, Proc. Edinb. Math. Soc. (2)60 (2017), no. 1, 57–97, doi: 10.1017/S0013091516000183. MR 3589841

2017 doi
[12]

Reine Angew

Ruy Exel, Amenability for Fell bundles, J. Reine Angew. Math. 492 (1997), 41–73, doi: 10.1515/crll.1997.492.41. MR 1488064

1997 doi
[13]

, Inverse semigroups and combinatorialC˚-algebras, Bull. Braz. Math. Soc. (N.S.)39 (2008), no. 2, 191–313, doi: 10.1007/s00574-008-0080-7. MR2419901

2008 doi
[14]

Math.17 (2011), 331–382, available athttp://nyjm.albany.edu/j/2011/17-17.html

, Noncommutative Cartan subalgebras ofC˚-algebras, New York J. Math.17 (2011), 331–382, available athttp://nyjm.albany.edu/j/2011/17-17.html. MR 2811068

2011
[15]

224, Amer

, Partial dynamical systems, Fell bundles and applications, Mathematical Surveys and Monographs, vol. 224, Amer. Math. Soc., Providence, RI, 2017. MR3699795

2017
[16]

Pitts,Characterizing groupoidC˚-algebras of non-Hausdorﬀ étale groupoids (2019), eprint

Ruy Exel and David R. Pitts,Characterizing groupoidC˚-algebras of non-Hausdorﬀ étale groupoids (2019), eprint. arXiv: 1901.09683

2019 arXiv
[17]

Moore,Ergodic equivalence relations, cohomology, and von Neu- mann algebras

Jacob Feldman and Calvin C. Moore,Ergodic equivalence relations, cohomology, and von Neu- mann algebras. II, Trans. Amer. Math. Soc.234 (1977), no. 2, 325–359, doi: 10.2307/1997925. MR 578730

1977 doi
[18]

Akitaka Kishimoto,Outer automorphisms and reduced crossed products of simpleC˚-algebras, Comm. Math. Phys. 81 (1981), no. 3, 429–435, available athttp://projecteuclid.org/ euclid.cmp/1103920327. MR 634163

1981
[19]

Alexander Kumjian, On C˚-diagonals, Canad. J. Math. 38 (1986), no. 4, 969–1008, doi: 10.4153/CJM-1986-048-0. MR 854149

1986 doi
[20]

Math.43 (2017), no

Bartosz Kosma Kwaśniewski,Exel’s crossed product and crossed products by completely positive maps, Houston J. Math.43 (2017), no. 2, 509–567, available athttps://www.math. uh.edu/~hjm/restricted/pdf43(2)/11kwasniewski.pdf. MR 3690127

2017
[22]

, Stone duality and quasi-orbit spaces for generalisedC˚-inclusions, Proc. Lond. Math. Soc. (3) (2018), accepted. arXiv: 1804.09387

2018 arXiv
[24]

Christopher Lance,Hilbert C˚-modules, London Mathematical Society Lecture Note Series, vol

E. Christopher Lance,Hilbert C˚-modules, London Mathematical Society Lecture Note Series, vol. 210, Cambridge University Press, Cambridge, 1995. doi: 10.1017/CBO9780511526206 MR 1325694

1995 doi
[25]

Existence and uniqueness, Trans

Xin Li and Jean Renault,Cartan subalgebras inC˚-algebras. Existence and uniqueness, Trans. Amer. Math. Soc.372 (2019), no. 3, 1985–2010, doi: 10.1090/tran/7654. MR3976582

2019 doi
[26]

Jean Renault,Cartan subalgebras inC˚-algebras, Irish Math. Soc. Bull.61 (2008), 29–63, available athttp://www.maths.tcd.ie/pub/ims/bull61/S6101.pdf. MR 2460017

2008
[27]

Vrej Zarikian,Unique expectations for discrete crossed products, Ann. Funct. Anal.10 (2019), no. 1, 60–71, doi: 10.1215/20088752-2018-0008. MR3899956 E-mail address: bartoszk@math.uwb.edu.pl 26 BARTOSZ KOSMA KW AŚNIEWSKI AND RALF MEYER Department of Mathematics, University of ...

2019 doi

Pith tools

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

[1] [6]

Math.220 (2017), no

Alcides Buss, Ruy Exel, and Ralf Meyer,Reduced C˚-algebras of Fell bundles over inverse semigroups, Israel J. Math.220 (2017), no. 1, 225–274, doi: 10.1007/s11856-017-1516-9. MR 3666825

doi:10.1007/s11856-017-1516-9 2017

[2] [21]

3, 257–303, doi: 10.4064/sm8762-5-2017

Bartosz Kosma Kwaśniewski and Ralf Meyer,Aperiodicity, topological freeness and pure outerness: from group actions to Fell bundles, Studia Math.241 (2018), no. 3, 257–303, doi: 10.4064/sm8762-5-2017. MR 3756105

doi:10.4064/sm8762-5-2017 2018

[3] [23]

Essential crossed products for inverse semigroup actions: simplicity and pure infiniteness

, Essential crossed products by inverse semigroup actions: simplicity and pure inﬁnite- ness (2019), eprint. arXiv: 1906.06202

work page Pith review arXiv 2019

[4] [1]

Math.316 (2017), 748–769, doi: 10.1016/j.aim.2017.06.024

Selçuk Barlak and Xin Li,Cartan subalgebras and the UCT problem, Adv. Math.316 (2017), 748–769, doi: 10.1016/j.aim.2017.06.024. MR3672919

work page doi:10.1016/j.aim.2017.06.024 2017

[5] [2]

arXiv: 1704.04939

, Cartan subalgebras and the UCT problem, II(2017), eprint. arXiv: 1704.04939. NONCOMMUTATIVE CARTAN C˚-SUBALGEBRAS 25

arXiv 2017

[6] [3]

Brown, James A

Lawrence G. Brown, James A. Mingo, and Nien-Tsu Shen,Quasi-multipliers and embeddings of Hilbert C˚-bimodules, Canad. J. Math.46 (1994), no. 6, 1150–1174, doi: 10.4153/CJM- 1994-065-5. MR 1304338

work page doi:10.4153/cjm- 1994

[7] [4]

Nathan Brownlowe and Iain Raeburn, Exel’s crossed product and relative Cuntz– Pimsner algebras, Math. Proc. Camb. Phil. Soc. 141 (2006), no. 3, 497–508, doi: 10.1017/S030500410600956X. MR 2984316

work page doi:10.1017/s030500410600956x 2006

[8] [5]

Operator Theory 67 (2012), no

Alcides Buss and Ruy Exel,Fell bundles over inverse semigroups and twisted étale groupoids, J. Operator Theory 67 (2012), no. 1, 153–205, available athttp://www.theta.ro/jot/archive/ 2012-067-001/2012-067-001-007.html . MR 2881538

work page 2012