Pith. sign in

REVIEW 2 major objections 5 minor 4 cited by

The Hao-Ng isomorphism theorem for reduced crossed products

T0 review · 2 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash

Pith's one-line read The reduced Hao-Ng isomorphism is proved for every locally compact Hausdorff group, by commuting the C*-envelope with reduced crossed products.

desk verdict A genuinely new and substantial result — the reduced Hao-Ng isomorphism in full locally compact generality — with a proof that is mostly rigorous but has one unaddressed existence gap that a serious referee should press on. read the letter →

arxiv 2505.00587 v3 pith:4VOLKEIR submitted 2025-05-01 math.OA math.FA

classification math.OAmath.FA MSC 46K5047L5546L5546L05
keywords Hao-NgisomorphismreducedcrossedproductCuntz-PimsneralgebraC*-envelopenon-self-adjointoperatoruniqueextensionpropertyoperator-valuedMaharamliftingFubinitensor
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

Every locally compact Hausdorff group action on a C*-correspondence now commutes with the Cuntz-Pimsner construction: the Cuntz-Pimsner algebra of the reduced crossed-product correspondence is canonically isomorphic to the reduced crossed product of the Cuntz-Pimsner algebra. This is the reduced Hao-Ng isomorphism, proved here for all non-degenerate C*-correspondences and all locally compact Hausdorff groups, after earlier results had covered amenable groups, discrete exact groups, and hyperrigid cases. A generalized gauge action is an action that preserves the coefficient algebra and the correspondence itself inside the algebra they generate. The proof's engine is a commutation theorem for the C*-envelope, the smallest C*-algebra generated by an operator algebra through which every completely isometric representation factors, and this theorem is applied to the tensor algebra of the correspondence.

What carries the argument

The load-bearing mechanism is a refined unique extension property. A representation $\pi$ of the generated C*-algebra $B$ has the unique extension property with respect to $A$ when $\pi|_A$ has exactly one completely contractive completely positive extension to $B$. Proposition 4.2 proves that for such a $\pi$, the lifted representation $\pi_\alpha$ with range in $B(H) \otimes L^\infty(G)$ is uniquely determined on all of $B$ among completely contractive completely positive extensions of $\pi_\alpha|_A$ with range in that von Neumann algebra. The proof needs pointwise evaluation of operator-valued functions on $G$, and to make this work without separability assumptions the paper builds an operator-valued Maharam lifting theorem: the quotient map $B(H) \otimes M^\infty(\mathcal{F}) \to B(H) \otimes L^\infty(G)$ has a unital completely positive right inverse that acts as the identity on bounded continuous functions. Pointwise evaluation then pushes uniqueness at each group element up to uniqueness of the whole extension, and this is what makes the canonical map from $C^*_e(A) \rtimes_{\alpha,r} G$ to $C^*_e(A \rtimes_{\alpha,r} G)$ injective.

What would settle it

Construct a C*-dynamical system $(B,G,\alpha)$, an $\alpha$-invariant operator subalgebra $A$ generating $B$, and a representation $\pi$ with the unique extension property with respect to $A$ such that $\pi \circ \alpha_g$ fails that property for some $g \in G$; then the uniqueness step of Proposition 4.2 collapses. The decisive test is whether $C^*_e(A \rtimes_{\alpha,r} G) \cong C^*_e(A) \rtimes_{\alpha,r} G$ still holds in such an example, since a failure there would disprove the paper's central claim.

Watch

Extended reading notes

Core claim

The central claim is Theorem B: for a non-degenerate C*-correspondence $X$ over a C*-algebra $B$ and a generalized gauge action $\alpha$ of a locally compact Hausdorff group $G$, there is a canonical $*$-isomorphism $\mathcal{O}_{X \rtimes_{\alpha,r} G} \cong \mathcal{O}_X \rtimes_{\alpha,r} G$. The route is Theorem A: if $A$ is an operator algebra with a self-adjoint contractive approximate identity and $G$ acts on $A$, then the canonical map $C^*_e(A) \rtimes_{\alpha,r} G \to C^*_e(A \rtimes_{\alpha,r} G)$ is an isomorphism. Since the Cuntz-Pimsner algebra of $X$ is the C*-envelope of the tensor algebra of $X$, applying Theorem A to that tensor algebra yields Theorem B.

