arXiv subjects
Publications and source records attributed to Michael Hartz.
An outline of Jörg Eschmeier's main mathematical contributions is organized both on a historical perspective, as well as on a few distinct topics. The reader can grasp from our essay the dynamics of spectral theory of commutative tuples of linear operators during the last half century. Some clear directions of future research are also underlined.
We prove that for all $n\in \mathbb{N}$, there exists a constant $C_{n}$ such that for all $d \in \mathbb{N}$, for every row contraction $T$ consisting of $d$ commuting $n \times n$ matrices and every polynomial $p$, the following inequality holds: \[ \|p(T)\| \le C_{n} \sup_{z \in \mathbb{B}_d} |p(z)| . \] We apply this result and the considerations involved in the proof to several open problems from the pertinent literature. First, we show that Gleason's problem cannot be solved contractively in $H^\infty(\mathbb{B}_d)$ for $d \ge 2$. Second, we prove that the multiplier algebra $\operatorname{Mult}(\mathcal{D}_a(\mathbb{B}_d))$ of the weighted Dirichlet space $\mathcal{D}_a(\mathbb{B}_d)$ on the ball is not topologically subhomogeneous when $d \ge 2$ and $a \in (0,d)$. In fact, we determine all the bounded finite dimensional representations of the norm closed subalgebra $A(\mathcal{D}_a(\mathbb{B}_d))$ of $\operatorname{Mult}(\mathcal{D}_a(\mathbb{B}_d))$ generated by polynomials. Lastly, we also show that there exists a uniformly bounded nc holomorphic function on the free commutative ball $\mathfrak{C}\mathfrak{B}_d$ that is levelwise uniformly continuous but not globally uniformly continuous.
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 size $n$. To treat the Drury-Arveson space, we show that multiplier algebras of certain weighted Dirichlet spaces on the disc embed completely isometrically into the multiplier algebra of the Drury-Arveson space.
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 measures for $\operatorname{Mult}(\mathcal{H})$. This is applied to obtain several definitive results in interpolation. In particular, we establish a sharp peak interpolation result for compact $\operatorname{Mult}(\mathcal{H})$-totally null sets as well as a Pick and peak interpolation theorem. Conversely, we show that a mere interpolation set is $\operatorname{Mult}(\mathcal{H})$-totally null.
The classical Dirichlet space is a complete Pick space, hence by a theorem of Agler and McCarthy, there exists an embedding $b$ of the unit disc into a $d$-dimensional ball such that composition with $b$ realizes the Dirichlet space as a quotient of the Drury-Arveson space. We show that $d =\infty$ is necessary, even if we only demand that composition with $b$ induces a surjective map between the multiplier algebras.
In the theory of reproducing kernel Hilbert spaces, weak product spaces generalize the notion of the Hardy space $H^1$. For complete Nevanlinna-Pick spaces $\mathcal H$, we characterize all multipliers of the weak product space $\mathcal H \odot \mathcal H$. In particular, we show that if $\mathcal H$ has the so-called column-row property, then the multipliers of $\mathcal H$ and of $\mathcal H \odot \mathcal H$ coincide. This result applies in particular to the classical Dirichlet space and to the Drury-Arveson space on a finite dimensional ball. As a key device, we exhibit a natural operator space structure on $\mathcal H \odot \mathcal H$, which enables the use of dilations of completely bounded maps.
This is an extended version of a three part mini course on the Drury-Arveson space given as part of the Focus Program on Analytic Function Spaces and their Applications, hosted by the Fields Institute and held remotely. The Drury-Arveson space, also known as symmetric Fock space, is a natural generalization of the classical Hardy space on the unit disc to the unit ball in higher dimensions. It plays a universal role both in operator theory and in function theory. These notes give an introduction to the Drury-Arveson space. They are not intended to give a comprehensive overview of the entire subject, but rather aim to explain some of the contexts in which the Drury-Arveson space makes an appearance and to showcase the different approaches to this space.
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 applications of this factorization.
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 conditions under which $Λ$ has to be a point evaluation.
We characterize the common range of the adjoints of cyclic multiplication operators on the Drury--Arveson space. We show that a function belongs to this common range if and only if its Taylor coefficients satisfy a simple decay condition. To achieve this, we introduce the uniform Smirnov class on the ball and determine its dual space. We show that the dual space of the uniform Smirnov class equals the dual space of the strictly smaller Smirnov class of the Drury-Arveson space, and that this in turn equals the common range of the adjoints of cyclic multiplication operators.
Let $\mathcal H$ be the Drury-Arveson or Dirichlet space of the unit ball of $\mathbb C^d$. The weak product $\mathcal H\odot\mathcal H$ of $\mathcal H$ is the collection of all functions $h$ that can be written as $h=\sum_{n=1}^\infty f_n g_n$, where $\sum_{n=1}^\infty \|f_n\|\|g_n\|<\infty$. We show that $\mathcal H\odot\mathcal H$ is contained in the Smirnov class of $\mathcal H$, i.e. every function in $\mathcal H\odot\mathcal H$ is a quotient of two multipliers of $\mathcal H$, where the function in the denominator can be chosen to be cyclic in $\mathcal H$. As a consequence we show that the map $\mathcal N \to clos_{\mathcal H\odot\mathcal H} \mathcal N$ establishes a 1-1 and onto correspondence between the multiplier invariant subspaces of $\mathcal H$ and of $\mathcal H\odot\mathcal H$. The results hold for many weighted Besov spaces $\mathcal H$ in the unit ball of $\mathbb C^d$ provided the reproducing kernel has the complete Pick property. One of our main technical lemmas states that for weighted Besov spaces $\mathcal H$ that satisfy what we call the multiplier inclusion condition any bounded column multiplication operator $\mathcal H \to \oplus_{n=1}^\infty \mathcal H$ induces a bounded row multiplication operator $\oplus_{n=1}^\infty \mathcal H \to \mathcal H$. For the Drury-Arveson space $H^2_d$ this leads to an alternate proof of the characterization of interpolating sequences in terms of weak separation and Carleson measure conditions.
We define by interpolation a scale analogous to the Hardy $H^p$ scale for complete Pick spaces, and establish some of the basic properties of the resulting spaces, which we call $\mathcal{H}^p$. In particular, we obtain an $\mathcal{H}^p-\mathcal{H}^q$ duality and establish sharp pointwise estimates for functions in $\mathcal{H}^p$.
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 establish a finite-dimensional version of the Arveson-Stinespring dilation theorem for unital completely positive maps on operator systems. This result can be seen as a general principle to deduce finite-dimensional dilation theorems from their classical infinite-dimensional counterparts. In addition to providing unified proofs of known finite-dimensional dilation theorems, we establish finite-dimensional versions of Agler's theorem on rational dilation on an annulus, of Berger's dilation theorem for operators of numerical radius at most $1$, and of the Putinar-Sandberg numerical range dilation theorem. As a key tool, we prove versions of Carathéodory's and of Minkowski's theorem for matrix convex sets.
In the theory of complete Pick spaces, the column-row property has appeared in a variety of contexts. We show that it is satisfied by every complete Pick space in the following strong form: each sequence of multipliers that induces a contractive column multiplication operator also induces a contractive row multiplication operator. In combination with known results, this yields a number of consequences. Firstly, we obtain multiple applications to the theory of weak product spaces, including factorization, multipliers and invariant subspaces. Secondly, there is a short proof of the characterization of interpolating sequences in terms of separation and Carleson measure conditions, independent of the solution of the Kadison-Singer problem. Thirdly, we find that in the theory of de Branges-Rovnyak spaces on the ball, the column-extreme multipliers of Jury and Martin are precisely the extreme points of the unit ball of the multiplier algebra.
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 study the ideal membership problem in $H^\infty$ on the unit disc. Thus, given functions $f,f_1,\ldots,f_n$ in $H^\infty$, we seek sufficient conditions on the size of $f$ in order for $f$ to belong to the ideal of $H^\infty$ generated by $f_1,\ldots,f_n$. We provide a different proof of a theorem of Treil, which gives the sharpest known sufficient condition. To this end, we solve a closely related problem in the Hilbert space $H^2$, which is equivalent to the ideal membership problem by the Nevanlinna-Pick property of $H^2$.
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.