Premium
Preservation of the joint essential matricial range
Author(s) -
Li ChiKwong,
Paulsen Vern I.,
Poon YiuTung
Publication year - 2019
Publication title -
bulletin of the london mathematical society
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 2.396
H-Index - 48
eISSN - 1469-2120
pISSN - 0024-6093
DOI - 10.1112/blms.12279
Subject(s) - surjective function , mathematics , combinatorics , hilbert space , integer (computer science) , bounded function , linear subspace , discrete mathematics , pure mathematics , mathematical analysis , computer science , programming language
Let A = ( A 1 , ⋯ , A m ) be an m ‐tuple of elements of a unital C ∗ ‐algebra A and let M q denote the set of q × q complex matrices. The joint q ‐ matricial rangeW q ( A )is the set of( B 1 , ⋯ , B m ) ∈ M q msuch thatB j = Φ ( A j )for some unital completely positive linear map Φ : A → M q . When A = B ( H ) , where B ( H ) is the algebra of bounded linear operators on the Hilbert space H , the joint spatial q ‐ matricial rangeW s q ( A )of A is the set of( B 1 , ⋯ , B m ) ∈ M q mfor which there is a q ‐dimensional subspace V of H such that B j is the compression of A j to V for j = 1 , ⋯ , m . Suppose that K ( H ) is the set of compact operators in B ( H ) . The joint essential spatial q ‐ matricial range is defined asW e s s q ( A ) = ∩ { cl ( W s q ( A 1 + K 1 , ⋯ , A m + K m ) ) : K 1 , ⋯ , K m ∈ K ( H ) } , where cl ( T ) denotes the closure of the set T . Let π be the canonical surjection from B ( H ) to the Calkin algebra B ( H ) / K ( H ) . We prove thatW e s s q ( A ) = W q ( π ( A ) ) , where π ( A ) = ( π ( A 1 ) , ⋯ , π ( A m ) ) . Furthermore, for any positive integer N , we prove that there are self‐adjoint compact operatorsK 1 , ⋯ , K msuch that cl W s q ( A 1 + K 1 , ⋯ , A m + K m ) = W e s s q ( A )for all q ∈ { 1 , ⋯ , N } . These results generalize those of Narcowich–Ward and Smith–Ward, obtained in the m = 1 case, and also generalize a result of Müller obtained in case m ⩾ 1 and q = 1 . Furthermore, ifW e s s 1 ( A )is a simplex in R m , then we prove that there are self‐adjoint compact operatorsK 1 , ⋯ , K msuch that cl ( W s q ( A 1 + K 1 , ⋯ , A m + K m ) ) = W e s s q ( A )for all positive integers q .