Test Functions, Kernels, Realizations and Interpolation

We extend Agler's notion of a function algebra defined in terms of test functions to include products, in analogy with the practice in real algebraic geometry, and hence the term preordering in the title. This is done over abstract sets and no additional property, such as analyticity, is assumed. Realization theorems give several equivalent ways of characterizing the unit ball (referred to as the Schur-Agler class) of the function algebras. These typically include, in Agler's...

Given a domain $\Omega$ in $\mathbb{C}^n$ and a collection of test functions $\Psi$ on $\Omega$, we consider the complex-valued $\Psi$-Schur-Agler class associated to the pair $(\Omega,\,\Psi)$. In this article, we characterize interpolating sequences for the associated Banach algebra of which the $\Psi$-Schur-Agler class is the closed unit ball. When $\Omega$ is the unit disc $\mathbb{D}$ in the complex plane $\mathbb{C}$ and the class of test function includes only the iden...

We study the multiplier algebras $A(\mathcal{H})$ obtained as the closure of the polynomials on certain reproducing kernel Hilbert spaces $\mathcal{H}$ on the ball $\mathbb{B}_d$ of $\mathbb{C}^d$. Our results apply, in particular, to the Drury-Arveson space, the Dirichlet space and the Hardy space on the ball. We first obtain a complete description of the dual and second dual spaces of $A(\mathcal H)$ in terms of the complementary bands of Henkin and totally singular measure...

A seminal result of Agler characterizes the so-called Schur-Agler class of functions on the polydisk in terms of a unitary colligation transfer function representation. We generalize this to the unit ball of the algebra of multipliers for a family of test functions over a broad class of semigroupoids. There is then an associated interpolation theorem. Besides leading to solutions of the familiar Nevanlinna-Pick and Caratheodory-Fejer interpolation problems and their multivari...

We define the Schur-Agler class in infinite variables to consist of functions whose restrictions to finite dimensional polydisks belong to the Schur-Agler class. We show that a natural generalization of an Agler decomposition holds and the functions possess transfer function realizations that allow us to extend the functions to the unit ball of $\ell^\infty$. We also give a Pick interpolation type theorem which displays a subtle difference with finitely many variables. Finall...

Given a domain $\Omega$ in $\mathbb{C}^m$, and a finite set of points $z_1,z_2,\ldots, z_n\in \Omega$ and $w_1,w_2,\ldots, w_n\in \mathbb{D}$ (the open unit disc in the complex plane), the \textit{Pick interpolation problem} asks when there is a holomorphic function $f:\Omega \rightarrow \overline{\mathbb{D}}$ such that $f(z_i)=w_i,1\leq i\leq n$. Pick gave a condition on the data $\{z_i, w_i:1\leq i\leq n\}$ for such an $interpolant$ to exist if $\Omega=\mathbb{D}$. Nevanlin...

We study reproducing kernel Hilbert spaces on the unit ball with the complete Nevanlinna-Pick property through the representation theory of their algebras of multipliers. We give a complete description of the representations in terms of the reproducing kernels. While representations always dilate to $*$-representations of the ambient $C^*$-algebra, we show that in our setting we automatically obtain coextensions. In fact, we show that in many cases, this phenomenon characteri...

In this paper we study two separate problems on interpolation. We first give some new equivalences of Stout's Theorem on necessary and sufficient conditions for a sequence of points to be an interpolating sequence on a finite open Riemann surface. We next turn our attention to the question of interpolation for reproducing kernel Hilbert spaces on the polydisc and provide a collection of equivalent statements about when it is possible to interpolation in the Schur-Agler class ...

The Schur-Agler class consists of functions over a domain satisfying an appropriate von Neumann inequality. Originally defined over the polydisk, the idea has been extended to general domains in multivariable complex Euclidean space with matrix polynomial defining function as well as to certain multivariable noncommutative-operator domains with a noncommutative linear-pencil defining function. Still more recently there has emerged a free noncommutative function theory (functi...

We give a solution to Pick's interpolation problem on the unit polydisc in $\mathbb{C}^n$, $n\geq 2$, by characterizing all interpolation data that admit a $\mathbb{D}$-valued interpolant, in terms of a family of positive-definite kernels parametrized by a class of polynomials. This uses a duality approach that has been associated with Pick interpolation, together with some approximation theory. Furthermore, we use duality methods to understand the set of points on the $n$-to...