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

Ioannis Apollon Paraskevas

REVIEW 1 major objections 3 minor 55 references

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

T0 review · 1 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read This paper proves that the reduced Hao–Ng isomorphism problem has an affirmative answer for every non-degenerate product system over a unital subsemigroup of a discrete group, for actions of any locally compact Hausdorff group.

desk verdict A clean, significant proof that the reduced Hao-Ng isomorphism holds for non-degenerate product systems over arbitrary unital subsemigroups of discrete groups with locally compact Hausdorff actions, conditional on one external preprint. read the letter →

arxiv 2607.17824 v1 pith:QMMPAQ5G submitted 2026-07-20 math.OA math.FA

Ioannis Apollon Paraskevas This is my paper · ORCID

classification math.OAmath.FA MSC 46L0847L5546L0546K5046L55

keywords ProductsystemsFockspacecovarianceHao–NgisomorphismReducedcrossedproductsofoperatoralgebrasNon-degenerateGeneralisedgaugeactionPlancherelweight

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 commutation theorem: for a non-degenerate product system $X$ over a unital subsemigroup $P$ of a discrete group $G$, forming the reduced crossed product by a generalised gauge action of any locally compact Hausdorff group $H$ can be interchanged with forming the tensor algebra of the induced product system. That is, $T_{\lambda}(X\rtimes_{\alpha,\lambda}H)_+$ is canonically completely isometrically isomorphic to $T_{\lambda}(X)_+\rtimes_{\alpha,\lambda}H$, and the reduced strong covariant algebra of the induced system is canonically $*$-isomorphic to the reduced crossed product of the reduced strong covariant algebra of the original system by the induced action. This resolves the reduced Hao–Ng isomorphism problem in full generality, removing earlier restrictions to discrete, abelian, or amenable groups and to right-LCM or compactly aligned semigroups. The proof shows the identity representation of the induced product system inside the reduced crossed product of the Fock algebra is Fock covariant, using an averaging map built from the Plancherel weight when no faithful conditional expectation is available.

What carries the argument

The central object is the averaging map $E_{\delta^{\rtimes}}=(\mathrm{id}\otimes\omega_H)\circ\delta^{\rtimes}$, formed from the reduced dual coaction $\delta^{\rtimes}$ on the reduced crossed product and the Plancherel weight $\omega_H$ on the reduced group C*-algebra $C^*_{\lambda}(H)$. This map replaces the faithful conditional expectation that exists when $H$ is discrete but generally does not exist for locally compact Hausdorff groups. Non-degeneracy of $X$ yields a contractive approximate unit $u_i$ supported in the coefficient algebra, and multiplication by these $u_i$ localises arbitrary elements inside the square-integrable domain where the averaging map is well defined. The Fock-covariance criterion of Theorem 4.1 then verifies the two $K$-core conditions for the identity representation, and the cited results [53] and [15] carry the conclusion to the C*-envelope and the strong covariant algebra.

What would settle it

Compute both sides of the asserted isomorphism for a non-degenerate product system over $P=\mathbb{Z}_+$ (a single C*-correspondence) under an action of a non-discrete locally compact group $H$, and check whether the canonical map is a $*$-isomorphism; a mismatch would disprove Theorem 4.7. A more focused check is to test the cited outer-hull theorem [15] on the tensor algebra of any C*-correspondence, looking for an operator algebra with a contractive approximate unit whose C*-envelope does not commute with the reduced crossed product by $H$.

Watch

Extended reading notes

Core claim

Let $P$ be a unital subsemigroup of a discrete group $G$, $X$ a non-degenerate product system over $P$, and $\alpha$ a generalised gauge action of a locally compact Hausdorff group $H$ on the Fock algebra $T_{\lambda}(X)$. The identity representation $\iota^{\rtimes}$ of $X\rtimes_{\alpha,\lambda}H$ inside $T_{\lambda}(X)\rtimes_{\alpha,\lambda}H$ is injective, Fock covariant, and admits a normal coaction by $G$. From this, the tensor algebra of the induced system is canonically completely isometrically isomorphic to the reduced crossed product of the tensor algebra by $\alpha$, and consequently $(A\rtimes_{\alpha,\lambda}H)\times_{X\rtimes_{\alpha,\lambda}H,\lambda}P$ is canonically $*$-isomorphic to $(A\times_{X,\lambda}P)\rtimes_{\dot{\alpha},\lambda}H$, where $\dot{\alpha}$ is the induced action. In short, the reduced strong covariant functor commutes with the reduced crossed product functor under the non-degeneracy assumption.