Load-bearing premise

The load-bearing premise is the invariance principle invoked in Proposition 4.2 — that twisting a representation with the unique extension property by any group element again gives a representation with that property — which the paper cites to an unpublished note and another paper's proposition but does not prove under its non-unital hypotheses.

Editorial extensions

If this is right

  • For a non-degenerate C*-correspondence $X$ over $B$ and a generalized gauge action of any locally compact Hausdorff group $G$, the canonical isomorphism $\mathcal{O}_{X \rtimes_{\alpha,r} G} \cong \mathcal{O}_X \rtimes_{\alpha,r} G$ holds.
  • For every operator algebra $A$ with a self-adjoint contractive approximate identity and action of a locally compact Hausdorff group, the C*-envelope commutes with the reduced crossed product: $C^*_e(A \rtimes_{\alpha,r} G) \cong C^*_e(A) \rtimes_{\alpha,r} G$.
  • Since graph C*-algebras arise as Cuntz-Pimsner algebras of graph correspondences, reduced crossed products of graph C*-algebras by arbitrary locally compact Hausdorff group actions now fall under the theorem, with no amenability, exactness, or hyperrigidity assumption.
  • The paper's strategy does not by itself settle the full Hao-Ng isomorphism: the analogous commutation for full crossed products fails for arbitrary operator algebras and is left open for tensor algebras.

Reading between the lines

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

  • The operator-valued Maharam lifting theorem is likely reusable beyond this proof: any argument that needs to evaluate completely positive maps on $L^\infty(G)$ pointwise after lifting to bounded measurable functions could use the same right inverse, for instance in coaction or non-separable product-system problems.
  • A boundary test for Theorem A is to drop the self-adjointness of the approximate identity. If the unique extension property still behaves well under group twists for operator algebras with merely contractive approximate identities, the commutation theorem would extend; if not, the self-adjointness assumption is carrying real weight.
  • Earlier applications of the Hao-Ng isomorphism, such as AF-embeddability questions, were limited to the cases where the isomorphism was known; with this theorem those applications now have the full locally compact Hausdorff statement available, although the paper does not enumerate them.
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

2 major / 5 minor

