Range-compatible homomorphisms on matrix spaces

Let KK be a (commutative) field, and U and V   be finite-dimensional vector spaces over KK. Let SS be a linear subspace of the space L(U,V)L(U,V) of all linear operators from U to V  . A map F:S→VF:S→V is called range-compatible when F(s)∈Ims for all s∈Ss∈S. Obvious examples of such maps are the evaluation maps s↦s(x)s↦s(x), with x∈Ux∈U.In this article, we classify all the range-compatible group homomorphisms on SS provided that codimL(U,V)S≤2dim⁡V−3, unless KK has cardinality 2 and codimL(U,V)S=2dim⁡V−3. Under those assumptions, it is shown that the linear range-compatible maps are the evaluation maps, and the above upper-bound on the codimension of SS is optimal for this result to hold.As an application, we obtain new sufficient conditions for the algebraic reflexivity of an operator space and, with the above conditions on the codimension of SS, we give an explicit description of the range-restricting and range-preserving homomorphisms on SS.