• ### Algebras of bounded noncommutative analytic functions on subvarieties of the noncommutative unit ball(1702.03806)

Aug. 10, 2018 math.OA
We study algebras of bounded, noncommutative (nc) analytic functions on nc subvarieties of the nc unit ball. Given a nc variety $\mathfrak{V}$ in the nc unit ball $\mathfrak{B}_d$, we identify the algebra of bounded analytic functions on $\mathfrak{V}$ --- denoted $H^\infty(\mathfrak{V})$ --- as the multiplier algebra $\operatorname{Mult} \mathcal{H}_{\mathfrak{V}}$ of a certain reproducing kernel Hilbert space $\mathcal{H}_{\mathfrak{V}}$ consisting of nc functions on $\mathfrak{V}$. We find that every such algebra $H^\infty(\mathfrak{V})$ is completely isometrically isomorphic to the quotient $H^\infty(\mathfrak{B}_d)/ \mathcal{J}_{\mathfrak{V}}$ of the algebra of bounded nc holomorphic functions on the ball by the ideal $\mathcal{J}_{\mathfrak{V}}$ of bounded nc holomorphic functions which vanish on $\mathfrak{V}$. We investigate the problem of when two algebras $H^\infty(\mathfrak{V})$ and $H^\infty(\mathfrak{W})$ are isometrically isomorphic. If the variety $\mathfrak{W}$ is the image of $\mathfrak{V}$ under a nc analytic automorphism of $\mathfrak{B}_d$, then $H^\infty(\mathfrak{V})$ and $H^\infty(\mathfrak{W})$ are (completely) isometrically isometric. We prove that the converse holds in the case where the varieties are homogeneous; in general we can only show that if the algebras are isometrically isomorphic, then there must be nc holomorphic maps between the varieties. Along the way we are led to consider some interesting problems on function theory in the nc unit ball. For example, we study various versions of the Nullstellensatz (that is, the problem of to what extent an ideal is determined by its zero set), and we obtain perfect Nullstellensatz in both the homogeneous as well as the commutative cases. We also consider similar problems regarding the bounded analytic functions that extend continuously to the boundary of $\mathfrak{B}_d$.
• ### Dilations, inclusions of matrix convex sets, and completely positive maps(1601.07993)

Feb. 4, 2018 math.OA, math.FA
A matrix convex set is a set of the form $\mathcal{S} = \cup_{n\geq 1}\mathcal{S}_n$ (where each $\mathcal{S}_n$ is a set of $d$-tuples of $n \times n$ matrices) that is invariant under UCP maps from $M_n$ to $M_k$ and under formation of direct sums. We study the geometry of matrix convex sets and their relationship to completely positive maps and dilation theory. Key ingredients in our approach are polar duality in the sense of Effros and Winkler, matrix ranges in the sense of Arveson, and concrete constructions of scaled commuting normal dilation for tuples of self-adjoint operators, in the sense of Helton, Klep, McCullough and Schweighofer. Given two matrix convex sets $\mathcal{S} = \cup_{n \geq 1} \mathcal{S}_n,$ and $\mathcal{T} = \cup_{n \geq 1} \mathcal{T}_n$, we find geometric conditions on $\mathcal{S}$ or on $\mathcal{T}$, such that $\mathcal{S}_1 \subseteq \mathcal{T}_1$ implies that $\mathcal{S} \subseteq C\mathcal{S}$ for some constant $C$. For instance, under various symmetry conditions on $\mathcal{S}$, we can show that $C$ above can be chosen to equal $d$, the number of variables, and in some cases this is sharp. We also find an essentially unique self-dual matrix convex set $\mathcal{D}$, the self-dual matrix ball, for which corresponding inclusion and dilation results hold with constant $C=\sqrt{d}$. Our results have immediate implications to spectrahedral inclusion problems studied recently by Helton, Klep, McCullough and Schweighofer. Our constants do not depend on the ranks of the pencils determining the free spectrahedra in question, but rather on the "number of variables" $d$. There are also implications to the problem of existence of (unital) completely positive maps with prescribed values on a set of operators.
• ### Minimal and maximal matrix convex sets(1706.05654)

