Showing 1–37 of 37 results for author: Kosinski, L

Caratheodory sets in the tridisk

Authors: Lukasz Kosinski, John E. McCarthy

Abstract: 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 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. △ Less

Submitted 8 May, 2025; originally announced May 2025.

MSC Class: 32F45

Holomorphic maps acting as Kobayashi isometries on a family of geodesics

Authors: Filippo Bracci, Łukasz Kosiński, Włodzimierz Zwonek

Abstract: Consider a holomorphic map $F: D \to G$ between two domains in ${\mathbb C}^N$. Let $\mathcal F$ denote a family of geodesics for the Kobayashi distance, such that $F$ acts as an isometry on each element of $\mathcal F$. This paper is dedicated to characterizing the scenarios in which the aforementioned condition implies that $F$ is a biholomorphism. Specifically, we establish this when $D$ is a c… ▽ More Consider a holomorphic map $F: D \to G$ between two domains in ${\mathbb C}^N$. Let $\mathcal F$ denote a family of geodesics for the Kobayashi distance, such that $F$ acts as an isometry on each element of $\mathcal F$. This paper is dedicated to characterizing the scenarios in which the aforementioned condition implies that $F$ is a biholomorphism. Specifically, we establish this when $D$ is a complete hyperbolic domain, and $\mathcal F$ comprises all geodesic segments originating from a specific point. Another case is when $D$ and $G$ are $C^{2+α}$-smooth bounded pseudoconvex domains, and $\mathcal F$ consists of all geodesic rays converging at a designated boundary point of $D$. Furthermore, we provide examples to demonstrate that these assumptions are essentially optimal. △ Less

Submitted 9 April, 2025; v1 submitted 17 November, 2023; originally announced November 2023.

Comments: final version

Journal ref: Math. Z. (2024) 308:20

Precise estimates of invariant distances on strongly pseudoconvex domains

Authors: Łukasz Kosiński, Nikolai Nikolov, Ahmed Yekta Ökten

Abstract: Studying the behavior of real and complex geodesics we provide sharp estimates for the Kobayashi distance, the Lempert function, and the Carathéodory distance on $\mathcal{C}^{2,α}$-smooth strongly pseudoconvex domains. Similar estimates are also provided for the Bergman distance on strongly pseudoconvex domains with $\mathcal{C}^{3,1}$-boundary. Studying the behavior of real and complex geodesics we provide sharp estimates for the Kobayashi distance, the Lempert function, and the Carathéodory distance on $\mathcal{C}^{2,α}$-smooth strongly pseudoconvex domains. Similar estimates are also provided for the Bergman distance on strongly pseudoconvex domains with $\mathcal{C}^{3,1}$-boundary. △ Less

Submitted 10 June, 2025; v1 submitted 17 August, 2023; originally announced August 2023.

MSC Class: 32F45

Journal ref: Adv. Math. 478 (2025), 110388

A Gehring-Hayman inequality for strongly pseudoconvex domains

Authors: Łukasz Kosiński, Nikolai Nikolov, Pascal J. Thomas

Abstract: We prove that in a strongly pseudoconvex domain with smooth boundary, then the length of a geodesic for the Kobayashi-Royden infinitesimal metric between two points is bounded by a constant multiple of the Euclidean distance between the points. We prove that in a strongly pseudoconvex domain with smooth boundary, then the length of a geodesic for the Kobayashi-Royden infinitesimal metric between two points is bounded by a constant multiple of the Euclidean distance between the points. △ Less

Submitted 5 October, 2023; v1 submitted 7 March, 2023; originally announced March 2023.

Cyclic polynomials in Dirichlet-type spaces in the unit ball of $\mathbb C^2$

Authors: Łukasz Kosiński, Dimitrios Vavitsas

Abstract: We characterize polynomials that are cyclic in Dirichlet-type spaces in the unit ball in $\mathbb C^2$ We characterize polynomials that are cyclic in Dirichlet-type spaces in the unit ball in $\mathbb C^2$ △ Less

Submitted 22 December, 2022; originally announced December 2022.

Lower estimates of the Kobayashi distance and limits of complex geodesics

