## Category: Hilbert function spaces

### Topics in Operator Theory, Lecture 4: Pick interpolation via commutant lifting

Finally we reached the point where we can apply the general theory that we developed in the last two weeks to obtain an interesting application to function theory, namely, the Pick interpolation theorem. Read the rest of this entry »

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

### Aleman, Hartz, McCarthy and Richter characterize interpolating sequences in complete Pick spaces

The purpose of this post is to discuss the recent important contribution by Aleman, Hartz, McCarthy and Richter to the characterization of interpolating sequences (for multiplier algebras of certain Hilbert function spaces). Their recent paper “Interpolating sequences in spaces with the complete Pick property” was uploaded to the arxiv about two weeks ago; here I will just give some background and state the main result. (Even more recently these four authors released yet another paper that looks very interesting – this one.)

#### 1. Background – interpolating sequences

We will be working with the notion of Hilbert function spaces – also called reproducing Hilbert spaces (see this post for an introduction). Suppose that $H$ is a Hilbert function space on a set $X$, and $k$ its reproducing kernel. The Pick interpolation problem is the following:

### Preprint update (Stable division and essential normality…)

Shibananda Biswas and I recently uploaded to the arxiv a new version of our paper “Stable division and essential normality: the non-homogeneous and quasi-homogeneous cases“. This is the paper I announced in this previous post, but we had to make some significant changes (thanks to a very good referee) so I think I have to re announce the paper.

I’ve sometimes been part of conversations where we mathematicians share with each other stories of how some paper we wrote was wrongfully (and in some cases, ridiculously) rejected; and then I’ve also been in conversations where we share stories of how we, as referees, recently had to reject some wrong (or ridiculous) paper. But I never had the occasion to take part in a conversation in which authors discuss papers they wrote that have been rightfully rejected. Well, thanks to the fact that I sometimes work on problems related to Arveson’s essential normality conjecture (which is notorious for having caused some embarrassment to betters-than-I), and also because I have become a little too arrogant and not sufficiently careful with my papers, I have recently become the author of a rightfully rejected paper. It is a good paper on a hard problem, I am not saying it is not, and it is (now (hopefully!)) correct, but it was rejected for a good reason. I think it is a story worth telling. Before I tell the story I have to say that both the referee and my collaborator were professional and great, and this whole blunder is probably my fault.

So Shibananda Biswas and I submitted this paper Stable division and essential normality: the non-homogeneous and quasi-homogeneous cases for publication. The referee sent back a report with several good comments, two of which turned out to be serious. The two serious comments concerned what appeared as Theorem 2.4 in the first version of the paper (and it appears as the corrected Theorem 2.4 in the current version, too). The first serious  issue was that in the proof of the main theorem we mixed up between $t$ and $t+1$, and this, naturally, causes trouble (well, I am simplifying. Really we mixed between two Hilbert space norms, parametrised by $t$ and $t+1$). The second issue (which did not seem to be a serious one at first) was that at some point of the proof we claimed that a particular linear operator is bounded since it is known to be bounded on a finite co-dimensional subspace; the referee asked for clarifications regarding this step.

The first issue was serious, but we managed to fix the original proof, roughly by changing $t+1$ back to $t$. There was a price to pay in that the result was slightly weaker, but not in a way that affected the rest of the paper. Happily, we also found a better proof of the result we wanted to prove in the first place, and this appears as Theorem 2.3 in the new and corrected version of the paper.

The second issue did not seem like a big deal. Actually, in the referee’s report this was just one comment among many, some of which were typos and minor things like that, so we did not really give it much attention. A linear operator is bounded on a finite co-dimensional subspace, so it is bounded on the whole space, I don’t have to explain that!

We sent the revision back, and after a while the referee replied that we took care of most things, but we still did not explain the part about the operator-being-bounded-because-it-is-bounded-on-a-finite-co-dimensional-space. The referee suggested that we either remove that part (since we already had the new proof), or we explain it. The referee added, that in either case he suggests to accept the paper.

Well, we could have just removed that part indeed and had the paper accepted, but we are not in the business of getting papers accepted for publication, we are in the business of proving theorems, and we believed that our original proof was interesting in itself since it used some interesting new techniques. We did not want to give up on that proof.

My collaborator wrote a revision with a very careful, detailed and rigorous explanation of how we get boundedness in our particular case, but I was getting angry and I made the big mistake of thinking that I am smarter than the referee. I thought to myself: this is general nonsense! It always holds. So I insisted on sending back a revision in which this step is explained by referring to a general principle that says that an operator which is bounded on a finite co-dimensional subspace is bounded.

OOPS!

