Noncommutative Analysis

Category: operator spaces

Topics in Operator Theory, Lecture 7: boundary representations

In this lecture we will present a proof that boundary representations exist in abundance, following Davidson and Kennedy’s breakthrough paper. Davidson and Kennedy’s paper was in the spirit of Arveson’s paper from 1969, and followed Arveson’s solution in the separable case from 2007. (BTW, I wrote about Davidson and Kennedy’s solution in a an old blog post). 

1. The unique extension property and maximal representations

Recall the definition of a boundary representation. 

Our setting will be of an operator system S contained in a C*-algebra B = C^*(S). Recall that earlier we discussed the situation of a unital operator algebra A \subseteq B = C^*(A), and later we extended our attention to unital operator spaces. In this post we will consider only operator systems, but there will be no loss of generality (because every unital completely contractive map A \mapsto B(H) extends to a unique unital completely positive map S: A + A^* \to B(H), and vice versa). 

Read the rest of this entry »

Topics in Operator Theory, Lecture 6: an overview of noncommutative boundary theory

The purpose of this lecture is to introduce some classical notions in uniform algebras that motivated Arveson’s two seminal papers, “Subalgebras of C*-algebras I + II”, and then to introduce the basic ideas on how to generalize to the noncommutative setting, which were introduced in those papers.

Note: If you are following the notes of this course, please note that the previous lecture has been updated with quite a lot of material.  Read the rest of this entry »

Topics in Operator Theory, Lecture 5 and on

Last week (which was the fourth week, not really the fourth lecture) we finished the proof of Pick’s interpolation theorem, and then I gave a one hour crash course in C*-algebras. The main topics we covered were:

  1. Positive functionals and states on C*-algebras and the GNS construction.
  2. For a linear functional f on a C*-algebra, f\geq 0 \Leftrightarrow f(1) = \|f\|.
  3. The Gelfand-Naimark theorem .
  4. A Hahn-Banach extension theorem: If A is a unital C*-algebra and B is a unital C*-subalgebra, then every state on B extends to a state on A.

From now on we will begin a systematic study of operator spaces, operator systems, and completely positive maps. I will be following my old notes, which for this part are based on Chapters 2 and 3 from Vern Paulsen’s book , and I will make no attempt at writing better notes.

As I start with some basic things this week, the students should brush up on tensor products of vector spaces and of Hilbert spaces.

UPDATE DECEMBER 4th: 

I decided to record here in some more details the material that I covered following Paulsen’s book, since my presentation was not 1-1 according to the book. In what follows, M will denote a unital operator space, S an operator system, and A and B are C*-algebras. Elements in these spaces will be denoted as a,b etc. Read the rest of this entry »

Topics in Operator Theory, Lecture 1: Introduction

This is a summary of the first lecture, which was introductory in nature.

H will always denote a Hilbert space over \mathbb{C}. B(H) will always denote the algebra of bounded operators on H. I am interested in operators on Hilbert space; various subspaces and algebras of operators that come with various structures, as well as the relationship between these subspaces and structures; and connections and applications of the above to other areas, in particular complex function theory and matrix theory.

I expect students to know the spectral theorem for normal operators on Hilbert space (see here. A proof in the selfadjoint case that assumes very little from the reader can be found in my notes, see Section 3 and 4). I also will assume some familiarity with Banach algebras and commutative C*-algebras – the student should contact me for references.

We begin by surveying different kinds of structures of interest.  Read the rest of this entry »

New paper “Compressions of compact tuples”, and announcement of mistake (and correction) in old paper “Dilations, inclusions of matrix convex sets, and completely positive maps”

Ben Passer and I have recently uploaded our preprint “Compressions of compact tuples” to the arxiv. In this paper we continue to study matrix ranges, and in particular matrix ranges of compact tuples. Recall that the matrix range of a tuple A = (A_1, \ldots, A_d) \in B(H)^d is the the free set \mathcal{W}(A) = \sqcup_{n=1}^\infty \mathcal{W}_n(A), where

\mathcal{W}_n(A) = \{(\phi(A_1), \ldots, \phi(A_d)) : \phi : B(H) \to M_n is UCP \}.

A tuple A is said to be minimal if there is no proper reducing subspace G \subset H such that \mathcal{W}(P_G A\big|_G) = \mathcal{W}(A). It is said to be fully compressed if there is no proper subspace whatsoever G \subset H such that \mathcal{W}(P_G A\big|_G) = \mathcal{W}(A).

In an earlier paper (“Dilations, inclusions of matrix convex sets, and completely positive maps”) I wrote with other co-authors, we claimed that if two compact tuples A and B are minimal and have the same matrix range, then A is unitarily equivalent to B; see Section 6 there (the printed version corresponds to version 2 of the paper on arxiv). This is false, as subsequent examples by Ben Passer showed (see this paper). A couple of other statements in that section are also incorrect, most obviously the claim that every compact tuple can be compressed to a minimal compact tuple with the same matrix range. All the problems with Section 6 of that earlier paper “Dilations,…” can be quickly  fixed by throwing in a “non-singularity” assumption, and we posted a corrected version on the arxiv. (The results of Section 6 there do not affect the rest of the results in the paper, and are somewhat not in the direction of the main parts of that paper).

In the current paper, Ben and I take a closer look at the non-singularity assumption that was introduced in the corrected version of “Dilations,…”, and we give a complete characterization of non-singular tuples of compacts. This characterization involves the various kinds of extreme points of the matrix range \mathcal{W}(A). We also make a serious invetigation into fully compressed tuples defined above. We find that a matrix tuple is fully compressed if and only if it is non-singular and minimal. Consequently, we get a clean statement of the classification theorem for compacts: if two tuples A and B of compacts are fully compressed, then they are unitarily equivalent if and only if \mathcal{W}(A) = \mathcal{W}(B).

 

The complex matrix cube problem summer project – summary of results

In the previous post I announced the project that I was going to supervise in the Summer Projects in Mathematics week at the Technion. In this post I wish to share what we did and what we found in that week.

I had the privilege to work with two very bright students who have recently finished their undergraduate studies: Mattya Ben-Efraim (from Bar-Ilan University) and Yuval Yifrach (from the Technion). It is remarkable the amount of stuff they learned for this one week project (the basics of C*-algebras and operator spaces), and that they actually helped settle the question that I raised to them.

I learned a lot of things in this project. First, I learned that my conjecture was false! I also learned and re-learned some programming abilities, and I learned something about the subtleties and limitations of numerical experimentation (I also learned something about how to supervise an undergraduate research project, but that’s besides the point right now).

Statement of the problem

Read the rest of this entry »