Load-bearing premise

The paper assumes the system's fibres are generated by the coefficient algebra (non-degeneracy), which supplies the approximate unit that makes the localisation argument work, and the final step assumes a still-unpublished result that taking the outer hull of an operator algebra commutes with taking reduced crossed products; if that outer-hull result fails, the Fock-covariance theorem survives but the Hao–Ng isomorphism does not follow.

Editorial extensions

If this is right

For every non-degenerate product system over a unital subsemigroup of a discrete group and every generalised gauge action of a locally compact Hausdorff group, the reduced Hao–Ng isomorphism holds by a canonical $*$-isomorphism.
The tensor algebra of the induced product system is completely isometrically isomorphic to the reduced crossed product of the original tensor algebra, so the non-selfadjoint algebra behaves predictably under reduced crossed products.
The identity representation of the induced system is injective, Fock covariant, and normally coacted, so the full Fell-bundle machinery applies to the induced system.
The result unifies and extends the previously known cases (single correspondences, abelian lattice-ordered semigroups, right-LCM semigroups, and discrete acting groups) to arbitrary unital subsemigroups and arbitrary locally compact Hausdorff $H$, at the cost of non-degeneracy.
The C*-envelope of the reduced crossed product of a tensor algebra under a generalised gauge action is the reduced crossed product of its C*-envelope by the induced action.

Reading between the lines

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

The averaging-map localisation should extend beyond product systems to any reduced crossed product where a contractive approximate unit supported in the coefficient algebra exists, so similar Fock-covariance arguments may prove Hao–Ng-type isomorphisms for other families of Fell bundles.
If the cited outer-hull theorem [15] turns out to be false, the paper's Theorem 4.6 would remain a standalone Fock-covariance statement, while the Hao–Ng isomorphism would remain open; the contribution would then be conditional.
A natural stress test is to drop non-degeneracy: for a degenerate product system the tensor algebra may lack a contractive approximate unit, and constructing a counterexample to the tensor-algebra isomorphism there would show the assumption is genuinely load-bearing.

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 main theorem is what it claims, but "settles" should be read as "settles modulo Dor-On-Thompson [15]." The genuinely new part is Theorem 4.6: the identity representation of X⋈H inside Tλ(X)⋈H is Fock covariant. The Plancherel-weight averaging machinery is a sensible substitute for the conditional expectation that made the discrete-H case work, and the localisation lemmas 4.3–4.5 are carefully proved. I checked the main line of Theorem 4.6 in detail: condition (ii) of [27, Thm 3.2] is verified correctly, the approximate unit coming from non-degeneracy is used legitimately, and the positivity argument turning Eδ⋈((c_ru_i)* (c_ru_i))j(λ_r(X_r))=0 into the required vanishing is sound. I did not find an internal error.

The one real soft spot is the final step of Theorem 4.7. After Theorem 4.6 and [27, Cor 4.1], the paper obtains the completely isometric isomorphism of tensor algebras. To convert that into the C*-isomorphism of the reduced strong-covariant algebras, it invokes [15, Thm 4.4], a preprint, for C*_env(Tλ(X)+ ⋈H) ≃ C*_env(Tλ(X)+)⋈H. Everything after that is Sehnem [53], which is published. So the advertised Hao-Ng isomorphism is exactly as secure as [15]. That is not a flaw in the internal argument, but it is a load-bearing dependence, and a referee should be asked to check [15] against this application. The non-degeneracy of X is used precisely to supply the contractive approximate unit required by [15]; that hypothesis is satisfied here, but the preprint itself is neither proved nor sketched. I would also ask the author to flag this dependence in the abstract, since the current abstract says "we prove" without mentioning the external preprint.

I agree with the reader's scores. The novelty is real: the localisation technique is not an incremental tweak, and the statement covers the previously missing full-generality case. No circularity, no fitted parameters. The citation pattern looks appropriate; the self-citation to [27] is for the established discrete case and the Fock-covariance characterisation, not for the new claim.

Who is this for? Anyone working on Hao-Ng isomorphisms, tensor algebras of product systems, or coaction techniques. It deserves a serious referee. If I were the editor I would send it out, with the specific instruction to verify [15, Thm 4.4] and its hypotheses; if that preprint checks out, this paper really does complete the programme.

