The operator system of Toeplitz matrices

A recent paper of A. Connes and W.D. van Suijlekom [Comm. Math. Phys. 383 (2021), pp. 2021–2067] identifies the operator system of n × n n\times n Toeplitz matrices with the dual of the space of all trigonometric polynomials of degree less than n n . The present paper examines this identification in somewhat more detail by showing explicitly that the Connes–van Suijlekom isomorphism is a unital complete order isomorphism of operator systems. Applications include two special results in matrix analysis: (i) that every positive linear map of the n × n n\times n complex matrices is completely positive when restricted to the operator subsystem of Toeplitz matrices and (ii) that every linear unital isometry of the n × n n\times n Toeplitz matrices into the algebra of all n × n n\times n complex matrices is a unitary similarity transformation. An operator systems approach to Toeplitz matrices yields new insights into the positivity of block Toeplitz matrices, which are viewed herein as elements of tensor product spaces of an arbitrary operator system with the operator system of n × n n\times n complex Toeplitz matrices. In particular, it is shown that min and max positivity are distinct if the blocks themselves are Toeplitz matrices, and that the maximally entangled Toeplitz matrix ξ n \xi _n generates an extremal ray in the cone of all continuous n × n n\times n Toeplitz-matrix valued functions f f on the unit circle S 1 S^1 whose Fourier coefficients f ^ ( k ) \hat f(k) vanish for | k | ≥ n |k|\geq n . Lastly, it is noted that all positive Toeplitz matrices over nuclear C ∗ ^* -algebras are approximately separable.

On the Linearity of Order-isomorphisms

A basic problem in the theory of partially ordered vector spaces is to characterise those cones on which every order-isomorphism is linear. We show that this is the case for every Archimedean cone that equals the inf-sup hull of the sum of its engaged extreme rays. This condition is milder than existing ones and is satisfied by, for example, the cone of positive operators in the space of bounded self-adjoint operators on a Hilbert space. We also give a general form of order-isomorphisms on the inf-sup hull of the sum of all extreme rays of the cone, which extends results of Artstein–Avidan and Slomka to infinite-dimensional partially ordered vector spaces, and prove the linearity of homogeneous order-isomorphisms in a variety of new settings.

Universal Entire Functions That Define Order Isomorphisms of Countable Real Sets

In 1895, Cantor showed that between every two countable dense real sets, there is an order isomorphism. In fact, there is always such an order isomorphism that is the restriction of a universal entire function.

Close hereditary C*-subalgebras and the structure of quasi-multipliers