Authors: Łukasz Kosiński, Nikolai Nikolov

Abstract: It is proved for a strongly pseudoconvex domain $D$ in $\Bbb C^d$ with $\mathcal C^{2,α}$-smooth boundary that any complex geodesic through every two close points of $D$ sufficiently close to $\partial D$ and whose difference is non-tangential to $\partial D$ intersect a compact subset of $D$ that depends only on the rate of non-tangentiality. As an application, a lower bound for the Kobayashi dis… ▽ More It is proved for a strongly pseudoconvex domain $D$ in $\Bbb C^d$ with $\mathcal C^{2,α}$-smooth boundary that any complex geodesic through every two close points of $D$ sufficiently close to $\partial D$ and whose difference is non-tangential to $\partial D$ intersect a compact subset of $D$ that depends only on the rate of non-tangentiality. As an application, a lower bound for the Kobayashi distance is obtained. △ Less

Submitted 30 July, 2023; v1 submitted 28 August, 2022; originally announced August 2022.

Comments: v2: to appear in Math. Ann

MSC Class: 32F45

Journal ref: Math. Ann. 389 (2024), 1925-1937

Composition operators on the polydisc

Authors: Lukasz Kosinski

Abstract: 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 o… ▽ More 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. △ Less

Submitted 29 June, 2022; originally announced June 2022.

Complete Norm Preserving Extensions of Holomorphic Functions

Authors: Jim Agler, Lukasz Kosinski, John E. McCarthy

Abstract: 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… ▽ More 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. △ Less

Submitted 18 April, 2022; originally announced April 2022.

MSC Class: 36A70

Norm Preserving Extensions of Holomorphic Functions Defined on Varieties in ${\mathbb C}^n$

Authors: Jim Agler, Lukasz Kosinski, John McCarthy

Abstract: 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 functi… ▽ More 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 $Ω$. △ Less

Submitted 18 April, 2022; originally announced April 2022.

MSC Class: 32A70

Slice rigidity property of holomorphic maps Kobayashi-isometrically preserving complex geodesics

Authors: Filippo Bracci, Łukasz Kosiński, Włodzimierz Zwonek

Abstract: In this paper we study the following "slice rigidity property": given two Kobayashi complete hyperbolic manifolds $M, N$ and a collection of complex geodesics $\mathcal F$ of $M$, when is it true that every holomorphic map $F:M\to N$ which maps isometrically every complex geodesic of $\mathcal F$ onto a complex geodesic of $N$ is a biholomorphism? Among other things, we prove that this is the case… ▽ More In this paper we study the following "slice rigidity property": given two Kobayashi complete hyperbolic manifolds $M, N$ and a collection of complex geodesics $\mathcal F$ of $M$, when is it true that every holomorphic map $F:M\to N$ which maps isometrically every complex geodesic of $\mathcal F$ onto a complex geodesic of $N$ is a biholomorphism? Among other things, we prove that this is the case if $M, N$ are smooth bounded strictly (linearly) convex domains, every element of $\mathcal F$ contains a given point of $\overline{M}$ and $\mathcal F$ spans all of $M$. More general results are provided in dimension $2$ and for the unit ball. △ Less

Submitted 14 April, 2021; v1 submitted 26 December, 2020; originally announced December 2020.

Comments: 19 pages - final version, to appear in J. Geom. Anal

Wild boundary behaviour of holomorphic functions in domains of $\mathbb{C}^N$

Authors: Stéphane Charpentier, Łukasz Kosiński

