### Summer project 2020 – Hilbert function spaces of analytic functions in a complex variable

#### by Orr Shalit

In the week of September 6-11 the Math Department at the Technion will again host the “Math Research Week“, or what we refer to as the the “summer projects week”. As in previous years, I will be offering a project, and this year, with the help of Ran Kiri and Satish Pandey, it will be a project on Hilbert function spaces. See here for the abstract. The purpose of this post is to collect my thoughts and my plans for this project.

Suppose that is a reproducing kernel Hilbert space on a space (I will assume knowledge in reproducing kernel Hilbert spaces (aka Hilbert function spaces) – see this old post for a crash introduction to the subject. ) The theory of reproducing kernel Hilbert spaces makes a connection between function theory, on the one hand, and Hilbert spaces and operator theory, on the other. The function theory captures features of the space , while the Hilbert space allows us to attach various functional analytic structures. The goal of the project is to explore the relationship between the various ingredients appearing above: the geometry/topology of and its subsets, the function theory on , the Hilbert function space structure of subspaces of and of , and maybe also operator algebras acting on these subspaces.

**Circle of problems 1: When are Hilbert function spaces “the same”?**

Let be a sequence of positive numbers, and consider the space of power series

.

One can show that (under some mild assumption) every element in is an analytic function in the unit disc, and that when one defines the inner product

then is a RKHS. If for all then we get the Hardy space , if then we get the Bergman space .

The sequence determines the space , and one function theoretic aspect encoded by is the rate of convergence of the coefficients, and in turn the “regularity” of functions in the space at the boundary.

As a warmup one can try to understand for which sequences does this construction work, and what is the reproducing kernel. The main problems to treat here are then to find when these spaces are “the same” in some sense. We need to explain what we mean by “the same”.

All Hilbert spaces (of the same dimension) are the same: there is alway a unitary – a linear isomorphism that preserves inner products – between them. However, when speaking of Hilbert function spaces, we wish our linear isomorphisms to preserve also the function-space structure. So, we will consider “natural” maps between Hilbert spaces (and also between their multiplier algebras).

If () are Hilbert spaces on sets with kernels , then there are several kinds of natural linear maps that in some sense preserve the structure of these spaces as RKHSs.

In the case that , one kind of natural map is multiplication: , where is a function. Another natural map is a composition operator , where is a map. It is not a trivial matter to decide which maps give rise to well defined composition operators, and then it is also quite a serious problem to be able to determine properties of the composition operator from the properties of the map . Composition operators can also be considered between multiplier algebras, and it is an interesting problem, with no known general answer, whether composition operators between the RKHS correspond to composition operators between the multiplier algebras.

A somewhat more flexible kind of “natural” operator acting between Hilbert function spaces is a * weighted composition operator*, which is nothing but the composition of a a composition operator and a multiplication operator, that is, a map that has the form

.

Recalling that an RKHS on a set is determined by the kernel functions for , and is the closed linear span of these kernel functions, it is natural to look at maps that send kernel functions to kernel functions, or at least to scalar multiples of kernel functions. So, we consider “diagonal” operators of the form

(*)

where is a family of scalars, and . Let us say that a linear map is a an ** isomorphism of Hilbert function spaces** if it is a bounded bijective linear map of the form (*). If the map is isometric, then we say that it is an

**of Hilbert functions spaces (this is somewhat different from the definition in Exercise 6.4.5 in my book, where only maps of the form (*) with were considered).**

*isometric isomorphism*I leave it to the reader to figure out what is the relation between weighted composition operators and operators of the form given by equation (*).

**Concrete problems:**

- For which sequences is a RKHS? What is the kernel? One can also ask, when does the Hilbert function space consist of continuous functions on the closed disc?
- For which of those sequences , are the composition operators (for ) automorphisms of (isometric or not)? DOes the situation change if we allow for weighted composition operators?
- Determine, given sequences and , whether and isometric as Hilbert function spaces? In particular, for what sequences is the generalized Hardy space isomorphic to the classical Hardy space?
- Questions 2 and 3 can also be asked for the multiplier algebras: when do the automorphisms of the disc give rise to automorphisms of the multiplier algebras? And under what circumstances are the multiplier algebras and (isometrically) isomorphic?

**Circle of problems 2: Geometry and Hilbert spaces structure.**

Let be a subset of (a set on which the RKHS with kernel lives). We can form . Our second circle of problems is around the question: *how does the geometry of reflect in the structure of *. We will focus on the case that is a finite set.

Sometimes, the set has some structure to begin with. For example, if is the Hardy space , then . has the natural Euclidean metric defined on it

as well as the *pseudohyperbolic metric*

which is in some sense more natural – for example, an analytic self map of the disc is a conformal automorphism if and only if it is an isometry with respect to the pseudohyperbolic metric.

However, whether or not carries some structure to begin with, the Hilbert function space induces various metrics on it. For example, we can define

.

Another, slightly different metric is given by

,

where is the orthogonal projection on the one dimensional subspace spanned by . It can be shown (really can!) that

.

It is interesting to note that in the case of the Hardy space, we get

(see this paper by Arcozzi, Rochberg, Sawyer and Wick for hints about the above two computation jumps). So this shows that was a useful choice of metric, or looking at it the other way around, that the pseudohyperbolic metric is a natural one for when studying the Hardy space.

**Concrete problems:**

- Determine when, given , are and isometrically isomorphic. Do the same for multiplier algebras.
- When and are finite, it is clear that and are isomorphic if and only if and have the same number of points in them. However, when and are infinite, then determining when the Hilbert function spaces are isomorphic is an interesting and difficult problem.
- The above two problems might have a more substantial answer if we consider a certain space, such as the Hardy space or the Bergman space . We actually know the answer for finite in the case of the Hardy space, but we think that it could be a great problem to start the project with. The case of the Bergman space, as far as I know, is open.
- There are higher dimensional versions of the above problems, where the hardy space on the disc is replaced by the
space on the unit ball in (see these two older posts: one, two), or where the Bergman space on the unit disc is replaced by the Bergman space on the unit ball.*Drury-Arveson* - Finally, there is a quantitative version of the above problems, that we may describe during the week, depending on the progress made.

That’s all for now. The plan is the the students will think about these problems, choose one or two, or something related, and do their best in solving them. I hope to report on interesting discoveries after the week is over.

[…] month we had the “Research Projects Week” here at the Technion, and I promised in a previous post to update if there would be any interesting results (see that post for background on the problems). […]