SearcharxivSearch

arXiv subjects

Sushil Gorai

Publications and source records attributed to Sushil Gorai.

At least 19 recordsLinked to original sources

Runge embeddings, approximation of biholomorphisms on Stein manifolds, and the Loewner PDE

We develop an extension-by-approximation principle for holomorphic Runge embeddings of increasing union of Stein manifolds into Stein manifolds with density property. The basic hypothesis is the existence, on each stage of the exhaustion, of a Runge isotopy which compresses the stage and whose terminal map extends holomorphically to the next stage. The resulting global embedding of the union may be chosen with Runge image, and every Runge embedding of a fixed stage can be approximated uniformly on compact subsets by the Runge embeddings of the union. We apply this principle to domains that are invariant under positive time part of holomorphic $(R,+)$-actions, to Stein manifolds carrying a semicomplete holomorphic vector field with globally attracting fixed point. It also gives a Runge embedding of $(\mathbb{C}^n\setminus \{z\in\mathbb{C}^n: f(z)=0\})\times \mathbb{C}$ in $\mathbb{C}^{n+1}$, which generalizes previous result of Runge embedding of $(\mathbb{C}^*)^n\times\mathbb{C}$ into $\mathbb{C}^{n+1}$. We also construct Stein globalization of an injective holomorphic semigroup action to holomorphic $(R,+)$-action. Finally, the abstract Loewner range of a Herglotz vector field is shown to admit a same-dimensional Runge embedding whenever the initial domain admits a Runge embedding into a Stein domain with density property; this yields a corresponding solution of the Loewner PDE with values in $\mathbb{C}^n$. We also give an example of non-Runge complete hyperbolic domain which admits $\mathbb{C}^n$-valued solution of the Loewner PDE.

math.CV

Certain real surfaces in $\mathbb{C}^2$ with degenerated CR singularities

In this paper, we study the local polynomial convexity of certain smooth real surfaces in \(\mathbb{C}^2\) with isolated CR singularity at the origin with higher-order of degeneracy. Under the assumption that the surface can be pulled back to a union of finitely many pairwise transverse totally real surfaces by a proper holomorphic map from $\mathbb{C}^2$ to $\mathbb{C}^2$, we obtain a normal form for such surfaces near the origin as $\{(z,w)\in\mathbb{C}^2: w= \overline{z}^k+o(|z|^{k})\}$ or $M_t := \left\{ (z,w)\in\mathbb{C}^2 : w=(z+t\overline{z})^k+o(|z|^k) \right\}$, for some \(t>0\), where the parameter $t$ is a local biholomorphic invariant. We focus on the surfaces with order of degeneracy $k\geq 3$. We prove that $M_t$ is locally polynomially convex at the origin if $t>cosec\left(\fracπ{k}\right)$. On the other hand, for $0<t<\frac{1}{k-2}$, we will also show that $M_t$ fails to be locally polynomially convex at the origin; and furthermore, a $(2k-3)$-parameter family of analytic discs attached to $M_t$ for $0<t<\min\left\{\sin\left(\fracπ{k}\right),\frac{1}{k-2}\right\}$.

math.CV

Flow invariant Runge domains and global linearization of holomorphic vector fields

In this paper, we study two problems concerning holomorphic flows on $\mathbb C^n$. First, we prove Runge-type results for positive-time flow invariant domains. For a linear flow $e^{tA}$, where $A\in GL(n,\mathbb C)$, let $E^s$, $E^u$, and $E^c$ denote the stable, unstable, and center subspaces of $A$, respectively. We show that if a positive-time flow invariant domain $Ω\subset\mathbb C^n$ contains the origin and the center subspace, and if $E^u\oplus E^c$ has positive distance from $\partialΩ$, then $Ω$ is a Runge domain. We also discuss additional classes and constructions of flow invariant Runge domains arising from holomorphic dynamics. Second, we investigate the global linearization of holomorphic vector fields by automorphisms of \(\mathbb {C}^n\). We prove that a complete holomorphic vector field $V$ on $\mathbb{C}^n$ with a globally attracting fixed point, satisfying certain integrability condition can be globally linearized by an automorphism of $\mathbb{C}^n$. As a corollary we obtain the global linearization of vector fields of the form $V(z)=Az+O(\|z\|^m)$ near $z= 0$, under certain spectral-gap condition. The conjugating automorphism is obtained as the limit of the family $e^{-tA}X_t$, where $X_t$ is the flow of $V$. Some examples are provided for illustration.