Abstract: Given a domain of holomorphy $D$ in $\mathbb{C}^N$, $N\geq 2$, we show that the set of holomorphic functions in $D$ whose cluster sets along any finite length paths to the boundary of $D$ is maximal, is residual, densely lineable and spaceable in the space $\mathcal{O}(D)$ of holomorphic functions in $D$. Besides, if $D$ is a strictly pseudoconvex domain in $\mathbb{C}^N$, and if a suitable family… ▽ More Given a domain of holomorphy $D$ in $\mathbb{C}^N$, $N\geq 2$, we show that the set of holomorphic functions in $D$ whose cluster sets along any finite length paths to the boundary of $D$ is maximal, is residual, densely lineable and spaceable in the space $\mathcal{O}(D)$ of holomorphic functions in $D$. Besides, if $D$ is a strictly pseudoconvex domain in $\mathbb{C}^N$, and if a suitable family of smooth curves $γ(x,r)$, $x\in bD$, $r\in [0,1)$, ending at a point of $bD$ is given, then we exhibit a spaceable, densely lineable and residual subset of $\mathcal{O}(D)$, every element $f$ of which satisfies the following property: For any measurable function $h$ on $bD$, there exists a sequence $(r_n)_n \in [0,1)$ tending to $1$, such that \[ f\circ γ(x,r_n) \rightarrow h (x),\,n\rightarrow \infty, \] for almost every $x$ in $bD$. △ Less

Submitted 3 March, 2020; v1 submitted 11 July, 2019; originally announced July 2019.

Construction of labyrinths in pseudoconvex domains

Authors: Stéphane Charpentier, Łukasz Kosiński

Abstract: We build in a given pseudoconvex (Runge) domain $D$ of $\mathbb{C}^N$ a $\mathcal O(D)$ convex set $Γ$, every connected component of which is a holomorphically contractible (convex) compact set, enjoying the property that any continuous path $γ:[0,1)\rightarrow D$ with $\lim _{r\rightarrow 1}γ(r)\in \partial D$ and omitting $Γ$ has infinite length. This solves a problem left open in a recent paper… ▽ More We build in a given pseudoconvex (Runge) domain $D$ of $\mathbb{C}^N$ a $\mathcal O(D)$ convex set $Γ$, every connected component of which is a holomorphically contractible (convex) compact set, enjoying the property that any continuous path $γ:[0,1)\rightarrow D$ with $\lim _{r\rightarrow 1}γ(r)\in \partial D$ and omitting $Γ$ has infinite length. This solves a problem left open in a recent paper by Alarcón and Forstnerič. △ Less

Submitted 5 July, 2019; originally announced July 2019.

Extension property in the tridisc

Authors: Lukasz Kosinski, Wlodzimierz Zwonek

Abstract: 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 t… ▽ More 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. △ Less

Submitted 17 February, 2020; v1 submitted 15 June, 2019; originally announced June 2019.

Comments: 25 pages, the improved version with the new title, accepted for publication in the Canadian J. Math

MSC Class: 32D15; 32F45

Extensions of bounded holomorphic functions on the tridisk

Authors: Lukasz Kosinski, John McCarthy

Abstract: 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. 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. △ Less

Submitted 28 November, 2017; originally announced November 2017.

Comments: 33 pages

A uniform boundedness principle in pluripotential theory

Authors: Łukasz Kosiński, Étienne Martel, Thomas Ransford

Abstract: For families of continuous plurisubharmonic functions we show that, in a local sense, separately bounded above implies bounded above. For families of continuous plurisubharmonic functions we show that, in a local sense, separately bounded above implies bounded above. △ Less

Submitted 7 August, 2017; originally announced August 2017.

MSC Class: 32F05

Norm preserving extensions of bounded holomorphic functions

Authors: Lukasz Kosinski, John McCarthy

Abstract: 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… ▽ More 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. △ Less

Submitted 12 April, 2017; originally announced April 2017.

MSC Class: 32D15

Nevanlinna-Pick interpolation problem in the ball

Authors: Łukasz Kosiński, Włodzimierz Zwonek

Abstract: We solve a three point Nevanlinna-Pick problem in the Euclidean ball. In particular, we determine a class of rational functions that interpolate this problem. We solve a three point Nevanlinna-Pick problem in the Euclidean ball. In particular, we determine a class of rational functions that interpolate this problem. △ Less

Submitted 13 April, 2016; originally announced April 2016.

Comments: 21 pages

MSC Class: 32E30; 30E05

Cyclic polynomials in anisotropic Dirichlet~spaces

Authors: Greg Knese, Lukasz Kosinski, Thomas J. Ransford, Alan Sola

