Souvenirs from Amsterdam
by Orr Shalit
(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.
1. Quick reminder on nc function theory
In a previous post (see Section 3 there) I gave the basic definitions of noncommutative (nc) function theory. For the reader’s convenience I will repeat it here (with a few small improvements):
For every , denote by the set of all -tuples of matrices. For and , we let denote the -tuple in with elements
We denote my , so is the set of all -tuples of matrices, running over all .
Definition: An nc-domain is a set such that the following conditions hold:
- For all , the intersection is open,
- If then ,
- If and is unitary then .
The set is an nc-domain, for example. So is the union of all tuples of matrices in the open unit ball, or union of all strict row contractions.
On these sets we may define noncommutative functions. A “noncommutative polynomial”, or a “free polynomial”, or a “polynomial in non-commuting variables” (all terms meaning the same thing) is defined in the obvious way. We denote by the algebra of polynomials in non-commuting variables. A noncommutative function is supposed to be a generalization of a noncommutative polynomials.
A function is called a graded function if it maps into . (As an example, note that noncommutative polynomials are graded functions.)
Definition: An nc-function on and nc-domain is a graded function such that
- If and is an invertible matrix such that , then .
Again, it is easy to check that noncommutative polynomials are nc-functions. Indeed, it seems that these requirements are the bare minimum that we might ask from functions which are to be in some sense limits of noncommutative polynomials.
Until now everything is completely algebraic. In order to obtain analytic results, one needs to introduce a topology. There are several reasonable topologies one may define on . The Free Topology is the topology on generated by the sets of the form
where is a matrix whose entries are in .
This allows us to define holomorphic functions.
Definition: A free holomorphic function on an nc set is a continuous nc function.
For a free open set , we denote by the bounded free holomorphic functions on . Here by bounded we mean – as you may guess – that there exists such that for all . The norm in is defined as .
2. Jim Agler’s talk: The Nevanlinna-Pick and Cartan extension theorems in non-commuting variables
Jim Agler gave a very nice talk – probably my favourite talk in the conference – about his work on nc function theory, which he has done together with John McCarthy. I already reported on John McCarthy’s talk in Oberwolfach on the same general theme, but Agler’s talk emphasised a rather different aspect. The talk (and therefore this post too) is based on this paper.
Agler began with an interesting result about a Nevanlinna-Pick type interpolation problem. Let be a basic (free) open set (see (1) above), and let there be given points . Suppose that one is also given targets, that is elements . Then the interpolation problem is: does there exist a function in with norm less than or equal to such that
(2) , .
This problem and its generalizations are very well studied in the setting of classical function theory, or classical analytic-matrix-valued function theory (I explained a little bit in this previous post). In the free setting there are a couple of surprises.
First surprise: In the free setting, only matters. This is surprising, but very simple: in the free setting, satisfies (2) if and only if it satisfies , where and . (Recall that both the domain and the function are assumed to respect direct sums).
In the classical (scalar valued analytic functions on the unit disc) case, the interpolation problem with one point “find analytic with norm less than or equal to one such that ” has a solution if and only if . In the free setting this is not so. Moreover, in the classical case, if one drops the norm constraint, then one may always find a bounded analytic satisfying (2), in fact one may choose a polynomial.
Second surprise: In the free setting, the interpolation problem may fail to have a solution, even if one drops the norm constraint (and even if there is only one point). As in the first surprise, the explanation is really simple. Since free nc functions are supposed to respect direct sums, if is diagonal and is not, then there is no free nc function mapping to . (I don’t think this problem can be made to go away if one begins the discussion from free polynomials with matrix coefficients, but I did not think about this enough).
To formulate the theorem that Agler and McCarthy obtain, we need some more notation.
The set should be thought of as the smallest noncommutative variety that contains . Note that if two polynomials agree at the point , then they must agree on all of . We are now ready to formulate the free interpolation theorem (Theorem 1.3 in their paper).
Theorem: Let , and . There exists a function in the closed unit ball of such that if and only if the following two conditions hold:
- There exists such that .
Thus a necessary condition for solvability is that the interpolation problem is solvable with polynomials – that’s something we took for granted in the classical problem. To see that the second condition is also necessary, one first proves that polynomials that agree with on must agree with on all of .
That the two conditions together are sufficient is harder to prove and I won’t go into that. However, it is very interesting to note that their proof uses the lurking isometry argument (see Section 3 of this previous post for a simple application of this argument). One wonders if there is a theorem in mathematics that a sufficiently clever lurking isometrer cannot prove with that tool!
(BTW IMPORTANT NOTE: I am never sure what I I like better: the lurking isometry argument, or the name it got: “lurking isometry”. In any case, I wish to record here my discovery (which I made during the conference) that the lurking isometry argument’s name is due to Joe Ball. Joe says that the argument itself has been around forever, and does not take credit for the argument itself.)
So that was the “Nevanlinna-Pick interpolation” result of Agler-McCarthy. Now we move to their “Cartan extension” theorem. By “Cartan extension theorem” Agler-McCarthy mean the following classical theorem in several complex variables, which is a consequence of the very deep Cartan’s Theorem B:
Theorem: Let be an analytic variety in a domain of holomorphy . If is holomorphic on , then there exists a function holomorphic on such that .
To appreciate how remarkable this theorem is, recall that a) an analytic variety is a very thin set inside a domain that contains it, and b) the definition of holomorphicity is local, that is, is holomorphic on if for every point there is an open neighborhood such and a holomorphic function on such that . There is no easy to see reason why there should exist a globally defined that restricts to , and indeed the proof of this extension theorem is extremely difficult and involved.
There are theorems of a similar nature, dealing with the problem of when a bounded holomorphic function on a variety can be extended to a bounded holomorphic function on a domain . In this type of theorem, usually one gets also some kind of bound on sup norms . It is known, however, that almost never one gets (see, for example, this other paper of Agler-McCarthy).
Remarkably, in the free setting one is able to get norm preserving extensions as a relatively simple (compared to the classical kind of extension theorems) corollary to the Nevanlinna-Pick interpolation result. The result (Theorem 1.5 in their paper) is as follows:
Theorem: Let be a free open set, and let be a free algebraic subvariety of (thus is the joint zero set of a set of free polynomials). If is a function on that is free holomorphic in a neighborhood of every point of , then there exists a free holomorphic that extends such that
These two theorems really whets ones appetite for more nc function theory. Especially interesting are questions about nc varieties (can a locally defined nc variety always be given by a global description) and nc domains (is there an nc analog of domain of holomorphy?). There are lots of people working on nc function theory, but it seems like there is a ton of work to be done.