We answer a question of Takesaki by showing that the following can be derived from the thesis of Shen: if A and B are σ-unital hereditary C*-subalgebras of C such that ‖p – q‖ < 1, where p and q are the corresponding open projections, then A and B are isomorphic. We give some further elaborations and counterexamples with regard to the σ-unitality hypothesis. We produce a natural one-to-one correspondence between complete order isomorphisms of C*-algebras and invertible left multipliers of imprimitivity bimodules. A corollary of the above two results is that any complete order isomorphism between σ-unital C*-algebras is the composite of an isomorphism with an inner complete order isomorphism. We give a separable counterexample to a question of Akemann and Pedersen; namely, the space of quasi-multipliers is not linearly generated by left and right multipliers. But we show that the space of quasi-multipliers is multiplicatively generated by left and right multipliers in the σ-unital case. In particular, every positive quasi-multiplier is of the form T*T for T a left multiplier. We show that a Lie theory consequence of the negative result just stated is that the map sending T to T*T need not be open, even for very nice C*-algebras. We show that surjective maps between σ-unital C*-algebras induce surjective maps on left, right, and quasi-multipliers. (The more significant similar result for multipliers is Pedersen's non-commutative Tietze extension theorem.) We elaborate the relations of the above with continuous fields of Hilbert spaces and in so doing answer a question of Dixmier and Douady. We discuss the relationship of our results to the theory of perturbations of C*-algebras.

Open Set Lattices of Subspaces of Spectrum Spaces

We take a unified approach to study the open set lattices of various subspaces of the spectrum of a multiplicative lattice L. The main aim is to establish the order isomorphism between the open set lattice of the respective subspace and a sub-poset of L. The motivating result is the well known fact that the topology of the spectrum of a commutative ring R with identity is isomorphic to the lattice of all radical ideals of R. The main results are as follows: (i) for a given nonempty set S of prime elements of a multiplicative lattice L, we define the S-semiprime elements and prove that the open set lattice of the subspace S of Spec(L) is isomorphic to the lattice of all S-semiprime elements of L; (ii) if L is a continuous lattice, then the open set lattice of the prime spectrum of L is isomorphic to the lattice of all m-semiprime elements of L; (iii) we define the pure elements, a generalization of the notion of pure ideals in a multiplicative lattice and prove that for certain types of multiplicative lattices, the sub-poset of pure elements of L is isomorphic to the open set lattice of the subspace Max(L) consisting of all maximal elements of L.

When an Extension of Nagata Rings Has Only Finitely Many Intermediate Rings, Each of Those Is a Nagata Ring

LetR⊂Sbe an extension of commutative rings, withXan indeterminate, such that the extensionRX⊂SXof Nagata rings has FIP (i.e.,SXhas only finitely manyRX-subalgebras). Then, the number ofRX-subalgebras ofSXequals the number ofR-subalgebras ofS. In fact, the function from the set ofR-subalgebras ofSto the set ofRX-subalgebras ofSXgiven byT ↦TXis an order-isomorphism.

ON GENERALIZED UNIVERSAL IRRATIONAL ROTATION ALGEBRAS AND ASSOCIATED STRONGLY IRREDUCIBLE OPERATORS

We introduce a class of generalized universal irrational rotation C*-algebras Aθ, γ = C*(x, w) which is characterized by the relations w*w = ww* = 1, x*x = γ(w), xx* = γ(e-2πiθw), and xw = e-2πiθwx, where θ is an irrational number and γ(z) ∈ C(𝕋) is a positive function. We characterize tracial linear functionals, simplicity, and K-groups of Aθ, γ in terms of zero points of γ(z). We show that if Aθ, γ is simple then Aθ, γ is an A𝕋-algebra of real rank zero. We classify Aθ, γ in terms of θ and zero points of γ(z). Let Aθ = C*(u, v) be the universal irrational rotation C*-algebra with vu = e2πiθuv. Then C*(u + v) ≅ Aθ,|1+z|2. As an application, we show that C*(u + v) is a proper simple C*-subalgebra of Aθ which has a unique trace, K1(C*(u + v)) ≅ ℤ, and there is an order isomorphism of K0(C*(u + v)) onto ℤ + ℤθ. Moreover, C*(u + v) is a unital simple A𝕋-algebra of real rank zero. We also show that u + v is strongly irreducible relative to the hyperfinite type II 1 factor.

Operator system quotients of matrix algebras and their tensor products

{If} $\phi:\mathcal{S}\rightarrow\mathcal{T}$ is a completely positive (cp) linear map of operator systems and if $\mathcal{J}=\ker\phi$, then the quotient vector space $\mathcal{S}/\mathcal{J}$ may be endowed with a matricial ordering through which $\mathcal{S}/\mathcal{J}$ has the structure of an operator system. Furthermore, there is a uniquely determined cp map $\dot{\phi}:\mathcal{S}/\mathcal{J} \rightarrow\mathcal{T}$ such that $\phi=\dot{\phi}\circ q$, where $q$ is the canonical linear map of $\mathcal{S}$ onto $\mathcal{S}/\mathcal{J}$. The cp map $\phi$ is called a complete quotient map if $\dot{\phi}$ is a complete order isomorphism between the operator systems $\mathcal{S}/\mathcal{J}$ and $\mathcal{T}$. Herein we study certain quotient maps in the cases where $\mathcal{S}$ is a full matrix algebra or a full subsystem of tridiagonal matrices. Our study of operator system quotients of matrix algebras and tensor products has applications to operator algebra theory. In particular, we give a new, simple proof of Kirchberg's Theorem $\operatorname{C}^*(\mathbf{F}_\infty)\otimes_{\min}\mathcal{B}(\mathcal{H})=\operatorname{C}^*(\mathbf{F}_\infty)\otimes_{\max}\mathcal{B}(\mathcal{H})$, show that an affirmative solution to the Connes Embedding Problem is implied by various matrix-theoretic problems, and give a new characterisation of unital $\operatorname{C}^*$-algebras that have the weak expectation property.