Abstract: 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 po… ▽ More 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$. △ Less

Submitted 15 December, 2015; originally announced December 2015.

Comments: 23 pages

Three-point Nevanlinna Pick problem in the polydisc

Authors: Lukasz Kosinski

Abstract: 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 a… ▽ More 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. △ Less

Submitted 10 March, 2015; originally announced March 2015.

Coman conjecture for the bidisc

Authors: Lukasz Kosinski, Pascal J. Thomas, Wlodzimierz Zwonek

Abstract: 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. 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. △ Less

Submitted 16 November, 2014; originally announced November 2014.

Cyclic polynomials in two variables

Authors: Catherine Bénéteau, Greg Knese, Łukasz Kosiński, Constanze Liaw, Daniel Seco, Alan Sola

Abstract: We give a complete characterization of polynomials in two complex variables that are cyclic with respect to the coordinate shifts acting on Dirichlet-type spaces in the bidisk, which include the Hardy space and the Dirichlet space of the bidisk. The cyclicity of a polynomial depends on both the size and nature of the zero set of the polynomial on the distinguished boundary. The techniques in the p… ▽ More We give a complete characterization of polynomials in two complex variables that are cyclic with respect to the coordinate shifts acting on Dirichlet-type spaces in the bidisk, which include the Hardy space and the Dirichlet space of the bidisk. The cyclicity of a polynomial depends on both the size and nature of the zero set of the polynomial on the distinguished boundary. The techniques in the proof come from real analytic function theory, determinantal representations for stable polynomials, and harmonic analysis on curves △ Less

Submitted 15 August, 2014; originally announced August 2014.

Comments: 20 pages

MSC Class: 32A37; 47A13

Journal ref: Transactions of the American Mathematical Society 368 (2016), 8737-8754

Spectral Nevanlinna-Pick problem and weak extremals in the symmetrized bidisc

Authors: Lukasz Kosinski

Abstract: 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}. 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}. △ Less

Submitted 8 April, 2014; v1 submitted 3 April, 2014; originally announced April 2014.

Comments: I learned that one of the results in the previous veesrion of the preprint was already known and I removed it

The group of automorphisms of the pentablock

Authors: L. Kosinski

Abstract: Answering questions posed in arXiv:1403.1960 we determine the group of holomorphic automorphisms of the pentablock and study its geometry Answering questions posed in arXiv:1403.1960 we determine the group of holomorphic automorphisms of the pentablock and study its geometry △ Less

Submitted 13 October, 2014; v1 submitted 20 March, 2014; originally announced March 2014.

Comments: To appear in CAOT

MSC Class: 30E05; 30C80; 93B36; 93B50

Extremal holomorphic maps in special classes of domains

Authors: Łukasz Kosiński, Włodzimierz Zwonek

