-
A note on Arveson's hyperrigidity and non-degenerate C*-correspondences
Authors:
Joseph A. Dessi,
Evgenios T. A. Kakariadis,
Ioannis Apollon Paraskevas
Abstract:
We revisit the results of Kim, and of Katsoulis and Ramsey concerning hyperrigidity for non-degenerate C*-correspondences. We show that the tensor algebra is hyperrigid, if and only if Katsura's ideal acts non-degenerately, if and only if Katsura's ideal acts non-degenerately under any representation. This gives a positive answer to the question of Katsoulis and Ramsey, showing that their necessar…
▽ More
We revisit the results of Kim, and of Katsoulis and Ramsey concerning hyperrigidity for non-degenerate C*-correspondences. We show that the tensor algebra is hyperrigid, if and only if Katsura's ideal acts non-degenerately, if and only if Katsura's ideal acts non-degenerately under any representation. This gives a positive answer to the question of Katsoulis and Ramsey, showing that their necessary condition and their sufficient condition for hyperrigidity of the tensor algebra are equivalent. Non-degeneracy of the left action of Katsura's ideal was also shown by Kim to be equivalent to hyperrigidity for the selfadjoint operator space associated with the C*-correspondence, and our approach provides a simplified proof of this result as well. In the process we revisit Arveson's criterion connecting maximality with the unique extension property and hyperrigidity, in conjunction with the work of Salomon on generating sets.
△ Less
Submitted 24 April, 2025; v1 submitted 20 March, 2025;
originally announced March 2025.
-
Symmetrisations of operator spaces
Authors:
George K. Eleftherakis,
Evgenios T. A. Kakariadis,
Ivan G. Todorov
Abstract:
Let $A$ be a unital C*-algebra, $S$ be an operator $A$-system and $E$ be an operator space that is a left operator $A$-module. We introduce the symmetrisation of the pair $(E,S)$ as the Hausdorff completion of the balanced tensor product $E^* \odot^{A} S \odot^{A} E$ with respect to a seminorm arising from the family of completely contractive completely positive $A$-balanced trilinear maps. We sho…
▽ More
Let $A$ be a unital C*-algebra, $S$ be an operator $A$-system and $E$ be an operator space that is a left operator $A$-module. We introduce the symmetrisation of the pair $(E,S)$ as the Hausdorff completion of the balanced tensor product $E^* \odot^{A} S \odot^{A} E$ with respect to a seminorm arising from the family of completely contractive completely positive $A$-balanced trilinear maps. We show that the symmetrisation is a selfadjoint operator space in the sense of W. Werner, possessing a universal mapping property for pairs of representations of $S$ and $E$, compatible with the $A$-module actions. We point out cases where the symmetrisation is an operator system, and where it does not admit an Archimedean order unit.
We study separately the case where $A = \mathbb{C}$; in this case, we show that the symmetrisation seminorm is a norm, which is equivalent to, yet different from, the Haagerup tensor norm. When $S = \mathbb{C}$ we show that the symmetrisation is compatible with taking operator space duals. In the case where $E$ is a function space and $S = \mathbb{C}$, we characterise the positive matricial cones of the symmetrisation in terms of positive semi-definiteness of naturally associated matrix-valued functions.
As an application, we provide a characterisation of Morita equivalence in the operator system category involving tensorial decomposition where the analytic structure is provided by the symmetrisation. This establishes an operator system counterpart of the factorisation Morita Theorem in other categories.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
On Fock covariance for product systems and the reduced Hao-Ng isomorphism problem by discrete actions
Authors:
Evgenios T. A. Kakariadis,
Ioannis Apollon Paraskevas
Abstract:
We provide a characterisation of equivariant Fock covariant injective representations for product systems. We show that this characterisation coincides with Nica covariance for compactly aligned product systems over right LCM semigroups of Kwaśniewski and Larsen, and with the Toeplitz representations of a discrete monoid of Laca and Sehnem. By combining with the framework established by Katsoulis…
▽ More
We provide a characterisation of equivariant Fock covariant injective representations for product systems. We show that this characterisation coincides with Nica covariance for compactly aligned product systems over right LCM semigroups of Kwaśniewski and Larsen, and with the Toeplitz representations of a discrete monoid of Laca and Sehnem. By combining with the framework established by Katsoulis and Ramsey, we resolve the reduced Hao-Ng isomorphism problem for generalised gauge actions by discrete groups.
△ Less
Submitted 1 March, 2025; v1 submitted 28 March, 2024;
originally announced March 2024.
-
Equivariant Nica-Pimsner quotients associated with strong compactly aligned product systems
Authors:
Joseph A. Dessi,
Evgenios T. A. Kakariadis
Abstract:
We parametrise the gauge-invariant ideals of the Toeplitz-Nica-Pimsner algebra of a strong compactly aligned product system over $\mathbb{Z}_+^d$ by using $2^d$-tuples of ideals of the coefficient algebra that are invariant, partially ordered, and maximal. We give an algebraic characterisation of maximality that allows the iteration of a $2^d$-tuple to the maximal one inducing the same gauge-invar…
▽ More
We parametrise the gauge-invariant ideals of the Toeplitz-Nica-Pimsner algebra of a strong compactly aligned product system over $\mathbb{Z}_+^d$ by using $2^d$-tuples of ideals of the coefficient algebra that are invariant, partially ordered, and maximal. We give an algebraic characterisation of maximality that allows the iteration of a $2^d$-tuple to the maximal one inducing the same gauge-invariant ideal. The parametrisation respects inclusions and intersections, while we characterise the join operation on the $2^d$-tuples that renders the parametrisation a lattice isomorphism.
The problem of the parametrisation of the gauge-invariant ideals is equivalent to the study of relative Cuntz-Nica-Pimsner algebras, for which we provide a generalised Gauge-Invariant Uniqueness Theorem. We focus further on equivariant quotients of the Cuntz-Nica-Pimsner algebra and provide applications to regular product systems, C*-dynamical systems, strong finitely aligned higher-rank graphs, and product systems on finite frames. In particular, we provide a description of the parametrisation for (possibly non-automorphic) C*-dynamical systems and row-finite higher-rank graphs, which squares with known results when restricting to crossed products and to locally convex row-finite higher-rank graphs.
△ Less
Submitted 2 December, 2024; v1 submitted 6 October, 2023;
originally announced October 2023.
-
Product systems and their representations: an approach using Fock spaces and Fell bundles
Authors:
Evgenios T. A. Kakariadis
Abstract:
In this exposition we highlight product systems as the semigroup analogue of Fell bundles. Motivated by Fock creation operators we extend the definition of Fowler's product systems over unital discrete left-cancellative semigroups, via both a concrete and an abstract characterization. We next underline the importance of Fock spaces and Fell bundle methods for obtaining covariant representation res…
▽ More
In this exposition we highlight product systems as the semigroup analogue of Fell bundles. Motivated by Fock creation operators we extend the definition of Fowler's product systems over unital discrete left-cancellative semigroups, via both a concrete and an abstract characterization. We next underline the importance of Fock spaces and Fell bundle methods for obtaining covariant representation results. First, the strongly covariant representations of Sehnem, for product systems over group embeddable semigroups, find their analogue here. Secondly, we give two solutions for the existence of the co-universal C*-algebra with respect to equivariant injective Fock-covariant representations in this context. The first one uses an intertwining isometry technique to realize it as the C*-envelope of the normal cosystem on the Fock tensor algebra. The second uses a Fell bundle quotient technique to realize it as the reduced C*-algebra of Sehnem's strong covariance relations. This C*-algebra is boundary for a larger class of equivariant injective representations.
△ Less
Submitted 25 November, 2021; v1 submitted 19 October, 2021;
originally announced October 2021.
-
Morita equivalence for operator systems
Authors:
George K. Eleftherakis,
Evgenios T. A. Kakariadis,
Ivan G. Todorov
Abstract:
We define $Δ$-equivalence for operator systems and show that it is identical to stable isomorphism. We define $Δ$-contexts and bihomomorphism contexts and show that two operator systems are $Δ$-equivalent if and only if they can be placed in a $Δ$-context, equivalently, in a bihomomorphism context. We show that nuclearity for a variety of tensor products is an invariant for $Δ$-equivalence and tha…
▽ More
We define $Δ$-equivalence for operator systems and show that it is identical to stable isomorphism. We define $Δ$-contexts and bihomomorphism contexts and show that two operator systems are $Δ$-equivalent if and only if they can be placed in a $Δ$-context, equivalently, in a bihomomorphism context. We show that nuclearity for a variety of tensor products is an invariant for $Δ$-equivalence and that function systems are $Δ$-equivalent precisely when they are order isomorphic. We prove that $Δ$-equivalent operator systems have equivalent categories of representations. As an application, we characterise $Δ$-equivalence of graph operator systems in combinatorial terms. We examine a notion of Morita embedding for operator systems, showing that mutually $Δ$-embeddable operator systems have orthogonally complemented $Δ$-equivalent corners.
△ Less
Submitted 9 March, 2022; v1 submitted 24 September, 2021;
originally announced September 2021.
-
Co-universality and controlled maps on product systems over right LCM-semigroups
Authors:
Evgenios T. A. Kakariadis,
Elias G. Katsoulis,
Marcelo Laca,
Xin Li
Abstract:
We study the structure of C*-algebras associated with compactly aligned product systems over group embeddable right LCM-semigroups. Towards this end we employ controlled maps and a controlled elimination method that associates the original cores to those of the controlling pair, and we combine with applications of the C*-envelope theory for cosystems of nonselfadjoint operator algebras recently pr…
▽ More
We study the structure of C*-algebras associated with compactly aligned product systems over group embeddable right LCM-semigroups. Towards this end we employ controlled maps and a controlled elimination method that associates the original cores to those of the controlling pair, and we combine with applications of the C*-envelope theory for cosystems of nonselfadjoint operator algebras recently produced. We derive several applications of these methods that generalize results on single C*-correspondences.
First we show that if the controlling group is exact then the co-universal C*-algebra of the product system coincides with the quotient of the Fock C*-algebra by the ideal of strong covariance relations. We show that if the controlling group is amenable then the product system is amenable. In particular if the controlling group is abelian then the co-universal C*-algebra is the C*-envelope of the tensor algebra.
Secondly we give necessary and sufficient conditions for the Fock C*-algebra to be nuclear and exact. When the controlling group is amenable we completely characterize nuclearity and exactness of any equivariant injective Nica-covariant representation of the product system.
Thirdly we consider controlled maps that enjoy a saturation property. In this case we induce a compactly aligned product system over the controlling pair that shares the same Fock representation, and preserves injectivity. By using co-universality, we show that they share the same reduced covariance algebras. If in addition the controlling pair is a total order then the fixed point algebra of the controlling group induces a super-product system that has the same reduced covariance algebra and is moreover reversible.
△ Less
Submitted 17 August, 2021;
originally announced August 2021.
-
Boundary quotient C*-algebras of semigroups
Authors:
Evgenios T. A. Kakariadis,
Elias G. Katsoulis,
Marcelo Laca,
Xin Li
Abstract:
We study two classes of operator algebras associated with a unital subsemigroup $P$ of a discrete group $G$: one related to universal structures, and one related to co-universal structures. First we provide connections between universal C*-algebras that arise variously from isometric representations of $P$ that reflect the space $\mathcal{J}$ of constructible right ideals, from associated Fell bun…
▽ More
We study two classes of operator algebras associated with a unital subsemigroup $P$ of a discrete group $G$: one related to universal structures, and one related to co-universal structures. First we provide connections between universal C*-algebras that arise variously from isometric representations of $P$ that reflect the space $\mathcal{J}$ of constructible right ideals, from associated Fell bundles, and from induced partial actions. This includes connections of appropriate quotients with the strong covariance relations in the sense of Sehnem. We then pass to the reduced representation $\mathrm{C}^*_λ(P)$ and we consider the boundary quotient $\partial \mathrm{C}^*_λ(P)$ related to the minimal boundary space. We show that $\partial \mathrm{C}^*_λ(P)$ is co-universal in two different classes: (a) with respect to the equivariant constructible isometric representations of $P$; and (b) with respect to the equivariant C*-covers of the reduced nonselfadjoint semigroup algebra $\mathcal{A}(P)$. If $P$ is an Ore semigroup, or if $G$ acts topologically freely on the minimal boundary space, then $\partial \mathrm{C}^*_λ(P)$ coincides with the usual C*-envelope $\mathrm{C}^*_{\text{env}}(\mathcal{A}(P))$ in the sense of Arveson. This covers total orders, finite type and right-angled Artin monoids, the Thompson monoid, multiplicative semigroups of nonzero algebraic integers, and the $ax+b$-semigroups over integral domains that are not a field. In particular, we show that $P$ is an Ore semigroup if and only if there exists a canonical $*$-isomorphism from $\partial \mathrm{C}^*_λ(P)$, or from $\mathrm{C}^*_{\text{env}}(\mathcal{A}(P))$, onto $\mathrm{C}^*_λ(G)$. If any of the above holds, then $\mathcal{A}(P)$ is shown to be hyperrigid.
△ Less
Submitted 16 May, 2021; v1 submitted 2 May, 2021;
originally announced May 2021.
-
C*-envelopes for operator algebras with a coaction and co-universal C*-algebras for product systems
Authors:
Adam Dor-On,
Evgenios T. A. Kakariadis,
Elias G. Katsoulis,
Marcelo Laca,
Xin Li
Abstract:
A cosystem consists of a possibly nonselfadoint operator algebra equipped with a coaction by a discrete group. We introduce the concept of C*-envelope for a cosystem; roughly speaking, this is the smallest C*-algebraic cosystem that contains an equivariant completely isometric copy of the original one. We show that the C*-envelope for a cosystem always exists and we explain how it relates to the u…
▽ More
A cosystem consists of a possibly nonselfadoint operator algebra equipped with a coaction by a discrete group. We introduce the concept of C*-envelope for a cosystem; roughly speaking, this is the smallest C*-algebraic cosystem that contains an equivariant completely isometric copy of the original one. We show that the C*-envelope for a cosystem always exists and we explain how it relates to the usual C*-envelope. We then show that for compactly aligned product systems over group-embeddable right LCM semigroups, the C*-envelope is co-universal, in the sense of Carlsen, Larsen, Sims and Vittadello, for the Fock tensor algebra equipped with its natural coaction. This yields the existence of a co-universal C*-algebra, generalizing previous results of Carlsen, Larsen, Sims and Vittadello, and of Dor-On and Katsoulis. We also realize the C*-envelope of the tensor algebra as the reduced cross sectional algebra of a Fell bundle introduced by Sehnem, which, under a mild assumption of normality, we then identify to the quotient of the Fock algebra by the image of Sehnem's strong covariance ideal. In another application, we obtain a reduced Hao-Ng isomorphism theorem for the co-universal algebras.
△ Less
Submitted 25 January, 2022; v1 submitted 22 December, 2020;
originally announced December 2020.
-
Applications of entropy of product systems: higher-rank graphs
Authors:
Evgenios T. A. Kakariadis
Abstract:
We consider C*-algebras of finite higher-rank graphs along with their rotational action. We show how the entropy theory of product systems with finite frames applies to identify the phase transitions of the dynamics. We compute the positive inverse temperatures where symmetry breaks, and in particular we identify the subharmonic parts of the gauge-invariant equilibrium states. Our analysis applies…
▽ More
We consider C*-algebras of finite higher-rank graphs along with their rotational action. We show how the entropy theory of product systems with finite frames applies to identify the phase transitions of the dynamics. We compute the positive inverse temperatures where symmetry breaks, and in particular we identify the subharmonic parts of the gauge-invariant equilibrium states. Our analysis applies to positively weighted rotational actions through a recalibration of the entropies.
△ Less
Submitted 23 January, 2020;
originally announced January 2020.
-
Finite dimensional approximations for Nica-Pimsner algebras
Authors:
Evgenios T. A. Kakariadis
Abstract:
We give necessary and sufficient conditions for nuclearity of Cuntz-Nica-Pimsner algebras for a variety of quasi-lattice ordered groups. First we deal with the free abelian lattice case. We use this as a stepping stone to tackle product systems over quasi-lattices that are controlled by the free abelian lattice and satisfy a minimality property. Our setting accommodates examples like the Baumslag-…
▽ More
We give necessary and sufficient conditions for nuclearity of Cuntz-Nica-Pimsner algebras for a variety of quasi-lattice ordered groups. First we deal with the free abelian lattice case. We use this as a stepping stone to tackle product systems over quasi-lattices that are controlled by the free abelian lattice and satisfy a minimality property. Our setting accommodates examples like the Baumslag-Solitar lattice for $n=m>0$ and the right-angled Artin groups. More generally the class of quasi-lattices for which our results apply is closed under taking semi-direct and graph products.
In the process we accomplish more. Our arguments tackle Nica-Pimsner algebras that admit a faithful conditional expectation on a small fixed point algebra and a faithful copy of the co-efficient algebra. This is the case for CNP-relative quotients in-between the Toeplitz-Nica-Pimsner algebra and the Cuntz-Nica-Pimsner algebra. We complete this study with the relevant results on exactness.
△ Less
Submitted 22 April, 2019;
originally announced April 2019.
-
Operator algebras of higher rank numerical semigroups
Authors:
Evgenios T. A. Kakariadis,
Elias G. Katsoulis,
Xin Li
Abstract:
A higher rank numerical semigroup is a positive cone whose seminormalization is isomorphic to the free abelian semigroup. The corresponding nonselfadjoint semigroup algebras are known to provide examples that answer Arveson's Dilation Problem to the negative. Here we show that these algebras share the polydisc as the character space in a canonical way. We subsequently use this feature in order to…
▽ More
A higher rank numerical semigroup is a positive cone whose seminormalization is isomorphic to the free abelian semigroup. The corresponding nonselfadjoint semigroup algebras are known to provide examples that answer Arveson's Dilation Problem to the negative. Here we show that these algebras share the polydisc as the character space in a canonical way. We subsequently use this feature in order to identify higher rank numerical semigroups from the corresponding nonselfadjoint algebras.
△ Less
Submitted 14 March, 2020; v1 submitted 10 February, 2019;
originally announced February 2019.
-
Equilibrium states and entropy theory for Nica-Pimsner algebras
Authors:
Evgenios T. A. Kakariadis
Abstract:
We study the equilibrium simplex of Nica-Pimsner algebras arising from product systems of finite rank on the free abelian semigroup. First we show that every equilibrium state has a convex decomposition into parts parametrized by ideals on the unit hypercube. Secondly we associate every gauge-invariant part to a sub-simplex of tracial states of the diagonal algebra. We show how this parametrizatio…
▽ More
We study the equilibrium simplex of Nica-Pimsner algebras arising from product systems of finite rank on the free abelian semigroup. First we show that every equilibrium state has a convex decomposition into parts parametrized by ideals on the unit hypercube. Secondly we associate every gauge-invariant part to a sub-simplex of tracial states of the diagonal algebra. We show how this parametrization lifts to the full equilibrium simplices of non-infinite type.
The finite rank entails an entropy theory for identifying the two critical inverse temperatures: (a) the least upper bound for existence of non finite-type equilibrium states, and (b) the least positive inverse temperature below which there are no equilibrium states at all. We show that the first one can be at most the strong entropy of the product system whereas the second is the infimum of the tracial entropies (modulo negative values). Thus phase transitions can happen only in-between these two critical points and possibly at zero temperature.
△ Less
Submitted 30 December, 2019; v1 submitted 6 June, 2018;
originally announced June 2018.
-
Operator algebras for higher rank analysis and their application to factorial languages
Authors:
Adam Dor-On,
Evgenios T. A. Kakariadis
Abstract:
We study strong compactly aligned product systems of $\mathbb{Z}_+^N$ over a C*-algebra $A$. We provide a description of their Cuntz-Nica-Pimsner algebra in terms of tractable relations coming from ideals of $A$. This approach encompasses product systems where the left action is given by compacts, as well as a wide class of higher rank graphs (beyond row-finite).
Moreover we analyze higher rank…
▽ More
We study strong compactly aligned product systems of $\mathbb{Z}_+^N$ over a C*-algebra $A$. We provide a description of their Cuntz-Nica-Pimsner algebra in terms of tractable relations coming from ideals of $A$. This approach encompasses product systems where the left action is given by compacts, as well as a wide class of higher rank graphs (beyond row-finite).
Moreover we analyze higher rank factorial languages and their C*-algebras. Many of the rank one results in the literature find here their higher rank analogues. In particular, we show that the Cuntz-Nica-Pimsner algebra of a higher rank sofic language coincides with the Cuntz-Krieger algebra of its unlabeled follower set higher rank graph. However there are also differences. For example, the Cuntz-Nica-Pimsner can lie in-between the first quantization and its quotient by the compactly supported operators.
△ Less
Submitted 16 July, 2019; v1 submitted 29 March, 2018;
originally announced March 2018.
-
Entropy theory for the parametrization of the equilibrium states of Pimsner algebras
Authors:
Evgenios T. A. Kakariadis
Abstract:
We consider Pimsner algebras that arise from C*-correspondences of finite rank, as dynamical systems with their rotational action. We revisit the Laca-Neshveyev classification of their equilibrium states at positive inverse temperature along with the parametrizations of the finite and the infinite parts simplices by tracial states on the diagonal. The finite rank entails an entropy theory that sha…
▽ More
We consider Pimsner algebras that arise from C*-correspondences of finite rank, as dynamical systems with their rotational action. We revisit the Laca-Neshveyev classification of their equilibrium states at positive inverse temperature along with the parametrizations of the finite and the infinite parts simplices by tracial states on the diagonal. The finite rank entails an entropy theory that shapes the KMS-structure. We prove that the infimum of the tracial entropies dictates the critical inverse temperature, below which there are no equilibrium states for all Pimsner algebras. We view the latter as the entropy of the ambient C*-correspondence. This may differ from what we call strong entropy, above which there are no equilibrium states of infinite type. In particular, when the diagonal is abelian then the strong entropy is a maximum critical temperature for those. In this sense we complete the parametrization method of Laca-Raeburn and unify a number of examples in the literature.
△ Less
Submitted 25 February, 2019; v1 submitted 23 December, 2017;
originally announced December 2017.
-
A proof of Boca's Theorem
Authors:
Kenneth R. Davidson,
Evgenios T. A. Kakariadis
Abstract:
We give a general method of extending unital completely positive maps to amalgamated free products of C*-algebras. As an application we give a dilation theoretic proof of Boca's Theorem.
We give a general method of extending unital completely positive maps to amalgamated free products of C*-algebras. As an application we give a dilation theoretic proof of Boca's Theorem.
△ Less
Submitted 11 July, 2017; v1 submitted 5 June, 2017;
originally announced June 2017.
-
Free multivariate w*-semicrossed products: reflexivity and the bicommutant property
Authors:
Robert T. Bickerton,
Evgenios T. A. Kakariadis
Abstract:
We study w*-semicrossed products over actions of the free semigroup and the free abelian semigroup on (possibly non-selfadjoint) w*-closed algebras. We show that they are reflexive when the dynamics are implemented by uniformly bounded families of invertible row operators. Combining with results of Helmer we derive that w*-semicrossed products over factors (on a separable Hilbert space) are reflex…
▽ More
We study w*-semicrossed products over actions of the free semigroup and the free abelian semigroup on (possibly non-selfadjoint) w*-closed algebras. We show that they are reflexive when the dynamics are implemented by uniformly bounded families of invertible row operators. Combining with results of Helmer we derive that w*-semicrossed products over factors (on a separable Hilbert space) are reflexive. Furthermore we show that w*-semicrossed products of automorphic actions on maximal abelian selfadjoint algebras are reflexive. In all cases we prove that the w*-semicrossed products have the bicommutant property if and only if so does the ambient algebra of the dynamics.
△ Less
Submitted 9 July, 2017; v1 submitted 10 January, 2017;
originally announced January 2017.
-
On the quantized dynamics of factorial languages
Authors:
Christopher Barrett,
Evgenios T. A. Kakariadis
Abstract:
We study local piecewise conjugacy of the quantized dynamics arising from factorial languages. We show that it induces a bijection between allowable words of same length and thus it preserves entropy. In the case of sofic factorial languages we prove that local piecewise conjugacy translates to unlabeled graph isomorphism of the follower set graphs. Moreover it induces an unlabeled graph isomorphi…
▽ More
We study local piecewise conjugacy of the quantized dynamics arising from factorial languages. We show that it induces a bijection between allowable words of same length and thus it preserves entropy. In the case of sofic factorial languages we prove that local piecewise conjugacy translates to unlabeled graph isomorphism of the follower set graphs. Moreover it induces an unlabeled graph isomorphism between the Fischer covers of irreducible subshifts. We verify that local piecewise conjugacy does not preserve finite type nor irreducibility; but it preserves soficity. Moreover it implies identification (up to a permutation) for factorial languages of type $1$ if, and only if, the follower set function is one-to-one on the symbol set.
△ Less
Submitted 29 June, 2017; v1 submitted 21 November, 2016;
originally announced November 2016.
-
Morita equivalence of C*-correspondences passes to the related operator algebras
Authors:
George K. Eleftherakis,
Evgenios T. A. Kakariadis,
Elias G. Katsoulis
Abstract:
We revisit a central result of Muhly and Solel on operator algebras of C*-correspondences. We prove that (possibly non-injective) strongly Morita equivalent C*-correspondences have strongly Morita equivalent relative Cuntz-Pimsner C*-algebras. The same holds for strong Morita equivalence (in the sense of Blecher, Muhly and Paulsen) and strong $Δ$-equivalence (in the sense of Eleftherakis) for the…
▽ More
We revisit a central result of Muhly and Solel on operator algebras of C*-correspondences. We prove that (possibly non-injective) strongly Morita equivalent C*-correspondences have strongly Morita equivalent relative Cuntz-Pimsner C*-algebras. The same holds for strong Morita equivalence (in the sense of Blecher, Muhly and Paulsen) and strong $Δ$-equivalence (in the sense of Eleftherakis) for the related tensor algebras. In particular, we obtain stable isomorphism of the operator algebras when the equivalence is given by a $σ$-TRO. As an application we show that strong Morita equivalence coincides with strong $Δ$-equivalence for tensor algebras of aperiodic C*-correspondences.
△ Less
Submitted 19 January, 2017; v1 submitted 13 November, 2016;
originally announced November 2016.
-
Strong Morita equivalence of operator spaces
Authors:
George K. Eleftherakis,
Evgenios T. A. Kakariadis
Abstract:
We introduce and examine the notions of strong $Δ$-equivalence and strong TRO equivalence for operator spaces. We show that they behave in an analogous way to how strong Morita equivalence does for the category of C*-algebras. In particular, we prove that strong $Δ$-equivalence coincides with stable isomorphism under the expected countability hypothesis, and that strongly TRO equivalent operator s…
▽ More
We introduce and examine the notions of strong $Δ$-equivalence and strong TRO equivalence for operator spaces. We show that they behave in an analogous way to how strong Morita equivalence does for the category of C*-algebras. In particular, we prove that strong $Δ$-equivalence coincides with stable isomorphism under the expected countability hypothesis, and that strongly TRO equivalent operator spaces admit a correspondence between particular representations. Furthermore we show that strongly $Δ$-equivalent operator spaces have stably isomorphic second duals and strongly $Δ$-equivalent TRO envelopes. In the case of unital operator spaces, strong $Δ$-equivalence implies stable isomorphism of the C*-envelopes.
△ Less
Submitted 24 September, 2016; v1 submitted 31 March, 2016;
originally announced March 2016.
-
On operator algebras associated with monomial ideals in noncommuting variables
Authors:
Evgenios T. A. Kakariadis,
Orr M. Shalit
Abstract:
We study operator algebras arising from monomial ideals in the ring of polynomials in noncommuting variables, through the apparatus of subproduct systems and C*-correspondences.
We provide a full comparison amongst the related operator algebras. For our analysis we isolate a partially defined dynamical system, to which we refer as the {\em quantised dynamics} of the monomial ideal.
In addition we…
▽ More
We study operator algebras arising from monomial ideals in the ring of polynomials in noncommuting variables, through the apparatus of subproduct systems and C*-correspondences.
We provide a full comparison amongst the related operator algebras. For our analysis we isolate a partially defined dynamical system, to which we refer as the {\em quantised dynamics} of the monomial ideal.
In addition we revisit several previously considered constructions. These include Matsumoto's subshift C*-algebras, as well as the tensor and the Pimsner algebras associated with dynamical systems or graphs. We sort out the various relations by giving concrete conditions and counterexamples that orientate the operator algebras of our context.
It appears that the boundary C*-algebras do not arise as the quotient with the compact operators unconditionally. We establish a dichotomy to this effect by examining the resulting tensor algebras. We identify their boundary representations, we analyse their C*-envelopes, and we give criteria for hyperrigidity. Moreover we completely classify them in terms of the data provided by the monomial ideals. For tensor algebras of C*-correspondences and bounded isomorphisms this is achieved up to the level of local conjugacy (in the sense of Davidson and Roydor) for the quantised dynamics. For tensor algebras of subproduct systems and algebraic isomorphisms this is achieved up to the level of equality of monomial ideals modulo permutations of the variables.
In the process we accomplish more in different directions. Most notably we show that tensor algebras form a complete invariant for isomorphic (resp. similar) subproduct systems of homogeneous ideals up to isometric (resp. bounded) isomorphisms.
The results on local conjugacy are obtained via an alternative proof of the breakthrough result of Davidson and Katsoulis on piecewise conjugate systems. For our purposes we use appropriate compressions of the Fock representation. We then apply this alternative proof locally for the partially defined quantised dynamics. In this way we avoid the topological graphs machinery and pave the way for further applications. These include operator algebras of dynamical systems over commuting contractions or over row commuting contractions.
△ Less
Submitted 21 November, 2018; v1 submitted 26 January, 2015;
originally announced January 2015.
-
On Nica-Pimsner algebras of C*-dynamical systems over $\mathbb{Z}_+^n$
Authors:
Evgenios T. A. Kakariadis
Abstract:
We examine Nica-Pimsner algebras associated with semigroup actions of $\mathbb{Z}_+^n$ on a C*-algebra $A$ by $*$-endomorphisms. We give necessary and sufficient conditions on the dynamics for exactness and nuclearity of the Nica-Pimsner algebras. Furthermore we parameterize the KMS states at finite temperature by the tracial states on $A$. A parametrization is also shown for KMS states at zero te…
▽ More
We examine Nica-Pimsner algebras associated with semigroup actions of $\mathbb{Z}_+^n$ on a C*-algebra $A$ by $*$-endomorphisms. We give necessary and sufficient conditions on the dynamics for exactness and nuclearity of the Nica-Pimsner algebras. Furthermore we parameterize the KMS states at finite temperature by the tracial states on $A$. A parametrization is also shown for KMS states at zero temperature (resp. ground states) by the tracial states on $A$ (resp. states on $A$). Finally we give a formula for obtaining tracial states on the Nica-Pimsner algebras.
△ Less
Submitted 9 March, 2016; v1 submitted 18 November, 2014;
originally announced November 2014.
-
KMS states on Pimsner algebras associated with C*-dynamical systems
Authors:
Evgenios T. A. Kakariadis
Abstract:
We examine the theory of the KMS states on Pimsner algebras arising from multivariable unital C*-dynamical systems. As an application we show that Pimsner algebras of piecewise conjugate classical systems attain the same KMS states, even though it is still an open problem whether or not they are $*$-isomorphic.
We examine the theory of the KMS states on Pimsner algebras arising from multivariable unital C*-dynamical systems. As an application we show that Pimsner algebras of piecewise conjugate classical systems attain the same KMS states, even though it is still an open problem whether or not they are $*$-isomorphic.
△ Less
Submitted 19 March, 2015; v1 submitted 12 November, 2014;
originally announced November 2014.
-
Ergodic extensions and Hilbert modules associated to endomorphisms of MASAS
Authors:
Evgenios T. A. Kakariadis,
Justin R. Peters
Abstract:
We show that a class of ergodic transformations on a probability measure space $(X,μ)$ extends to a representation of $\mathcal{B}(L^2(X,μ))$ that is both implemented by a Cuntz family and ergodic. This class contains several known examples, which are unified in this work.
During the analysis of the existence and uniqueness of such a Cuntz family we give several results of individual interest. M…
▽ More
We show that a class of ergodic transformations on a probability measure space $(X,μ)$ extends to a representation of $\mathcal{B}(L^2(X,μ))$ that is both implemented by a Cuntz family and ergodic. This class contains several known examples, which are unified in this work.
During the analysis of the existence and uniqueness of such a Cuntz family we give several results of individual interest. Most notably we prove a decomposition of $X$ for $N$-to-one local homeomorphisms that is connected to the orthonormal basis of Hilbert modules. We remark that the trivial Hilbert module of the Cuntz algebra $\mathcal{O}_N$ does not have a well-defined Hilbert module basis (moreover that it is unitarily equivalent to the module sum $\sum_{i=1}^n \mathcal{O}_N$ for infinitely many $n \in \mathbb{N}$).
△ Less
Submitted 27 October, 2014; v1 submitted 22 October, 2014;
originally announced October 2014.
-
A Note on the Gauge Invariant Uniqueness Theorem for C*-correspondences
Authors:
Evgenios T. A. Kakariadis
Abstract:
We present a short proof of the gauge invariant uniqueness theorem for relative Cuntz-Pimsner algebras of C*-correspondences.
We present a short proof of the gauge invariant uniqueness theorem for relative Cuntz-Pimsner algebras of C*-correspondences.
△ Less
Submitted 16 September, 2014; v1 submitted 9 April, 2014;
originally announced April 2014.
-
Semicrossed Products of Operator Algebras: A Survey
Authors:
Kenneth R. Davidson,
Adam H. Fuller,
Evgenios T. A. Kakariadis
Abstract:
Semicrossed product algebras have been used to study dynamical systems since their introduction by Arveson in 1967. In this survey article, we discuss the history and some recent work, focussing on the conjugacy problem, dilation theory and C*-envelopes, and some connections back to the dynamics
Semicrossed product algebras have been used to study dynamical systems since their introduction by Arveson in 1967. In this survey article, we discuss the history and some recent work, focussing on the conjugacy problem, dilation theory and C*-envelopes, and some connections back to the dynamics
△ Less
Submitted 5 April, 2014;
originally announced April 2014.
-
Semicrossed Products of Operator Algebras by Semigroups
Authors:
Kenneth R. Davidson,
Adam H. Fuller,
Evgenios T. A. Kakariadis
Abstract:
We examine the semicrossed products of a semigroup action by $*$-endomorphisms on a C*-algebra, or more generally of an action on an arbitrary operator algebra by completely contractive endomorphisms. The choice of allowable representations affects the corresponding universal algebra. We seek quite general conditions which will allow us to show that the C*-envelope of the semicrossed product is (a…
▽ More
We examine the semicrossed products of a semigroup action by $*$-endomorphisms on a C*-algebra, or more generally of an action on an arbitrary operator algebra by completely contractive endomorphisms. The choice of allowable representations affects the corresponding universal algebra. We seek quite general conditions which will allow us to show that the C*-envelope of the semicrossed product is (a full corner of) a crossed product of an auxiliary C*-algebra by a group action.
Our analysis concerns a case-by-case dilation theory on covariant pairs. In the process we determine the C*-envelope for various semicrossed products of (possibly nonselfadjoint) operator algebras by spanning cones and lattice-ordered abelian semigroups.
In particular, we show that the C*-envelope of the semicrossed product of C*-dynamical systems by doubly commuting representations of $\mathbb{Z}^n_+$ (by generally non-injective endomorphisms) is the full corner of a C*-crossed product. In consequence we connect the ideal structure of C*-covers to properties of the actions. In particular, when the system is classical, we show that the C*-envelope is simple if and only if the action is injective and minimal.
The dilation methods that we use may be applied to non-abelian semigroups. We identify the C*-envelope for actions of the free semigroup $\mathbb{F}_+^n$ by automorphisms in a concrete way, and for injective systems in a more abstract manner. We also deal with C*-dynamical systems over Ore semigroups when the appropriate covariance relation is considered.
△ Less
Submitted 11 January, 2016; v1 submitted 5 April, 2014;
originally announced April 2014.
-
The Dirichlet Property for Tensor Algebras
Authors:
Evgenios T. A. Kakariadis
Abstract:
We prove that the tensor algebra of a C*-correspondence $X$ is Dirichlet if and only if $X$ is a Hilbert bimodule. As a consequence, we point out and fix an error appearing in the proof of a famous result of Duncan. Secondly we answer a question raised by Davidson and Katsoulis concerning tensor algebras and semi-Dirichlet algebras, by giving an example of a Dirichlet algebra that cannot be descri…
▽ More
We prove that the tensor algebra of a C*-correspondence $X$ is Dirichlet if and only if $X$ is a Hilbert bimodule. As a consequence, we point out and fix an error appearing in the proof of a famous result of Duncan. Secondly we answer a question raised by Davidson and Katsoulis concerning tensor algebras and semi-Dirichlet algebras, by giving an example of a Dirichlet algebra that cannot be described as the tensor algebra of any C*-correspondence. Furthermore we show that the adding tail technique, as extended by the author and Katsoulis, applies in a unique way to preserve the class of Hilbert bimodules. The exploitation of these ideas implies that the tensor algebra of row-finite graphs, the tensor algebra of multivariable automorphic $\ca$- dynamics and Peters' semicrossed product of an injective $\ca$-dynamical system have the unique extension property. The two latter provide examples of non-separable operator algebras that admit a Choquet boundary in the sense of Arveson.
△ Less
Submitted 14 January, 2013;
originally announced January 2013.
-
Representations of C*-dynamical systems implemented by Cuntz families
Authors:
Evgenios T. A. Kakariadis,
Justin R. Peters
Abstract:
Given a dynamical system $(A,\al)$ where $A$ is a unital $\ca$-algebra and $\al$ is a (possibly non-unital) *-endomorphism of $A$, we examine families $(π,\{T_i\})$ such that $π$ is a representation of $A$, $\{T_i\}$ is a Toeplitz-Cuntz family and a covariance relation holds. We compute a variety of non-selfadjoint operator algebras that depend on the choice of the covariance relation, along with…
▽ More
Given a dynamical system $(A,\al)$ where $A$ is a unital $\ca$-algebra and $\al$ is a (possibly non-unital) *-endomorphism of $A$, we examine families $(π,\{T_i\})$ such that $π$ is a representation of $A$, $\{T_i\}$ is a Toeplitz-Cuntz family and a covariance relation holds. We compute a variety of non-selfadjoint operator algebras that depend on the choice of the covariance relation, along with the smallest $\ca$-algebra they generate, namely the $\ca$-envelope. We then relate each occurrence of the $\ca$-envelope to (a full corner of) an appropriate twisted crossed product. We provide a counterexample to show the extent of this variety. In the context of $\ca$-algebras, these results can be interpreted as analogues of Stacey's famous result, for non-automorphic systems and $n>1$.
Our study involves also the one variable generalized crossed products of Stacey and Exel. In particular, we refine a result that appears in the pioneering paper of Exel on (what is now known as) Exel systems.
△ Less
Submitted 16 September, 2014; v1 submitted 22 December, 2012;
originally announced December 2012.
-
Isomorphism Invariants for Multivariable C*-Dynamics
Authors:
Evgenios T. A. Kakariadis,
Elias G. Katsoulis
Abstract:
To a given multivariable C*-dynamical system $(A, \al)$ consisting of *-automorphisms, we associate a family of operator algebras $\alg(A, \al)$, which includes as specific examples the tensor algebra and the semicrossed product. It is shown that if two such operator algebras $\alg(A, \al)$ and $\alg(B, \be)$ are isometrically isomorphic, then the induced dynamical systems $(\hat{A}, \hat{\al})$ a…
▽ More
To a given multivariable C*-dynamical system $(A, \al)$ consisting of *-automorphisms, we associate a family of operator algebras $\alg(A, \al)$, which includes as specific examples the tensor algebra and the semicrossed product. It is shown that if two such operator algebras $\alg(A, \al)$ and $\alg(B, \be)$ are isometrically isomorphic, then the induced dynamical systems $(\hat{A}, \hat{\al})$ and $(\hat{B}, \hat{\be})$ on the Fell spectra are piecewise conjugate, in the sense of Davidson and Katsoulis.
In the course of proving the above theorem we obtain several results of independent interest. If $\alg(A, \al)$ and $\alg(B, \be)$ are isometrically isomorphic, then the associated correspondences $X_{(A, \al)}$ and $X_{(B, \be)}$ are unitarily equivalent. In particular, the tensor algebras are isometrically isomorphic if and only if the associated correspondences are unitarily equivalent. Furthermore, isomorphism of semicrossed products implies isomorphism of the associated tensor algebras.
In the case of multivariable systems acting on C*-algebras with trivial center, unitary equivalence of the associated correspondences reduces to outer conjugacy of the systems. This provides a complete invariant for isometric isomorphisms between semicrossed products as well.
△ Less
Submitted 16 September, 2014; v1 submitted 22 October, 2012;
originally announced October 2012.
-
Operator algebras and C*-correspondences: A survey
Authors:
Evgenios T. A. Kakariadis,
Elias G. Katsoulis
Abstract:
In this paper we survey our recent work on C*-correspondences and their associated operator algebras; in particular, on adding tails, the Shift Equivalence Problem and Hilbert bimodules.
In this paper we survey our recent work on C*-correspondences and their associated operator algebras; in particular, on adding tails, the Shift Equivalence Problem and Hilbert bimodules.
△ Less
Submitted 22 October, 2012;
originally announced October 2012.
-
C*-algebras and Equivalences for C*-correspondences
Authors:
Evgenios T. A. Kakariadis,
Elias G. Katsoulis
Abstract:
We study several notions of shift equivalence for C*-correspondences and the effect that these equivalences have on the corresponding Pimsner dilations. Among others, we prove that non-degenerate, regular, full C*-correspondences which are shift equivalent have strong Morita equivalent Pimsner dilations. We also establish that the converse may not be true. These results settle open problems in the…
▽ More
We study several notions of shift equivalence for C*-correspondences and the effect that these equivalences have on the corresponding Pimsner dilations. Among others, we prove that non-degenerate, regular, full C*-correspondences which are shift equivalent have strong Morita equivalent Pimsner dilations. We also establish that the converse may not be true. These results settle open problems in the literature.
In the context of C*-algebras, we prove that if two non-degenerate, regular, full C*-correspondences are shift equivalent, then their corresponding Cuntz-Pimsner algebras are strong Morita equivalent. This generalizes results of Cuntz and Krieger and Muhly, Tomforde and Pask. As a consequence, if two subshifts of finite type are eventually conjugate, then their Cuntz-Krieger algebras are strong Morita equivalent.
Our results suggest a natural analogue of the Shift Equivalence Problem in the context of C*-correspondences. Even though we do not resolve the general Shift Equivalence Problem, we obtain a positive answer for the class of imprimitivity bimodules.
△ Less
Submitted 28 June, 2022; v1 submitted 22 October, 2012;
originally announced October 2012.
-
Conjugate Dynamical Systems on C*-algebras
Authors:
Kenneth R. Davidson,
Evgenios T. A. Kakariadis
Abstract:
Let $(A, α)$ and $(B, β)$ be C*-dynamical systems where $α$ and $β$ are arbitrary *-endomorphisms. When $α$ is injective or surjective, we show that the semicrossed products $A \times_α\mathbb{Z}$ and $B \times_β\mathbb{Z}$ are isometrically isomorphic if and only if $(A, α)$ and $(B, β)$ are outer conjugate. This conclusion also holds in various other cases as well.
Let $(A, α)$ and $(B, β)$ be C*-dynamical systems where $α$ and $β$ are arbitrary *-endomorphisms. When $α$ is injective or surjective, we show that the semicrossed products $A \times_α\mathbb{Z}$ and $B \times_β\mathbb{Z}$ are isometrically isomorphic if and only if $(A, α)$ and $(B, β)$ are outer conjugate. This conclusion also holds in various other cases as well.
△ Less
Submitted 14 May, 2012;
originally announced May 2012.
-
The Šilov Boundary for Operator Spaces
Authors:
Evgenios T. A. Kakariadis
Abstract:
Motivated by the recent interest in the examination of unital completely positive maps and their effects in C*-theory, we revisit an older result concerning the existence of the Šilov ideal. The direct proof of Hamana's theorem for the existence of an injective envelope for a unital operator subspace X of some B(H) that we provide implies that the Šilov ideal is the intersection of C*(X) with any…
▽ More
Motivated by the recent interest in the examination of unital completely positive maps and their effects in C*-theory, we revisit an older result concerning the existence of the Šilov ideal. The direct proof of Hamana's theorem for the existence of an injective envelope for a unital operator subspace X of some B(H) that we provide implies that the Šilov ideal is the intersection of C*(X) with any maximal boundary operator subsystem in B(H). As an immediate consequence we deduce that the Šilov ideal is the biggest boundary operator subsystem for X in C*(X).
The new proof of the existence of the Šilov ideal that we give does not use the existence of maximal dilations, provided by Dritschel and McCullough, and so it is independent of the one given by Arveson. As a countereffect, the Šilov ideal can be seen as the set that contains the abnormalities in a C*-cover (C,ι) of X for all the extensions of the identity map on ι(X). The interpretation of our results in terms of ucp maps characterizes the maximal boundary subsystems of X in B(H) as kernels of X-projections that induce completely minimal X-seminorms; equivalently, X-minimal projections with range being an injective envelope, that we view from now on as the Šilov boundary for X.
△ Less
Submitted 14 January, 2013; v1 submitted 19 April, 2012;
originally announced April 2012.
-
Semicrossed products of C*-algebras and their C*-envelopes
Authors:
Evgenios T. A. Kakariadis
Abstract:
Let $\mathcal{C}$ be a C*-algebra and $α:\mathcal{C} \rightarrow \mathcal{C}$ a unital *-endomorphism. There is a natural way to construct operator algebras which are called semicrossed products, using a convolution induced by the action of $α$ on $\mathcal{C}$. We show that the C*-envelope of a semicrossed product is (a full corner of) a crossed product. As a consequence, we get that, when $α$ is…
▽ More
Let $\mathcal{C}$ be a C*-algebra and $α:\mathcal{C} \rightarrow \mathcal{C}$ a unital *-endomorphism. There is a natural way to construct operator algebras which are called semicrossed products, using a convolution induced by the action of $α$ on $\mathcal{C}$. We show that the C*-envelope of a semicrossed product is (a full corner of) a crossed product. As a consequence, we get that, when $α$ is *-injective, the semicrossed products are completely isometrically isomorphic and share the same C*-envelope, the crossed product $\mathcal{C}_\infty \rtimes_{α_\infty} \mathbb{Z}$. We show that minimality of the dynamical system $(\mathcal{C},α)$ is equivalent to non-existence of non-trivial Fourier invariant ideals in the C*-envelope. We get sharper results for commutative dynamical systems.
△ Less
Submitted 3 October, 2014; v1 submitted 10 February, 2011;
originally announced February 2011.
-
Contributions to the theory of C*-correspondences with applications to multivariable dynamics
Authors:
Evgenios T. A. Kakariadis,
Elias G. Katsoulis
Abstract:
Motivated by the theory of tensor algebras and multivariable C*-dynamics, we revisit two fundamental techniques in the theory of C*-correspondences, the "addition of a tail" to a non-injective C*-correspondence and the dilation of an injective C*-correspondence to an essential Hilbert bimodule. We provide a very broad scheme for "adding a tail" to a non-injective C*-correspondence; our scheme incl…
▽ More
Motivated by the theory of tensor algebras and multivariable C*-dynamics, we revisit two fundamental techniques in the theory of C*-correspondences, the "addition of a tail" to a non-injective C*-correspondence and the dilation of an injective C*-correspondence to an essential Hilbert bimodule. We provide a very broad scheme for "adding a tail" to a non-injective C*-correspondence; our scheme includes the "tail" of Muhly and Tomforde as a special case. We illustrate the diversity and necessity of our tails with several examples from the theory of multivariable C*-dynamics. We also exhibit a transparent picture for the dilation of an injective C*-correspondence to an essential Hilbert bimodule. As an application of our constructs, we prove two results in the theory of multivariable dynamics that extend results of Davidson and Roydor and Peters. We also discuss the impact of our results on the description of the C*-envelope of a tensor algebra as the Cuntz-Pimsner algebra of the associated C*-correspondence.
△ Less
Submitted 7 January, 2011;
originally announced January 2011.
-
Semicrossed Products and Reflexivity
Authors:
Evgenios T. A. Kakariadis
Abstract:
Given a w*-closed unital algebra $A$ acting on $H_0$ and a contractive w*-continuous endomorphism $β$ of $A$, there is a w*-closed (non-selfadjoint) unital algebra $\mathbb{Z}_+\bar{\times}_βA$ acting on $H_0\otimes\ell^2({\mathbb{Z}_+})$, called the w*-semicrossed product of $A$ with $β$. We prove that the w*-semicrossed product is a reflexive operator algebra provided $A$ is reflexive and $β$…
▽ More
Given a w*-closed unital algebra $A$ acting on $H_0$ and a contractive w*-continuous endomorphism $β$ of $A$, there is a w*-closed (non-selfadjoint) unital algebra $\mathbb{Z}_+\bar{\times}_βA$ acting on $H_0\otimes\ell^2({\mathbb{Z}_+})$, called the w*-semicrossed product of $A$ with $β$. We prove that the w*-semicrossed product is a reflexive operator algebra provided $A$ is reflexive and $β$ is unitarily implemented, and that it has the bicommutant property if and only if so does $A$. Also, we show that the w*-semicrossed product generated by a commutative C*-algebra and a *-endomorphism is reflexive.
△ Less
Submitted 30 July, 2009;
originally announced July 2009.
