Duality between some linear preserver problems. II. Isometries with respect to c-special norms and matrices with fixed singular values

Let $\text{F}{}_{\mathrm{m\times n}}$ (m?n) denote the linear space of all m × n complex or real matrices according as $\text{F}$=$\text{C}$ or $\text{R}$. Let c=(c₁,…,c_m)≠0 be such that c₁???c_m?0. The c-spectral norm of a matrix A?$\text{F}$_m×n is the quantity

$\text{6A6}{}_{\mathrm{c}}\text{∑}\text{i=I}\text{m}\text{c}{}_{\mathrm{i}}\text{σ}{}_{\mathrm{i}}\text{(A)}$

. where σ₁(A)???σ_m(A) are the singular values of A. Let d=(d₁,…,d_m)≠0, where d₁???d_m?0. We consider the linear isometries between the normed spaces $\text{(}\text{F}{}_{\mathrm{m\times }}{}_{\mathrm{n}}\text{,∥·∥}{}_{\mathrm{<mtext>c</mtext>}}\text{)}$ and $\text{(}\text{F}{}_{\mathrm{m\times }}{}_{\mathrm{n}}\text{,∥·∥}{}_{\mathrm{d}}\text{)}$, and prove that they are dual transformations of the linear operators which map $\text{L}$(d) onto $\text{L}$(c), where

$\text{L}\text{(c)= {X?}\text{F}{}_{\mathrm{m\times n}}\text{:X}\text{has singular values}\text{c}{}_1\text{,…,c}{}_{\mathrm{m}}\text{}}$

.     

On Dynkin's Markov property of random fields associated with symmetric processes

Let p(t, x, y) be a symmetric transition density with respect to a σ-finite measure m on (E, $\text{E}$), g(x,y)=∫p(t,x,y)dt, and $\text{M}\text{={σ-finite measures μ?0:∫g(x,y)μ(}\text{d}\text{x)μ(}\text{d}\text{y)<∞}}$. There exists a Gaussian random field $\text{Φ={?}{}_{\mathrm{\mu }}\text{:μ?}\text{M}\text{}}$ with mean 0 and covariance $\text{E}\text{?}{}_{\mathrm{\mu }}\text{?}{}_{\mathrm{\nu }}\text{=∫g(x,y)μ(}\text{d}\text{x)ν(}\text{d}\text{y)}$. Letting $\text{F}\text{(B)=σ{?}{}_{\mathrm{\mu }}\text{:μ(B}{}^{\mathrm{c}}\text{)=0}}$ we consider necessary and sufficient conditions for the Markov property (MP) on sets B, C: $\text{F}$(B), $\text{F}$(C) c.i. given $\text{F}$(B ∩ C). Of crucial importance is the following, proved by Dynkin: $\text{E}\text{{?}{}_{\mathrm{\mu }}\text{∣}\text{F}\text{(B)}=?}{}_{\mathrm{\mu B}}$, where μ_B is the hitting distribution of the process corresponding to p, m with initial law μ. Another important fact is that ?_μ=?_ν iff μ, ν have the same potential. Putting these together with an additional transience assumption, we present a potential theoretic proof of the following necessary and sufficient condition for (MP) on sets B, C: For every x?E, T_B∩C=T_B+T_C∮ θ_TB=T_C+T_B∮θ_TC a.s. P^x where, for D ? $\text{E}$, T_D is the hitting time of D for the process associated with p, m. This implies a necessary condition proved by Dynkin in a recent preprint for the case where B∪C=E and B, C are finely closed.     

On tensor products of certain group C1-algebras