Abstract: In the paper we discuss three different notions of extremal holomorphic mappings: weak $m$-extremals, $m$-extremals and $m$-complex geodesics. We discuss relations between them in general case and in the special cases of unit ball, classical Cartan domains, symmetrised bidisc and tetrablock. In particular we show that weak $3$-extremal maps in the symmetrised bidisc are rational thus giving the (p… ▽ More In the paper we discuss three different notions of extremal holomorphic mappings: weak $m$-extremals, $m$-extremals and $m$-complex geodesics. We discuss relations between them in general case and in the special cases of unit ball, classical Cartan domains, symmetrised bidisc and tetrablock. In particular we show that weak $3$-extremal maps in the symmetrised bidisc are rational thus giving the (partial) answer to a problem posed in a recent paper by J. Agler, Z. Lykova and N. J. Young. △ Less

Submitted 25 October, 2014; v1 submitted 8 January, 2014; originally announced January 2014.

Comments: 26 pages, revised version in the form that is accepted for publication in Annali della Scuola Normale Superiore di Pisa, Classe di Scienze

MSC Class: 32F45; 30E05; 93B50

Geometric properties of semitube domains

Authors: Łukasz Kosiński, Tomasz Warszawski, Włodzimierz Zwonek

Abstract: In the paper we study the geometry of semitube domains in $\mathbb C^2$. In particular, we extend the result of Burgués and Dwilewicz for semitube domains dropping out the smoothness assumption. We also prove various properties of non-smooth pseudoconvex semitube domains obtaining among others a relation between pseudoconvexity of a semitube domain and the number of connected components of its ver… ▽ More In the paper we study the geometry of semitube domains in $\mathbb C^2$. In particular, we extend the result of Burgués and Dwilewicz for semitube domains dropping out the smoothness assumption. We also prove various properties of non-smooth pseudoconvex semitube domains obtaining among others a relation between pseudoconvexity of a semitube domain and the number of connected components of its vertical slices. Finally, we present an example showing that there is a non-convex domain in $\mathbb C^n$ such that its image under arbitrary isometry is pseudoconvex. △ Less

Submitted 29 September, 2014; v1 submitted 31 July, 2013; originally announced July 2013.

Comments: 6 pages

MSC Class: Primary: 32V20. Secondary: 32L05; 32V25

Journal ref: Adv. Geom. 15 no. 2 (2015), 241-244

Nevanlinna-Pick problem and uniqueness of left inverses in convex domains, symmetrized bidisc and tetrablock

Authors: Ł. Kosiński, W. Zwonek

Abstract: In the paper we discuss the problem of uniqueness of left inverses (solutions of two point Nevanlinna-Pick problem) in bounded convex domains, strongly linearly convex domains, the symmetrized bidisc and the tetrablock. In the paper we discuss the problem of uniqueness of left inverses (solutions of two point Nevanlinna-Pick problem) in bounded convex domains, strongly linearly convex domains, the symmetrized bidisc and the tetrablock. △ Less

Submitted 3 April, 2015; v1 submitted 3 March, 2013; originally announced March 2013.

Comments: 24 pages, after revision with more details and the title changed, accepted for publication in Journal of Geometric Analysis

MSC Class: Primary 32F17; 32F45; Secondary 47A57

Comparison of invariant funcions and metrics

Authors: Lukasz Kosinski

Abstract: 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. 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. △ Less

Submitted 12 December, 2012; originally announced December 2012.

Comments: A draft version. Any comments are welcome

Lempert Theorem for stronly linearly convex domains with smooth boundaries

Authors: L. Kosinski, T. Warszawski

Abstract: The aim of this paper is to present a detailed and slightly modified version of the proof of the Lempert Theorem in the case of non-planar stronlgy linearly convex domains with C^2 smooth boundaries. The original Lempert's proof is presented only in proceedings of a conference with a very limited access and at some places it was quite sketchy. We were encouraged by some colleagues to prepare an ex… ▽ More The aim of this paper is to present a detailed and slightly modified version of the proof of the Lempert Theorem in the case of non-planar stronlgy linearly convex domains with C^2 smooth boundaries. The original Lempert's proof is presented only in proceedings of a conference with a very limited access and at some places it was quite sketchy. We were encouraged by some colleagues to prepare an extended version of the proof in which all doubts could be removed and some of details of the proofs could be simplified. We hope to have done it below. Certainly the idea of the proof belongs entirely to Lempert. Additional motivation for presenting the proof is the fact shown recently, that the so-called symmetrized bidisc may be exhausted by stronlgy linearly convex domains. On the other hand it cannot be exhausted by domains biholomorphic to convex ones. Therefore, the equality of the Lempert function and the Carathéodory distance for strongly linearly convex domains does not follow directly from the convex case. △ Less

Submitted 6 June, 2012; v1 submitted 19 April, 2012; originally announced April 2012.

Comments: 46 pages

A local form of automorphisms of the spectral unit ball

Authors: Lukasz Kosinski

Abstract: 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. 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. △ Less

Submitted 6 June, 2012; v1 submitted 26 February, 2012; originally announced February 2012.

Comments: This is a draft version, 9 pages, some mistakes were corrected

Proper holomorphic mappings vs. peak points and Silov boundary

Authors: W. Zwonek, L. Kosinski

Abstract: We present a result on existence of some kind of peak functions for $\C$-convex domains and for the symmetrized polydisc. Then we apply the latter result to show the equivariance of the set of peak points for $A(D)$ under proper holomorphic mappings. Additionally, we present a description of the set of peak points in the class of bounded pseudoconvex Reinhardt domains. We present a result on existence of some kind of peak functions for $\C$-convex domains and for the symmetrized polydisc. Then we apply the latter result to show the equivariance of the set of peak points for $A(D)$ under proper holomorphic mappings. Additionally, we present a description of the set of peak points in the class of bounded pseudoconvex Reinhardt domains. △ Less

Submitted 15 May, 2012; v1 submitted 10 October, 2011; originally announced October 2011.

Comments: To appear in Ann. Pol. Math

Note on the group of automorphisms of the Spectral Ball

Authors: Lukasz Kosinski

Abstract: 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. 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. △ Less

Submitted 10 November, 2010; originally announced November 2010.

Comments: 3 pages

MSC Class: Primary 32M17; Secondary 32A07

Journal ref: Proc. Amer. Math. Soc. S 0002-9939(2011)11064-5

Holomorphic mappings preserving Minkowski functionals

Authors: Lukasz Kosinski

Abstract: 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, t… ▽ More 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. △ Less

Submitted 12 October, 2010; originally announced October 2010.

Comments: It is a draft version. Any comments are welcome

The Lempert theorem and the tetrablock

Authors: Armen Edigarian, Lukasz Kosinski, Włodzimierz Zwonek

Abstract: 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. 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. △ Less

Submitted 14 March, 2012; v1 submitted 24 June, 2010; originally announced June 2010.

Comments: to appear in Journal of Geometric Analysis

MSC Class: 32F45

Geometry of quasi-circular domains and applications to tetrablock

Authors: Lukasz Kosinski

Abstract: 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-mappin… ▽ More 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. △ Less

Submitted 1 July, 2010; v1 submitted 22 August, 2009; originally announced August 2009.

Comments: 11 pages

MSC Class: 32H35; 32M12

Journal ref: Proc. Amer. Math. Soc. 139 (2011), 559-569

Serre problem for unbounded pseudoconvex Reinhardt domains in $\mathbb C^2$

Authors: Lukasz Kosinski

Abstract: A characterization of non-hyperbolic pseudoconvex Reinhardt domains in $\mathbb C^2$ for which the answer to the Serre problem is positive is given. A characterization of non-hyperbolic pseudoconvex Reinhardt domains in $\mathbb C^2$ for which the answer to the Serre problem is positive is given. △ Less

Submitted 1 July, 2010; v1 submitted 24 April, 2009; originally announced April 2009.

Comments: 19 pages

MSC Class: 32L05; 32A07

Journal ref: J. Geom. Anal. 21 (2011), no. 4, 902-919

Proper holomorphic mapppings between Reinhardt domains in $\mathbb C^2$

Authors: L. Kosinski

Abstract: We describe all possibilities of existence of non-elementary proper holomorphic maps between non-hyperbolic Reinhardt domains in $\mathbb C^2$ and the corresponding pairs of domains. We describe all possibilities of existence of non-elementary proper holomorphic maps between non-hyperbolic Reinhardt domains in $\mathbb C^2$ and the corresponding pairs of domains. △ Less

Submitted 21 May, 2008; originally announced May 2008.

Comments: 13 pages

MSC Class: 32H35; 32A07

Journal ref: Michigan Math. J. 58 (2009), 711-721

Proper holomorphic mappings in the special class of Reinhardt domains

Authors: Lukasz Kosinski

Abstract: A complete characterization of proper holomorphic mappings between domains from the class of all pseudoconvex Reinhardt domains in $\C^2$ with the logarithmic image equal to a strip or a half-plane is given. A complete characterization of proper holomorphic mappings between domains from the class of all pseudoconvex Reinhardt domains in $\C^2$ with the logarithmic image equal to a strip or a half-plane is given. △ Less

Submitted 9 January, 2009; v1 submitted 12 September, 2007; originally announced September 2007.

Comments: 15 pages

MSC Class: 32H35; 32A07

Journal ref: Ann. Polon. Math. 92 (2007), 285-297