Nov. 27, 2017 math.OA
To every convex body $K \subseteq \mathbb{R}^d$, one may associate a minimal matrix convex set $\mathcal{W}^{\textrm{min}}(K)$, and a maximal matrix convex set $\mathcal{W}^{\textrm{max}}(K)$, which have $K$ as their ground level. The main question treated in this paper is: under what conditions on a given pair of convex bodies $K,L \subseteq \mathbb{R}^d$ does $\mathcal{W}^{\textrm{max}}(K) \subseteq \mathcal{W}^{\textrm{min}}(L)$ hold? For a convex body $K$, we aim to find the optimal constant $\theta(K)$ such that $\mathcal{W}^{\textrm{max}}(K) \subseteq \theta(K) \cdot \mathcal{W}^{\textrm{min}}(K)$; we achieve this goal for all the $\ell^p$ unit balls, as well as for other sets. For example, if $\overline{\mathbb{B}}_{p,d}$ is the closed unit ball in $\mathbb{R}^d$ with the $\ell^p$ norm, then $\theta(\overline{\mathbb{B}}_{p,d}) = d^{1-|1/p - 1/2|}.$ This constant is sharp, and it is new for all $p \neq 2$. Moreover, for some sets $K$ we find a minimal set $L$ for which $\mathcal{W}^{\textrm{max}}(K) \subseteq \mathcal{W}^{\textrm{min}}(L)$. In particular, we obtain that a convex body $K$ satisfies $\mathcal{W}^{\textrm{max}}(K) = \mathcal{W}^{\textrm{min}}(K)$ if and only if $K$ is a simplex. These problems relate to dilation theory, convex geometry, operator systems, and completely positive maps. We discuss and exploit these connections as well. For example, our results show that every $d$-tuple of self-adjoint operators of norm less than or equal to $1$, can be dilated to a commuting family of self-adjoints, each of norm at most $\sqrt{d}$. We also introduce new explicit constructions of these (and other) dilations.
• ### Stable division and essential normality: the non-homogeneous and quasi homogeneous cases(1504.03465)

Jan. 24, 2016 math.OA, math.FA
Let $\mathcal{H}_d^{(t)}$ ($t \geq -d$, $t>-3$) be the reproducing kernel Hilbert space on the unit ball $\mathbb{B}_d$ with kernel $k(z,w) = \frac{1}{(1-\langle z, w \rangle)^{d+t+1}} .$ We prove that if an ideal $I \triangleleft \mathbb{C}[z_1, \ldots, z_d]$ (not necessarily homogeneous) has what we call the "approximate stable division property", then the closure of $I$ in $\mathcal{H}_d^{(t)}$ is $p$-essentially normal for all $p>d$. We then show that all quasi homogeneous ideals in two variables have the stable division property, and combine these two results to obtain a new proof of the fact that the closure of any quasi homogeneous ideal in $\mathbb{C}[x,y]$ is $p$-essentially normal for $p>2$.
• ### Spaces of Dirichlet series with the complete Pick property(1507.04162)

July 28, 2015 math.OA, math.FA, math.CV
We consider reproducing kernel Hilbert spaces of Dirichlet series with kernels of the form $k(s,u) = \sum a_n n^{-s-\bar u}$, and characterize when such a space is a complete Pick space. We then discuss what it means for two reproducing kernel Hilbert spaces to be "the same", and introduce a notion of weak isomorphism. Many of the spaces we consider turn out to be weakly isomorphic as reproducing kernel Hilbert spaces to the Drury-Arveson space $H^2_d$ in $d$ variables, where $d$ can be any number in $\{1,2,\ldots, \infty\}$, and in particular their multiplier algebras are unitarily equivalent to the multiplier algebra of $H^2_d$. Thus, a family of multiplier algebras of Dirichlet series are exhibited with the property that every complete Pick algebra is a quotient of each member of this family. Finally, we determine precisely when such a space of Dirichlet series is weakly isomorphic to $H^2_d$ and when its multiplier algebra is isometrically isomorphic to $Mult(H^2_d)$.
• ### Corrigendum to: Essential normality, essential norms and hyperrigidity(1507.05059)