Referee Report

1 major / 3 minor

Summary. The paper proves that for a non-degenerate concrete product system X over a unital subsemigroup P of a discrete group G and a generalised gauge action α of a locally compact Hausdorff group H on the Fock algebra T_λ(X), the identity representation ι⋊ : X⋊_{α,λ}H → T_λ(X)⋊_{α,λ}H is injective, Fock covariant, and admits a normal coaction by G (Theorem 4.6). It then derives a canonical completely isometric isomorphism T_λ(X⋊_{α,λ}H)+ ≃ T_λ(X)+ ⋊_{α,λ}H and, using the C*-envelope results of [15] and [53], the reduced Hao–Ng isomorphism (Theorem 4.7). The main technical novelty is a localisation argument using the averaging map associated with the Plancherel weight and the reduced dual coaction, which replaces the faithful conditional expectation available for discrete H.

Significance. If the proof is correct, this is a substantial result: it resolves the reduced Hao–Ng isomorphism problem for all non-degenerate product systems over arbitrary unital subsemigroups of discrete groups, for arbitrary locally compact Hausdorff group actions. The localisation technique via integrable elements of coactions is new in this context and is developed carefully: Lemmas 4.2–4.5 and the proof of Theorem 4.6 are internally coherent, and no fitted parameters or ad-hoc axioms are introduced. The paper is transparent about its main external dependency, which is the only substantive concern.

major comments (1)

[Section 4.3, Theorem 4.7] The final step of Theorem 4.7 relies on the C*-envelope isomorphism C*_env(T_λ(X)+ ⋊_{α,λ}H) ≃ C*_env(T_λ(X)+) ⋊_{α˙,λ}H, imported from [15, Theorem 4.4]. This preprint is neither proved nor stated in the manuscript, and it is the unique bridge from the Fock covariance of Theorem 4.6 to the asserted reduced Hao–Ng ∗-isomorphism. Since the entire selfadjoint conclusion of the paper rests on this external theorem, please include the exact statement of [15, Theorem 4.4], confirm explicitly that its hypotheses are satisfied (the contractive approximate unit supplied by non-degeneracy of X, and any further hypotheses such as separability or second-countability that [15] may require), and either prove it in an appendix or supply a peer-reviewed reference. If [15] is not yet published, Theorem 4.7 should at minimum be labelled as conditional on [15, Theorem 4.4].

minor comments (3)

[Section 4.1, Lemmas 4.3–4.4] In the proofs of Lemma 4.3 and Lemma 4.4, the expression z^*u_i appears where the displayed formula actually computes the convolution of z with u_i; the notation should be changed to z*u_i (or the star explicitly explained) to avoid the impression that the adjoint of z is being used.
[Theorem 4.6] The assertion that normality of the coaction by G on T_λ(X) 'yields in particular' normality of the coaction on ι⋊ is very compressed; one or two sentences spelling out the tensor-product argument via [55, Lemma 7.16] would help the reader.
[Section 4.3] The statement that a contractive approximate unit for A gives a contractive approximate unit for T_λ(X)+ is used to enter [15, Theorem 4.4]; it would be useful to record this as a short lemma or to give a precise reference for the non-degenerate case.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the Hao–Ng isomorphism is derived from a new Fock-covariance proof plus external theorems; the dependence on the Dor-On–Thompson preprint is a correctness risk, not a circular step.

full rationale

I walked the derivation chain. The genuinely new step is Theorem 4.6, which proves that the identity representation is Fock covariant by verifying conditions (i) and (ii) of the published characterization [27, Theorem 3.2] using the Plancherel-weight averaging map, the localisation Lemmas 4.3–4.5, and the contractive approximate unit (4.1). None of these inputs contains the conclusion Tλ(X⋊α,λH)+ ≃ Tλ(X)+ ⋊α,λH or the final ∗-isomorphism; Fock covariance is established rather than assumed. Theorem 4.7 then applies external results in sequence: [27, Corollary 4.1] converts Fock covariance into the tensor-algebra isomorphism, [33, Corollary 3.16] identifies the generated algebra with Tλ(X)+ ⋊α,λH, [15, Theorem 4.4] supplies the C*-envelope crossed-product isomorphism, and [53, Theorem 5.1] identifies C*-envelopes with reduced strong-covariant algebras. The only load-bearing external input is [15, Theorem 4.4], a preprint by different authors, which is quoted as a theorem rather than rederived here; the final assertion therefore inherits the correctness risk of that preprint, but this is external dependence, not circularity. The self-citations to [27] are to a published, parameter-free characterization theorem whose statements do not include the target isomorphism for locally compact H, so they constitute legitimate independent support. No equation in the proof is equivalent by construction to the target result, and no parameter is fitted and renamed as a prediction.

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

