## Category: Noncommutative function theory

### 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)$.

### Souvenirs from the Red River

Last week I attended the annual Canadian Operator Symposium, better known in its nickname: COSY. This conference happens every year and travels between Canadian universities, and this time it was held in the University of Manitoba, in Winnipeg. It was organized by Raphaël Clouâtre and Nina Zorboska, who altogether did a great job.

My first discovery: Winnipeg is not that bad! In fact I loved it. Example: here is the view from the window of my room in the university residence:

Not bad, right? A very beautiful sight to wake up to in the morning. (I got the impression, that Winnipeg is nothing to look forward to, from Canadians. People of the world: don’t listen to Canadians when they say something bad about any place that just doesn’t quite live up to the standard of Montreal, Vancouver, or Banff.) Here is what you see if you look from the other side of the building:  Read the rest of this entry »

### The perfect Nullstellensatz

Question: to what extent can we recover a polynomial from its zeros?

Our goal in this post is to give several answers to this question and its generalisations. In order to obtain elegant answers, we work over the complex field $\mathbb{C}$ (e.g., there are many polynomials, such as $x^{2n} +1$, that have no real zeros; the fact that they don’t have real zeros tells us something about these polynomials, but there is no way to “recover” these polynomials from their non-existing zeros). We will write $\mathbb{C}[z]$ for the algebra of polynomials in one complex variable with complex coefficients, and consider it as a function of the complex variable $z \in \mathbb{C}$. We will also write $\mathbb{C}[z_1, \ldots, z_d]$ for the algebra of polynomials in $d$ (commuting) variables, and think of it – at least initially – as a function of the variable $z = (z_1, \ldots, z_d) \in \mathbb{C}^d$Read the rest of this entry »

### Souvenirs from San Diego

Every time that I fly to a conference, I think about the airport puzzle that I once read in Terry Tao’s blog. Suppose that you are trying to get quickly from point A to point B in an airport, and that part of the way has moving walkways, and part of it doesn’t. Suppose that you can either walk or run, but you can only run for a certain small amount of the time. Where is it better to spend that amount of time running: on the moving walkways or in between the moving walkways? Does it matter?

### Algebras of bounded noncommutative analytic functions on subvarieties of the noncommutative unit ball

Guy Salomon, Eli Shamovich and I recently uploaded to the arxiv our paper “Algebras of bounded noncommutative analytic functions on subvarieties of the noncommutative unit ball“. This paper blends in with the current growing interest in noncommutative function theory, continues and unifies several strands of my past research.

A couple of years ago, after being inspired by lectures of Agler, Ball, McCarthy and  Vinnikov on the subject, and after years of being influenced by Paul Muhly and Baruch Solel’s work, I realized that many of my different research projects (subproduct systems, the isomorphism problem, space of Dirichlet series with the complete Pick property, operator algebras associated with monomial ideals) are connected by the unifying theme of bounded analytic nc functions on subvarieties of the nc ball. “Realized” is a strong word, because many of my original ideas on this turned out to be false, and others I still don’t know how to prove. Anyway, it took me a couple of years and a lot of help, and here is this paper.

In short, we study algebras of bounded analytic functions on subvarieties of the the noncommutative (nc) unit ball :

$\mathfrak{B}_d = \{(X_1, \ldots, X_d)$ tuples of $n \times n$ matrices, $\sum X_i X_i < I\}$

as well as bounded analytic functions that extend continuously to the “boundary”. We show that these algebras are multiplier algebras of appropriate nc reproducing kernel Hilbert spaces, and are completely isometrically isomorphic to the quotient of $H^\infty(\mathfrak{B}_d)$ (the bounded nc analytic functions in the ball) by the ideal of nc functions vanishing on the variety. We classify these algebras in terms of the varieties, similar to classification results in the commutative case. We also identify previously studied algebras (such as multiplier algebras of complete Pick spaces and tensor algebras of subproduct systems) as algebras of bounded analytic functions on nc varieties. See the introduction for more.

We certainly plan to continue this line of research in the near future – in particular, the passage to other domains (beyond the ball), and the study of algebraic/bounded isomorphisms.

### Souvenirs from Amsterdam

(I am writing a post on hot trends in mathematics in the midst of war, completely ignoring it. This seems like the wrong thing to do, but my urge to write has overcome me. To any reader of this blog: I wish you a peaceful night, wherever you are).

Last week I returned from the yearly “International Workshop on Operator Theory and Applications”, IWOTA 2014 for short (see the previous post for the topic of my own talk, or this link for the slides).

This conference was very broad (and IWOTA always is). One nice thing about broad conferences is that you are able sometimes to identify a growing trend. In this talk I got particularly excited by a series of talks on “noncommutative function theory” or “free analysis”. There was a special session dedicated to this topic, but I was mostly inspired by a semi-plenary talk by Jim Agler, and also by two interesting talks by Joe Ball and Spela Spenko. I also attended nice talks related to this subject by Victor Vinnikov, Dmitry Kalyuhzni-Verbovetskyi, Baruch Solel, Igor Klep and Bill Helton. This topic has attracted the attention of many operator theorists, for its applications as well as for its inherent beauty, and seems to be accelerating in the last several years; I will only try to give a taste of some neat things that are going on, by telling you about Agler’s talk. What I will not be able to do is to convey Agler’s intense and unique mathematical charisma.

Here is the program of the conference, so you can check out other things that were going on there.

### Souvenirs from the Black Forest

Last week I attended a workshop titled “Hilbert modules and complex geometry” in MFO (Oberwolfach). In this post I wish to tell about some interesting things that I have learned. There were many great talks to choose from. Below is a sample, in short form, with links.