July 16, 2015 math.OA, math.FA
In our paper "Essential normality, essential norms and hyperrigidity" we claimed that the restriction of the identity representation of a certain operator system (constructed from a polynomial ideal) has the unique extension property, however the justification we gave was insufficient. In this note we provide the required justification under some additional assumptions. Fortunately, homogeneous ideals that are "sufficiently non-trivial" are covered by these assumptions. This affects the section of our paper relating essential normality and hyperrigidity. We show here that Proposition 4.11 and Theorem 4.12 hold under the additional assumptions. We do not know if they hold in the generality considered in our paper.
• ### Spectral sets and distinguished varieties in the symmetrized bidisc(1310.2769)

March 19, 2015 math.OA, math.FA
We show that for every pair of matrices (S,P), having the closed symmetrized bidisc $\Gamma$ as a spectral set, there is a one dimensional complex algebraic variety $\Lambda$ in $\Gamma$ such that for every matrix valued polynomial f, the norm of f(S,P) is less then the sup norm of f on $\Lambda$. The variety $\Lambda$ is shown to have a particular determinantal representation, related to the so-called "fundamental operator" of the pair (S,P). When (S,P) is a strict $\Gamma$-contraction, then $\Lambda$ is a distinguished variety in the symmetrized bidisc, i.e., a one dimensional algebraic variety that exits the symmetrized bidisc through its distinguished boundary. We characterize all distinguished varieties of the symmetrized bidisc by a determinantal representation as above.
• ### The isomorphism problem for complete Pick algebras: a survey(1412.7817)

Dec. 25, 2014 math.OA, math.FA, math.CV
Complete Pick algebras - these are, roughly, the multiplier algebras in which Pick's interpolation theorem holds true - have been the focus of much research in the last twenty years or so. All (irreducible) complete Pick algebras may be realized concretely as the algebras obtained by restricting multipliers on Drury-Arveson space to a subvariety of the unit ball; to be precise: every irreducible complete Pick algebra has the form $M_V = \{f|_V : f \in M_d\}$, where $M_d$ denotes the multiplier algebra of the Drury-Arveson space $H^2_d$, and $V$ is the joint zero set of some functions in $M_d$. In recent years several works were devoted to the classification of complete Pick algebras in terms of the complex geometry of the varieties with which they are associated. The purpose of this survey is to give an account of this research in a comprehensive and unified way. We describe the array of tools and methods that were developed for this program, and take the opportunity to clarify, improve, and correct some parts of the literature.
• ### Operator theory and function theory in Drury-Arveson space and its quotients(1308.1081)

Dec. 10, 2014 math.OA, math.FA, math.CV
The Drury-Arveson space $H^2_d$, also known as symmetric Fock space or the $d$-shift space, is a Hilbert function space that has a natural $d$-tuple of operators acting on it, which gives it the structure of a Hilbert module. This survey aims to introduce the Drury-Arveson space, to give a panoramic view of the main operator theoretic and function theoretic aspects of this space, and to describe the universal role that it plays in multivariable operator theory and in Pick interpolation theory.
• ### Operator algebras for analytic varieties(1201.4072)