If A and B are C¹-algebras there is, in general, a multiplicity of C¹-norms on their algebraic tensor product A ⊙ B, including maximal and minimal norms ν and α, respectively. A is said to be nuclear if α and ν coincide, for arbitrary B. The earliest example, due to Takesaki [11], of a nonnuclear C¹-algebra was $\text{C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$, the C¹-algebra generated by the left regular representation of the free group on two generators F₂. It is shown here that W¹-algebras, with the exception of certain finite type I's, are nonnuclear.If $\text{C}{}^1\text{(F}{}_2\text{)}$ is the group C¹-algebra of F₂, there is a canonical homomorphism λ_l of $\text{C}{}^1\text{(F}{}_2\text{)}$ onto $\text{C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$. The principal result of this paper is that there is a norm ζ on $\text{C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{) ⊙ C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$, distinct from α, relative to which the homomorphism $\text{λ ⊙ λ}{}_{\mathrm{l}}\text{: C}{}^1\text{(F}{}_2\text{) ⊙ C}{}^1\text{(F}{}_2\text{) → C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{) ⊙ C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$ is bounded ($\text{C}{}^1\text{(F}{}_2\text{) ⊙ C}{}^1\text{(F}{}_2\text{)}$ being endowed with the norm α). Thus quotients do not, in general, respect the norm α; a consequence of this is that the set of ideals of the α-tensor product of C¹-algebras A and B may properly contain the set of product ideals {$\text{I ? B + A ? J: I ? A, J ? B}$}.Let A and B be C¹-algebras. If A or B is a W¹-algebra there are on A ⊙ B certain C¹-norms, defined recently by Effros and Lance [3], the definitions of which take account of normality. In the final section of the paper it is shown by example that these norms, with α and ν, can be mutually distinct.     

Integral transforms of analytic functions on abstract Wiener spaces

Let (H, B) be an abstract Wiener pair and p_t the Wiener measure with variance t. Let $\text{E}$_a be the class of exponential type analytic functions defined on the complexification [B] of B. For each pair of nonzero complex numbers α, β and f ? $\text{E}$_a, we define

$\text{F}{}_{\mathrm{\alpha ,\beta }}\text{f(y)=}\text{∫}\text{B}\text{f(αx+βy)p}{}_1\text{(dx) (y ?[B]).}$

We show that the inverse $\text{F}$_α,β^?1 exists and there exist two nonzero complex numbers α′,β′ such that

. Clearly, the Fourier-Wiener transform, the Fourier-Feynman transform, and the Gauss transform are special cases of $\text{F}$_α,β. Finally, we apply the transform to investigate the existence of solutions for the differential equations associated with the operator $\text{N}$_c, where c is a nonzero complex number and $\text{N}$_c is defined by

$\text{N}{}_{\mathrm{c}}\text{u(x)=?Δu(x)+c(x,Du(x))}$

where Δ is the Laplacian and (·, ·) is the $\text{B-B}{}^1$ pairing. We show that the solutions can be represented as integrals with respect to the Wiener measure.     

Scalar polynomial functions on the n×n matrices over a finite field

Let F=GF(q) denote the finite field of order q, and let $\text{?(x)?F[x]}$. Then f(x) defines, via substitution, a function from F_n×n, the n×n matrices over F, to itself. Any function $\text{?:F}{}_{\mathrm{n\times n}}\text{→ F}{}_{\mathrm{n\times n}}$ which can be represented by a polynomialf(x)?F[x] is called a scalar polynomial function on F_n×n. After first determining the number of scalar polynomial functions on F_n×n, the authors find necessary and sufficient conditions on a polynomial $\text{?(x) ? F[x]}$ in order that it defines a permutation of (i) $\text{D}$_n, the diagonalizable matrices in F_n×n, (ii)$\text{R}$_n, the matrices in F_n×n all of whose roots are in F, and (iii) the matric ring F_n×n itself. The results for (i) and (ii) are valid for an arbitrary field F.     

Combinatorial sums,identities and trace identities of the 2 × 2 matrices

An asymptotic formula, involving integrals, is given for certain combinatorial sums. By evaluating a multi-integral it is then found that as n → ∞, the codimensions c_n(F₂) and the trace codimensions t_n(F₂) of F₂, the 2 × 2 matrices, are asymptotically equal: $\text{c}{}_{\mathrm{n}}\text{(F}{}_2\text{) ? t}{}_{\mathrm{n}}\text{(F}{}_2\text{)}$.     

Infinite-variate wide-sense Markov processes and functional analysis for bounded operator-forming vectors

Let p, q be arbitrary parameter sets, and let $\text{H}$ be a Hilbert space. We say that x = (xⁱ)_i?q, xⁱ ? $\text{H}$, is a bounded operator-forming vector (?$\text{H}$_F^q) if the Gram matrix 〈x, x〉 = [(xⁱ, x^j)]_i?q,j?q is the matrix of a bounded (necessarily ≥ 0) operator on $\text{l}{}_{\mathrm{q}}{}^2$, the Hilbert space of square-summable complex-valued functions on q. Let A be p × q, i.e., let A be a linear operator from $\text{l}{}_{\mathrm{q}}{}^2$ to $\text{l}{}_{\mathrm{p}}{}^2$. Then exists a linear operator ǎ from (the Banach space) $\text{H}$_F^q to $\text{H}$_F^p on $\text{D}$(A) = {x:x ? $\text{H}$_F^q, $\text{A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$ is p × q bounded on $\text{l}{}_{\mathrm{q}}{}^2$} such that y = ǎx satisfies y^j?σ(x) = {space spanned by the xⁱ}, 〈y, x〉 = A〈x, x〉 and $\text{〈y, y〉 = A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{(A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}{}^1$. This is a generalization of our earlier [J. Multivariate Anal.4 (1974), 166–209; 6 (1976), 538–571] results for the case of a spectral measure concentrated on one point. We apply these tools to investigate q-variate wide-sense Markov processes.     

Some explicit formulae in simultaneous padé approximation

Using old results on the explicit calculation of determinants, formulae are given for the coefficients of P₀(z) and P₀(z)f_i(z) ? P_i(z), where P_i(z) are polynomials of degree σ ? ρ_i (i=0,1,…,n), P₀(z)f_i(z) ? P_i(z) are power series in which the terms with z^k, 0?k?σ, vanish (i=1,2,…,n), (ρ₀,ρ₁,…,ρ_n) is an (n+1)-tuple of nonnegative integers, σ=ρ₀+ρ₁+?+ρ_n, and {f_i}ⁿ_i=1 is the set of hypergeometric functions {₁F₁(1;c_i;z)}ⁿ_i=1$\text{(c}{}_{\mathrm{i}}\text{?}\text{Z}\text{z.drule;}\text{N}\text{, c}{}_{\mathrm{i}}\text{? c}{}_{\mathrm{j}}\text{?}\text{Z}\text{)}$ or {₂F₀(a_i,1;z)}ⁿ_i=1$\text{(a}{}_{\mathrm{i}}\text{?}\text{Z}\text{?}\text{N}\text{, a}{}_{\mathrm{i}}\text{? a}{}_{\mathrm{j}}\text{?}\text{Z}\text{)}$ under the condition ρ₀?ρ_i ? 1 (i=1,2,…,n).     

Spectral representation for Schrödinger operators with long-range potentials

A spectral representation for the self-adjoint Schrödinger operator H = ?Δ + V(x), x? R³, is obtained, where V(x) is a long-range potential: $\text{V(x) = O(¦ x ¦}{}^{\mathrm{<mtext>?</mtext><mtext>(1</mtext><mtext>2)</mtext><mtext>?\delta </mtext>}}\text{)}$, grad $\text{V(x) = O(¦ x ¦}{}^{\mathrm{<mtext>?</mtext><mtext>(3</mtext><mtext>2)</mtext><mtext>?\delta </mtext>}}\text{)}$, $\text{ΛV(x) = O(¦ x}\text{s}\text{?}{}^{\mathrm{?\delta }}\text{) (δ > 0), Λ}$ being the Laplace-Beltrami operator on the unit sphere Ω. Namely, we shall construct a unitary operator $\text{F}$ from PL₂(R³) onto $\text{L}{}_2\text{((0, ∞); L}{}_2\text{(Ω)), P}$ being the orthogonal projection onto the absolutely continuous subspace for H, such that for any Borel function α(λ),

$\text{(α(H)(Pf,g)=}\text{∫}\text{0}\text{∞}\text{(α(λ)(Ff)(λ),(Fg)(λ))L}{}_2\text{(ω) dλ}$

.     

Calculation of the Shannon information

Let ($\text{Ω, β, μ}{}_{\mathrm{X}}$) and $\text{(?, F, μ}{}_{\mathrm{N}}\text{)}$ be probability spaces, with $\text{f: Ω × ? ? ?}\text{a}\text{β × F|F}$ measurable map. Define μ_XY on β × $\text{F}$ by μ_XY(A) = μ_X ? μ_N{(x, y): (x, f(x, y)) ?A}, and let μ_Y = (μ_X ? μ_N)^of^?1. An expression is determined for computing the Shannon information in the measure μ_XY. This expression is used to compute the information for the non-linear additive Gaussian channel, and can be used to solve the channel capacity problem.     

Linear operators preserving the (p,q)-numerical range

Let $\text{C}{}_{\mathrm{n\times n}}$ and $\text{H}{}_{\mathrm{n}}$ denote respectively the space of n×n complex matrices and the real space of n×n hermitian matrices. Let p,q,n be positive integers such that p?q?n. For $\text{A?}\text{C}{}_{\mathrm{n\times n}}$, the (p,q)-numerical range of A is the set

$\text{W}{}_{\mathrm{p,q}}\text{(A)={trC}{}_{\mathrm{p}}\text{(J}{}_{\mathrm{q}}\text{UAU}{}^1\text{):U}\text{unitary}\text{}}$

, where C_p(X) is the pth compound matrix of X, and Jq is the matrix I_q?O_n-q. Let $\text{L}$ denote $\text{H}$_n or $\text{C}{}_{\mathrm{n\times n}}$. The problem of determining all linear operators T: $\text{L}$→$\text{L}$ such that

$\text{W}{}_{\mathrm{p,q}}\text{(T(A))=W}{}_{\mathrm{p,q}}\text{(A)}\text{for all}\text{A?}\text{L}$

is treated in this paper.     

Concrete model theory for a class of operators with unitary part

Let m and v_t, 0 ? t ? 2π be measures on T = [0, 2π] with m smooth. Consider the direct integral $\text{H}$ = ⊕L²(v^t) dm(t) and the operator $\text{(L?)(t, λ) = e}{}^{\mathrm{?i\lambda }}\text{?(t, λ) ? 2e}{}^{\mathrm{?i\lambda }}\text{∫}{}_{\mathrm{t}}{}^{\mathrm{2\pi }}\text{∫}{}_{\mathrm{T}}\text{?(s, x) e(s, t) dv}{}_{\mathrm{s}}\text{(x) dm(s)}$ on $\text{H}$, where e(s, t) = exp ∫_s^t ∫_Tdv_λ(θ) dm(λ). Let μ_t be the measure defined by $\text{∫}{}_{\mathrm{T}}\text{?(x) dμ}{}_{\mathrm{t}}\text{(x) = ∫}{}_0{}^{\mathrm{t}}\text{∫}{}_{\mathrm{T}}\text{?(x) dv}{}_{\mathrm{s}}\text{dm(s)}$ for all continuous ?, and let ?_t(z) = exp[?∫ (e^iθ + z)(e^iθ ? z)^?1dμ_t(gq)]. Call {v_t} regular iff for all $\text{t, ¦?}{}_{\mathrm{t}}\text{(e}{}^{\mathrm{i\theta }}\text{)¦ = ¦?}{}_{\mathrm{2\pi }}\text{(e}{}^{\mathrm{i\theta }}\text{)¦}$ for 1 a.e.     

Deterministic version of Wigner's semicircle law for the distribution of matrix eigenvalues

It is proved that Wigner's semicircle law for the distribution of eigenvalues of random matrices, which is important in the statistical theory of energy levels of heavy nuclei, possesses the following completely deterministic version. Let A_n=(a_ij), 1?i, ?n, be the nth section of an infinite Hermitian matrix, {λ⁽ⁿ⁾}_1?k?n its eigenvalues, and {u_k⁽ⁿ⁾}_1?k?n the corresponding (orthonormalized column) eigenvectors. Let $\text{v}{}^1{}_{\mathrm{n}}\text{=(a}{}_{\mathrm{n1}}\text{,a}{}_{\mathrm{n2}}\text{,?,a}{}_{\mathrm{n,n?1}}\text{)}$, put

$\text{X}{}_{\mathrm{n}}\text{(t)=[n(n-1)]}{}^{\mathrm{<mtext>-1</mtext><mtext>2</mtext>}}\text{∑}\text{k=1}\text{[(n-1)t]}\text{|v}{}_{\mathrm{n}}{}^1\text{u}{}_{\mathrm{f}}{}^{\mathrm{(n-1)}}\text{|}{}^2\text{,}\text{0?t?1}$

(bookeeping function for the length of the projections of the new row v¹_n of A_n onto the eigenvectors of the preceding matrix A_n?1), and let finally

$\text{F}{}_{\mathrm{n}}\text{(x)=n}{}^{-1}\text{(}\text{number of}\text{λ}{}_{\mathrm{k}}{}^{\mathrm{(n)}}\text{?x}\text{n}\text{,1?k?n)}$

(empirical distribution function of the eigenvalues of $\text{A}{}_{\mathrm{n}}\text{n}$. Suppose (i) $\text{lim}{}_{\mathrm{n}}\text{a}{}_{\mathrm{nn}}\text{n}\text{=0}$, (ii) lim_nX_n(t)=Ct(0<C<∞,0?t?1). Then

$\text{F}{}_{\mathrm{n}}\text{?W(·,C)}\text{(n→∞)}$

,where W is absolutely continuous with (semicircle) density

$\text{w(x,C)=}\text{(2Cπ)}{}^{-1}\text{(4C-x}{}^2{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{for}\text{|x|?2}\text{C}\text{0}\text{for}\text{|x|?2}\text{C}$

     

Unitarization of symplectics and stability for causal differential equations in Hilbert space

Let Sp($\text{H}$) be the symplectic group for a complex Hibert space $\text{H}$. Its Lie algebra sp($\text{H}$) contains an open invariant convex cone C₀; each element of C₀ commutes with a unique sympletic complex structure. The Cayley transform $\text{C}$: X∈ sp($\text{H}$)→(I + X)¹∈ Sp($\text{H}$) is analyzed and compared with the exponential mapping. As an application we consider equations of the form $\text{(}\text{d}\text{dt}\text{) S = A(t)S,}\text{where}\text{t → A(t) ?}\text{C}\text{?}{}_0$ is strongly continuous, and show that if ∝_?∞^∞ ∥A(t)∥ dt < 2 and ∝_{? t8}^∞A(t) dt?C₀, the (scattering) operator

, where S_t′(t) is the solution such that S_t′(t′) = I, is in the range of $\text{B}$ restricted to C₀. It follows that S leaves invariant a unique complex structure; in particular, it is conjugate in Sp($\text{H}$) to a unitary operator.     

On some results of Strichartz and of Rallis and Schiffman

Let (i, H, E) and (j, K, F) be abstract Wiener spaces and let α be a reasonable norm on E ? F. We are interested in the following problem: is ($\text{i ? j, H}\text{}\text{?}\text{bo}{}_2\text{K, E}\text{}\text{?}\text{bo}{}_{\mathrm{\alpha F}}$) an abstract Wiener space ? The first thing we do is to prove that the setting of the problem is meaningfull: namely, i ? j is always a continuous one to one map from $\text{H}\text{}\text{?}\text{bo}{}_2\text{K}$ into $\text{E}\text{}\text{?}\text{bo}{}_{\mathrm{\alpha }}\text{F}$. Then we exhibit an example which shows that the answer cannot be positive in full generality. Finally we prove that if F=L^p(X,$\text{X}$,λ) for some σ-finite measure λ ? 0 then $\text{(i?j, H}\text{?}{}_2\text{K,L}{}^{\mathrm{p}}$(X,$\text{X}$,λ) is an abstract Wiener space. By-products are some new results on γ-radonifying operators, and new examples of Banach spaces and cross norms for which the answer is affirmative (in particular α = π the projective norm, and F=L¹(X,$\text{X}$,λ)).     

Construction of a recurrence relation for modified moments

In this paper we are constructing a recurrence relation of the form

$\text{∑}\text{i=0}\text{r}\text{ω}{}_{\mathrm{i}}\text{(k)m}{}_{\mathrm{k+i}}{}^{\mathrm{\{\lambda \}}}\text{[f] = ω(k)}$

for integrals (called modified moments)

$\text{m}{}_{\mathrm{k}}{}^{\mathrm{\{\lambda \}}}\text{[f]df=}\text{∫}\text{?1}\text{1}\text{f(x)C}{}_{\mathrm{k}}{}^{\mathrm{(\lambda )}}\text{(x)dx (k = 0,1,…)}$

in which C_k^(λ) is the k-th Gegenbauer polynomial of order $\text{λ(λ > ?}\text{1}\text{2}\text{)}$, and f is a function satisfying the differential equation

$\text{∑}\text{i=0}\text{n}\text{P}{}_{\mathrm{i}}\text{(x)f}{}^{\mathrm{(i)}}\text{(x) = p(x) (?1?x?1)}$

of order n, where p₀, p₁, …, p_n ? 0 are polynomials, and m_k^〈λ〉[p] is known for every k. We give three methods of construction of such a recurrence relation. The first of them (called Method I) is optimum in a certain sense.     

Sharp nonlogarithmic Kneser theorems for fourth-order elliptic equations

Let D(?) be the Doob's class containing all functions f(z) analytic in the unit disk Δ such that f(0) = 0 and lim $\text{inf}\text{¦f(z) ¦ ? 1}$ on an arc A of ?Δ with length $\text{¦A ¦? ?}$. It is first proved that if f?D(?) then the spherical norm ∥ f ∥ = sup_z?Δ$\text{(}\text{1 ? ¦z¦}{}^2\text{)¦f′(z)¦}\text{(1 + ¦f(z)¦}{}^2\text{) ? C}{}_1\text{sin}\text{(π ? (}\text{?}\text{2}\text{))/ (π ? (}\text{g9}\text{2}\text{))}$, where C₁ = lim_n→∞$\text{∥ z}{}^{\mathrm{n}}\text{∥}\text{and}\text{1}\text{2}\text{< C}{}_1\text{<}\text{2}\text{e}$. Next, U represents the Seidel's class containing all non-constant functions f(z) bounded analytic in Δ such that $\text{¦tf(e}{}^{\mathrm{i0}}\text{)¦ = 1}$ almost everywhere. It is proved that inf_f?U∥f∥ = 0, and if f has either no singularities or only isolated singularities on ?Δ, then ∥f∥ ? C₁. Finally, it is proved that if f is a function normal in Δ, namely, the norm ∥f∥< ∞, then we have the sharp estimate ∥f^p∥ ? p∥f∥, for any positive integer p.     

An integral operator connected with the Helmholtz equation

Let Lu be the integral operator defined by $\text{(L}{}_{\mathrm{k?}}\text{)(x, y) = ∝ s ∝ ?(x′, y′)(}\text{e}{}^{\mathrm{ik?}}\text{?}\text{) dx′ dy′, (x, y) ? S}$ where S is the interior of a smooth, closed Jordan curve in the plane, k is a complex number with Re k ? 0, Im k ? 0, and ?² = (x ?x′)² + (y ? y′)². We define $\text{q(x, y) = [}\text{dist}\text{((x, y), ?S)]}\text{1}\text{2}\text{, (x, y) ? S; L}{}_2\text{(q, S) = {? : ∝ s ∝ ¦ ?(x, y)¦}{}^2\text{q(x, y) dx dy < ∞}; W}{}_2{}^1\text{(q, S) = {? : ? ? L}{}_2\text{(q, S),}\text{??}\text{?x}\text{,}\text{?f}\text{?y}\text{? L}{}_2\text{(q, S)}}$, where in the definition of W₂¹(q, S) the derivatives are taken in the sense of distributions. We prove that L_k is a continuous 1-l mapping of L₂(q, S) onto W₂¹(q, S).     

Inside the D-stable matrices

Let $\text{DS}{}_{\mathrm{n}}\text{(}\text{F}\text{)}$ denote the set of n×nD-stable matrices with entries from $\text{F}\text{?}\text{C}$. A characterization of the interior of $\text{DS}{}_{\mathrm{n}}\text{(}\text{F}\text{)}$ considered as subset of the topological space $\text{F}$ⁿ², is given for the cases $\text{F}\text{=}\text{R}\text{and}\text{C}$.     

Injectivity and operator spaces

Let B(H) be the bounded operators on a Hilbert space H. A linear subspace R ? B(H) is said to be an operator system if 1 ?R and R is self-adjoint. Consider the category $\text{b}$ of operator systems and completely positive linear maps. R ∈ $\text{C}$ is said to be injective if given A ? B, A, B ∈ $\text{C}$, each map A → R extends to B. Then each injective operator system is isomorphic to a conditionally complete C¹-algebra. Injective von Neumann algebras R are characterized by any one of the following: (1) a relative interpolation property, (2) a finite “projectivity” property, (3) letting M_m = B(C^m), each map R → N ? M_m has approximate factorizations R → M_n → N, (4) letting K be the orthogonal complement of an operator system N ? M_m, each map $\text{M}{}_{\mathrm{m}}\text{K}\text{→ R}$ has approximate factorizations $\text{M}{}_{\mathrm{m}}\text{K}\text{→ M}{}_{\mathrm{n}}\text{→ R}$. Analogous characterizations are found for certain classes of C¹-algebras.