math.CV

Carleman Approximation for certain sets with an isolated singularity

In this paper, we prove that local polynomial convexity at the origin for the union of finitely many transverse totally real subspaces of maximal dimension is sufficient for Carleman approximation. Some new conditions are given for the polynomial convexity of the union of three transverse totally real planes in $\mathbb{C}^2$. We also provide a sufficient condition on the union of two Lipschitz graphs for Carleman approximation. Along the way, we provide sufficient conditions for union of two Lipschitz graphs to be polynomially convex. Finally, we find a family of surfaces in $\mathbb{C}^2$ with a hyperbolic complex point that allows Carleman approximation.

math.CV

Horofunction compactifications and local Gromov model domains

We explore the horofunction compactification of complete hyperbolic domains in complex Euclidean space equipped with the Kobayashi distance. We provide a sufficient condition under which, given a domain $Ω$ as above, the identity map from $Ω$ to itself extends to an embedding of $\overlineΩ$ into the horofunction compactification of $(Ω,k_Ω)$, with $k_Ω$ denoting the Kobayashi distance on $Ω$. Notably, this condition admits unbounded domains that are not Gromov hyperbolic relative to the Kobayashi distance. We also provide a large class of planar hyperbolic domains satisfying the above condition.

math.CV

Approximations on certain domains of $\mathbb{C}^{n}$

In this paper, we study the domains in $\mathbb{C}^n$ that are invariant under the positive flows of some globally defined, complete holomorphic vector field with a globally attracting fixed point at the origin. Our first result says that such a domain $Ω$ is always Runge. Next, with an additional assumption on the rate of convergence of the flow, we show that any biholomorphism $Φ\colon Ω\to Φ(Ω)$, with $Φ(Ω)$ is Runge, can be approximated by automorphisms of $\mathbb{C}^{n}$ uniformly on compacts. This generalizes all earlier known theorems in this direction substantially, even when the vector field is linear. As an application of our approximation results, on such domains that are also complete hyperbolic, we show that any Loewner PDE in a complete hyperbolic domain $Ω$ admits an essentially unique univalent solution with values in $\mathbb{C}^n$. We also provide an approximation result for volume preserving biholomorphisms on above domains. We provide several examples of such domains.

math.CV

Uniform approximation on certain polynomial polyhedra in $\mathbb{C}^2$

In this paper we extend the dichotomy given by Samuelsson and Wold that can be thought of as an analogue of the Wermer maximality theorem in $\mathbb{C}^2$ for certain polynomial polyhedra. We consider complex non-degenerate simply connected polynomial polyhedra of the form $Ω:=\{z\in\mathbb{C}^2: |p_1(z)|<1, |p_2(z)|<1\}$ such that $\overlineΩ$ is compact. Under a mild condition of the polynomials $p_1$ and $p_2$, we prove that either the uniform algebra, generated by polynomials and some continuous functions $f_1,\dots, f_N$ on the distinguished boundary that extends as pluriharmonic functions on $Ω$, is all continuous functions on the distinguished boundary or there exists an algebraic variety in $\overlineΩ$ on which each $f_j$ is holomorphic. We also compute the polynomial hull of the graph of pluriharmonic functions in some cases where the pluriharmonic functions are conjugates of holomorphic polynomials. We also give a couple of general theorem about uniform approximation on the domains with low boundary regularity.

math.CV

Certain real surfaces in $\mathbb{C}^2$ with isolated singularities