No free parameters or newly postulated entities appear. The paper is a proof-based contribution that relies on the standard product-system/coaction framework and on two external C*-envelope theorems, one of which is a preprint. The technical novelty, the Plancherel-weight averaging localisation, is a combination of existing tools rather than a new axiom.

assumptions (5)

domain assumption Non-degeneracy of the product system X: [A·X_p] = X_p for every p∈P.
Stated in Section 4.1; used to obtain a contractive approximate unit for Tλ(X)+ and the special approximate unit (4.1) in the crossed product, which is essential for Lemmas 4.3-4.5 and for invoking [15].
standard math The characterisation of injective Fock covariant representations (Kakariadis-Paraskevas [27, Theorem 3.2]).
Quoted in Section 4.2 and used in Theorem 4.6 to prove Fock covariance of ι⋊ by verifying conditions (i) and (ii).
standard math Integrability of the reduced dual coaction and the averaging map properties, including C_c(H,C) ⊆ N_{δ⋊} and positivity/Cauchy-Schwarz inequalities ([8, Corollary 3.12] and [39, Proposition 3.15]).
Used in Lemmas 4.3-4.5 to define E_{δ⋊}, show the localisation of elements, and prove the kernel property that yields Theorem 4.6.
standard math The Plancherel weight ω_H on C*_λ(H) is faithful, proper, and its slice map is faithful in the sense of Proposition 3.3.
Proved in Section 3 and used in Lemma 3.5(ii) to show that E_{δ⋊}(x*x)=0 implies x=0, which is the crux of Lemma 4.5.
domain assumption The C*-envelope identifications C*_env(Tλ(X)+) ≃ A×_{X,λ}P (Sehnem [53, Theorem 5.1]) and C*_env(Tλ(X)+ ⋊ H) ≃ C*_env(Tλ(X)+) ⋊ H (Dor-On-Thompson [15, Theorem 4.4]).
Used in Theorem 4.7 to pass from the completely isometric tensor-algebra isomorphism to the reduced Hao-Ng isomorphism. [15] is a preprint, so the paper's final theorem is contingent on its correctness.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The reduced Hao-Ng isomorphism problem for non-degenerate product systems." pith.science (2026). https://pith.science/paper/QMMPAQ5G

@misc{pith2026260717824,
  author       = {Pith},
  title        = {Pith review of: The reduced Hao-Ng isomorphism problem for non-degenerate product systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QMMPAQ5G}},
  note         = {Machine review of arXiv:2607.17824}
}

read the original abstract

We prove that the reduced Hao-Ng isomorphism problem has an affirmative answer for a generalised gauge action of a locally compact Hausdorff group on a non-degenerate product system over a unital subsemigroup of a discrete group. In the possible absence of a faithful conditional expectation on the reduced crossed product, we employ the Plancherel weight and integrability of reduced coactions. Using this approach, we establish that the identity representation of the induced product system inside the reduced crossed product of the Fock C*-algebra is Fock covariant.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

55 extracted references · 54 canonical work pages

[15]

Dor-On and I

A. Dor-On and I. Thompson,The Hao–Ng isomorphism theorem for reduced crossed products, preprint, arXiv:2505.00587v3 (2026)

arXiv 2026
[53]

C. F. Sehnem,C ∗-envelopes of tensor algebras of product systems, J. Funct. Anal.283(2022), no. 12, Paper No. 109707

work page 2022
[27]

E. T. A. Kakariadis and I. A. Paraskevas,On Fock covariance for product systems and the reduced Hao– Ng isomorphism problem by discrete actions, Proc. Roy. Soc. Edinburgh Sect. A, First View (2025), 1–53, doi:10.1017/prm.2025.21

work page doi:10.1017/prm.2025.21 2025
[1]

Abadie,Takai duality for crossed products by HilbertC ∗-bimodules, J

B. Abadie,Takai duality for crossed products by HilbertC ∗-bimodules, J. Operator Theory64(2010), no. 1, 19–34