Summary. The paper proves the reduced Hao-Ng isomorphism theorem for C*-correspondences over locally compact Hausdorff groups. The main results are Theorem A, asserting that the reduced crossed product functor commutes with the C*-envelope for operator algebras with a self-adjoint contractive approximate identity, and Theorem B, asserting that for a generalized gauge action on a non-degenerate C*-correspondence X, the Cuntz-Pimsner algebra of the reduced crossed product correspondence is canonically isomorphic to the reduced crossed product of the Cuntz-Pimsner algebra. The proof strategy follows Katsoulis-Ramsey: Theorem A is established first via operator-valued Maharam lifting (based on Hamana's Fubini tensor products), and then Theorem B is deduced from Theorem A together with established results on tensor algebras. The paper is carefully written and pays close attention to non-separable Hilbert space issues.

Significance. If the proof is correct, this resolves the reduced Hao-Ng isomorphism problem in full generality for locally compact Hausdorff groups, a long-standing open problem. The paper introduces a new technical tool---an operator-valued Maharam lifting theorem---to overcome the failure of the unique extension property to be preserved under direct sums, which was highlighted by the recent counterexample to Arveson's hyperrigidity conjecture. The writing is detailed and the reliance on imported results, such as Hamana's Fubini tensor products and Ionescu-Tulcea's lifting theorem, is explicit. The manuscript also honestly discusses limitations and the failure of the analogous statement for full crossed products. The main concern is that two load-bearing steps in the proof are cited to unpublished or unstated results without enough justification.

major comments (2)
  1. [Section 4, Theorem 4.3] The proof begins by fixing a non-degenerate injective *-representation π : C*_e(A) → B(H) that has the unique extension property with respect to A, but no proof or citation is given for the existence of such a representation when A is a non-unital approximately unital operator algebra. This is load-bearing because Proposition 4.2 and the subsequent conclusion θ∘πα = πα rely on the unique extension property of π. The existence is in fact a standard consequence of the Dritschel-McCullough maximal dilation theorem applied to the unitization A∼ and then restricting to C*_e(A), but the manuscript should state and prove this as a lemma or give a precise reference for the non-unital setting.
  2. [Section 4, Proposition 4.2] The proof invokes an 'invariance principle' cited to the unpublished note [3, Proposition 3.1] and to [23, Proposition 2.4] to conclude that π∘α_g has the unique extension property with respect to A. Since [3] is unpublished and the exact non-unital hypotheses are not spelled out, this step is not verifiable from the manuscript alone. The authors should either prove the invariance principle in a few lines (by conjugating any extension with α_g^{-1}) or state the precise version with all hypotheses, because the uniqueness of πα depends on it.
minor comments (5)
  1. [Abstract] There is a typo in the abstract: 'W e prove' should be 'We prove'.
  2. [Section 2.1] The existence of representations with the unique extension property is discussed for unital operator algebras via Dritschel-McCullough, but the non-unital counterpart used in Theorem 4.3 is not stated. Please add an explicit statement for the approximately unital case.
  3. [Section 4, Theorem 4.3] The phrase 'Let D be the C*-subalgebra of A generated by a self-adjoint contractive approximate unit of A' is potentially confusing because A is not self-adjoint. It would be clearer to say that D is the C*-subalgebra of the ambient C*-algebra generated by the elements of a self-adjoint contractive approximate identity, which is contained in A.
  4. [Section 4, Proposition 4.2] The identification Cb(G;B(H)) ∼= B(H)⊗Cb(G) is used without comment. For non-separable H, B(H)⊗Cb(G) is understood via Hamana's Fubini tensor product and is an operator system, so a brief justification of this identification would help the reader.
  5. [References] The reliance on the unpublished note [3] for the invariance principle is risky; consider including a short proof in the paper or using [23] as the primary reference.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main commutation theorem is proved by new lifting and extension arguments, with cited prior results supplying independent lemmas.

full rationale

The central derivation is not circular. Theorem B is obtained as O_X ⋊_r G ≅ C*_e(T_X^+) ⋊_r G by [37, Theorem 3.8], then ≅ C*_e(T_X^+ ⋊_r G) by Theorem A, and finally ≅ O_{X⋊_r G} by [39, Theorem 3.7]. Each link is either a prior independent theorem or the new Theorem A, which is not assumed anywhere. Theorem A is proved from scratch in Section 4: Proposition 3.1 extends Maharam lifting via Hamana's Fubini tensor products; Proposition 4.2 uses the invariance principle for the unique extension property; Theorem 4.3 carries out a projection/injective-envelope argument to show the canonical map is injective. The same-author citations [8], [13], [23], and [3] do not make the argument circular: [23] is a published paper on nonunital unique extension properties, [3] is Arveson's note, and the invariance principle invoked in Proposition 4.2 is an elementary conjugation observation rather than a restatement of the target theorem. The proof's opening choice of a faithful unique-extension representation of C*_e(A) is a standard existence fact from noncommutative Choquet theory; omitting its proof is a completeness or correctness concern, not circularity, because that existence is not derived from the commutation being proved. No fitted parameters are hidden as predictions, and no known result is merely renamed. Thus the paper is self-contained with respect to its main novelty and does not reduce to its inputs.

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

No free parameters or invented entities. The paper introduces a new proof technique, operator-valued Maharam lifting, but no new objects. It relies on a chain of established theorems; the most fragile is the invariance principle for the unique extension property from an unpublished note.

assumptions (7)
  • standard math Existence of the C*-envelope for operator algebras with a self-adjoint contractive approximate identity
    Used throughout; cited to [50] and [9, Proposition 4.3.5].
  • standard math Hamana's Fubini tensor product results: unique UCP extensions id⊗q and id⊗ρ for operator systems B(H)⊗M∞(F) and B(H)⊗L∞(G), and monotone completeness of B(H)⊗C when C is injective
    Section 3, Proposition 3.1; cited to [27, Lemma 3.5 and Theorem 4.2].
  • standard math Ionescu-Tulcea equivariant lifting theorem for left Haar measure on locally compact Hausdorff groups, acting as identity on C_b(G)
    Proposition 4.2; cited to [58, Theorem 5 and Proposition 1].
  • domain assumption Invariance principle for the unique extension property under automorphisms of the operator algebra
    Proposition 4.2; cited to [3, Proposition 3.1] and [23, Proposition 2.4]; not proven in the paper.
  • domain assumption Katsoulis-Ramsey lemmas: C*_e(T_X^+) ≅ O_X and the non-degeneracy and multiplicative domain properties of σ restricted to C_c(G,D)
    Theorems 4.3 and 4.4; cited to [39, Lemma 3.5 and Theorem 3.7] and [37, Theorem 3.8].
  • domain assumption Every dynamical system admits a completely isometric α-admissible embedding into its C*-envelope
    Section 4; cited to [38, Lemma 3.3].
  • standard math Ellis lemma: existence of minimal S-projections for UCP idempotents on B(H)
    Theorem 4.3; cited to [25, Theorem 1.2].

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Hao-Ng isomorphism theorem for reduced crossed products." pith.science (2026). https://pith.science/paper/4VOLKEIR

@misc{pith2026250500587,
  author       = {Pith},
  title        = {Pith review of: The Hao-Ng isomorphism theorem for reduced crossed products},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4VOLKEIR}},
  note         = {Machine review of arXiv:2505.00587}
}
abstract

