Category: Complex variables

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.

The isomorphism problem: update

Ken Davidson, Chris Ramsey and I recently uploaded a new version of our paper “Operator algebras for analytic varieties” to the arxiv. This is the second paper that was affected by a discovery of a mistake in the literature, which I told about in the previous post. Luckily, we were able to save all the results in that paper, but had to work a a little harder than what we thought was needed in our earlier version. The isomorphism problem for complete Pick algebras (which I like to call simply “the isomorphism problem”) has been one of my favorite problems during the last five years. I wrote four papers on this problem, with five co-authors. I want to give a short road-map to my work on this problem. Before I do so, here is  link to the talk that I will give in IWOTA 2014 about this stuff. I think (hope) this talk is a good introduction to the subject. The problem is about the classification of a large class of non-selfadjoint operator algebras – multiplier algebras of complete Pick spaces – which can also be realized as certain algebras of functions on analytic varieties. These algebras all have the form

$M_V = Mult(H^2_d)\big|_V$

where $V$ is a subvariety of the unit ball and $Mult(H^2_d)$  denotes the multiplier algebra of Drury-Arveson space (see this survey), and therefore $M_V$ is the space of all restrictions of multipliers to $V$. The hope is to show that the geometry of the variety $V$ is a complete invariant for the algebras $M_V$, in various senses that will be made precise below.

Advanced Analysis, Notes 19: The holomorphic functional calculus II (definition and basic properties)

In this post we continue our discussion of the holomorphic functional calculus for elements of a Banach algebra (or operators). The beginning of this discussion can be found in Notes 18. Read the rest of this entry »

Spectral sets and distinguished varieties in the symmetrized bidisc

In this post I will write about a new paper, “Spectral sets and distinguished varieties in the symmetrized bidisc“, that Sourav Pal and I posted on the arxiv, and give the background to understand what we do in that paper.

A sneaky proof of the maximum modulus principle

The April 2013 issue of the American Mathematical Monthly has just appeared, and with it my small note “A Sneaky Proof of the Maximum Modulus Principle”. Here is a link to the current issue on the journal’s website, and here is a link to a version of the paper on my homepage. As the title suggest, the note contains a new proof — which I find extremely cool — for the maximum modulus principle from the theory of complex variables. The cool part is that the proof is based on some basic linear algebra. The note is short and very easy, and I am not going to say anything more about the proof, except that it relates to some of my “real” research (the way in which it relates can be understood by reading the Note and its references).

I am writing this post not only to publicize this note, but also to record somewhere my explanation why I have been behaving in a sneaky fashion. Indeed, this is the first paper that I wrote which I did not post on the Arxiv. Why?

Unlike research journals, the American Mathematical Monthly is a journal which has, if I am not mistaken, actual subscribers. I mean real people, some of them perhaps old school (like myself), and I could see them waiting to receive their copy in the mailbox, and then when the new issue finally arrives they gently open the envelope — or perhaps they tear it open, depending on their custom — after which they sit down and browse through the fresh issue. I could believe that there are such persons (for I myself am such a person) that do not look at the online version of the journal even though they have access, because that would spoil their fun with the paper copy which is to arrive a few days later.

Now I wouldn’t like to spoil a small pleasure of a subscriber, somewhere out there. So I did not post the Note on the Arxiv, lest it pop up on somebody’s mailing list. “Oh, this I have already seen…”. I shall not be resposible for such spoilers! So I decided to keep my note relatively secret, putting it on my homepage, but putting off the Arxiv until the journal really gets published and all the physical copies are safely in the mailboxes of all subscribers. I made this decision about a year ago from now, and to tell the truth I felt that a year is a terribly long time to wait. In the end, this year appears much much shorter from this end than from the other one.

(I guess that it does not matter much if I put it on the Arxiv now: in the meanwhile I discovered that google scholar has managed to figure out that such a note exists on somebody’s webpage. Probably I will post it on the Arxiv, for the sake of all things being in good order).