work page 2010
[2]

W. B. Arveson,Continuous analogues of Fock space, Mem. Amer. Math. Soc.80(1989), no. 409, iv+66 pp

work page 1989
[3]

W. B. Arveson,The noncommutative Choquet boundary II: hyperrigidity, Israel J. Math.184(2011), 349–385

work page 2011
[4]

B´ edos, S

E. B´ edos, S. Kaliszewski, J. Quigg and D. Robertson,A new look at crossed product correspondences and associatedC∗-algebras, J. Math. Anal. Appl.426(2015), no. 2, 1080–1098

work page 2015
[5]

D. P. Blecher and C. Le Merdy,Operator algebras and their modules—an operator space approach, London Mathematical Society Monographs, New Series, vol. 30, Oxford University Press, Oxford, 2004

work page 2004

Show all 55 references

[6]

Brownlowe, N

N. Brownlowe, N. S. Larsen and N. Stammeier,C ∗-algebras of algebraic dynamical systems and right LCM semigroups, Indiana Univ. Math. J.67(2018), no. 6, 2453–2486

2018
[7]

Buss and R

A. Buss and R. Meyer,Square-integrable coactions of locally compact quantum groups, Rep. Math. Phys.63 (2009), no. 1, 191–224

2009
[8]

Buss,Integrability of dual coactions on Fell bundleC ∗-algebras, Bull

A. Buss,Integrability of dual coactions on Fell bundleC ∗-algebras, Bull. Braz. Math. Soc. (N.S.)41(2010), no. 4, 607–641

2010
[9]

T. M. Carlsen, N. S. Larsen, A. Sims and S. T. Vittadello,Co-universal algebras associated to product systems, and gauge-invariant uniqueness theorems, Proc. Lond. Math. Soc. (3)103(2011), no. 4, 563–600

2011
[10]

Combes,Poids sur uneC ∗-alg` ebre, J

F. Combes,Poids sur uneC ∗-alg` ebre, J. Math. Pures Appl. (9)47(1968), 57–100 (French)

1968
[11]

Cuntz, C

J. Cuntz, C. Deninger and M. Laca,C ∗-algebras of Toeplitz type associated with algebraic number fields, Math. Ann.355(2013), no. 4, 1383–1423

2013
[12]

H. T. Dinh,Discrete product systems and theirC ∗-algebras, J. Funct. Anal.102(1991), no. 1, 1–34

1991
[13]

Dor-On, E

A. Dor-On, E. T. A. Kakariadis, E. G. Katsoulis, M. Laca and X. Li,C ∗-envelopes for operator algebras with a coaction and co-universalC ∗-algebras for product systems, Adv. Math.400(2022), Paper No. 108286, 40 pp

2022
[14]

Dor-On and E

A. Dor-On and E. G. Katsoulis,Tensor algebras of product systems and theirC ∗-envelopes, J. Funct. Anal. 278(2020), no. 7, Paper No. 108416, 32 pp

2020
[16]

Echterhoff, S

S. Echterhoff, S. Kaliszewski, J. Quigg and I. Raeburn,A categorical approach to imprimitivity theorems for C∗-dynamical systems, Mem. Amer. Math. Soc.180(2006), no. 850, viii+169 pp

2006
[17]

Exel and C.-K

R. Exel and C.-K. Ng,Approximation property ofC ∗-algebraic bundles, Math. Proc. Cambridge Philos. Soc. 132(2002), no. 3, 509–522

2002
[18]

Exel,Partial dynamical systems, Fell bundles and applications, Mathematical Surveys and Monographs, vol

R. Exel,Partial dynamical systems, Fell bundles and applications, Mathematical Surveys and Monographs, vol. 224, American Mathematical Society, Providence, RI (2017) vi+321 pp

2017
[19]

J. M. G. Fell and R. S. Doran,Representations of∗-algebras, locally compact groups, and Banach∗-algebraic bundles. Vol. 2, Pure and Applied Mathematics, vol. 126, Academic Press, Boston, MA, 1988

1988
[20]

G. B. Folland,A course in abstract harmonic analysis, 2nd ed., CRC Press, Boca Raton, FL, 2016

2016
[21]

N. J. Fowler,Discrete product systems of Hilbert bimodules, Pacific J. Math.204(2002), no. 2, 335–375

2002
[22]

N. J. Fowler and I. Raeburn,Discrete product systems and twisted crossed products by semigroups, J. Funct. Anal.155(1998), no. 1, 171–204