Under certain geometric condition, the surfaces in $\mathbb{C}^2$ with isolated CR singularity at the origin and with cubic lowest degree homogeneous term in its graph near the origin, can be reduced, up to biholomorphism of $\mathbb{C}^2$, to a one parameter family of the form \[ M_t:=\left\{(z,w)\in\mathbb{C}^2: w=z^2\overline{z}+tz\overline{z}^2+\dfrac{t^2}{3} \overline{z}^3+o(|z|^3)\right\},\;\; t\in (0,\infty) \] near the origin. We prove that $M_t$ is not locally polynomially convex if $t<1$. The local hull contains a ball centred at the origin if $t<\sqrt{3}/2$. We also prove that $M_t$ is locally polynomially convex for $t\geq\sqrt{\dfrac{3}{2}}$. We show that, for $\sqrt{3}/2\leq t<1$, the polynomial hull of $M_t\cap \overline{B(0;δ)}$ contains a one parameter family of analytic discs passing through the origin for every $δ>0$. We also prove that, if we remove the higher order terms from the graphing function of $M_t$, it is locally polynomially convex for $t\geq\dfrac{\sqrt{15-\sqrt{33}}}{2\sqrt{2}}$. Some new results about the local polynomial convexity of the union of three totally-real planes are also reported.

math.CV

Visibility property in one and several variables and its applications

In this paper we report our investigations on visibility with respect to the Kobayashi distance and its applications, with a special focus on planar domains. We prove that totally disconnected subsets of the boundary are removable in the context of visibility. We also show that a domain in $\mathbb{C}^n$ is a local weak visibility domain if and only if it is a weak visibility domain. The above holds also for visibility. Along the way, we prove an intrinsic localization result for the Kobayashi distance. Moreover, we observe some interesting consequences of weak visibility; for example, weak visibility implies compactness of the end topology of the closure of the domain. For planar domains: (i) We provide examples of visibility domains that are not locally Goldilocks at any boundary point. (ii) We provide certain general conditions on planar domains that yield the continuous extension of conformal maps, generalizing the Carathéodory extension theorem. Our conditions are quite general and assume very little regularity of the boundary. We demonstrate this through examples. (iii) We also provide conditions for the homeomorphic extension of biholomorphic maps up to the boundary. (iv) We prove that a hyperbolic, simply connected domain possesses the visibility property if and only if its boundary is locally connected. This leads us to reformulate the MLC conjecture in terms of visibility. (v) We provide a characterization of visibility for a large class of planar domains including certain uncountably connected domains.

math.CV

The squeezing function: exact computations, optimal estimates, and a new application

We present a new application of the squeezing function $s_D$, using which one may detect when a given bounded pseudoconvex domain $D\varsubsetneq \mathbb{C}^n$, $n\geq 2$, is not biholomorphic to any product domain. One of the ingredients used in establishing this result is also used to give an exact computation of the squeezing function (which is a constant) of any bounded symmetric domain. This extends a computation by Kubota to any Cartesian product of Cartan domains at least one of which is an exceptional domain. Our method circumvents any case-by-case analysis by rank and also provides optimal estimates for the squeezing functions of certain domains. Lastly, we identify a family of bounded domains that are holomorphic homogeneous regular.

math.CV

Uniform algebras and distinguished varieties

In this article, we point out the connections between the distinguished varieties introduced by Agler and McCarthy with certain uniform algebras on bidisc studied by Samuelsson and Wold. We also prove analogues of Samuelsson-Wold result for the domains in $\mathbb{C}^2$ that are the images of the bidisc under certain proper polynomial map on $\mathbb{C}^2$. We also give a description of polynomial convex hull of graph of anti-holomorphic polynomial over the distinguished boundary of such domains. We mention the case for the symmetrized bidisc as an example.

math.CV

A study of spirallike domains: polynomial convexity, Loewner chains and dense holomorphic curves

In this paper, we prove that the closure of a bounded pseudoconvex domain, which is spirallike with respect to a globally asymptotic stable holomorphic vector field, is polynomially convex. We also provide a necessary and sufficient condition, in terms of polynomial convexity, on a univalent function defined on a strongly convex domain for embedding it into a filtering Loewner chain. Next, we provide an application of our first result. We show that for any bounded pseudoconvex strictly spirallike domain $Ω$ in $\mathbb{C}^n$ and given any connected complex manifold $Y$, there exists a holomorphic map from the unit disc to the space of all holomorphic maps from $Ω$ to $Y$. This also yields us the existence of $\mathcal{O}(Ω, Y)$-universal map for any generalized translation on $Ω$, which, in turn, is connected to the hypercyclicity of certain composition operators on the space of manifold valued holomorphic maps.

math.CV