That’s not quite exactly precisely true. Well, it depends what you mean by “bounded on a finite co-dimensional subspace”. If you mean that it is bounded on a closed subspace which has a finite dimensional algebraic complement then it is true, but one can think of interpretations of “finite co-dimensional” that make this is wrong: for example, consider an unbounded linear functional: it is bounded on its kernel, which is finite co-dimensional in some sense, but it is not bounded.

The referee, in their third letter, pointed this out, and at this point the editor decided that three strikes and we are out. I think that was a good call. A slap in the face and a lesson learned. I only feel bad for my collaborator, since the revision he prepared originally was OK.

Anyway, in the situation studied in our paper, the linear subspace on which the operator is bounded is a finite co-dimensional ideal in the ring of polynomials. It’s closure has zero intersection with the finite dimensional complement (the proof of this is not very hard, but is indeed non-trivial and makes use of the nature of the spaces in question), and everything is all right.  Having learned our lessons, we explain everything in detail in the current version. I hope that carefully enough.

I think that what caused us most trouble was that I did not understand what the referee did not understand. I assumed (very incorrectly, and perhaps arrogantly) that they did not understand a basic principle of functional analysis; it turned out that the referee did not understand why we are in a situation where we can apply this principle, and with hindsight this was worth explaining in more detail.

### Spaces of Dirichlet series with the complete Pick property (or: the Drury-Arveson space in a new disguise)

John McCarthy and I have recently uploaded a new version of our paper “Spaces of Dirichlet series with the complete Pick property” to the arxiv. I would like to advertise the central discovery of this paper here.

Recall that the Drury-Arveson space $H^2_d$ is the reproducing kernel Hilbert space on the open unit ball of a $d$ dimensional Hilbert space, with reproducing kernel

$k(z,w) = \frac{1}{1 - \langle z, w \rangle}$.

It has the remarkable universal property that every Hilbert function space with the complete Pick property is naturally isomorphic to the restriction of $H^2_\infty$ to a subset of the unit ball (see Theorem 6 and its corollary in this post), and consequently, every complete Pick algebra is a quotient of the multiplier algebra $\mathcal{M}_\infty = Mult(H^2_\infty)$. To the best of my knowledge, no other Hilbert function spaces with such a universal property have been studied.

John and I discovered another reproducing kernel Hilbert space that turns out to be “the same” as the Drury-Arveson space $H^2_\infty$. Since the space $H^2_\infty$ as been so well studied, it interesting to discover a new incarnation. The really interesting part is that the space we discovered is a space of analytic functions on a half plane (that is, a space of functions in one complex variable), rather than a space of analytic functions in infinitely many variables on the unit ball of a Hilbert space.

To be precise, the spaces we consider are spaces of Dirichlet series $\mathcal{H}$, of the form

$\mathcal{H} = \{f(s) = \sum_{n=1}^\infty \gamma_n n^{-s} : \sum |\gamma_n|^2 a_n^{-1} < \infty \}$.

(Here $a_n$ is a sequence of positive numbers). These are Hilbert function spaces on some half plane that have a kernel of the form $k(s,u) = \sum a_n n^{-s-\bar u}$.

We first answer the question which of these spaces $\mathcal{H}$ have the complete Pick property. This problem has a simple solution (which has been anticipated by similar results on spaces on the disc): if we denote by $g(s) = \sum a_n n^{-s}$ the “generating function” of the space, and if we write

$\frac{1}{g(s)} = \sum c_n n^{-s}$,

then $\mathcal{H}$ is a complete Pick space if and only if $c_n \leq 0$ for all $n \geq 2$.

After we know to tell when these spaces are complete Pick, it is natural to ask which complete Pick spaces arise like this? We do not give a complete answer, but our surprising discovery is that things can easily be cooked up so to obtain the Drury-Arveson space $H^2_d$, where $d$ can be any cardinal number in $\{1,2,\ldots, \infty\}$. For example, $\mathcal{H}$ turns out to be “the same” as $H^2_\infty$ if the kernel $k$ is given by

$k(s,u) = \frac{P(2)}{P(2) - P(2+s+\bar u)}$,

where $P(s) = \sum_{p} p^{-s}$ is the prime zeta function (the sum is taken over all primes $p$).

Now, I have been a little vague about what it means that $\mathcal{H}$ is “the same” as $H^2_\infty$. In fact, this is a subtle question, and we devote a part of our paper what it means for two Hilbert function spaces to be the same — something that has puzzled us for a while.

What does this appearance of Drury-Arveson space as a space of Dirichlet series mean? Can we use this connection to learn something new on multivariable operator theory, or on Dirichlet series? How did the prime zeta function smuggle itself into this discussion? This requires further thought.