1998
[23]

Hamana,Injective envelopes of operator systems, Publ

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

1979
[24]

Hao and C.-K

G. Hao and C.-K. Ng,Crossed products ofC ∗-correspondences by amenable group actions, J. Math. Anal. Appl.345(2008), no. 2, 702–707

2008
[25]

E. T. A. Kakariadis, E. G. Katsoulis, M. Laca and X. Li,Boundary quotientC ∗-algebras of semigroups, J. Lond. Math. Soc. (2)105(2022), no. 4, 2136–2166

2022
[26]

E. T. A. Kakariadis, E. G. Katsoulis, M. Laca and X. Li,Co-universality and controlled maps on product systems by right LCM-semigroups, Analysis & PDE16(2023), no. 6, 1433–1483

2023
[28]

Kaliszewski, P

S. Kaliszewski, P. S. Muhly, J. Quigg and D. P. Williams,Coactions and Fell bundles, New York J. Math. 16(2010), 315–359

2010
[29]

Katayama,Takesaki’s duality for a non-degenerate co-action, Math

Y. Katayama,Takesaki’s duality for a non-degenerate co-action, Math. Scand.55(1984), no. 1, 141–151

1984
[30]

E. G. Katsoulis,C ∗-envelopes and the Hao–Ng isomorphism for discrete groups, Int. Math. Res. Not. IMRN 2017(2017), no. 18, 5751–5768. THE REDUCED HAO–NG ISOMORPHISM PROBLEM FOR PRODUCT SYSTEMS 21

2017
[31]

E. G. Katsoulis,Product systems ofC ∗-correspondences and Takai duality, Israel J. Math.240(2020), no. 1, 223–251

2020
[32]

E. G. Katsoulis and D. W. Kribs,Tensor algebras ofC ∗-correspondences and theirC ∗-envelopes, J. Funct. Anal.234(2006), no. 1, 226–233

2006
[33]

E. G. Katsoulis and C. Ramsey,Crossed products of operator algebras, Mem. Amer. Math. Soc.258(2019), no. 1240, vii+85 pp

2019
[34]

E. G. Katsoulis and C. Ramsey,The non-selfadjoint approach to the Hao–Ng isomorphism, Int. Math. Res. Not. IMRN2021(2021), no. 2, 1160–1197

2021
[35]

Katsura,A construction ofC ∗-algebras fromC ∗-correspondences, inAdvances in quantum dynamics, 173–182, Contemp

T. Katsura,A construction ofC ∗-algebras fromC ∗-correspondences, inAdvances in quantum dynamics, 173–182, Contemp. Math., vol. 335, Amer. Math. Soc., Providence, RI (2003)

2003
[36]

Katsura,OnC ∗-algebras associated withC ∗-correspondences, J

T. Katsura,OnC ∗-algebras associated withC ∗-correspondences, J. Funct. Anal.217(2004), no. 2, 366–401

2004
[37]

Kumjian and D

A. Kumjian and D. Pask,C ∗-algebras of directed graphs and group actions, Ergodic Theory Dynam. Systems 19(1999), no. 6, 1503–1519

1999
[38]

Kustermans,KMS-weights onC ∗-algebras, preprint, arXiv:funct-an/9704008 (1997)

J. Kustermans,KMS-weights onC ∗-algebras, preprint, arXiv:funct-an/9704008 (1997)

1997 arXiv
[39]

Kustermans and S

J. Kustermans and S. Vaes,Weight theory forC ∗-algebraic quantum groups, preprint, arXiv:math/9901063 (1999)

1999 arXiv
[40]

B. K. Kwa´ sniewski and N. S. Larsen,Nica–Toeplitz algebras associated with right-tensorC ∗-precategories over right LCM semigroups, Internat. J. Math.30(2019), no. 2, 1950013, 57 pp

2019
[41]

B. K. Kwa´ sniewski and N. S. Larsen,Nica–Toeplitz algebras associated with product systems over right LCM semigroups, J. Math. Anal. Appl.470(2019), no. 1, 532–570

2019
[42]

Laca and C

M. Laca and C. F. Sehnem,Toeplitz algebras of semigroups, Trans. Amer. Math. Soc.375(2022), no. 10, 7443–7507

2022
[43]

M. B. Landstad,Duality theory for covariant systems, Trans. Amer. Math. Soc.248(1979), 223–267

