Suppose $H$ is a finite dimensional reproducing kernel Hilbert space of functions on $X.$ If $H$ has the complete Pick property then there is an isometric map, $Φ,$ from $X,$ with the metric induced by $H,$ into complex hyperbolic space, $\mathbb{CH}^{n},$ with its pseudohyperbolic metric. We investigate the relationships between the geometry of $Φ(X)$ and the function theory of $H$ and its multiplier algebra.
We examine densely defined (but possibly unbounded) multiplication operators in Hilbert function spaces possessing a complete Nevanlinna-Pick (CNP) kernel. For such a densely defined operator $T$, the domains of $T$ and $T^*$ are reproducing kernel Hilbert spaces contractively contained in the ambient space. We study several aspects of these spaces, especially the domain of $T^*$, which can be viewed as analogs of the classical deBranges-Rovnyak spaces in the unit disk.
In the paper `Distinguished Varieties,' Agler and McCarthy used Hilbert function spaces to study the uniqueness properties of the Nevanlinna-Pick problem on the bidisc. In this work we give a geometric procedure for constructing a Nevanlinna-Pick problems on D^n with a specified set of uniqueness. On the way to establishing this procedure, we prove a result about Hilbert function spaces and partially answer a question posed by Agler and McCarthy.
We characterize the de Branges-Rovnyak spaces with complete Nevanlinna-Pick property. Our method relies on the general theory of reproducing kernel Hilbert spaces.
In \cite{ds_hfs}, a geometric procedure for constructing a Nevanlinna-Pick problem on $\D^n$ with a specified set of uniqueness was established. In this sequel we conjecture a necessary and a sufficient condition for a Nevanlinna-Pick problem on $\DT$ to have a unique solution. We use the results of \cite{ds_hfs} and Bezout's theorem to establish three special cases of this conjecture.
This note finds a new characterization of complete Nevanlinna-Pick kernels on the Euclidean unit ball. The classical theory of Sz.-Nagy and Foias about the characteristic function is extended in this note to a commuting tuple $\bfT$ of bounded operators satisfying the natural positivity condition of $1/k$-contractivity for an irreducible unitarily invariant complete Nevanlinna-Pick kernel. The characteristic function is a multiplier from $H_k \otimes \cE$ to $H_k \otimes \cF$, {\em factoring} a certain positive operator, for suitable Hilbert spaces $\cE$ and $\cF$ depending on $\bfT$. There is…
We show that the Hardy space on the unit disk is the only non-trivial irreducible reproducing kernel Hilbert space which satisfies the complete Nevanlinna-Pick property and hyponormality of all multiplication operators.
Pick spaces are a class of reproducing kernel Hilbert spaces that generalize the classical Hardy space and the Drury--Arveson reproducing kernel spaces. We give characterizations of certain contractively included subspaces of Pick spaces. These generalize the characterization of closed invariant subspaces of Trent and McCullough, as well as results for the Drury--Arveson space obtained by Ball, Bolotnikov and Fang.
This paper concerns a commutant lifting theorem and a Nevanlinna-Pick type interpolation result in the setting of multipliers from vector-valued Drury-Arveson space to a large class of vector-valued reproducing kernel Hilbert spaces over the unit ball in $\mathbb{C}^n$. The special case of reproducing kernel Hilbert spaces includes all natural examples of Hilbert spaces like Hardy space, Bergman space and weighted Bergman spaces over the unit ball.
We characterize interpolating sequences for multiplier algebras of spaces with the complete Pick property. Specifically, we show that a sequence is interpolating if and only if it is separated and generates a Carleson measure. This generalizes results of Carleson for the Hardy space and of Bishop, Marshall and Sundberg for the Dirichlet space. Furthermore, we investigate interpolating sequences for pairs of Hilbert function spaces.
We continue the investigation of the isomorphism problem for multiplier algebras of reproducing kernel Hilbert spaces with the complete Nevanlinna-Pick property. In contrast to previous work in this area, we do not study these spaces by identifying them with restrictions of a universal space, namely the Drury-Arveson space. Instead, we work directly with the Hilbert spaces and their reproducing kernels. In particular, we show that two multiplier algebras of Nevanlinna-Pick spaces on the same set are equal if and only if the Hilbert spaces are equal. Most of the article is devoted to the study …
We describe those reproducing kernel Hilbert spaces of holomorphic functions on domains in ${\Bbb C}^d$ for which an analogue of the Nevanlinna-Pick theorem holds, in other words when the existence of a (possibly matrix-valued) function in the unit ball of the multiplier algebra with specified values on a finite set of points is equivalent to the positvity of a related matrix. Our description is in terms of a certain localization property of the kernel.
We prove a factorization theorem for reproducing kernel Hilbert spaces whose kernel has a normalized complete Nevanlinna-Pick factor. This result relates the functions in the original space to pointwise multipliers determined by the Nevanlinna-Pick kernel and has a number of interesting applications. For example, for a large class of spaces including Dirichlet and Drury-Arveson spaces, we construct for every function $f$ in the space a pluriharmonic majorant of $|f|^2$ with the property that whenever the majorant is bounded, the corresponding function $f$ is a pointwise multiplier.
This paper describes the concepts of Universal/ Integrally Strictly Positive Definite/ $C_{0}$-Universal for the Gaussian kernel on a Hilbert space. As a consequence we obtain a similar characterization for an important family of kernels studied and developed by Schoenberg and also on a family of spatial-time kernels popular on geostatistics, the Gneiting class, and its generalizations. Either by using similar techniques, or by a direct consequence of the Gaussian kernel on Hilbert spaces, we characterize the same concepts for a family of kernels defined on a Hyperbolic space.
We provide a short argument to establish a Beurling-Lax-Halmos theorem for reproducing kernel Hilbert spaces whose kernel has a complete Nevanlinna-Pick factor. We also record factorization results for pairs of nested invariant subspaces.
We establish the following Hilbert-space analogue of the Gleason-Kahane-Żelazko theorem. If $\mathcal{H}$ is a reproducing kernel Hilbert space with a normalized complete Pick kernel, and if $Λ$ is a linear functional on $\mathcal{H}$ such that $Λ(1)=1$ and $Λ(f)\ne0$ for all cyclic functions $f\in\mathcal{H}$, then $Λ$ is multiplicative, in the sense that $Λ(fg)=Λ(f)Λ(g)$ for all $f,g\in\mathcal{H}$ such that $fg\in\mathcal{H}$. Moreover $Λ$ is automatically continuous. We give examples to show that the theorem fails if the hypothesis of a complete Pick kernel is omitted. We also discuss cond…
The characteristic function for a contraction is a classical complete unitary invariant devised by Sz.-Nagy and Foias. Just as a contraction is related to the Szego kernel $k_S(z,w) = (1 - z\ow)^{-1}$ for $|z|, |w| < 1$, by means of $(1/k_S)(T,T^*) \ge 0$, we consider an arbitrary open connected domain $Ω$ in $\BC^n$, a complete Nevanilinna-Pick kernel $k$ on $Ω$ and a tuple $T = (T_1, ..., T_n)$ of commuting bounded operators on a complex separable Hilbert space $\clh$ such that $(1/k)(T,T^*) \ge 0$. For a complete Pick kernel the $1/k$ functional calculus makes sense in a beautiful way. It t…
We show that every function in a reproducing kernel Hilbert space with a normalized complete Pick kernel is the quotient of a multiplier and a cyclic multiplier. This extends a theorem of Alpay, Bolotnikov and Kaptanoğlu. We explore various consequences of this result regarding zero sets, spaces on compact sets and Gleason parts. In particular, using a construction of Salas, we exhibit a rotationally invariant complete Pick space of analytic functions on the unit disc for which the corona theorem fails.
Let $\mathcal H$ be a reproducing kernel Hilbert space with a normalized complete Nevanlinna-Pick (CNP) kernel. We prove that if $(f_n)$ is a sequence of functions in $\mathcal H$ with $\sum\|f_n\|^2<\infty$, then there exists a contractive column multiplier $(φ_n)$ of $\mathcal H$ and a cyclic vector $F\in \mathcal H$ so that $φ_ n F=f_n$ for all $n$. The space of weak products $\mathcal H\odot\mathcal H$ is the set of functions of the form $h=\sum_{i=1}^\infty f_ig_i$ with $f_i, g_i\in\mathcal H$ and $\sum_{i=1}^\infty \|f_i\|\|g_i\|<\infty$. Using the above result, in combination with a rec…
In this paper we continue our investigation concerning the hyperbolic geometry on the noncommutative ball $[B(H)^n]_1^-$, where $B(H)$ is the algebra of all bounded linear operators on a Hilbert space $H$, and its implications to noncommutative function theory. The central object is an intertwining operator $L_{B,A}$ of the minimal isometric dilations of $A, B\in [B(H)^n]_1^-$, which establishes a strong connection between noncommutative hyperbolic geometry on $[B(H)^n]_1^-$ and multivariable dilation theory. The goal of this paper is to study the operator $L_{B,A}$ and its connections to the …
Jury and Martin establish an analogue of the classical inner-outer factorization of Hardy space functions. They show that every function $f$ in a Hilbert function space with a normalized complete Pick reproducing kernel has a factorization of the type $f=φg$, where $g$ is cyclic, $φ$ is a contractive multiplier, and $\|f\|=\|g\|$. In this paper we show that if the cyclic factor is assumed to be what we call free outer, then the factors are essentially unique, and we give a characterization of the factors that is intrinsic to the space. That lets us compute examples. We also provide several app…
If one tries to embed a metric space uniformly in Hilbert space, how close to quasi-isometric could the embedding be? We answer this question for finite dimensional CAT(0) cube complexes and for hyperbolic groups. In particular, we show that the Hilbert space compression of any hyperbolic group is 1.
This paper is an introduction to the hyperbolic geometry of noncommutative polyballs B_n of bounded linear operators on Hilbert spaces. We use the theory of free pluriharmonic functions on polyballs and noncommutative Poisson kernels on tensor products of full Fock spaces to define hyperbolic type metrics on B_n, study their properties, and obtain hyperbolic versions of Schwarz-Pick lemma for free holomorphic functions on polyballs. As a consequence, the polyballs can be viewed as noncommutative hyperbolic spaces. When specialized to the operatorial polydisk D_k, our hyperbolic metric is compl…
For a Hilbert function space $\mathcal H$ the Smirnov class $\mathcal N^+(\mathcal H)$ is defined to be the set of functions expressible as a ratio of bounded multipliers of $\mathcal H$, whose denominator is cyclic for the action of $Mult(\mathcal H)$. It is known that for spaces $\mathcal H$ with complete Nevanlinna-Pick (CNP) kernel, the inclusion $\mathcal H\subset \mathcal N^+(\mathcal H)$ holds. We give a new proof of this fact, which includes the new conclusion that every $h\in\mathcal H$ can be expressed as a ratio $b/a\in\mathcal N^+(\mathcal H)$ with $1/a$ already belonging to $\math…
If $\fA$ is a unital weak-$*$ closed algebra of multiplication operators on a reproducing kernel Hilbert space which has the property $\bA_1(1)$, then the cyclic invariant subspaces index a Nevanlinna-Pick family of kernels. This yields an NP interpolation theorem for a wide class of algebras. In particular, it applies to many function spaces over the unit disk including Bergman space. We also show that the multiplier algebra of a complete NP space has $\bA_1(1)$, and thus this result applies to all of its subalgebras. A matrix version of this result is also established. It applies, in particu…
Suppose $\fA$ is an algebra of operators on a Hilbert space $H$ and $A_1,..., A_n \in \fA$. If the row operator $[A_1,..., A_n] \in B(H^{(n)},H)$ has a right inverse in $B(H, H^{(n)})$, the Toeplitz corona problem for $\fA$ asks if a right inverse can be found with entries in $\fA$. When $H$ is a complete Nevanlinna-Pick space and $\fA$ is a weakly-closed algebra of multiplication operators on $H$, we show that under a stronger hypothesis, the corona problem for $\fA$ has a solution. When $\fA$ is the full multiplier algebra of $H$, the Toeplitz corona theorems of Arveson, Schubert and Ball-Tr…
Multipliers of reproducing kernel Hilbert spaces can be characterized in terms of positivity of $n \times n$ matrices analogous to the classical Pick matrix. We study for which reproducing kernel Hilbert spaces it suffices to consider matrices of bounded size $n$. We connect this problem to the notion of subhomogeneity of non-selfadjoint operator algebras. Our main results show that multiplier algebras of many Hilbert spaces of analytic functions, such as the Dirichlet space and the Drury-Arveson space, are not subhomogeneous, and hence one has to test Pick matrices of arbitrarily large matrix…
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 characterizes the complete Nevanlinna-Pick property. We also deduce operator theoretic dilation results which are in the spirit of…
In this paper we introduce a hyperbolic distance $δ$ on the noncommutative open ball $[B(H)^n]_1$, where $B(H)$ is the algebra of all bounded linear operators on a Hilbert space $H$, which is a noncommutative extension of the Poincare-Bergman metric on the open unit ball of $C^n$. We prove that $δ$ is invariant under the action of the group $Aut([B(H)^n]_1)$ of all free holomorphic automorphisms of $[B(\cH)^n]_1$, and show that the $δ$-topology and the usual operator norm topology coincide on $[B(H)^n]_1$. Moreover, we prove that $[B(H)^n]_1$ is a complete metric space with respect to the hype…
In this article, we study the geometry of an infinite dimensional Hyperbolic space. We will consider the group of isometries of the Hilbert ball equipped with the Carath$\acute{e}$odory metric and learn about some special subclasses of this group. We will also find some unitary equivalence condition and compute some cardinalities.
We show that the open unit ball of the space of operators from a finite dimensional Hilbert space into a separable Hilbert space (we call it "operator ball") has a restricted form of normal structure if we endow it with a hyperbolic metric (which is an analogue of the standard hyperbolic metric on the unit disc in the complex plane). We use this result to get a fixed point theorem for groups of biholomorphic automorphisms of the operator ball. The fixed point theorem is used to show that a bounded representation in a separable Hilbert space which has an invariant indefinite quadratic form with…
Multiplicative linear functionals on reproducing kernel Hilbert spaces
Indian Institute of Science（印度科学学院）；SNIoE (deemed to be university)（SNIoE（视为大学））；University of Ljubljana（卢布尔雅那大学）；Indian Institute of Technology Bombay（孟买印度理工学院）
In this paper, we study the hyperbolic geometry of noncommutative balls generated by the joint operator radius $ω_ρ$, $ρ\in (0,\infty]$, for $n$-tuples of bounded linear operators on a Hilbert space. In particular, $ω_1$ is the operator norm, $ω_2$ is the joint numerical radius, and $ω_\infty$ is the joint spectral radius. We provide mapping theorems, von Neumann inequalities, and Schwarz type lemmas for free holomorphic functions on noncommutative balls, with respect to the hyperbolic metric $δ_ρ$, the Carath\' eodory metric $d_K$, and the joint operator radius $ω_ρ$.
We show that the Hilbert space compression of any finite dimensional CAT(0) cube complex is 1 and deduce that any discrete group acting properly, co-compactly on a CAT(0) cube complex is exact. The class of groups covered by this theorem includes free groups, finitely generated Coxeter groups, finitely generated right angled Artin groups, finitely presented groups satisfying the B(4)-T(4) small cancellation condition and all those word-hyperbolic groups satisfying the B(6) condition. Another family of examples is provided by certain canonical surgeries defined by link diagrams.
We show that superreflexivity can be characterized in terms of bilipschitz embeddability of word hyperbolic groups. We compare characterizations of superreflexivity in terms of diamond graphs and binary trees. We show that there exist sequences of series-parallel graphs of increasing topological complexity which admit uniformly bilipschitz embeddings into a Hilbert space, and thus do not characterize superreflexivity.
For a collection of reproducing kernels k which includes those for the Hardy space of the polydisk and ball and for the Bergman space, k is a complete Pick kernel if and only if the multiplier algebra of the Hilbert space H^2(k) associated to k has the Douglas property. Consequences for solving the operator equation AX=Y are examined.
We give a definition of the spectral flow for paths of bounded essentially hyperbolic operators on a Banach space. The spectral flow induces a group homomorphism on the fundamental group of every connected component of the space of essentially hyperbolic operators. We prove that this homomorphism completes the exact homotopy sequence of a Serre fibration. This allows us to characterise its kernel and image and to produce examples of spaces where it is not injective or not surjective, unlike what happens for Hilbert spaces. For a large class of paths, namely the essentially splitting, the spect…
In this paper we prove: if the complete Kähler-Einstein metric on a bounded convex domain (with no boundary regularity assumptions) is Gromov hyperbolic, then the $\bar{\partial}$-Neumann problem satisfies a subelliptic estimate. This is accomplished by constructing bounded plurisubharmonic function whose Hessian grows at a certain rate (which implies a subelliptic estimate by work of Catlin and Straube). We also provide a characterization of Gromov hyperbolicity in terms of orbit of the domain under the group of affine transformations. This characterization allows us to construct many example…
We introduce a "dual-space approach" to mixed Nevanlinna-Pick/Carathéodory-Schur interpolation in Banach spaces X of holomorphic functions on the disk. Our approach can be viewed as complementary to the well-known commutant lifting approach of D. Sarason and B. Nagy-C.Foiaş. We compute the norm of the minimal interpolant in X by a version of the Hahn-Banach theorem, which we use to extend functionals defined on a subspace of kernels without increasing their norm. This Functional extensions lemma plays a similar role as Sarason's Commutant lifting theorem but it only involves the predual of X a…