July 23, 2014 math.OA
We study the isomorphism problem for the multiplier algebras of irreducible complete Pick kernels. These are precisely the restrictions $\mathcal M_V$ of the multiplier algebra $\mathcal M$ of Drury-Arveson space to a holomorphic subvariety $V$ of the unit ball $\mathbb{B}_d$. We find that $\mathcal M_V$ is completely isometrically isomorphic to $\mathcal M_W$ if and only if $W$ is the image of $V$ under a biholomorphic automorphism of the ball. In this case, the isomorphism is unitarily implemented. This is then strengthend to show that, when $d<\infty$, every isometric isomorphism is completely isometric. The problem of characterizing when two such algebras are (algebraically) isomorphic is also studied. When $V$ and $W$ are each a finite union of irreducible varieties and a discrete variety in $\mathbb{B}_d$ with $d<\infty$, then an isomorphism between $\mathcal M_V$ and $\mathcal M_W$ determines a biholomorphism (with multiplier coordinates) between the varieties; and the isomorphism is composition with this function. These maps are automatically weak-$*$ continuous. We present a number of examples showing that the converse fails in several ways. We discuss several special cases in which the converse does hold---particularly, smooth curves and Blaschke sequences. We also discuss the norm closed algebras associated to a variety, and point out some of the differences.
• ### Multipliers of embedded discs(1307.3204)

June 18, 2014 math.OA, math.FA
We consider a number of examples of multiplier algebras on Hilbert spaces associated to discs embedded into a complex ball in order to examine the isomorphism problem for multiplier algebras on complete Nevanlinna-Pick reproducing kernel Hilbert spaces. In particular, we exhibit uncountably many discs in the ball of $\ell^2$ which are multiplier biholomorphic but have non-isomorphic multiplier algebras. We also show that there are closed discs in the ball of $\ell^2$ which are varieties, and examine their multiplier algebras. In finite balls, we provide a counterpoint to a result of Alpay, Putinar and Vinnikov by providing a proper rational biholomorphism of the disc onto a variety $V$ in $\mathbb B_2$ such that the multiplier algebra is not all of $H^\infty(V)$. We also show that the transversality property, which is one of their hypotheses, is a consequence of the smoothness that they require.
• ### Essential normality, essential norms and hyperrigidity(1309.3737)

June 1, 2014 math.OA, math.FA
Let $S = (S_1, \ldots, S_d)$ denote the compression of the $d$-shift to the complement of a homogeneous ideal $I$ of $\mathbb{C}[z_1, \ldots, z_d]$. Arveson conjectured that $S$ is essentially normal. In this paper, we establish new results supporting this conjecture, and connect the notion of essential normality to the theory of the C*-envelope and the noncommutative Choquet boundary. The unital norm closed algebra $\mathcal{B}_I$ generated by $S_1,\ldots,S_d$ modulo the compact operators is shown to be completely isometrically isomorphic to the uniform algebra generated by polynomials on $\overline{V} := \overline{\mathcal{Z}(I) \cap \mathbb{B}_d}$, where $\mathcal{Z}(I)$ is the variety corresponding to $I$. Consequently, the essential norm of an element in $\mathcal{B}_I$ is equal to the sup norm of its Gelfand transform, and the C*-envelope of $\mathcal{B}_I$ is identified as the algebra of continuous functions on $\overline{V} \cap \partial \mathbb{B}_d$, which means it is a complete invariant of the topology of the variety determined by $I$ in the ball. Motivated by this determination of the C*-envelope of $\mathcal{B}_I$, we suggest a new, more qualitative approach to the problem of essential normality. We prove the tuple $S$ is essentially normal if and only if it is hyperrigid as the generating set of a C*-algebra, which is a property closely connected to Arveson's notion of a boundary representation. We show that most of our results hold in a much more general setting. In particular, for most of our results, the ideal $I$ can be replaced by an arbitrary (not necessarily homogeneous) invariant subspace of the $d$-shift.
• ### A sneaky proof of the maximum modulus principle(1304.5839)

