arXiv subjects

Evgenios T. A. Kakariadis

Publications and source records attributed to Evgenios T. A. Kakariadis.

At least 19 recordsLinked to original sources

arXiv2026

Finite-dimensional approximations for C*-algebras of product systems

We study C*-algebras generated by representations of product systems over unital subsemigroups of amenable discrete groups. In the first part, we show that exactness of the generated C*-algebra is equivalent to exactness of the cores over the constructible ideals. Nuclearity of the generated C*-algebra is equivalent to nuclear embeddability of the cores in the fixed point algebra. In the second part, we further study injective equivariant Fock covariant representations, and whether the properties of the cores are inherited from properties of the coefficient C*-algebra, as in the case of compactly aligned saturated product systems over right LCM semigroups. If the semigroup is finitely aligned and the product system is saturated and compactly aligned, then exactness of the cores is equivalent to exactness of the coefficient C*-algebra. If in addition the semigroup is strongly finitely aligned, then nuclear embeddability of the cores is equivalent to nuclear embeddability of the coefficient C*-algebra. These results do not hold without the compact alignment hypothesis, even for right LCM semigroups.

math.OA↗

arXiv2026

On the embeddings of selfadjoint operator spaces

We investigate when a map on a selfadjoint operator space $E$ is an embedding, i.e., when its unitisation in the sense of Werner is completely isometric. Combining with results of Russell, of Ng, and of Dessi, the second and the last author, it is shown that this is equivalent to: (a) extending bounded positive functionals on each matrix level with the same norm; (b) extending quasistates to quasistates in each matrix level; (c) extending completely bounded completely positive maps with the same cb-norm; and (d) the map being a gauge maximal isometry in the sense of Russell. If $E$ is approximately positively generated and $\mathrm{C}^*(E)$ is unital, or if $E_{sa}$ is singly generated, then completely positive maps on $E \subseteq \mathcal{B}(H)$ have completely positive extensions on $\mathrm{C}^*(E)$, but possibly not with the same cb-norm; and this is not enough for the inclusion $E \subseteq \mathrm{C}^*(E)$ to be an embedding. We show that the inclusion $E \subseteq \mathrm{C}^*(E)$ is always an embedding when $E$ is completely approximately 1-generated, and we fully resolve the case when $E_{sa}$ is singly generated. Combining with the works of Salomon, Humeniuk--Kennedy--Manor, and previous work of the third author, we show that if the inclusion $E \subseteq \mathrm{C}^*(E)$ is an embedding, then rigidity at zero, in the sense of Salomon, coincides with $E$ being approximately positively generated. Consequently, we show that $E$ is approximately positively generated if and only if $M_n(E)$ is approximately positively generated for all $n\in \mathbb{N}$, thus extending a previous result of Humeniuk--Kennedy--Manor to the approximation setting. As an application we show that hyperrigidity of $E$ in $\mathrm{C}^*(E)$ allows to identify $\mathrm{C}^*(E)$ as the C*-envelope of $E$ in several (non-unital) contexts.

math.OA↗

arXiv2026

Operator systems and positive extensions over discrete groups

The extension problem asks whether positive semi-definite functions on a symmetric unital subset of a discrete group can be extended to positive semi-definite functions on the whole group. It has been known at least since the work of Rudin in the 1960s that this is closely related to the problem of finding sums of squares factorisations of positive elements in the group C*-algebra. We give an operator system perspective at these two problems explaining their equivalence: the extension property is characterised by a certain quotient map on the Fourier--Stieltjes algebra, and the factorisation property by a certain complete order embedding into the group C*-algebra. These properties are linked to the duality of the operator systems which have recently emerged from spectral and Fourier truncations in noncommutative geometry. We exemplify how one can relate certain extension problems to operator system techniques such as nuclearity and the C*-envelope.

math.OA↗

arXiv2026

On hyperrigidity and non-degenerate C*-correspondences

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 study unitisations of selfadjoint operator spaces in the sense of Werner, and revisit Arveson's criterion connecting maximality with the unique extension property and hyperrigidity, in conjunction with the work of Salomon on generating sets.

math.OA↗

arXiv2026

Morita equivalence for operator systems

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 when represented in the double dual of their C*-envelopes.

math.OA↗

arXiv2025

Symmetrisations of operator spaces

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.

math.OA↗

arXiv2025

On Fock covariance for product systems and the reduced Hao-Ng isomorphism problem by discrete actions

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.

math.OA↗

arXiv2024

Equivariant Nica-Pimsner quotients associated with strong compactly aligned product systems

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.

math.OA↗

arXiv2022

C-algebras and Equivalences for C-correspondences

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.

math.OA↗

arXiv2022

C-envelopes for operator algebras with a coaction and co-universal C-algebras for product systems

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.

math.OA↗

arXiv2021

Product systems and their representations: an approach using Fock spaces and Fell bundles

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.

math.OA↗

arXiv2021

Co-universality and controlled maps on product systems over right LCM-semigroups

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.

math.OA↗

arXiv2021

Boundary quotient C*-algebras of semigroups

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.

math.OA↗

arXiv2020

Operator algebras of higher rank numerical semigroups

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.

math.OA↗

arXiv2020

Applications of entropy of product systems: higher-rank graphs

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.

math.OA↗

arXiv2019

Equilibrium states and entropy theory for Nica-Pimsner algebras

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.

math.OA↗

arXiv2019

Operator algebras for higher rank analysis and their application to factorial languages

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.

math.OA↗

arXiv2019

Finite dimensional approximations for Nica-Pimsner algebras

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.

math.OA↗