1979
[44]

E. C. Lance,HilbertC ∗-modules: a toolkit for operator algebraists, London Mathematical Society Lecture Note Series, vol. 210, Cambridge University Press, Cambridge, 1995

1995
[45]

Li,SemigroupC ∗-algebras and amenability of semigroups, J

X. Li,SemigroupC ∗-algebras and amenability of semigroups, J. Funct. Anal.262(2012), no. 10, 4302–4340

2012
[46]

Ng,Discrete coactions onC ∗-algebras, J

C.-K. Ng,Discrete coactions onC ∗-algebras, J. Austral. Math. Soc. Ser. A60(1996), no. 1, 118–127

1996
[47]

Nica,C ∗-algebras generated by isometries and Wiener–Hopf operators, J

A. Nica,C ∗-algebras generated by isometries and Wiener–Hopf operators, J. Operator Theory27(1992), no. 1, 17–52

1992
[48]

M. D. Norling,Inverse semigroupC ∗-algebras associated with left cancellative semigroups, Proc. Edinb. Math. Soc. (2)57(2014), no. 2, 533–564

2014
[49]

V. I. Paulsen,Completely bounded maps and operator algebras, Cambridge Studies in Advanced Mathematics, vol. 78, xii+300 pp., Cambridge University Press, Cambridge (2002)

2002
[50]

G. K. Pedersen,C ∗-algebras and their automorphism groups, London Mathematical Society Monographs, vol. 14, Academic Press, London (1979)

1979
[51]

M. V. Pimsner,A class ofC ∗-algebras generalizing both Cuntz–Krieger algebras and crossed products byZ, inFree probability theory(Waterloo, ON, 1995), 189–212, Fields Inst. Commun., vol. 12, Amer. Math. Soc., Providence, RI (1997)

1997
[52]

C. F. Sehnem,OnC ∗-algebras associated to product systems, J. Funct. Anal.277(2019), no. 2, 558–593

2019
[54]

Takesaki,Theory of operator algebras II, Encyclopaedia of Mathematical Sciences, vol

M. Takesaki,Theory of operator algebras II, Encyclopaedia of Mathematical Sciences, vol. 125, Springer, Berlin (2003)

2003
[55]

D. P. Williams,Crossed products ofC ∗-algebras, Mathematical Surveys and Monographs, vol. 134, American Mathematical Society, Providence, RI (2007). Department of Mathematics, National and Kapodistrian University of Athens, Athens, 157 84, Greece Email address:ioparask@math.uoa.gr

2007

Pith tools

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

[1] [15]

Dor-On and I

A. Dor-On and I. Thompson,The Hao–Ng isomorphism theorem for reduced crossed products, preprint, arXiv:2505.00587v3 (2026)

arXiv 2026

[2] [53]

C. F. Sehnem,C ∗-envelopes of tensor algebras of product systems, J. Funct. Anal.283(2022), no. 12, Paper No. 109707

work page 2022

[3] [27]

E. T. A. Kakariadis and I. A. Paraskevas,On Fock covariance for product systems and the reduced Hao– Ng isomorphism problem by discrete actions, Proc. Roy. Soc. Edinburgh Sect. A, First View (2025), 1–53, doi:10.1017/prm.2025.21

work page doi:10.1017/prm.2025.21 2025

[4] [1]

Abadie,Takai duality for crossed products by HilbertC ∗-bimodules, J

B. Abadie,Takai duality for crossed products by HilbertC ∗-bimodules, J. Operator Theory64(2010), no. 1, 19–34

work page 2010

[5] [2]

W. B. Arveson,Continuous analogues of Fock space, Mem. Amer. Math. Soc.80(1989), no. 409, iv+66 pp

work page 1989

[6] [3]

W. B. Arveson,The noncommutative Choquet boundary II: hyperrigidity, Israel J. Math.184(2011), 349–385

work page 2011

[7] [4]

B´ edos, S

E. B´ edos, S. Kaliszewski, J. Quigg and D. Robertson,A new look at crossed product correspondences and associatedC∗-algebras, J. Math. Anal. Appl.426(2015), no. 2, 1080–1098

work page 2015

[8] [5]

D. P. Blecher and C. Le Merdy,Operator algebras and their modules—an operator space approach, London Mathematical Society Monographs, New Series, vol. 30, Oxford University Press, Oxford, 2004

work page 2004