Polynomial convexity of compacts that lies in certain Levi-flat hypersurfaces in $\mathbb{C}^2$

In this paper, we first prove that the totally real discs lying in certain Levi flat hypersurfaces are polynomially convex. As applications we prove that the totally real discs lying in the boundary of certain polynomial polyhedra are polynomially convex. We also provide an if and only if condition for polynomial convexity of totally real discs lying in the boundary of Hartog's triangle. We also provide sufficient conditions on general compact subsets lying on those hypersurfaces for polynomial convexity.

math.CV

Some observations concerning polynomial convexity

In this paper we discuss a couple of observations related to polynomial convexity. More precisely, (i) We observe that the union of finitely many disjoint closed balls with centres in $\cup_{θ\in[0,π/2]}e^{iθ}V$ is polynomially convex, where $V$ is a Lagrangian subspace of $\mathbb{C}^n$. (ii) We show that any compact subset $K$ of $\{(z,w)\in\mathbb{C}^2: q(w)=\overline{p(z)}\}$, where $p$ and $q$ are two non-constant holomorphic polynomials in one variable, is polynomially convex and $\mathscr{P}(K)=\mathscr{C}(K)$.

math.CV

On Quotient modules of $H^2(\mathbb{D}^n)$: Essential Normality and Boundary Representations

Let $\mathbb{D}^n$ be the open unit polydisc in $\mathbb{C}^n$, $n \geq 1$, and let $H^2(\mathbb{D}^n)$ be the Hardy space over $\mathbb{D}^n$. For $n\ge 3$, we show that if $θ\in H^\infty(\mathbb{D}^n)$ is an inner function, then the $n$-tuple of commuting operators $(C_{z_1}, \ldots, C_{z_n})$ on the Beurling type quotient module $\mathcal{Q}_θ$ is not essentially normal, where \[\mathcal{Q}_θ = H^2(\mathbb{D}^n)/ θH^2(\mathbb{D}^n) \quad \mbox{and} \quad C_{z_j} = P_{\mathcal{Q}_θ} M_{z_j}|_{\mathcal{Q}_θ}\quad (j = 1, \ldots, n).\] Rudin's quotient modules of $H^2(\mathbb{D}^2)$ are also shown to be not essentially normal. We prove several results concerning boundary representations of $C^*$-algebras corresponding to different classes of quotient modules including doubly commuting quotient modules and homogeneous quotient modules.

math.FA

Contractively embedded invariant subspaces

This paper focuses on representations of contractively embedded invariant subspaces in several variables. We present a version of the de Branges theorem for $n$-tuples of multiplication operators by the coordinate functions on analytic reproducing kernel Hilbert spaces over the unit ball $\mathbb{B}^n$ and the Hardy space over the unit polydics $\mathbb{D}^n$ in $\mathbb{C}^n$.

math.FA

On polynomial convexity of compact subsets of totally-real submanifold in $\mathbb{C}^n$

Let $K$ be a compact subset of a totally-real manifold $M$, where $M$ is either a $\mathcal{C}^2$-smooth graph in $\mathbb{C}^{2n}$ over $\mathbb{C}^n$, or $M=u^{-1}\{0\}$ for a $\mathcal{C}^2$-smooth submersion $u$ from $\mathbb{C}^n$ to $\mathbb{R}^{2n-k}$, $k\leq n$. In this case we show that $K$ is polynomially convex if and only if for a fixed neighbourhood $U$, defined in terms of the defining functions of $M$, there exists a plurisubharmonic function $Ψ$ on $\mathbb{C}^n$ such that $K\subset \{Ψ<0\}\subset U$.

math.CV

Characterizations of Symmetrized Polydisc

Let $Γ_n$, $n \geq 2$, denote the symmetrized polydisc in $\mathbb{C}^n$, and $Γ_1$ be the closed unit disc in $\mathbb{C}$. We provide some characterizations of elements in $Γ_n$. In particular, an element $(s_1, \ldots, s_{n-1}, p) \in \mathbb{C}^n$ is in $Γ_n$ if and only if $s_j = β_j + \overline{β_{n-j}} p$, $j = 1, \ldots, n-1$, for some $(β_1, \ldots, β_{n-1}) \in Γ_{n-1}$, and $|p| \leq 1$.

math.CV