We prove the Hao-Ng isomorphism for reduced crossed products by locally compact Hausdorff groups. More precisely, for a non-degenerate $\mathrm{C}^*$-correspondence $X$ and a generalized gauge action $G \curvearrowright X$ by a locally compact Hausdorff group $G$, we prove the commutation ${\mathcal{O}}_{X\rtimes_rG}\cong {\mathcal{O}}_X\rtimes_rG$ of the reduced crossed product with the Cuntz-Pimsner C*-algebra construction. This is done by proving that the reduced crossed product of an operator algebra commutes with the C*-envelope, which relies on refined W*-dynamical covers of C*-dynamical systems, unitary implementation of W*-dynamical systems, and an operator-valued extension of Maharam's lifting theorem.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The reduced Hao-Ng isomorphism problem for non-degenerate product systems

    math.OA 2026-07 accept novelty 7.0 of 10

    For every non-degenerate product system over a unital subsemigroup of a discrete group, the reduced Hao-Ng isomorphism holds for generalised gauge actions of any locally compact Hausdorff group.

  2. Stabilization theorem and symmetric structure of Cuntz--Pimsner algebras

    math.OA 2026-05 unverdicted novelty 7.0 of 10

    Stabilized Cuntz–Pimsner algebras decompose as crossed products, yielding new classifications of simplicity, ideals, traces, KMS weights, and quasi-free crossed products.

  3. Couniversality for C*-algebras of residually finite-dimensional operator algebras

    math.OA 2025-07 conditional novelty 7.0 of 10

    For several residually finite-dimensional operator algebras, including the non-commutative disc algebra, no minimal residually finite-dimensional C*-cover exists.

  4. $C^*$-supports and abnormalities of operator systems

    math.OA 2025-01 accept novelty 6.0 of 10

    C*-supports are unique exactly when the generated C*-algebra lies in every injective envelope, yielding new characterizations of unique extension and hyperrigidity and a formula for the span of abnormalities.

Reference graph

Works this paper leans on

