-
Function theory in the bfd-norm on an elliptical region
Authors:
Jim Agler,
Zinaida Lykova,
Nicholas Young
Abstract:
Let $E$ be the open region in the complex plane bounded by an ellipse. The B. and F. Delyon norm $\|\cdot\|_{\mathrm{bfd}}$ on the space $\mathrm{Hol}(E)$ of holomorphic functions on $E$ is defined by $$ \|f\|_{\mathrm{bfd}} \stackrel{\rm def}{=} \sup_{T\in \mathcal{F}_{\mathrm {bfd}}(E)}\|f(T)\|, $$ where $\mathcal{F}_{\mathrm {bfd}}(E)$ is the class of operators $T$ such that the closure of the…
▽ More
Let $E$ be the open region in the complex plane bounded by an ellipse. The B. and F. Delyon norm $\|\cdot\|_{\mathrm{bfd}}$ on the space $\mathrm{Hol}(E)$ of holomorphic functions on $E$ is defined by $$ \|f\|_{\mathrm{bfd}} \stackrel{\rm def}{=} \sup_{T\in \mathcal{F}_{\mathrm {bfd}}(E)}\|f(T)\|, $$ where $\mathcal{F}_{\mathrm {bfd}}(E)$ is the class of operators $T$ such that the closure of the numerical range of $T$ is contained in $E$. The name of the norm recognizes a celebrated theorem of the brothers Delyon, which implies that $\|\cdot\|_{\mathrm{bfd}}$ is equivalent to the supremum norm $\|\cdot\|_\infty$ on $\mathrm{Hol}(E)$.
The purpose of this paper is to develop the theory of holomorphic functions of bfd-norm less than or equal to one on $E$. To do so we shall employ a remarkable connection between the bfd norm on $\mathrm{Hol}(E)$ and the supremum norm $\|\cdot\|_\infty$ on the space $\mathrm{H}^\infty(G)$ of bounded holomorphic functions on the symmetrized bidisc, the domain $G$ in $\mathbb{C}^2$ defined by \begin{align*} G & \stackrel{\rm def}{=} \{(z+w,zw): |z|<1, |w|<1\}. \end{align*} It transpires that there exists a holomorphic embedding $τ:E \to G$ having the property that, for any bounded holomorphic function $f$ on $E$, \[ \|f\|_{\mathrm{bfd}} = \inf\{\|F\|_\infty: F \in {\mathrm H}^\infty(G), F\circτ=f\}, \] and moreover, the infimum is attained at some $F \in \mathrm{H}^\infty(G)$. This result allows us to derive, for holomorphic functions of bfd-norm at most one on $E$, analogs of the well-known model and realization formulae for Schur-class functions. We also give a second derivation of these models and realizations, which exploits the Zhukovskii map** from an annulus onto $E$.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
On the Operators with Numerical Range in an Ellipse
Authors:
Jim Agler,
Zinaida A. Lykova,
N. J. Young
Abstract:
We give new necessary and sufficient conditions for the numerical range $W(T)$ of an operator $T \in \mathcal{B}(\mathcal{H})$ to be a subset of the closed elliptical set $K_δ\subseteq \mathbb{C}$ given by \[ K_δ{\stackrel{\rm def}{=}}
\left\{x+iy: \frac{x^2}{(1+δ)^2} + \frac{y^2}{(1-δ)^2} \leq 1\right\}, \] where $0 < δ< 1$. Here $\mathcal{B}(\mathcal{H})$ denotes the collection of bounded line…
▽ More
We give new necessary and sufficient conditions for the numerical range $W(T)$ of an operator $T \in \mathcal{B}(\mathcal{H})$ to be a subset of the closed elliptical set $K_δ\subseteq \mathbb{C}$ given by \[ K_δ{\stackrel{\rm def}{=}}
\left\{x+iy: \frac{x^2}{(1+δ)^2} + \frac{y^2}{(1-δ)^2} \leq 1\right\}, \] where $0 < δ< 1$. Here $\mathcal{B}(\mathcal{H})$ denotes the collection of bounded linear operators on a Hilbert space $\mathcal{H}$. Central to our efforts is a direct generalization of Berger's well-known criterion for an operator to have numerical radius at most one, his so-called strange dilation theorem.
We next generalize the lemma of Sarason that describes power dilations in terms of semi-invariant subspaces to operators $T$ that satisfy appropriate dilation properties. This generalization yields a characterization of the operators $T\in \mathcal{B}(\mathcal{H})$ such that $W(T)$ is contained in $K_δ$ in terms of certain structured contractions that act on $\mathcal{H} \oplus \mathcal{H}$.
As a corollary of our results we extend Ando's parametrization of operators having numerical range in a disc to those $T$ such that $W(T)\subseteq K_δ$. We prove that, if $T$ acts on a finite-dimensional Hilbert space $\mathcal{H}$, then $W(T)\subseteq K_δ$ if and only if there exist a pair of contractions $A,B \in \mathcal{B}(\mathcal{H})$ such that $A$ is self-adjoint and \[ T=2\sqrtδA + (1-δ)\sqrt{1+A}\ B\sqrt{1-A}. \] We also obtain a formula for the B. and F. Delyon calcular norm of an analytic function on the inside of an ellipse in terms of the extremal $H^\infty$-extension problem for analytic functions defined on a slice of the symmetrized bidisc.
△ Less
Submitted 7 June, 2024; v1 submitted 1 November, 2023;
originally announced November 2023.
-
A Schwarz lemma for the pentablock
Authors:
Nujood M. Alshehri,
Zinaida A. Lykova
Abstract:
In this paper we prove a Schwarz lemma for the pentablock. The set \[ \mathcal{P}=\{(a_{21}, \text{tr} \ A, \det A) : A=[a_{ij}]_{i,j=1}^2 \in \mathbb{B}^{2\times 2}\} \] where $\mathbb{B}^{2\times 2}$ denotes the open unit ball in the space of $2\times 2$ complex matrices, is called the pentablock. The pentablock is a bounded nonconvex domain in $\Bbb{C}^3$ which arises naturally in connection wi…
▽ More
In this paper we prove a Schwarz lemma for the pentablock. The set \[ \mathcal{P}=\{(a_{21}, \text{tr} \ A, \det A) : A=[a_{ij}]_{i,j=1}^2 \in \mathbb{B}^{2\times 2}\} \] where $\mathbb{B}^{2\times 2}$ denotes the open unit ball in the space of $2\times 2$ complex matrices, is called the pentablock. The pentablock is a bounded nonconvex domain in $\Bbb{C}^3$ which arises naturally in connection with a certain problem of $μ$-synthesis. We develop a concrete structure theory for the rational maps from the unit disc $\Bbb{D}$ to the closed pentablock $\overline{\mathcal{P}}$ that map the unit circle ${\mathbb{T}}$ to the distinguished boundary $b\overline{\mathcal{P}}$ of $\overline{\mathcal{P}}$. Such maps are called rational ${\overline{\mathcal{P}}}$-inner functions. We give relations between penta-inner functions and inner functions from $\Bbb{D}$ to the symmetrized bidisc. We describe the construction of rational penta-inner functions $x = (a, s, p) : \Bbb{D} \rightarrow \overline{\mathcal{P}}$ of prescribed degree from the zeroes of $a, s$ and $s^2-4p$. The proof of this theorem is constructive: it gives an algorithm for the construction of a family of such functions $x$ subject to the computation of Fejér-Riesz factorizations of certain non-negative trigonometric functions on the circle. We use properties and the construction of rational ${\overline{\mathcal{P}}}$-inner functions to prove a Schwarz lemma for the pentablock.
△ Less
Submitted 26 November, 2022; v1 submitted 15 May, 2022;
originally announced May 2022.
-
A Hilbert space approach to singularities of functions
Authors:
Jim Agler,
Zinaida Lykova,
N. J. Young
Abstract:
We introduce the notion of a pseudomultiplier of a Hilbert space $\mathcal H$ of functions on a set $Ω$. Roughly, a pseudomultiplier of $\mathcal H$ is a function which multiplies a finite-codimensional subspace of $\mathcal H$ into $\mathcal H$, where we allow the possibility that a pseudomultiplier is not defined on all of $Ω$. A pseudomultiplier of $\mathcal H$ has singularities, which comprise…
▽ More
We introduce the notion of a pseudomultiplier of a Hilbert space $\mathcal H$ of functions on a set $Ω$. Roughly, a pseudomultiplier of $\mathcal H$ is a function which multiplies a finite-codimensional subspace of $\mathcal H$ into $\mathcal H$, where we allow the possibility that a pseudomultiplier is not defined on all of $Ω$. A pseudomultiplier of $\mathcal H$ has singularities, which comprise a subspace of $\mathcal H$, and generalize the concept of singularities of an analytic function, even though the elements of $\mathcal H$ need not enjoy any sort of analyticity. We analyse the natures of these singularities, and obtain a broad classification of them in function-theoretic terms.
△ Less
Submitted 20 December, 2022; v1 submitted 10 May, 2022;
originally announced May 2022.
-
Nonuniqueness of Carathéodory extremal functions on the symmetrized bidisc
Authors:
Jim Agler,
Zinaida Lykova,
N. J. Young
Abstract:
We survey the Carathéodory extremal problem $\mathrm{Car} δ$ on the symmetrized bidisc $$ G = \{(z+w,zw):|z|<1, \, |w|<1\} = \{(s,p)\in \mathbb{C}^2: |s-\bar s p| < 1-|p|^2\}. $$ We also give some new results on this topic. We are particularly interested in cases of this problem in which the solution of the problem is not unique. It is known that, for any $δ=(λ,v)\in TG$ with $v\neq 0$, there is a…
▽ More
We survey the Carathéodory extremal problem $\mathrm{Car} δ$ on the symmetrized bidisc $$ G = \{(z+w,zw):|z|<1, \, |w|<1\} = \{(s,p)\in \mathbb{C}^2: |s-\bar s p| < 1-|p|^2\}. $$ We also give some new results on this topic. We are particularly interested in cases of this problem in which the solution of the problem is not unique. It is known that, for any $δ=(λ,v)\in TG$ with $v\neq 0$, there is at least one $ω\in\mathbb{T}$ such that $Φ_ω$ solves $\mathrm{Car} δ$, where $Φ_ω(s,p) = \frac{2ωp-s}{2-ωs}$. Moreover, there is an essentially unique solution of $\mathrm{Car} δ$ if and only if $δ$ has exactly one Carathéodory extremal function of the form $Φ_ω$ for some $ω\in\mathbb{T}$. We give a description of Carathéodory extremals for $δ\in TG$ with more than one Carathéodory extremal function $Φ_ω$ for some values of $ω\in\mathbb{T}$. The proof exploits a model formula for the Schur class of $G$ which is an analog of the well-known network realization formula for Schur-class functions on the disc.
△ Less
Submitted 22 January, 2022;
originally announced January 2022.
-
Rational tetra-inner functions and the special variety of the tetrablock
Authors:
Omar M. O. Alsalhi,
Zinaida A. Lykova
Abstract:
The set \[ \overline{\mathbb{E}}= \{ x \in {\mathbb{C}}^3: \quad 1-x_1 z - x_2 w + x_3 zw \neq 0 \mbox{ whenever } |z| < 1, |w| < 1 \} \] is called the tetrablock and has intriguing complex-geometric properties. It is polynomially convex, nonconvex and starlike about $0$. It has a group of automorphisms parametrised by…
▽ More
The set \[ \overline{\mathbb{E}}= \{ x \in {\mathbb{C}}^3: \quad 1-x_1 z - x_2 w + x_3 zw \neq 0 \mbox{ whenever } |z| < 1, |w| < 1 \} \] is called the tetrablock and has intriguing complex-geometric properties. It is polynomially convex, nonconvex and starlike about $0$. It has a group of automorphisms parametrised by ${\mathrm{Aut}~} {\mathbb{D}} \times {\mathrm{Aut}~} {\mathbb{D}} \times {\mathbb{Z}}_2$ and its distinguished boundary $b\overline{\mathbb{E}}$ is homeomorphic to the solid torus $\overline{\mathbb{D}} \times {\mathbb{T}}$. It has a special subvariety \[\mathcal{R}_{\mathbb{\overline{E}}} = \big\{ (x_{1}, x_{2}, x_{3}) \in \overline{\mathbb{E}} : x_{1}x_{2}=x_{3} \big\}, \] called the royal variety of $\overline{\mathbb{E}}$, which is a complex geodesic of ${\mathbb{E}}$ that is invariant under all automorphisms of ${\mathbb{E}}$. We exploit this geometry to develop an explicit and detailed structure theory for the rational maps from the unit disc ${\mathbb{D}}$ to $\overline{\mathbb{E}}$ that map the unit circle ${\mathbb{T}}$ to the distinguished boundary $b\overline{\mathbb{E}}$ of $\overline{\mathbb{E}}$. Such maps are called rational $\mathbb{ \overline{ E}}$-inner functions. We show that, for each nonconstant rational $\mathbb{ \overline{ E}}$-inner function $x$, either $x(\overline{\mathbb{D}}) \subseteq \mathcal{R}_{\mathbb{\overline{E}}} \cap \overline{\mathbb{E}}$ or $x(\overline{\mathbb{D}})$ meets $\mathcal{R}_{\mathbb{\overline{E}}}$ exactly $deg(x)$ times.
We study convex subsets of the set $\mathcal{J}$ of all rational $\mathbb{ \overline{ E}}$-inner functions and extreme points of $\mathcal{J}$.
△ Less
Submitted 26 July, 2021; v1 submitted 7 January, 2021;
originally announced January 2021.
-
Interpolation by holomorphic maps from the disc to the tetrablock
Authors:
Hadi O. Alshammari,
Zinaida A. Lykova
Abstract:
The tetrablock is the set
$$
\mathcal{E}=\{x \in \mathbb{C}^3: \quad 1-x_1z-x_2w+x_3z w \neq 0 \quad whenever \quad |z|\leq 1, |w|\leq 1\}.
$$ The closure of $\mathcal{E}$ is denoted by $\overline{\mathcal{E}}$. A tetra-inner function is an analytic map $x$ from the unit disc $ \mathbb{D} $ to $\overline{\mathcal{E}}$ such that, for almost all points $λ$ of the unit circle $ \mathbb{T}$, \[…
▽ More
The tetrablock is the set
$$
\mathcal{E}=\{x \in \mathbb{C}^3: \quad 1-x_1z-x_2w+x_3z w \neq 0 \quad whenever \quad |z|\leq 1, |w|\leq 1\}.
$$ The closure of $\mathcal{E}$ is denoted by $\overline{\mathcal{E}}$. A tetra-inner function is an analytic map $x$ from the unit disc $ \mathbb{D} $ to $\overline{\mathcal{E}}$ such that, for almost all points $λ$ of the unit circle $ \mathbb{T}$, \[ \lim_{r\uparrow 1} x(r λ) \mbox{ exists and lies in } b \overline{\mathcal{E}}, \] where $b \overline{\mathcal{E}}$ denotes the distinguished boundary of $\overline{\mathcal{E}}$. There is a natural notion of degree of a rational tetra-inner function $ x$; it is simply the topological degree of the continuous map $ x|_\mathbb{T} $ from $ \mathbb{T} $ to $ b \overline{\mathcal{E}} $.
In this paper we give a prescription for the construction of a general rational tetra-inner function of degree $n$. The prescription exploits a known construction of the finite Blaschke products of given degree which satisfy some interpolation conditions with the aid of a Pick matrix formed from the interpolation data. It is known that if $x= (x_1, x_2, x_3)$ is a rational tetra-inner function of degree $n$, then $x_1 x_2 - x_3$ either is identically $0$ or has precisely $n$ zeros in the closed unit disc $\overline{\mathbb{D}}$, counted with multiplicity.
It turns out that a natural choice of data for the construction of a rational tetra-inner function $x= (x_1, x_2, x_3)$ consists of the points in $\overline{\mathbb{D}}$ for which $x_1 x_2 - x_3=0$ and the values of $x$ at these points.
△ Less
Submitted 6 January, 2021;
originally announced January 2021.
-
Intrinsic Directions, Orthogonality and Distinguished Geodesics in the Symmetrized Bidisc
Authors:
Jim Agler,
Zinaida Lykova,
N. J. Young
Abstract:
The symmetrized bidisc \[ G \stackrel{\rm{def}}{=}\{(z+w,zw):|z|<1,\ |w|<1\}, \] under the Carathéodory metric, is a complex Finsler space of cohomogeneity $1$ in which the geodesics, both real and complex, enjoy a rich geometry. As a Finsler manifold, $G$ does not admit a natural notion of angle, but we nevertheless show that there {\em is} a notion of orthogonality. The complex tangent bundle…
▽ More
The symmetrized bidisc \[ G \stackrel{\rm{def}}{=}\{(z+w,zw):|z|<1,\ |w|<1\}, \] under the Carathéodory metric, is a complex Finsler space of cohomogeneity $1$ in which the geodesics, both real and complex, enjoy a rich geometry. As a Finsler manifold, $G$ does not admit a natural notion of angle, but we nevertheless show that there {\em is} a notion of orthogonality. The complex tangent bundle $TG$ splits naturally into the direct sum of two line bundles, which we call the {\em sharp} and {\em flat} bundles, and which are geometrically defined and therefore covariant under automorphisms of $G$. Through every point of $G$ there is a unique complex geodesic of $G$ in the flat direction, having the form \[ F^β\stackrel{\rm{def}}{=}\{(β+\barβz,z)\ : z\in\mathbb{D}\} \] for some $β\in\mathbb{D}$, and called a {\em flat geodesic}. We say that a complex geodesic \emph{$D$ is orthogonal} to a flat geodesic $F$ if $D$ meets $F$ at a point $λ$ and the complex tangent space $T_λD$ at $λ$ is in the sharp direction at $λ$. We prove that a geodesic $D$ has the closest point property with respect to a flat geodesic $F$ if and only if $D$ is orthogonal to $F$ in the above sense. Moreover, $G$ is foliated by the geodesics in $G$ that are orthogonal to a fixed flat geodesic $F$.
△ Less
Submitted 6 December, 2020;
originally announced December 2020.
-
Exterior powers and pointwise creation operators
Authors:
Dimitrios Chiotis,
Zinaida Lykova,
N. J. Young
Abstract:
We develop a theory of pointwise wedge products of vector-valued functions on the circle and the disc, and obtain results which give rise to a new approach to the analysis of the matricial Nehari problem. We investigate properties of pointwise creation operators and pointwise orthogonal complements in the context of operator theory and the study of vector-valued analytic functions on the unit disc…
▽ More
We develop a theory of pointwise wedge products of vector-valued functions on the circle and the disc, and obtain results which give rise to a new approach to the analysis of the matricial Nehari problem. We investigate properties of pointwise creation operators and pointwise orthogonal complements in the context of operator theory and the study of vector-valued analytic functions on the unit disc.
△ Less
Submitted 7 October, 2020; v1 submitted 24 April, 2020;
originally announced April 2020.
-
Exterior products of operators and superoptimal analytic approximation
Authors:
Dimitrios Chiotis,
Zinaida Lykova,
Nicholas Young
Abstract:
We give a new algorithm for the construction of the unique superoptimal analytic approximant of a given continuous matrix-valued function on the unit circle, making use of exterior powers of operators in preference to spectral or {\em Wiener-Masani} factorizations.
We give a new algorithm for the construction of the unique superoptimal analytic approximant of a given continuous matrix-valued function on the unit circle, making use of exterior powers of operators in preference to spectral or {\em Wiener-Masani} factorizations.
△ Less
Submitted 5 August, 2021; v1 submitted 14 April, 2020;
originally announced April 2020.
-
A Geometric Characterization of the Symmetrized Bidisc
Authors:
Jim Agler,
Zinaida Lykova,
N. J. Young
Abstract:
The symmetrized bidisc \[ G \stackrel{\rm{def}}{=}\{(z+w,zw):|z|<1,\ |w|<1\} \] has interesting geometric properties. While it has a plentiful supply of complex geodesics and of automorphisms, there is nevertheless a unique complex geodesic $\mathcal{R}$ in $G$ that is invariant under all automorphisms of $G$. Moreover, $G$ is foliated by those complex geodesics that meet $\mathcal{R}$ in one poin…
▽ More
The symmetrized bidisc \[ G \stackrel{\rm{def}}{=}\{(z+w,zw):|z|<1,\ |w|<1\} \] has interesting geometric properties. While it has a plentiful supply of complex geodesics and of automorphisms, there is nevertheless a unique complex geodesic $\mathcal{R}$ in $G$ that is invariant under all automorphisms of $G$. Moreover, $G$ is foliated by those complex geodesics that meet $\mathcal{R}$ in one point and have nontrivial stabilizer.
We prove that these properties, together with two further geometric hypotheses on the action of the automorphism group of $G$, characterize the symmetrized bidisc in the class of complex manifolds.
△ Less
Submitted 10 January, 2019;
originally announced January 2019.
-
Characterizations of some domains via Carathéodory extremals
Authors:
J. Agler,
Z. A. Lykova,
N. J. Young
Abstract:
In this paper we characterize the unit disc, the bidisc and the symmetrized bidisc \[ G =\{(z+w,zw):|z|<1,\ |w|<1\} \] in terms of the possession of small classes of analytic maps into the unit disc that suffice to solve all Carathéodory extremal problems in the domain.
In this paper we characterize the unit disc, the bidisc and the symmetrized bidisc \[ G =\{(z+w,zw):|z|<1,\ |w|<1\} \] in terms of the possession of small classes of analytic maps into the unit disc that suffice to solve all Carathéodory extremal problems in the domain.
△ Less
Submitted 5 August, 2018; v1 submitted 25 February, 2018;
originally announced February 2018.
-
Analytic interpolation into the tetrablock and a $μ$-synthesis problem
Authors:
Z. A. Lykova,
N. J. Young,
A. Ajibo
Abstract:
We give a solvability criterion for a special case of the $μ$-synthesis problem. That is, we prove the necessity and sufficiency of a condition for the existence of an analytic $2 \times 2$ matrix-valued function on the disc subject to a bound on the structured singular value and satisfying a finite set of interpolation conditions. To do this we prove a realization theorem for analytic functions f…
▽ More
We give a solvability criterion for a special case of the $μ$-synthesis problem. That is, we prove the necessity and sufficiency of a condition for the existence of an analytic $2 \times 2$ matrix-valued function on the disc subject to a bound on the structured singular value and satisfying a finite set of interpolation conditions. To do this we prove a realization theorem for analytic functions from the disc to the tetrablock. We also obtain a solvability criterion for the problem of analytic interpolation from the disc to the tetrablock.
△ Less
Submitted 5 May, 2018; v1 submitted 25 February, 2018;
originally announced February 2018.
-
Carathéodory extremal functions on the symmetrized bidisc
Authors:
Jim Agler,
Zinaida Lykova,
N. J. Young
Abstract:
We show how realization theory can be used to find the solutions of the Carathéodory extremal problem on the symmetrized bidisc \[ G \stackrel{\rm{def}}{=} \{(z+w,zw):|z|<1, \, |w|<1\}. \] We show that, generically, solutions are unique up to composition with automorphisms of the disc. We also obtain formulae for large classes of extremal functions for the Carathéodory problems for tangents of non…
▽ More
We show how realization theory can be used to find the solutions of the Carathéodory extremal problem on the symmetrized bidisc \[ G \stackrel{\rm{def}}{=} \{(z+w,zw):|z|<1, \, |w|<1\}. \] We show that, generically, solutions are unique up to composition with automorphisms of the disc. We also obtain formulae for large classes of extremal functions for the Carathéodory problems for tangents of non-generic types.
△ Less
Submitted 5 May, 2018; v1 submitted 3 December, 2017;
originally announced December 2017.
-
A rich structure related to the construction of analytic matrix functions
Authors:
D. C. Brown,
Z. A. Lykova,
N. J. Young
Abstract:
We analyse two special cases of $μ$-synthesis problems which can be reduced to interpolation problems in the set of analytic functions from the disc into the symmetrised bidisc and into the tetrablock. For these inhomogeneous domains we study the structure of interconnections between the set of analytic functions from the disc into the given domain, the matricial Schur class, the Schur class of th…
▽ More
We analyse two special cases of $μ$-synthesis problems which can be reduced to interpolation problems in the set of analytic functions from the disc into the symmetrised bidisc and into the tetrablock. For these inhomogeneous domains we study the structure of interconnections between the set of analytic functions from the disc into the given domain, the matricial Schur class, the Schur class of the bidisc, and the set of pairs of positive kernels on the bidisc subject to a boundedness condition. We use the theories of Hilbert function spaces and of reproducing kernels to establish these connections. We give a solvability criterion for the interpolation problem that arises from the $μ$-synthesis problem related to the tetrablock.
△ Less
Submitted 5 December, 2016; v1 submitted 7 August, 2016;
originally announced August 2016.
-
Geodesics, retracts, and the norm-preserving extension property in the symmetrized bidisc
Authors:
Jim Agler,
Zinaida Lykova,
Nicholas Young
Abstract:
A set $V$ in a domain $U$ in $\mathbb{C}^n$ has the {\em norm-preserving extension property} if every bounded holomorphic function on $V$ has a holomorphic extension to $U$ with the same supremum norm. We prove that an algebraic subset of the {\em symmetrized bidisc} \[ G := \{(z+w,zw):|z|<1, |w| < 1 \} \] has the norm-preserving extension property if and only if it is either a singleton, $G$ itse…
▽ More
A set $V$ in a domain $U$ in $\mathbb{C}^n$ has the {\em norm-preserving extension property} if every bounded holomorphic function on $V$ has a holomorphic extension to $U$ with the same supremum norm. We prove that an algebraic subset of the {\em symmetrized bidisc} \[ G := \{(z+w,zw):|z|<1, |w| < 1 \} \] has the norm-preserving extension property if and only if it is either a singleton, $G$ itself, a complex geodesic of $G$, or the union of the set $\{(2z,z^2): |z|<1\}$ and a complex geodesic of degree $1$ in $G$. We also prove that the complex geodesics in $G$ coincide with the nontrivial holomorphic retracts in $G$. Thus, in contrast to the case of the ball or the bidisc, there are sets in $G$ which have the norm-preserving extension property but are not holomorphic retracts of $G$. In the course of the proof we obtain a detailed classification of the complex geodesics in $G$ modulo automorphisms of $G$. We give applications to von Neumann-type inequalities for $Γ$-contractions (that is, commuting pairs of operators for which the closure of $G$ is a spectral set) and for symmetric functions of commuting pairs of contractive operators. We find three other domains that contain sets with the norm-preserving extension property which are not retracts: they are the spectral ball of $2\times 2$ matrices, the tetrablock and the pentablock. We also identify the subsets of the bidisc which have the norm-preserving extension property for symmetric functions.
△ Less
Submitted 23 August, 2016; v1 submitted 13 March, 2016;
originally announced March 2016.
-
Finite Blaschke products and the construction of rational $Γ$-inner functions
Authors:
Jim Agler,
Zinaida A. Lykova,
N. J. Young
Abstract:
Let \[ Γ= \{(z+w, zw): |z|\leq 1, |w|\leq 1\} \subset \mathbb{C}^2. \] A $Γ$-inner function is defined to be a holomorphic map $h$ from the unit disc $\mathbb{D}$ to $Γ$ whose boundary values at almost all points of the unit circle $\mathbb{T}$ belong to the distinguished boundary $bΓ$ of $Γ$. A rational $Γ$-inner function $h$ induces a continuous map $h|_\mathbb{T}$ from the unit circle to $bΓ$.…
▽ More
Let \[ Γ= \{(z+w, zw): |z|\leq 1, |w|\leq 1\} \subset \mathbb{C}^2. \] A $Γ$-inner function is defined to be a holomorphic map $h$ from the unit disc $\mathbb{D}$ to $Γ$ whose boundary values at almost all points of the unit circle $\mathbb{T}$ belong to the distinguished boundary $bΓ$ of $Γ$. A rational $Γ$-inner function $h$ induces a continuous map $h|_\mathbb{T}$ from the unit circle to $bΓ$. The latter set is topologically a Möbius band and so has fundamental group $\mathbb{Z}$. The {\em degree} of $h$ is defined to be the topological degree of $h|_\mathbb{T}$. In a previous paper the authors showed that if $h=(s,p)$ is a rational $Γ$-inner function of degree $n$ then $s^2-4p$ has exactly $n$ zeros in the closed unit disc $\mathbb{D}^-$, counted with an appropriate notion of multiplicity. In this paper, with the aid of a solution of an interpolation problem for finite Blaschke products, we explicitly construct the rational $Γ$-inner functions of degree $n$ with the $n$ zeros of $s^2-4p$ and the corresponding values of $s$, prescribed.
△ Less
Submitted 30 October, 2016; v1 submitted 10 May, 2015;
originally announced May 2015.
-
Algebraic and geometric aspects of rational $Γ$-inner functions
Authors:
Jim Agler,
Zinaida A. Lykova,
Nicholas J. Young
Abstract:
The set \[ Γ{\stackrel{\rm def}{=}} \{(z+w,zw):|z|\leq 1,|w|\leq 1\} \subset {\mathbb{C}}^2 \] has intriguing complex-geometric properties; it has a 3-parameter group of automorphisms, its distinguished boundary is a ruled surface homeomorphic to the Möbius band and it has a special subvariety which is the only complex geodesic that is invariant under all automorphisms. We exploit this geometry to…
▽ More
The set \[ Γ{\stackrel{\rm def}{=}} \{(z+w,zw):|z|\leq 1,|w|\leq 1\} \subset {\mathbb{C}}^2 \] has intriguing complex-geometric properties; it has a 3-parameter group of automorphisms, its distinguished boundary is a ruled surface homeomorphic to the Möbius band and it has a special subvariety which is the only complex geodesic that is invariant under all automorphisms. We exploit this geometry to develop an explicit and detailed structure theory for the rational maps from the unit disc to $Γ$ that map the boundary of the disc to the distinguished boundary of $Γ$.
△ Less
Submitted 21 December, 2017; v1 submitted 14 February, 2015;
originally announced February 2015.
-
The complex geomety of a domain related to $μ$-synthesis
Authors:
J. Agler,
Z. A. Lykova,
N. J. Young
Abstract:
We describe the basic complex geometry and function theory of the {\em pentablock} $\mathcal{P}$, which is the bounded domain in $\mathbb{C}^3$ given by \[ \mathcal{P}= \{(a_{21}, \mathrm{tr} A, \det A): A= \begin{bmatrix} a_{ij}\end{bmatrix}_{i,j=1}^2 \in \mathbb{B}\} \] where $\mathbb{B}$ denotes the open unit ball in the space of $2\times 2$ complex matrices. We prove several characterizations…
▽ More
We describe the basic complex geometry and function theory of the {\em pentablock} $\mathcal{P}$, which is the bounded domain in $\mathbb{C}^3$ given by \[ \mathcal{P}= \{(a_{21}, \mathrm{tr} A, \det A): A= \begin{bmatrix} a_{ij}\end{bmatrix}_{i,j=1}^2 \in \mathbb{B}\} \] where $\mathbb{B}$ denotes the open unit ball in the space of $2\times 2$ complex matrices. We prove several characterizations of the domain. We describe its distinguished boundary and exhibit a $4$-parameter group of automorphisms of $\mathcal{P}$. We show that $\mathcal{P}$ is intimately connected with the problem of $μ$-synthesis for a certain cost function $μ$ on the space of $2\times 2$ matrices defined in connection with robust stabilization by control engineers. We demonstrate connections between the function theories of $\mathcal{P}$ and $\mathbb{B}$. We show that $\mathcal{P}$ is polynomially convex and starlike.
△ Less
Submitted 3 September, 2014; v1 submitted 8 March, 2014;
originally announced March 2014.
-
3-extremal holomorphic maps and the symmetrised bidisc
Authors:
Jim Agler,
Zinaida A. Lykova,
N. J. Young
Abstract:
We analyse the 3-extremal holomorphic maps from the unit disc $\mathbb{D}$ to the symmetrised bidisc $ \mathcal{G}$, defined to be the set $ \{(z+w,zw): z,w\in\mathbb{D}\}$, with a view to the complex geometry and function theory of $\mathcal{G}$. These are the maps whose restriction to any triple of distinct points in $\mathbb{D}$ yields interpolation data that are only just solvable. We find a l…
▽ More
We analyse the 3-extremal holomorphic maps from the unit disc $\mathbb{D}$ to the symmetrised bidisc $ \mathcal{G}$, defined to be the set $ \{(z+w,zw): z,w\in\mathbb{D}\}$, with a view to the complex geometry and function theory of $\mathcal{G}$. These are the maps whose restriction to any triple of distinct points in $\mathbb{D}$ yields interpolation data that are only just solvable. We find a large class of such maps; they are rational of degree at most 4. It is shown that there are two qualitatively different classes of rational $\mathcal{G}$-inner functions of degree at most 4, to be called {\em aligned} and {\em caddywhompus} functions; the distinction relates to the cyclic ordering of certain associated points on the unit circle. The aligned ones are 3-extremal.
We describe a method for the construction of aligned rational $\mathcal{G}$-inner functions; with the aid of this method we reduce the solution of a 3-point interpolation problem for aligned holomorphic maps from $\mathbb{D}$ to $\mathcal{G}$ to a collection of classical Nevanlinna-Pick problems with mixed interior and boundary interpolation nodes. Proofs depend on a form of duality for $\mathcal{G}$.
△ Less
Submitted 26 July, 2013;
originally announced July 2013.
-
A case of mu-synthesis as a quadratic semidefinite program
Authors:
Jim Agler,
Z. A. Lykova,
N. J. Young
Abstract:
We analyse a special case of the robust stabilization problem under structured uncertainty. We obtain a new criterion for the solvability of the spectral Nevanlinna-Pick problem, which is a special case of the $μ$-synthesis problem of $H^\infty$ control in which $μ$ is the spectral radius. Given $n$ distinct points $\la_1,\dots,\la_n$ in the unit disc and $2\times 2$ nonscalar complex matrices…
▽ More
We analyse a special case of the robust stabilization problem under structured uncertainty. We obtain a new criterion for the solvability of the spectral Nevanlinna-Pick problem, which is a special case of the $μ$-synthesis problem of $H^\infty$ control in which $μ$ is the spectral radius. Given $n$ distinct points $\la_1,\dots,\la_n$ in the unit disc and $2\times 2$ nonscalar complex matrices $W_1,\dots,W_n$, the problem is to determine whether there is an analytic $2\times 2$ matrix function $F$ on the disc such that $F(\la_j)=W_j$ for each $j$ and the supremum of the spectral radius of $F(\la)$ is less than 1 for $\la$ in the disc. The condition is that the minimum of a quadratic function of pairs of positive $3n$-square matrices subject to certain linear matrix inequalities in the data be attained and be zero.
△ Less
Submitted 21 March, 2013;
originally announced March 2013.
-
Extremal holomorphic maps and the symmetrised bidisc
Authors:
Jim Agler,
Zinaida A. Lykova,
N. J. Young
Abstract:
We introduce the class of $n$-extremal holomorphic maps, a class that generalises both finite Blaschke products and complex geodesics, and apply the notion to the finite interpolation problem for analytic functions from the open unit disc into the symmetrised bidisc $Γ$. We show that a well-known necessary condition for the solvability of such an interpolation problem is not sufficient whenever th…
▽ More
We introduce the class of $n$-extremal holomorphic maps, a class that generalises both finite Blaschke products and complex geodesics, and apply the notion to the finite interpolation problem for analytic functions from the open unit disc into the symmetrised bidisc $Γ$. We show that a well-known necessary condition for the solvability of such an interpolation problem is not sufficient whenever the number of interpolation nodes is 3 or greater. We introduce a sequence $\mathcal{C}_ν, ν\geq 0,$ of necessary conditions for solvability, prove that they are of strictly increasing strength and show that $\mathcal{C}_{n-3}$ is insufficient for the solvability of an $n$-point problem for $n\geq 3$. We propose the conjecture that condition $\mathcal{C}_{n-2}$ is necessary and sufficient for the solvability of an $n$-point interpolation problem for $Γ$ and we explore the implications of this conjecture.
We introduce a classification of rational $Γ$-inner functions, that is, analytic functions from the disc into $Γ$ whose radial limits at almost all points on the unit circle lie in the distinguished boundary of $Γ$. The classes are related to $n$-extremality and the conditions $\mathcal{C}_ν$; we prove numerous strict inclusions between the classes.
△ Less
Submitted 29 April, 2012;
originally announced April 2012.
-
Projectivity of Banach and $C^*$-algebras of continuous fields
Authors:
David Cushing,
Zinaida A. Lykova
Abstract:
We give necessary and sufficient conditions for the left projectivity and biprojectivity of Banach algebras defined by locally trivial continuous fields of Banach algebras. We identify projective $C^*$-algebras $\A$ defined by locally trivial continuous fields $\mathcal{U} = \{Ω,(A_t)_{t \in Ω},Θ\}$ such that each $C^*$-algebra $ A_{t}$ has a strictly positive element. For a commutative $C^*$-alge…
▽ More
We give necessary and sufficient conditions for the left projectivity and biprojectivity of Banach algebras defined by locally trivial continuous fields of Banach algebras. We identify projective $C^*$-algebras $\A$ defined by locally trivial continuous fields $\mathcal{U} = \{Ω,(A_t)_{t \in Ω},Θ\}$ such that each $C^*$-algebra $ A_{t}$ has a strictly positive element. For a commutative $C^*$-algebra $\D$ contained in ${\cal B}(H)$, where $H$ is a separable Hilbert space, we show that the condition of left projectivity of $\D$ is equivalent to the existence of a strictly positive element in $\D$ and so to the spectrum of $\D$ being a Lindel$\ddot{\rm o}$f space.
△ Less
Submitted 26 April, 2011;
originally announced April 2011.
-
Pseudo-Taylor expansions and the Carathéodory-Fejér problem
Authors:
Jim Agler,
Zinaida A. Lykova,
N. J. Young
Abstract:
We give a new solvability criterion for the boundary Carathéodory-Fejér problem: given a point $x \in \mathbb{R}$ and, a finite set of target values $a^0,a^1,...,a^n \in \mathbb{R}$, to construct a function $f$ in the Pick class such that the limit of $f^{(k)}(z)/k!$ as $z \to x$ nontangentially in the upper half plane is $a^k$ for $k= 0,1,...,n$. The criterion is in terms of positivity of an asso…
▽ More
We give a new solvability criterion for the boundary Carathéodory-Fejér problem: given a point $x \in \mathbb{R}$ and, a finite set of target values $a^0,a^1,...,a^n \in \mathbb{R}$, to construct a function $f$ in the Pick class such that the limit of $f^{(k)}(z)/k!$ as $z \to x$ nontangentially in the upper half plane is $a^k$ for $k= 0,1,...,n$. The criterion is in terms of positivity of an associated Hankel matrix. The proof is based on a reduction method due to Julia and Nevanlinna.
△ Less
Submitted 6 January, 2011;
originally announced January 2011.
-
The boundary Carathéodory-Fejér interpolation problem
Authors:
Jim Agler,
Zinaida A. Lykova,
N. J. Young
Abstract:
We give an elementary proof of a solvability criterion for the {\em boundary Carathéodory-Fejér problem}: given a point $x \in \R$ and, a finite set of target values, to construct a function $f$ in the Pick class such that the first few derivatives of $f$ take on the prescribed target values at $x$. We also derive a linear fractional parametrization of the set of solutions of the interpolation pro…
▽ More
We give an elementary proof of a solvability criterion for the {\em boundary Carathéodory-Fejér problem}: given a point $x \in \R$ and, a finite set of target values, to construct a function $f$ in the Pick class such that the first few derivatives of $f$ take on the prescribed target values at $x$. We also derive a linear fractional parametrization of the set of solutions of the interpolation problem. The proofs are based on a reduction method due to Julia and Nevanlinna.
△ Less
Submitted 13 December, 2010; v1 submitted 5 November, 2010;
originally announced November 2010.
-
The higher-dimensional amenability of tensor products of Banach algebras
Authors:
Zinaida A. Lykova
Abstract:
We investigate the higher-dimensional amenability of tensor products $\A \ptp \B$ of Banach algebras $\A$ and $\B$. We prove that the weak bidimension $db_w$ of the tensor product $\A \ptp \B$ of Banach algebras $\A$ and $\B$ with bounded approximate identities satisfies \[ db_w \A \ptp \B = db_w \A + db_w \B. \] We show that it cannot be extended to arbitrary Banach algebras. For example, for a…
▽ More
We investigate the higher-dimensional amenability of tensor products $\A \ptp \B$ of Banach algebras $\A$ and $\B$. We prove that the weak bidimension $db_w$ of the tensor product $\A \ptp \B$ of Banach algebras $\A$ and $\B$ with bounded approximate identities satisfies \[ db_w \A \ptp \B = db_w \A + db_w \B. \] We show that it cannot be extended to arbitrary Banach algebras. For example, for a biflat Banach algebra $\A$ which has a left or right, but not two-sided, bounded approximate identity, we have $db_w \A \ptp \A \le 1$ and $db_w \A + db_w \A =2.$ We describe explicitly the continuous Hochschild cohomology $\H^n(\A \ptp \B, (X \ptp Y)^*)$ and the cyclic cohomology $\H\C^n(\A \ptp \B)$ of certain tensor products $\A \ptp \B$ of Banach algebras $\A$ and $\B$ with bounded approximate identities; here $(X \ptp Y)^*$ is the dual bimodule of the tensor product of essential Banach bimodules $X$ and $Y$ over $\A$ and $\B$ respectively.
△ Less
Submitted 29 April, 2009;
originally announced April 2009.
-
The Künneth formula for nuclear $DF$-spaces and Hochschild cohomology
Authors:
Zinaida A. Lykova
Abstract:
We consider complexes $(\X, d)$ of nuclear Fréchet spaces and continuous boundary maps $d_n$ with closed ranges and prove that, up to topological isomorphism, $ (H_{n}(\X, d))^*$ $\iso$ $H^{n}(\X^*,d^*),$ where $(H_{n}(\X,d))^*$ is the strong dual space of the homology group of $(\X,d)$ and $ H^{n}(\X^*,d^*)$ is the cohomology group of the strong dual complex $(\X^*,d^*)$. We use this result to…
▽ More
We consider complexes $(\X, d)$ of nuclear Fréchet spaces and continuous boundary maps $d_n$ with closed ranges and prove that, up to topological isomorphism, $ (H_{n}(\X, d))^*$ $\iso$ $H^{n}(\X^*,d^*),$ where $(H_{n}(\X,d))^*$ is the strong dual space of the homology group of $(\X,d)$ and $ H^{n}(\X^*,d^*)$ is the cohomology group of the strong dual complex $(\X^*,d^*)$. We use this result to establish the existence of topological isomorphisms in the Künneth formula for the cohomology of complete nuclear $DF$-complexes and in the Künneth formula for continuous Hochschild cohomology of nuclear $\hat{\otimes}$-algebras which are Fréchet spaces or $DF$-spaces for which all boundary maps of the standard homology complexes have closed ranges. We describe explicitly continuous Hochschild and cyclic cohomology groups of certain tensor products of $\hat{\otimes}$-algebras which are Fréchet spaces or nuclear $DF$-spaces.
△ Less
Submitted 12 September, 2007;
originally announced September 2007.
-
Cyclic cohomology of certain nuclear Fréchet and DF algebras
Authors:
Zinaida A. Lykova
Abstract:
We give explicit formulae for the continuous Hochschild and cyclic homology and cohomology of certain topological algebras. To this end we show that, for a continuous morphism $φ: \X\to \Y$ of complexes of complete nuclear $DF$-spaces, the isomorphism of cohomology groups $H^n(φ): H^n(\X) \to H^n(\Y)$ is automatically topological. The continuous cyclic-type homology and cohomology are described…
▽ More
We give explicit formulae for the continuous Hochschild and cyclic homology and cohomology of certain topological algebras. To this end we show that, for a continuous morphism $φ: \X\to \Y$ of complexes of complete nuclear $DF$-spaces, the isomorphism of cohomology groups $H^n(φ): H^n(\X) \to H^n(\Y)$ is automatically topological. The continuous cyclic-type homology and cohomology are described up to topological isomorphism for the following classes of biprojective $\hat{\otimes}$-algebras: the tensor algebra $E \hat{\otimes} F$ generated by the duality $(E, F, < \cdot, \cdot >)$ for nuclear Fréchet spaces $E$ and $F$ or for nuclear $DF$-spaces $E$ and $F$; nuclear biprojective Köthe algebras $λ(P)$ which are Fréchet spaces or $DF$-spaces; the algebra of distributions $\mathcal{E}^*(G)$ on a compact Lie group $G$.
△ Less
Submitted 12 September, 2007; v1 submitted 8 April, 2007;
originally announced April 2007.
-
Excision in Banach simplicial and cyclic cohomology
Authors:
Zinaida A. Lykova
Abstract:
We prove that, for every extension of Banach algebras $ 0 \rightarrow B \rightarrow A \rightarrow D \rightarrow 0 $ such that $B$ has a left or right bounded approximate identity, the existence of an associated long exact sequence of Banach simplicial or cyclic cohomology groups is equivalent to the existence of one for homology groups. It follows from the continuous version of a result of Wodzi…
▽ More
We prove that, for every extension of Banach algebras $ 0 \rightarrow B \rightarrow A \rightarrow D \rightarrow 0 $ such that $B$ has a left or right bounded approximate identity, the existence of an associated long exact sequence of Banach simplicial or cyclic cohomology groups is equivalent to the existence of one for homology groups. It follows from the continuous version of a result of Wodzicki that associated long exact sequences exist. In particular, they exist for every extension of $C^*$-algebras.
△ Less
Submitted 6 June, 1996;
originally announced June 1996.
-
Relative cohomology of Banach algebras
Authors:
Zinaida A. Lykova
Abstract:
Let $A$ be a Banach algebra, not necessarily unital, and let $B$ be a closed subalgebra of $A$. We establish a connection between the Banach cyclic cohomology group $ {\cal{HC}}^n(A)$ of $A$ and the Banach $B$-relative cyclic cohomology group $ {\cal{HC}}^n_B(A) $ of $A$. We prove that, for a Banach algebra $A$ with a bounded approximate identity and an amenable closed subalgebra $B$ of $A$, up…
▽ More
Let $A$ be a Banach algebra, not necessarily unital, and let $B$ be a closed subalgebra of $A$. We establish a connection between the Banach cyclic cohomology group $ {\cal{HC}}^n(A)$ of $A$ and the Banach $B$-relative cyclic cohomology group $ {\cal{HC}}^n_B(A) $ of $A$. We prove that, for a Banach algebra $A$ with a bounded approximate identity and an amenable closed subalgebra $B$ of $A$, up to topological isomorphism, ${\cal{HC}}^n(A) = {\cal{HC}}^n_B(A) $ for all $n \ge 0$. We also establish a connection between the Banach simplicial or cyclic cohomology groups of $A$ and those of the quotient algebra $A/I$ by an amenable closed bi-ideal $I$. The results are applied to the calculation of these groups for certain operator algebras, including von Neumann algebras.
△ Less
Submitted 30 November, 1995;
originally announced December 1995.