April 22, 2013 math.OA, math.CV
A proof for the maximum modulus principle (in the unit disc) is presented. This proof is unusual in that it is based on linear algebra.
• ### On the isomorphism question for complete Pick multiplier algebras(1211.1116)

Feb. 18, 2013 math.OA, math.FA, math.CV
Every multiplier algebra of an irreducible complete Pick kernel arises as the restriction algebra $\mv = \{f\big|_V : f \in \cM_d\}$, where $d$ is some integer or $\infty$, $\cM_d$ is the multiplier algebra of the Drury-Arveson space $H^2_d$, and $V$ is a subvariety of the unit ball. For finite $d$ it is known that, under mild assumptions, every isomorphism between two such algebras $\mv$ and $\mw$ is induced by a biholomorphism between $W$ and $V$. In this paper we consider the converse, and obtain positive results in two directions. The first deals with the case where $V$ is the proper image of a finite Riemann surface. The second deals with the case where $V$ is a disjoint union of varieties.
• ### Essential normality and the decomposability of algebraic varieties(1207.2808)

Oct. 22, 2012 math.OA, math.FA
We consider the Arveson-Douglas conjecture on the essential normality of homogeneous submodules corresponding to algebraic subvarieties of the unit ball. We prove that the property of essential normality is preserved by isomorphisms between varieties, and we establish a similar result for maps between varieties that are not necessarily invertible. We also relate the decomposability of an algebraic variety to the problem of establishing the essential normality of the corresponding submodule. These results are applied to prove that the Arveson-Douglas conjecture holds for submodules corresponding to varieties that decompose into linear subspaces, and varieties that decompose into components with mutually disjoint linear spans.
• ### Dilation theory in finite dimensions: the possible, the impossible and the unknown(1012.4514)

July 15, 2011 math.OA, math.FA, math.RA
This expository essay discusses a finite dimensional approach to dilation theory. How much of dilation theory can be worked out within the realm of linear algebra? It turns out that some interesting and simple results can be obtained. These results can be used to give very elementary proofs of sharpened versions of some von Neumann type inequalities, as well as some other striking consequences about polynomials and matrices. Exploring the limits of the finite dimensional approach sheds light on the difference between those techniques and phenomena in operator theory that are inherently infinite dimensional, and those that are not.
• ### The isomorphism problem for some universal operator algebras(1010.0729)

May 24, 2011 math.OA, math.FA
This paper addresses the isomorphism problem for the universal (nonself-adjoint) operator algebras generated by a row contraction subject to homogeneous polynomial relations. We find that two such algebras are isometrically isomorphic if and only if the defining polynomial relations are the same up to a unitary change of variables, and that this happens if and only if the associated subproduct systems are isomorphic. The proof makes use of the complex analytic structure of the character space, together with some recent results on subproduct systems. Restricting attention to commutative operator algebras defined by radical relations yields strong resemblances with classical algebraic geometry. These commutative operator algebras turn out to be algebras of analytic functions on algebraic varieties. We prove a projective Nullstellensatz connecting closed ideals and their zero sets. Under some technical assumptions, we find that two such algebras are isomorphic as algebras if and only if they are similar, and we obtain a clear geometrical picture of when this happens. This result is obtained with tools from algebraic geometry, reproducing kernel Hilbert spaces, and some new complex-geometric rigidity results of independent interest. The C*-envelopes of these algebras are also determined. The Banach-algebraic and the algebraic classification results are shown to hold for the weak-operator closures of these algebras as well.
• ### Unitary N-dilations for tuples of commuting matrices(1105.2020)

May 10, 2011 math.OA, math.FA, math.RA
We show that whenever a contractive $k$-tuple $T$ on a finite dimensional space $H$ has a unitary dilation, then for any fixed degree $N$ there is a unitary $k$-tuple $U$ on a finite dimensional space so that $q(T) = P_H q(U) |_H$ for all polynomials $q$ of degree at most $N$.
• ### Stable polynomial division and essential normality of graded Hilbert modules(1003.0502)