59 extracted references · 56 canonical work pages · cited by 4 Pith papers

  1. [3]

    , Notes on the unique extension property , Unpublished note (2003)

  2. [23]

    2, 416–438

    Adam Dor-On and Guy Salomon, Full Cuntz–Krieger dilations via non-commutative bound- aries, Journal of the London Mathematical Society 98 (2018), no. 2, 416–438

  3. [8]

    Boris Bilich and Adam Dor-On, Arveson ’s hyprrigidity conjecture is false , arXiv preprint arXiv:2404.05018 (2024)

  4. [13]

    Rapha¨ el Clouˆ atre and Ian Thompson, Rigidity of operator systems: tight extensions and noncommutative measurable structures , arXiv preprint arXiv:2406.16806 (2024)

  5. [1]

    Beatriz Abadie, Takai duality for crossed products by Hilbert C∗ -bimodules, Journal of Op- erator Theory (2010), 19–34

  6. [2]

    1, 141–224

    William Arveson, Subalgebras of C∗ -algebras, Acta Mathematica 123 (1969), no. 1, 141–224

  7. [4]

    4, 1065–1084

    , The noncommutative Choquet boundary , Journal of the American Mathematical Society 21 (2008), no. 4, 1065–1084

  8. [5]

    1, 349–385

    , The noncommutative Choquet boundary II: hyperrigidity , Israel Journal of Mathe- matics 184 (2011), no. 1, 349–385. THE HAO-NG ISOMORPHISM THEOREM FOR REDUCED CROSSED PRODUCT S 11

