arXiv subjects
Publications and source records attributed to Lukasz Kosinski.
We characterize all algebraic subsets of the tridisk that are Caratheodory sets, that is the intrinsic Caratheodory metric on the set equals the Caratheodory metric for the tridisk. We show that such sets are either retracts, or are isomorphic to one particular exceptional set.
We study the boundedness of composition operators on the weighted Bergman spaces and the Hardy space over the polydisc. For arbitrary polydisc we prove the rank sufficiency theorem which, in particular, provides us with a simple criterion describing boundedness of composition operators on the spaces over the bidisc. Such a consistent characterization is obtained for the classical Bergman space over the tridisc.
If $V$ is an analytic set in a pseudoconvex domain $Ω$, we show there is always a pseudoconvex domain $G \subseteq Ω$ that contains $V$ and has the property that every bounded holomorphic function on $V$ extends to a bounded holomorphic function on $G$ with the same norm. We find such a $G$ for some particular analytic sets. When $Ω$ is an operhedron we show there is a norm on holomorphic functions on $V$ that can always be preserved by extensions to $Ω$.
We show that for every connected analytic subvariety $V$ there is a pseudoconvex set $Ω$ such that every bounded matrix-valued holomorphic function on $V$ extends isometrically to $Ω$. We prove that if $V$ is two analytic disks intersecting at one point, if every bounded scalar valued holomorphic function extends isometrically to $Ω$, then so does every matrix-valued function. In the special case that $Ω$ is the symmetrized bidisk, we show that this cannot be done by finding a linear isometric extension from the functions that vanish at one point.
Motivated by works on extension sets in standard domains we introduce a notion of the Carathéodory set that seems better suited for the methods used in proofs of results on characterization of extension sets. A special stress is put on a class of two dimensional submanifolds in the tridisc which not only turns out to be Carathéodory but also provides examples of two dimensional domains for which the celebrated Lempert Theorem holds. Additionally, a recently introduced notion of universal sets for the Carathéodory extremal problem is studied and new results on domains admitting (no) finite universal sets are given.
We study sets $V$ in the tridisc that are relatively polynomially convex and have the polynomial extension property. If $V$ is one-dimensional, and is either algebraic, or has polynomially convex projections, we show that it is a retract. If $V$ is two-dimensional, we show that either it is a retract, or, for any choice of the coordinate functions, it is the graph of a function of two variables.
A relatively polynomially convex subset $V$ of a domain $Ω$ has the extension property if for every polynomial $p$ there is a bounded holomorphic function $ϕ$ on $Ω$ that agrees with $p$ on $V$ and whose $H^\infty$ norm on $Ω$ equals the sup-norm of $p$ on $V$. We show that if $Ω$ is either strictly convex or strongly linearly convex in ${\mathbb C}^2$, or the ball in any dimension, then the only sets that have the extension property are retracts. If $Ω$ is strongly linearly convex in any dimension and $V$ has the extension property, we show that $V$ is a totally geodesic submanifold. We show how the extension property is related to spectral sets.
Consider the Dirichlet-type space on the bidisk consisting of holomorphic functions $f(z_1,z_2):=\sum_{k,l\geq 0}a_{kl}z_1^kz_2^l$ such that $\sum_{k,l\geq 0}(k+1)^{α_1} (l+1)^{α_2}|a_{kl}|^2 <\infty.$ Here the parameters $α_1,α_2$ are arbitrary real numbers. We characterize the polynomials that are cyclic for the shift operators on this space. More precisely, we show that, given an irreducible polynomial $p(z_1,z_2)$ depending on both $z_1$ and $z_2$ and having no zeros in the bidisk: if $α_1+α_2\leq 1$, then $p$ is cyclic; if $α_1+α_2>1$ and $\min\{α_1,α_2\}\leq 1$, then $p$ is cyclic if and only if it has finitely many zeros in the two-torus $\mathbb T^2$; if $\min\{α_1,α_2\}>1$, then $p$ is cyclic if and only if it has no zeros in $\mathbb T^2$.
It is very elementary to observe that functions interpolating an extremal two-point Pick problem on the polydisc are just left inverses to complex geodesics. In the present article we show that the same property holds for a three-point Pick problem on polydiscs, i.e. it may be expressed it in terms of three-complex geodesics. Using this idea we are able to solve that problem obtaining formulas and a uniqueness theorem for solutions of extremal problems. In particular, we determine a class of rational inner functions interpolating that problem. Possible extensions and further investigations are also discussed.
In the paper we show the equality between the Lempert function and the Green function with two poles with equal weights in the bidisc thus giving the positive answer to a conjecture of Coman in the simplest unknown case. Actually, a slightly more general equality is proven which in some sense is natural when studied from the point of view of the Nevanlinna-Pick problem in the bidisc.
The main goal of the paper is to study $m$-extremal mappings in the symmetrized bidisc showing that they are rational and $\GG_2$-inner which, in particular, answers a question posed in \cite{Agl-Lyk-You 2013}.
In this short note it is shown that all invariant metrics and functions of bounded $\mathcal C^2$-smooth domain coincide on an open non-empty subset.
We show that the group generated by by triangular and diagonal conjugations is dense in $\aut(Ω_2)$ (in the local-uniform topology). Moreover, it is shown that any automorphism of $Ω_2$ is a local holomorphic conjugation.
In the paper we show that the Lempert theorem (i.e. the equality between the Lempert function and the Carathéodory distance) holds in the tetrablock, a bounded hyperconvex domain which is not biholomorphic to a convex domain.
It is shown in this short note that the conjecture on the description of the group of automorphism of the spectral ball posed by Ransford and White is false.
We show that the equality $m_1(f(x))=m_2(g(x))$ for $x$ in a neighborhood of a point $a$ remains valid for all $x$ provided that $f$ and $g$ are open holomorphic maps, $f(a)=g(a)=0$ and $m_1,$ $m_2$ are Minkowski functionals of bounded balanced domains. Moreover, a polynomial relation between $f$ and $g$ is obtained. Next we generalize these results to bounded quasi-balanced domains. Moreover, the main results of \cite{Ber-Piz} and \cite{Bou} are significantly extended and their proofs are essentially simplified.
A characterization of non-hyperbolic pseudoconvex Reinhardt domains in $\mathbb C^2$ for which the answer to the Serre problem is positive is given.
We prove that the Shilov boundary is invariant under proper holomorphic mappings between some classes of domains (containing among others quasi-balanced domains with the continuous Minkowski functionals). Moreover, we obtain an extension theorem for proper holomorphic mappings between quasi-circular domains. Using these results we show that there are no non-trivial proper holomorphic self-mappings in the tetrablock. Another important result of our work is a description of Shilov boundaries of a large class of domains (containing among other the symmetrized polydisc and the tetrablock). It is also shown that the tetrablock is not $\mathbb C$-convex.