We introduce notions of finite presentation and co-exactness which serve as qualitative and quantitative analogues of finite-dimensionality for operator modules over completely contractive Banach algebras. With these notions we begin the development of a local theory of operator modules by introducing analogues of the local lifting property, nuclearity, and semi-discreteness. For a large class of operator modules we prove that the local lifting property is equivalent to flatness, generalizing the operator space result of Kye and Ruan. We pursue applications to abstract harmonic analysis, where, for a locally compact quantum group $\mathbb{G}$, we show that $L^1(\mathbb{G})$-nuclearity of $\mathrm{LUC}(\mathbb{G})$ and $L^1(\mathbb{G})$-semi-discreteness of $L^\infty(\mathbb{G})$ are both equivalent to co-amenability of $\mathbb{G}$. We establish the equivalence between $A(G)$-injectivity of $G\bar{\ltimes}M$, $A(G)$-semi-discreteness of $G\bar{\ltimes} M$, and amenability of $W^*$-dynamical systems $(M,G,α)$ with $M$ injective. We end with remarks on future directions.
We study a coisometry that intertwines Popescu's presentations of minimal isometric dilations of a given operator tuple and of a coisometric lifting of the tuple. Using this we develop an outgoing Cuntz scattering system which gives rise to an input-output formalism. A transfer function is introduced for the system. We also compare the transfer function and the characteristic function for the associated lifting.
The purpose of this note is to discuss the local lifting property in terms of an equivalent approximation-type property, CP-stability, which was formulated by the author and Isaac Goldbring for the purposes of studying the continuous model theory of C$^*$-algebras and operator systems.
The Local Lifting Property (LLP) is a localized version of projectivity for completely positive maps between $\mathrm{C}^*$-algebras. Outside of the nuclear case, very few $\mathrm{C}^*$-algebras are known to have the LLP. In this article, we show that the LLP holds for the algebraic contraction $\mathrm{C}^*$-algebras introduced by Hadwin and further studied by Loring and Shulman. We also show that the universal Pythagorean $\mathrm{C}^*$-algebras introduced by Brothier and Jones have the Lifting Property.
We develop a new method, based on non-vanishing of second cohomology groups, for proving the failure of lifting properties for full C$^*$-algebras of countable groups with (relative) property (T). We derive that the full C$^*$-algebras of the groups $\mathbb Z^2\rtimes\text{SL}_2(\mathbb Z)$ and $\text{SL}_n(\mathbb Z)$, for $n\geq 3$, do not have the local lifting property (LLP). We also prove that the full C$^*$-algebras of a large class of groups $Γ$ with property (T), including those such that $\text{H}^2(Γ,\mathbb R)\not=0$ or $\text{H}^2(Γ,\mathbb ZΓ)\not=0$, do not have the lifting prop…
We take a new look at dilation theory for nonself-adjoint operator algebras. Among the extremal (co)extensions of a representation, there is a special property of being fully extremal. This allows a refinement of some of the classical notions which are important when one moves away from standard examples. We show that many algebras including graph algebras and tensor algebras of C*-correspondences have the semi-Dirichlet property which collapses these notions and explains why they have a better dilation theory. This leads to variations of the notions of commutant lifting and Ando's theorem. Th…
Kazhdan's property (T) has been studied for several discrete group-like structures, including standard invariants of Jones' subfactors and discrete quantum groups. We prove a Zuk-type spectral gap criterion for property (T) in this setting. This allows us to construct a family of property (T) discrete quantum groups, as well as subfactor standard invariants, given by generators and a triangle presentation. These are the first examples of property (T) discrete quantum groups that are not directly related to a discrete group with property (T).
Some recent research on the tensor products of operator systems and ensuing nuclearity properties in this setting raised many stability problems. In this paper we examine the preservation of these nuclearity properties including exactness, local liftability and the double commutant expectation property under basic algebraic operations such as quotient, duality, coproducts and tensor products. We show that, in the finite dimensional case, exactness and lifting property are dual pairs, that is, an operator system $S$ is exact if and only if the dual operator system $S^d$ has the lifting property…
In analogy with the C*-algebra theory, we study variants appropriate to nonselfadjoint algebras of nuclearity, the local lifting property, exactness, and the weak expectation property. In addition, we study the relationships between these notions, and how they are connected with the classical C*-algebra theory through the use of C*-algebras generated by the algebra.
We construct operator systems $\mathfrak C_I$ that are universal in the sense that all operator systems can be realized as their quotients. They satisfy the operator system lifting property. Without relying on the theorem by Kirchberg, we prove the Kirchberg type tensor theorem $$\mathfrak C_I \otimes_{\min} B(H) = \mathfrak C_I \otimes_{\max} B(H).$$ Combining this with a result of Kavruk, we give a new operator system theoretic proof of Kirchberg's theorem and show that Kirchberg's conjecture is equivalent to its operator system analogue $$\mathfrak C_I \otimes_{\min} \mathfrak C_I =\mathfra…
We introduce the notion of accurate foundation sets and the accurate refinement property for right LCM semigroups. For right LCM semigroups with this property, we derive a more explicit presentation of the boundary quotient. In the context of algebraic dynamical systems, we also analyse finiteness properties of foundation sets which lead us to a very concrete presentation. Based on Starling's recent work, we provide sharp conditions on certain algebraic dynamical systems for pure infiniteness and simplicity of their boundary quotient.