Show all 59 references
  1. [6]

    Paul Baum, Alain Connes, and Nigel Higson, Classifying space for proper actions and K- theory of group C∗ -algebras, Contemporary Mathematics 167 (1994), 241–241

  2. [7]

    2, 1080–1098

    Erik B´ edos, Steven Kaliszewski, John Quigg, and David R obertson, A new look at crossed product correspondences and associated C∗ -algebras, Journal of Mathematical Analysis and Applications 426 (2015), no. 2, 1080–1098

  3. [9]

    David P Blecher and Christian Le Merdy, Operator algebras and their modules: an operator space approach, Clarendon Press, 2004

  4. [10]

    1, 35–71

    Emmanuel Breuillard, Mehrdad Kalantar, Matthew Kenne dy, and Narutaka Ozawa, C∗ - simplicity and the unique trace property for discrete group s, Publications math´ ematiques de l’IH´ES 126 (2017), no. 1, 35–71

  5. [11]

    Kevin Aguyar Brix, Adam Dor-On, and Chris Bruce, Normal coactions extend to the C∗ - envelope, arXiv preprint arXiv:2309.04817 (2023)

  6. [12]

    88, American Mathematical Soc., 2008

    Nathanial Patrick Brown and Narutaka Ozawa, C∗ -algebras and finite-dimensional approxi- mations, Vol. 88, American Mathematical Soc., 2008

  7. [14]

    Davidson, Adam Dor-On, Orr Moshe Shalit, and Baruch Solel, Dilations, inclu- sions of matrix convex sets, and completely positive maps , Int

    Kenneth R. Davidson, Adam Dor-On, Orr Moshe Shalit, and Baruch Solel, Dilations, inclu- sions of matrix convex sets, and completely positive maps , Int. Math. Res. Not. IMRN 13 (2017), 4069–4130. MR3671511

  8. [15]

    15, 2989–3004

    Kenneth R Davidson and Matthew Kennedy, The Choquet boundary of an operator system , Duke Mathematical Journal 164 (2015), no. 15, 2989–3004

  9. [16]

    , Noncommutative Choquet theory , to appear in Memoirs of the American Mathemat- ical Society, arXiv preprint arXiv:1905.08436 (2019)

  10. [17]

    7, 5037–5070

    Kenneth R Davidson and Benjamin Passer, Strongly peaking representations and compres- sions of operator systems , International Mathematics Research Notices 2022 (2022), no. 7, 5037–5070

  11. [18]

    Valentin Deaconu, Group actions on graphs and C∗ -correspondences, Houston Journal of Mathematics 44 (2018), 147–0168

  12. [19]

    5, 1527–1566

    Valentin Deaconu, Alex Kumjian, and John Quigg, Group actions on topological graphs , Ergodic Theory and Dynamical Systems 32 (2012), no. 5, 1527–1566

  13. [20]

    12, 2510–2535

    Adam Dor-On, Søren Eilers, and Shirly Geffen, Classification of irreversible and reversible Pimsner operator algebras , Compositio Mathematica 156 (2020), no. 12, 2510–2535

  14. [21]

    Adam Dor-On, Evgenios TA Kakariadis, E Katsoulis, Marc elo Laca, and Xin Li, C∗ -envelopes for operator algebras with a coaction and co-universal C∗ -algebras for product systems , Ad- vances in Mathematics 400 (2022), 108286

  15. [22]

    7, 108416

    Adam Dor-On and Elias Katsoulis, Tensor algebras of product systems and their C∗ - envelopes, Journal of Functional Analysis 278 (2020), no. 7, 108416

  16. [24]

    Michael A Dritschel and Scott A McCullough, Boundary representations for families of rep- resentations of operator algebras and spaces , Journal of Operator Theory (2005), 159–167

  17. [25]

    3, 257–270

    Hillel Furstenberg and Yitzchak Katznelson, Idempotents in compact semigroups and Ramsey theory, Israel Journal of Mathematics 68 (1989), no. 3, 257–270

  18. [26]

    3, 773–785

    Masamichi Hamana, Injective envelopes of operator systems , Publications of the Research Institute for Mathematical Sciences 15 (1979), no. 3, 773–785

  19. [27]

    New series 8 (1982), no

    , Tensor products for monotone complete C∗ -algebras, I , Japanese journal of mathe- matics. New series 8 (1982), no. 2, 259–283

  20. [28]

    2, 702–707

    Gai Hao and Chi-Keung Ng, Crossed products of C∗ -correspondences by amenable group actions, Journal of Mathematical Analysis and Applications 345 (2008), no. 2, 702–707

  21. [29]

    7, 2156–2193

    Samuel J Harris and Se-Jin Kim, Crossed products of operator systems , Journal of Functional Analysis 276 (2019), no. 7, 2156–2193

  22. [30]

    6, 1433–1483

    Evgenios TA Kakariadis, Elias Katsoulis, Marcelo Laca , and Xin Li, Co-universality and controlled maps on product systems over right LCM-semigrou ps, Analysis & PDE 16 (2023), no. 6, 1433–1483. 12 ADAM DOR-ON AND IAN THOMPSON

  23. [31]

    Evgenios TA Kakariadis and Ioannis Apollon Paraskevas , On Fock covariance for prod- uct systems and the reduced Hao-Ng isomorphism problem by di screte actions , arXiv preprint:2403.19764 (2024)

  24. [32]

    727, 247–267

    Mehrdad Kalantar and Matthew Kennedy, Boundaries of reduced C∗ -algebras of discrete groups, Journal f¨ ur die reine und angewandte Mathematik 2017 (2017), no. 727, 247–267

  25. [33]

    Steven Kaliszewski, John Quigg, and David Robertson, Functoriality of Cuntz–Pimsner cor- respondence maps, Journal of Mathematical Analysis and Applications 405 (2013), no. 1, 1–11. [34] , Coactions on Cuntz-Pimsner algebras , Mathematica Scandinavica (2015), 222–249

  26. [35]

    18, 5751–5768

    Elias Katsoulis, C∗ -envelopes and the Hao–Ng isomorphism for discrete groups , International Mathematics Research Notices 2017 (2017), no. 18, 5751–5768

  27. [36]

    , Product systems of C∗ -correspondences and Takai duality , Israel Journal of Mathe- matics 240 (2020), 223–251

  28. [37]

    1, 226–233

    Elias Katsoulis and David W Kribs, Tensor algebras of C∗ -correspondences and their C∗ - envelopes, Journal of Functional Analysis 234 (2006), no. 1, 226–233

  29. [38]

    258, American Mathematical Society, 2019

    Elias Katsoulis and Christopher Ramsey, Crossed products of operator algebras , Vol. 258, American Mathematical Society, 2019

  30. [39]

    2, 1160–1197

    , The non-selfadjoint approach to the Hao–Ng isomorphism , International Mathemat- ics Research Notices 2021 (2021), no. 2, 1160–1197

  31. [40]

    2, 366–401

    Takeshi Katsura, On C∗ -algebras associated with C∗ -correspondences, Journal of Functional Analysis 217 (2004), no. 2, 366–401

  32. [41]

    1, 107–145

    , Ideal structure of C∗ -algebras associated with C∗ -correspondences, Pacific Journal of Mathematics 230 (2007), no. 1, 107–145

  33. [42]

    10, 2990–3016

    Matthew Kennedy and Orr Moshe Shalit, Essential normality, essential norms and hyper- rigidity, Journal of Functional Analysis 268 (2015), no. 10, 2990–3016

  34. [43]

    Matthew Kennedy and Eli Shamovich, Noncommutative Choquet simplices , Mathematische Annalen (2021), 1–39

  35. [44]

    210, Cambridge University Press, 1995

    Christopher Lance, Hilbert C∗ -modules: a toolkit for operator algebraists , Vol. 210, Cambridge University Press, 1995

  36. [45]

    2, 247–274

    Boyu Li and Dilian Yang, Zappa–Sz´ ep actions of groups on product systems , Journal of Operator Theory 88 (2022), no. 2, 247–274

  37. [46]

    6, 987–994

    Dorothy Maharam, On a theorem of von Neumann , Proceedings of the American Mathemat- ical Society 9 (1958), no. 6, 987–994

  38. [47]

    Ralf Meyer, Adjoining a unit to an operator algebra , Journal of Operator Theory (2001), 281–288

  39. [48]

    2, 389–457

    Paul S Muhly and Baruch Solel, Tensor algebras over C∗ -correspondences: Representations, dilations, and C∗ -envelopes, Journal of Functional Analysis 158 (1998), no. 2, 389–457

  40. [49]

    07, 693–755

    Paul S Muhly and Mark Tomforde, Topological quivers, International Journal of Mathematics 16 (2005), no. 07, 693–755

  41. [50]

    Vern Paulsen, Completely bounded maps and operator algebras , Cambridge University Press, 2002

  42. [51]

    9, 4735–4755

    , Weak expectations and the injective envelope , Transactions of the American Mathe- matical Society 363 (2011), no. 9, 4735–4755

  43. [52]

    Michael V Pimsner, A class of C∗ -algebras generalizing both Cuntz-Krieger algebras and crossed product by Z, In Free Probability Theory, Fields Institute Communicati ons 12 (1996), 189–212

  44. [53]

    Jonathan Rosenberg and Claude Schochet, The K¨ unneth theorem and the universal coefficient theorem for Kasparov’s generalized K-functor , Duke Mathematical Journal 55 (1987), no. 2, 431

  45. [54]

    2, 303–329

    Kazuyuki Saitˆ o, Tensor products of monotone complete C∗ algebras, The Quarterly Journal of Mathematics 67 (2016), no. 2, 303–329

  46. [55]

    9, 2927–2946

    Christopher P Schafhauser, Cuntz–Pimsner algebras, crossed products, and K-theory , Journal of Functional Analysis 269 (2015), no. 9, 2927–2946

  47. [56]

    Claude Schochet, Topological methods for C∗ -algebras. II. Geometry resolutions and the K¨ unneth formula, Pacific Journal of Mathematics 98 (1982), no. 2, 443–458

  48. [57]

    12, 109707

    Camila F Sehnem, C∗ -envelopes of tensor algebras of product systems , Journal of Functional Analysis 283 (2022), no. 12, 109707. THE HAO-NG ISOMORPHISM THEOREM FOR REDUCED CROSSED PRODUCT S 13

  49. [58]

    Alexandra Ionescu Tulcea and Cassius Ionescu Tulcea, On the existence of a lifting commut- ing with the left translations of an arbitrary locally compa ct group , Proceedings of the fifth berkeley symposium on mathematical statistics and probabi lity, 1967, pp. 1966–67

  50. [59]

    48, Springer Science & Business Media, 2012

    , Topics in the theory of lifting , Vol. 48, Springer Science & Business Media, 2012

  51. [60]

    Williams, Crossed products of C∗ -algebras, Mathematical Surveys and Monographs, vol

    Dana P. Williams, Crossed products of C∗ -algebras, Mathematical Surveys and Monographs, vol. 134, American Mathematical Society, Providence, RI, 2 007. MR2288954 Department of Mathematics, University of Haifa, Mount Carmel , Haifa 3103301, Israel Email address : adoron.math@g...

Pith tools

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