April 22, 2011 math.OA, cs.SC, math.FA, math.AC
The purpose of this paper is to initiate a new attack on Arveson's resistant conjecture, that all graded submodules of the $d$-shift Hilbert module $H^2$ are essentially normal. We introduce the stable division property for modules (and ideals): a normed module $M$ over the ring of polynomials in $d$ variables has the stable division property if it has a generating set $\{f_1, ..., f_k\}$ such that every $h \in M$ can be written as $h = \sum_i a_i f_i$ for some polynomials $a_i$ such that $\sum \|a_i f_i\| \leq C\|h\|$. We show that certain classes of modules have this property, and that the stable decomposition $h = \sum a_i f_i$ may be obtained by carefully applying techniques from computational algebra. We show that when the algebra of polynomials in $d$ variables is given the natural $\ell^1$ norm, then every ideal is linearly equivalent to an ideal that has the stable division property. We then show that a module $M$ that has the stable division property (with respect to the appropriate norm) is $p$-essentially normal for $p > \dim(M)$, as conjectured by Douglas. This result is used to give a new, unified proof that certain classes of graded submodules are essentially normal. Finally, we reduce the problem of determining whether all graded submodules of the $d$-shift Hilbert module are essentially normal, to the problem of determining whether all ideals generated by quadratic scalar valued polynomials are essentially normal.
• ### Three commuting, unital, completely positive maps that have no minimal dilation(1012.2111)

Jan. 5, 2011 math.OA
In this note we prove that there exist at least two examples of three commuting, unital, completely positive maps that have no dilation on a type I factor, and no minimal dilation on any von Neumann algebra.
• ### E-dilation of strongly commuting CP-semigroups (the nonunital case)(0711.2885)

Sept. 13, 2010 math.OA
In a previous paper, we showed that every strongly commuting pair of CP_0-semigroups on a von Neumann algebra (acting on a separable Hilbert space) has an E_0-dilation. In this paper we show that if one restricts attention to the von Neumann algebra B(H) then the unitality assumption can be dropped, that is, we prove that every pair of strongly commuting CP-semigroups on B(H) has an E-dilation. The proof is significantly different from the proof for the unital case, and is based on a construction of Ptak from the 1980's designed originally for constructing a unitary dilation to a two-parameter contraction semigroup.
• ### Three remarks on a question of Acz\'el(1009.0256)

Sept. 1, 2010 math.CA
In the 49th International Symposium on Functional Equations, J. Acz\'el asked for the monotonic solutions of a certain one-parameter family of functional equations. In this short note we find that for a certain value of the parameter the monotonic solutions are the expected ones, and that for other values this is not so. Further, we find all continuous and continuously differentiable solutions to the equations.
• ### Dilation theorems for contractive semigroups(1004.0723)

April 5, 2010 math.FA
This note records some dilation theorems about contraction semigroups on a Hilbert space - all of which fall into the categories "known" or "probably known" - that I proved while working on my PhD in mathematics (under the supervision of Baruch Solel). It is convenient to have them recorded for reference.
• ### Product systems, subproduct systems and dilation theory of completely positive semigroups(1002.4920)

Feb. 26, 2010 quant-ph, math-ph, math.MP, math.OA, math.FA
This thesis is dedicated to developing a dilation theory for semigroups of completely positive maps. The first part treats two-parameter semigroups, and contains also contributions to dilation theory of product system representations. The second part deals with completely positive semigroups parameterized by quite general semigroups, where the major technical tool introduced is subproduct systems and their representations. In the third part subproduct systems are studied, together with the multivariable operator theory and operator algebras they give rise to.
• ### E_0-dilation of pairs of quantized convolution semigroups(0903.3980)

Feb. 26, 2010 math.OA
This paper has been withdrawn by the author, because a better treatment is given in the author's Phd. thesis (Sections 3.4.6 and 4.4), now available on the arxiv.