Related papers: Completely coarse maps are $\mathbb R$-linear
We prove that if $M$ is an infinite complete metric space then the set of strongly norm-attaining Lipschitz functions $\SA(M)$ contains a linear subspace isomorphic to $c_0$. This solves an open question posed by V. Kadets and O. Rold\'an.
A vector subspace $\cls$ of $\IM_n(\IC)$ is called unital operator system if $x \in \cls$ if and only if $x^* \in \cls$ and the identity operator $I_n \in \cls$, where $n$ is any fixed positive integer. Let $C^*(\cls)$ be the $C^*$…
We prove that $i)$ if $\mathcal{A}$ is $\lambda $-accessible and it is axiomatizable in (finitary) coherent logic then $\lambda $-pure maps are strict monomorphisms and $ii)$ if there is a proper class of strongly compact cardinals and…
We study the issue of issue of purity (as a completely positive linear map) for identity maps on operators systems and for their completely isometric embeddings into their C$^*$-envelopes and injective envelopes. Our most general result…
We consider *-linear maps into a commutative C*-algebra C (X) of continuous functions on a locally compact Hausdorff space X with certain specified properties and prove two results: (1) an extension result for a class of *-linear maps Y -->…
We consider a version of a famous open problem formulated by Kadison, asking whether bounded representations of operator algebras are automatically completely bounded. We investigate this question in the context of amenable operator…
A complete characterisation is given of all the linear isometries of the Fr\'echet space of all holomorphic functions on the unit disc, when it is given one of the two standard metrics: these turn out to be weighted composition operators of…
Let A be a unital standard algebra on a complex Banach space X with dimX >1. We characterize the linear maps D; T : A --> B(X) satisfying aT(b) + D(a)b= 0 whenever a,b in A are such that ab = 0.
A linear map $\Phi$ between matrix spaces is called cross-positive if it is positive on orthogonal pairs $(U,V)$ of positive semidefinite matrices in the sense that $\langle U,V\rangle:=\text{Tr}(UV)=0$ implies $\langle…
We construct some separable infinite dimensional homogeneous Hilbertian operator spaces which generalize the row and column spaces R and C. We show that separable infinite-dimensional Hilbertian JC*-triples are completely isometric to an…
Arveson's extension theorem guarantees that every completely positive map defined on an operator system can be extended to a completely positive map defined on the whole C*-algebra containing it. An analogous statement where complete…
We determine those maps between affine or projective spaces that are linear in the abstract sense of transforming collinear points into collinear points and whose restriction to any line is constant or injective. Our results are extensions…
We prove that an operator space is completely isometric to a ternary ring of operators if and only if the open unit balls of all of its matrix spaces are bounded symmetric domains. From this we obtain an operator space characterization of…
A linear map $\Phi :\mathbb{M}_n \to \mathbb{M}_k$ is called completely copositive if the resulting matrix $[\Phi (A_{j,i})]_{i,j=1}^m$ is positive semidefinite for any integer $m$ and positive semidefinite matrix $[A_{i,j}]_{i,j=1}^m$. In…
A problem of completing a linear map on C*-algebras to a completely positive map is analyzed. It is shown that whenever such a completion is feasible there exists a unique minimal completion. This theorem is used to show that under some…
Let $A$ be a, not necessarily closed, linear relation in a Hilbert space $\sH$ with a multivalued part $\mul A$. An operator $B$ in $\sH$ with $\ran B\perp\mul A^{**}$ is said to be an operator part of $A$ when $A=B \hplus (\{0\}\times \mul…
Assuming a unitarily invariant norm $|||\cdot|||$ is given on a two-sided ideal of bounded linear operators acting on a separable Hilbert space, it induces some unitarily invariant norms $|||\cdot|||$ on matrix algebras $\mathcal{M}_n$ for…
We prove that a unital completely positive map between finite-dimensional C*-algebras is a homomorphism if and only if it is completely entropy-nonincreasing, where the relevant notion of entropy is a variant of von Neumann entropy. This…
Given a complex, separable Hilbert space $\mathcal{H}$, we characterize those operators for which $\| P T (I-P) \| = \| (I-P) T P \|$ for all orthogonal projections $P$ on $\mathcal{H}$. When $\mathcal{H}$ is finite-dimensional, we also…
The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for…