No Arabic abstract
Let $q = e^{i theta} in mathbb{T}$ (where $theta in mathbb{R}$), and let $u,v$ be $q$-commuting unitaries, i.e., $u$ and $v$ are unitaries such that $vu = quv$. In this paper we find the optimal constant $c = c_theta$ such that $u,v$ can be dilated to a pair of operators $c U, c V$, where $U$ and $V$ are commuting unitaries. We show that [ c_theta = frac{4}{|u_theta+u_theta^*+v_theta+v_theta^*|}, ] where $u_theta, v_theta$ are the universal $q$-commuting pair of unitaries, and we give numerical estimates for the above quantity. In the course of our proof, we also consider dilating $q$-commuting unitaries to scalar multiples of $q$-commuting unitaries. The techniques that we develop allow us to give new and simple dilation theoretic proofs of well known results regarding the continuity of the field of rotations algebras. In particular, for the so-called Almost Mathieu Operator $h_theta = u_theta+u_theta^*+v_theta+v_theta^*$, we recover the fact that the norm $|h_theta|$ is a Lipshitz continuous function of $theta$, as well as the result that the spectrum $sigma(h_theta)$ is a $frac{1}{2}$-Holder continuous function in $theta$ with respect to the Hausdorff metric. In fact, we obtain this Holder continuity of the spectrum for every selfadjoint $*$-polynomial $p(u_theta,v_theta)$, which in turn endows the rotation algebras with the natural structure of a continuous field of C*-algebras.
We apply Arvesons non-commutative boundary theory to dilate every Toeplitz-Cuntz-Krieger family of a directed graph $G$ to a full Cuntz-Krieger family for $G$. We do this by describing all representations of the Toeplitz algebra $mathcal{T}(G)$ that have unique extension when restricted to the tensor algebra $mathcal{T}_+(G)$. This yields an alternative proof to a result of Katsoulis and Kribs that the $C^*$-envelope of $mathcal T_+(G)$ is the Cuntz-Krieger algebra $mathcal O(G)$. We then generalize our dilation results further, to the context of colored directed graphs, by investigating free products of operator algebras. These generalizations rely on results of independent interest on complete injectivity and a characterization of representations with the unique extension property for free products of operator algebras.
A matrix convex set is a set of the form $mathcal{S} = cup_{ngeq 1}mathcal{S}_n$ (where each $mathcal{S}_n$ is a set of $d$-tuples of $n times n$ matrices) that is invariant under UCP maps from $M_n$ to $M_k$ and under formation of direct sums. We study the geometry of matrix convex sets and their relationship to completely positive maps and dilation theory. Key ingredients in our approach are polar duality in the sense of Effros and Winkler, matrix ranges in the sense of Arveson, and concrete constructions of scaled commuting normal dilation for tuples of self-adjoint operators, in the sense of Helton, Klep, McCullough and Schweighofer. Given two matrix convex sets $mathcal{S} = cup_{n geq 1} mathcal{S}_n,$ and $mathcal{T} = cup_{n geq 1} mathcal{T}_n$, we find geometric conditions on $mathcal{S}$ or on $mathcal{T}$, such that $mathcal{S}_1 subseteq mathcal{T}_1$ implies that $mathcal{S} subseteq Cmathcal{S}$ for some constant $C$. For instance, under various symmetry conditions on $mathcal{S}$, we can show that $C$ above can be chosen to equal $d$, the number of variables, and in some cases this is sharp. We also find an essentially unique self-dual matrix convex set $mathcal{D}$, the self-dual matrix ball, for which corresponding inclusion and dilation results hold with constant $C=sqrt{d}$. Our results have immediate implications to spectrahedral inclusion problems studied recently by Helton, Klep, McCullough and Schweighofer. Our constants do not depend on the ranks of the pencils determining the free spectrahedra in question, but rather on the number of variables $d$. There are also implications to the problem of existence of (unital) completely positive maps with prescribed values on a set of operators.
Let $epsilon>0$ be a positive number. Is there a number $delta>0$ satisfying the following? Given any pair of unitaries $u$ and $v$ in a unital simple $C^*$-algebra $A$ with $[v]=0$ in $K_1(A)$ for which $$ |uv-vu|<dt, $$ there is a continuous path of unitaries ${v(t): tin [0,1]}subset A$ such that $$ v(0)=v, v(1)=1 and |uv(t)-v(t)u|<epsilon forall tin [0,1]. $$ An answer is given to this question when $A$ is assumed to be a unital simple $C^*$-algebra with tracial rank no more than one. Let $C$ be a unital separable amenable simple $C^*$-algebra with tracial rank no more than one which also satisfies the UCT. Suppose that $phi: Cto A$ is a unital monomorphism and suppose that $vin A$ is a unitary with $[v]=0$ in $K_1(A)$ such that $v$ almost commutes with $phi.$ It is shown that there is a continuous path of unitaries ${v(t): tin [0,1]}$ in $A$ with $v(0)=v$ and $v(1)=1$ such that the entire path $v(t)$ almost commutes with $phi,$ provided that an induced Bott map vanishes. Oth
An E_0-semigroup is called q-pure if it is a CP-flow and its set of flow subordinates is totally ordered by subordination. The range rank of a positive boundary weight map is the dimension of the range of its dual map. Let K be a separable Hilbert space. We describe all q-pure E_0-semigroups of type II_0 which arise from boundary weight maps with range rank one over K. We also prove that no q-pure E_0-semigroups of type II_0 arise from boundary weight maps with range rank two over K. In the case when K is finite-dimensional, we provide a criterion to determine if two boundary weight maps of range rank one over K give rise to cocycle conjugate q-pure E_0-semigroups.
We consider a Banach algebra $A$ with the property that, roughly speaking, sufficiently many irreducible representations of $A$ on nontrivial Banach spaces do not vanish on all square zero elements. The class of Banach algebras with this property turns out to be quite large -- it includes $C^*$-algebras, group algebras on arbitrary locally compact groups, commutative algebras, $L(X)$ for any Banach space $X$, and various other examples. Our main result states that every derivation of $A$ that preserves the set of quasinilpotent elements has its range in the radical of $A$.