Around and under my talk at Fields
by Orr Shalit
This week I am attending a Workshop on Developments and Technical Aspects of Free Noncommutative Functions at the Fields Institute in Toronto. Since I plan to give a chalk-talk, I cannot post my slides online (and I cannot prepare for my talk by preparing slides), so I will write here what some ideas around what I want to say in my talk, and also some ramblings I won’t have time to say in my talk.
[Several years ago I went to a conference in China and came back with the insight that in international conferences I should give a computer presentation and not a blackboard talk, because then people who cannot understand my accent can at least read the slides. It’s been almost six years since then and indeed I gave only beamer-talks since. My English has not improved over this period, I think, but I have several reasons for allowing myself to give an old fashioned lecture – the main ones are the nature of the workshop, the nature of the audience and the kind of things I have to say].
In the workshop Guy Salomon, Eli Shamovich and I will give a series of talks on our two papers (one and two). These two papers have a lot of small auxiliary results, which in usual conference talk we don’t get the chance to speak about. This workshop is a wonderful opportunity for us to highlight some of these results and the ideas behind them, which we feel might be somewhat buried in our paper and have gone unnoticed.
Two versions of the Nullstellensatz for noncommutative functions, and their applications
I want to begin by discussing something very general that we mathematicians do. I want to say something about how we give birth to problems and how they then start having a life of their own.
Suppose we have an infinite countable discrete group . Then there is a very natural and well known construction of the group von Neumann algebra , which is an operator algebra on (for the construction see, e.g., the second section of this post). The operator algebra contains information on the group: for example the group has the ICC property if and only if is a factor; further, is amenable if and only if is hyperfinite. However, these fancy results are somewhat sophisticated, and the mathematical child is prone to ask a more basic question: do these algebras know what group they came from? if and are isomorphic von Neumann algebras, then are the groups and isomorphic?
Even though this is the first and most naive question that a mathematical child might ask, it very hard to solve, even for mathematical grown-ups. Notoriously, it is an open question whether and are isomorphic, where denotes the free group on generators (even though the question is open for such a basic pair of groups, there do exist known pairs of non-isomorphic groups and which give rise to isomorphic von Neumann algebras).
A mathematician might obsess over such a question for an entire lifetime. To solve this question one might introduce all kinds of strategies, involving disparate fields of mathematics. To carry out the strategies one will need to introduce new tools, and then one will have to develop and refine these tools. Soon enough, the development and refinement of the tools raise new questions, and answering these questions gives rise to the need for more new tools. Some very interesting results might be proved along the way, some very surprising applications to completely different problems are sometimes discovered. The original question was asked by the mathematical child out of curiosity and wonder more than anything else, but is never forgotten, even though it is sometimes regarded as a naive fancy and not as something that one can openly confess to be aiming at. The various technical issues that arise in analyzing the fine structure of the constructions defining the question in many cases reveal themselves as beautiful problems in their own right, filling the mathematician with new wonder and ambition.
The process described above is what I do for a living. I do not work on the free group factor problem nor on the problems in free probability that it gave birth to, nor on the problems that free probability gave birth to, etc. That example was given only for the sake of illustration.
As a mathematical child (and I still am) I asked a different question. But it is in the same spirit. If you want to get the gist of what I do – this is it. But to really tell you about my work, I need to get say more.
Sometimes I feel the need to defend the choice of my own questions. The BIG PEOPLE asked different questions – maybe those are the important questions?
We observe nature and wish to understand it. We see animals. They are beautiful, they are interesting, they excite us. We wish to understand these animals. What does it mean to understand?
One aspect of understanding is classification. We know that animal A is different from animal B, because one is standing here and the other is sitting there. So they are not the same animal. This classification is somewhat too fine to be interesting. A coarser classification might be more interesting (but not too coarse, we are not satisfied by noting that they are both “animals”).
To be able to classify in a meaningful way, we need to study the properties of the animals. For example, suppose that we have never seen African animals before, but we walk into a savanna where there are two kinds: elephants and giraffes. If we have never seen and never heard of elephants and giraffes, we do not know that these are elephants and giraffes, but maybe we are clever enough to notice that there are two distinct kinds of animals in sight. Now, different people will find different properties interesting, and this will affect their classification scheme. Some will tell the elephants and the giraffes apart by noting that one kind is grey and the other is yellow with brown spots. Some will note that one kind has a long nose (or whatever that is!) and the other has a long neck! Someone else might notice that one has four knees while the other has two knees and two elbows. They are all classifying but they are using different kinds of properties.
Anyone who is studying the world in a creative way will have to ask their own questions, and will have to define to themselves what constitutes an answer.
1. The isomorphism problem for complete Pick algebras
Let , let be the open unit ball in . We let be the Hilbert space of all analytic functions such that the coefficients of the power series for given by satisfies . This space is known as the Drury-Arveson space (see, e.g., this post or this survey). Let be the multiplier algebra of , that is:
for all .
We can identify every multiplier with the multiplication operator that it gives rise to . In this way, becomes an operator algebra.
Now given an analytic variety , we can consider by which we mean all functions , for which there exists such that . It can be shown that is also a multiplier algebra, acting on the space of functions . It can also be shown that the algebra of multiplication operators is completely isometrically isomorphic to , where
for all .
We ask the mathematical child’s question: do these algebras know the variety from which they came?
With Davidson and Ramsey we studied this question, and found the following answer:
Theorem: and are completely isometrically isomorphic if and only is the image of under a conformal automorphism of the ball.
However, it is more fun to ask questions in the wrong category. We ask: these algebras have a coarser structure that depends on the variety and is simply there. For example, there is the raw algebraic structure. Does the algebraic structure hold the variety in its memory? Following my work with Davidson and Ramsey, one can come up with the following statement.
“Theorem”: and are isomorphic (as algebras) if and only and biholomorphically equivalent via a multiplier map.
There are two problems with the above theorem.
The first one is that it only treats quotients of the form where is a “radical” ideal.
The second problem is that it is false! The forward implication is proved only under additional assumptions, and we don’t really know if it is true in general (though I suspect that it is). As for the backward implication, there are counter-examples showing that there are pairs of varieties and which are multiplier biholomorphic but the algebras are non-isomorphic.
So it’s not really a theorem.
As I learned from George Elliott, when your candidate for a classification fails, there are two things you can do: 1) you can try to work in a restricted class of algebras or varieties, in hope that the invariant is a complete invariant in that setting; 2) you can refine the invariant.
We have papers dealing with restricted classes of varieties (see this paper with Kerr and McCarthy where we show that the “theorem” is true for reasonable one dimensional varieties; this paper with Davidson and Hartz studies the extent of the failure of “theorem” when we consider discs embedded in an finite dimensional ball). More recently I have been concentrating on studying the isomorphism problem through a refined invariant. The refined invariants are noncommutative (nc) varieties and their derivatives. These were described in depth in the talks by Eli Shamovich and by Guy Salomon.
2. The purely algebraic case
To illustrate how noncommutative varieties arise even for commutative problems, I will describe a Nullstellensatz that we obtained apropos our work on the isomorphism problem for algebras of bounded nc analytic functions. (BTW, I blogged about this in the past, and what follows has some overlap with the previous post).
Let be the algebra of polynomials in commuting variables.
Let us define the zero locus as follows:
for all .
We also introduce the following notation: given , we write
for all .
The question that every mathematical child will ask immediately, is: (to what extent) can we recover from ?
Hilbert answered this question thusly:
Theorem (Hilbert’s Nullstellensatz): For every ,
Recall that the radical of is the ideal
there exists some such that .
To describe the Nullstellensatz that appears in my paper with Guy and Eli I will need to introduce some notation (after we proved it, we found that it can be dug out of a paper of Eisenbud and Hochester – but does it does not seem to be well known, at least not in our transparent formulation).
Let denote the set of all -tuples of matrices. We let be the disjoint union of all -tuples of matrices, where runs from to . That is, we are looking at all -tuples of commuting matrices of all sizes. Elements of can be plugged into polynomials in noncommuting variables.
Similarly, we let denote the set of all commuting -tuples of matrices. We let . Now we are looking at all commuting -tuples of commuting matrices of all sizes. This can be considered as the “noncommutative variety” cut out in by the equations (in noncommuting variables)
Points in can be plugged into any polynomial .
In fact, points in can be naturally identified with the space of finite dimensional representations of , by
(We shall use the word “representation” to mean a homomorphism of an algebra or ring into for some ).
Now, given an ideal , we can consider its zero set in :
for all .
(We will omit the subscript for brevity.) In the other direction, given a subset , we can define the ideal of functions that vanish on it:
for all .
Tautologically, for every ideal ,
because every polynomial in annihilates every tuple on which every polynomial in is zero, right? The beautiful (and maybe surprising) fact is the converse.
The following formulation is taken from Corollary 11.7 from the paper “Algebras of bounded noncommutative analytic functions on subvarieties of the noncommutative unit ball” by Guy Salomon, Eli Shamovich and myself.
Theorem (free commutative Nullstellensatz): For every ,
For a proof, see the paper, or if you want a version for dummies (== analysts) see this blog post.
The first thing to note about this theorem is that it is not trivial. One might say: “yeah sure, is finite dimensional so can guess that everything is determined by the finite dimensional representations”, but please note that this theorem fails if we replace by the (finitely generated) algebra of polynomials in non-commuting variables. It also fails in the algebra of bounded analytic functions on the disc, even if one restricts attention to weak-* closed ideals (a setting in which becomes a (commutative) principal ideal domain).
Consider the following theorem.
Theorem: Let be such that for every representation of that annihilates . Then .
In a sense, this is the correct theorem, which holds for every algebra, not just for the algebra . Isn’t it a better theorem?
NO! Because this theorem is too good to be wrong! It is stated in such a way that it is true automatically. Indeed, just consider the representation . By assumption, goes to zero under this representation, and hence .
The commutative free Nullstellensatz is interesting precisely because it does not hold for all algebras, it is a special theorem true for the polynomial algebra .
Besides being non-trivial, the free commutative Nullstellensatz is pleasing and beautiful. Let us now see what we can do with it.
Proof: The map is surjective, and by the commutative free Nullstellensatz its kernel is .
From here it is easy to show:
Theorem: iff there exists a polynomial isomorphism of varieties .
Proof: The existence of such a map implies the existence of an isomorphism between and . Conversely, and isomorphism gives rise to a map between the spaces of finite dimensional representations. But it is easy to see that the finite dimensional representations of are in bijection with via
That completes the proof.
3. Back to quotients of multiplier algebras
We now return to operator algebras. The ideas in the last section help us find the correct invariant for quotients of by non-radical ideals. The completely general problem is still not solved – we need to assume that the ideals are homogeneous.
For a homogeneous ideal , we write . We write for the nc set of all commuting tuples which are also strict row contractions. Then we have the following result, which identifies our quotient algebras as algebras of nc functions on an nc variety.
Using this, we showed:
Theorem: if and only if there exists an appropriate nc analytic “isomorphism” .
In my talk, the emphasis is on that an isomorphism of the algebras gives rise to a map between the varieties. To make this work, we needed to show that if then the induced map is regular. The case of radical homogeneous ideals was previously solved in works with Davidson and Ramsey, and in a work of Hartz. The case of non-radical homogeneous ideals is solved by an argument that makes use of the proof of the radical case, essentially reducing things to the radical case using the following Nullstellensatz:
Theorem: Let be a homogeneous ideal. There exists an such that for every , if , then .