Showing 1–35 of 35 results for author: Bharali, G

Unbounded visibility domains: metric estimates and an application

Authors: Annapurna Banik, Gautam Bharali

Abstract: We give an explicit lower bound, in terms of the distance from the boundary, for the Kobayashi metric of a certain class of bounded pseudoconvex domains in $\mathbb{C}^n$ with $\mathcal{C}^2$-smooth boundary using the regularity theory for the complex Monge--Ampere equation. Using such an estimate, we construct a family of unbounded Kobayashi hyperbolic domains in $\mathbb{C}^n$ having a certain n… ▽ More We give an explicit lower bound, in terms of the distance from the boundary, for the Kobayashi metric of a certain class of bounded pseudoconvex domains in $\mathbb{C}^n$ with $\mathcal{C}^2$-smooth boundary using the regularity theory for the complex Monge--Ampere equation. Using such an estimate, we construct a family of unbounded Kobayashi hyperbolic domains in $\mathbb{C}^n$ having a certain negative-curvature-type property with respect to the Kobayashi distance. As an application, we prove a Picard-type extension theorem for the latter domains. △ Less

Submitted 9 May, 2024; originally announced May 2024.

Comments: 14 pages; comments welcome!

MSC Class: 32F45; 32H25; 32U05 (Primary) 32C25; 32F18 (Secondary)

Explicit universal bounds for squeezing functions of ($\mathbb{C}$-)convex domains

Authors: Gautam Bharali, Nikolai Nikolov

Abstract: We prove two separate lower bounds -- one for nondegenerate convex domains and the other for nondegenerate $\mathbb{C}$-convex (but not necessarily convex) domains -- for the squeezing function that hold true for all domains in $\mathbb{C}^n$, for a fixed $n\geq 2$, of the stated class. We provide explicit expressions in terms of $n$ for these estimates. We prove two separate lower bounds -- one for nondegenerate convex domains and the other for nondegenerate $\mathbb{C}$-convex (but not necessarily convex) domains -- for the squeezing function that hold true for all domains in $\mathbb{C}^n$, for a fixed $n\geq 2$, of the stated class. We provide explicit expressions in terms of $n$ for these estimates. △ Less

Submitted 12 October, 2023; originally announced October 2023.

Comments: 8 pages

MSC Class: 32F45 (Primary) 32F32 (Secondary)

Journal ref: Int. J. Math. 35 (2024), 2450031

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

Authors: Gautam Bharali, Diganta Borah, Sushil Gorai

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

Submitted 6 November, 2023; v1 submitted 18 May, 2023; originally announced May 2023.

Comments: 18 pages, 1 figure. Several expository observations in Sections 1-3 and references added; typos in Section 7 corrected. This is not the final accepted version; the publishers of J. Geom. Anal. -- in which the article has appeared -- do not want the final accepted version to appear publicly during a certain period. The version of record is available online: DOI given somewhere on this page>>

MSC Class: 32F27; 32F45; 53C35 (Primary) 32H35 (Secondary)

Journal ref: J. Geom. Anal., volume 33, Article no. 383 (2023)

Unbounded visibility domains, the end compactification, and applications

Authors: Gautam Bharali, Andrew Zimmer

Abstract: In this paper we study when the Kobayashi distance on a Kobayashi hyperbolic domain has certain visibility properties, with a focus on unbounded domains. "Visibility" in this context is reminiscent of visibility, seen in negatively curved Riemannian manifolds, in the sense of Eberlein-O'Neill. However, we do not assume that the domains studied are Cauchy-complete with respect to the Kobayashi dist… ▽ More In this paper we study when the Kobayashi distance on a Kobayashi hyperbolic domain has certain visibility properties, with a focus on unbounded domains. "Visibility" in this context is reminiscent of visibility, seen in negatively curved Riemannian manifolds, in the sense of Eberlein-O'Neill. However, we do not assume that the domains studied are Cauchy-complete with respect to the Kobayashi distance, as this is hard to establish for domains in $\mathbb{C}^d$, $d \geq 2$. We study the various ways in which this property controls the boundary behavior of holomorphic maps. Among these results is a Carathéodory-type extension theorem for biholomorphisms between planar domains, notably: between infinitely-connected domains. We also explore connections between our visibility property and Gromov hyperbolicity of the Kobayashi distance. △ Less

Submitted 5 March, 2023; v1 submitted 28 June, 2022; originally announced June 2022.

Comments: v2: 37 pages. Minor corrections. Final version to appear in Transactions of the AMS

MSC Class: Primary 32F45; 53C23; Secondary 32Q45; 53C22; 32A40; 32H50

A new family of holomorphic homogeneous regular domains and some questions on the squeezing function

Authors: Gautam Bharali

Abstract: We revisit the phenomenon where, for certain domains $D$, if the squeezing function $s_D$ extends continuously to a point $p\in \partial{D}$ with value $1$, then $\partial{D}$ is strongly pseudoconvex around $p$. In $\mathbb{C}^2$, we present weaker conditions under which the latter conclusion is obtained. In another direction, we show that there are bounded domains $D\Subset \mathbb{C}^n$,… ▽ More We revisit the phenomenon where, for certain domains $D$, if the squeezing function $s_D$ extends continuously to a point $p\in \partial{D}$ with value $1$, then $\partial{D}$ is strongly pseudoconvex around $p$. In $\mathbb{C}^2$, we present weaker conditions under which the latter conclusion is obtained. In another direction, we show that there are bounded domains $D\Subset \mathbb{C}^n$, $n\geq 2$, that admit large $\partial{D}$-open subsets $\mathscr{O}\subset \partial{D}$ such that $s_D\to 0$ approaching any point in $\mathscr{O}$. This is impossible for planar domains. We pose a few questions related to these phenomena. But the core result of this paper identifies a new family of holomorphic homogeneous regular domains. We show via a family of examples how abundant domains satisfying the conditions of this result are. △ Less

Submitted 23 February, 2023; v1 submitted 16 March, 2021; originally announced March 2021.

Comments: 25 pages; added some expository remarks; corrected a typo in the statement of Lemma 5.1; to appear in Internat. J. Math

MSC Class: 32F45; 32T25 (Primary) 32A19; 32F18 (Secondary)

The entropy of holomorphic correspondences: exact computations and rational semigroups

Authors: Gautam Bharali, Shrihari Sridharan

Abstract: We study two notions of topological entropy of correspondences introduced by Friedland and Dinh-Sibony. Upper bounds are known for both. We identify a class of holomorphic correspondences whose entropy in the sense of Dinh-Sibony equals the known upper bound. This provides an exact computation of the entropy for rational semigroups. We also explore a connection between these two notions of entropy… ▽ More We study two notions of topological entropy of correspondences introduced by Friedland and Dinh-Sibony. Upper bounds are known for both. We identify a class of holomorphic correspondences whose entropy in the sense of Dinh-Sibony equals the known upper bound. This provides an exact computation of the entropy for rational semigroups. We also explore a connection between these two notions of entropy. △ Less

Submitted 17 May, 2021; v1 submitted 28 April, 2020; originally announced April 2020.

Comments: 18 pages; added references; added a new expository section (Subsection 1.1) and further exposition in Section 5; to appear in Ann. Acad. Sci. Fennicae

MSC Class: 30D05; 37B40; 37F05 (Primary) 32H50 (Secondary)

On the growth of the Bergman metric near a point of infinite type

Authors: Gautam Bharali

Abstract: We derive optimal estimates for the Bergman kernel and the Bergman metric for certain model domains in $\mathbb{C}^2$ near boundary points that are of infinite type. Being unbounded models, these domains obey certain geometric constraints -- some of them necessary for a non-trivial Bergman space. However, these are mild constraints: unlike most earlier works on this subject, we are able to make es… ▽ More We derive optimal estimates for the Bergman kernel and the Bergman metric for certain model domains in $\mathbb{C}^2$ near boundary points that are of infinite type. Being unbounded models, these domains obey certain geometric constraints -- some of them necessary for a non-trivial Bergman space. However, these are mild constraints: unlike most earlier works on this subject, we are able to make estimates for non-convex pseudoconvex models as well. In fact, the domains we can analyse range from being mildly infinite-type to very flat at infinite-type boundary points. △ Less

Submitted 24 March, 2021; v1 submitted 4 April, 2019; originally announced April 2019.

Comments: 16 pages; corrected a typo in v2 in the proof of Lemma 4.1; the final authenticated version of this is available online with the DOI mentioned here

MSC Class: 32A36 (Primary) 32A25; 32Q35 (Secondary)

Journal ref: J. Geom. Anal. 30 (2020), no. 2, 1238-1258

A weak notion of visibility, a family of examples, and Wolff--Denjoy theorems

Authors: Gautam Bharali, Anwoy Maitra

Abstract: We investigate a form of visibility introduced recently by Bharali and Zimmer -- and shown to be possessed by a class of domains called Goldilocks domains. The range of theorems established for these domains stem from this form of visibility together with certain quantitative estimates that define Goldilocks domains. We show that some of the theorems alluded to follow merely from the latter notion… ▽ More We investigate a form of visibility introduced recently by Bharali and Zimmer -- and shown to be possessed by a class of domains called Goldilocks domains. The range of theorems established for these domains stem from this form of visibility together with certain quantitative estimates that define Goldilocks domains. We show that some of the theorems alluded to follow merely from the latter notion of visibility. We call those domains that possess this property visibility domains with respect to the Kobayashi distance. We provide a sufficient condition for a domain in $\mathbb{C}^n$ to be a visibility domain. A part of this paper is devoted to constructing a family of domains that are visibility domains with respect to the Kobayashi distance but are not Goldilocks domains. Our notion of visibility is reminiscent of uniform visibility in the context of CAT(0) spaces. However, this is an imperfect analogy because, given a bounded domain $Ω$ in $\mathbb{C}^n$, $n\geq 2$, it is, in general, not even known whether the metric space $(Ω,{\sf k}_Ω)$ (where ${\sf k}_Ω$ is the Kobayashi distance) is a geodesic space. Yet, with just this weak property, we establish two Wolff--Denjoy-type theorems. △ Less

Submitted 10 June, 2021; v1 submitted 18 October, 2018; originally announced October 2018.

Comments: 35 pages; added a reference; corrected a typo and an estimate in (4.3); final version of this is available at the Ann. Scuola Norm. Sup. Pisa Cl. Sci. website with the DOI mentioned below

MSC Class: Primary: 32F45; 32H50; 53C23; Secondary: 32U05

Journal ref: Ann. Scuola Norm. Sup. Pisa Cl. Sci. XXII (2021), 195-240

Proper holomorphic map**s onto symmetric products of a Riemann surface

Authors: Gautam Bharali, Indranil Biswas, Divakaran Divakaran, Jaikrishnan Janardhanan

Abstract: We show that the structure of proper holomorphic maps between the $n$-fold symmetric products, $n\geq 2$, of a pair of non-compact Riemann surfaces $X$ and $Y$, provided these are reasonably nice, is very rigid. Specifically, any such map is determined by a proper holomorphic map of $X$ onto $Y$. This extends existing results concerning bounded planar domains, and is a non-compact analogue of a ph… ▽ More We show that the structure of proper holomorphic maps between the $n$-fold symmetric products, $n\geq 2$, of a pair of non-compact Riemann surfaces $X$ and $Y$, provided these are reasonably nice, is very rigid. Specifically, any such map is determined by a proper holomorphic map of $X$ onto $Y$. This extends existing results concerning bounded planar domains, and is a non-compact analogue of a phenomenon observed in symmetric products of compact Riemann surfaces. Along the way, we also provide a condition for the complete hyperbolicity of all $n$-fold symmetric products of a non-compact Riemann surface. △ Less

Submitted 24 September, 2018; v1 submitted 22 February, 2018; originally announced February 2018.

Comments: 16 pages; added the word "Stein", which was inadvertently omitted from Result 3.6 in v1; corrected some typos; final version to appear in Documenta Math

MSC Class: 14J50; 32H35 (Primary) 32Q45 (Secondary)

Journal ref: Documenta Math. 23 (2018), 1291-1311

A criterion for a degree-one holomorphic map to be a biholomorphism

Authors: Gautam Bharali, Indranil Biswas, Georg Schumacher

Abstract: Let $X$ and $Y$ be compact connected complex manifolds of the same dimension with $b_2(X)= b_2(Y)$. We prove that any surjective holomorphic map of degree one from $X$ to $Y$ is a biholomorphism. A version of this was established by the first two authors, but under an extra assumption that $\dim H^1(X {\mathcal O}_X)\,=\,\dim H^1(Y {\mathcal O}_Y)$. We show that this condition is actually automati… ▽ More Let $X$ and $Y$ be compact connected complex manifolds of the same dimension with $b_2(X)= b_2(Y)$. We prove that any surjective holomorphic map of degree one from $X$ to $Y$ is a biholomorphism. A version of this was established by the first two authors, but under an extra assumption that $\dim H^1(X {\mathcal O}_X)\,=\,\dim H^1(Y {\mathcal O}_Y)$. We show that this condition is actually automatically satisfied. △ Less

Submitted 20 October, 2016; originally announced October 2016.

Comments: Complex Variables and Elliptic Equations (to appear)

MSC Class: 32H02; 32J18

Pick interpolation on the polydisc: small families of sufficient kernels

Authors: Gautam Bharali, Vikramjeet Singh Chandel

Abstract: We give a solution to Pick's interpolation problem on the unit polydisc in $\mathbb{C}^n$, $n\geq 2$, by characterizing all interpolation data that admit a $\mathbb{D}$-valued interpolant, in terms of a family of positive-definite kernels parametrized by a class of polynomials. This uses a duality approach that has been associated with Pick interpolation, together with some approximation theory. F… ▽ More We give a solution to Pick's interpolation problem on the unit polydisc in $\mathbb{C}^n$, $n\geq 2$, by characterizing all interpolation data that admit a $\mathbb{D}$-valued interpolant, in terms of a family of positive-definite kernels parametrized by a class of polynomials. This uses a duality approach that has been associated with Pick interpolation, together with some approximation theory. Furthermore, we use duality methods to understand the set of points on the $n$-torus at which the boundary values of a given solution to an extremal interpolation problem are not unimodular. △ Less

Submitted 4 October, 2016; originally announced October 2016.

Comments: 20 pages

MSC Class: Primary: 32A25; 46E20; Secondary: 32A38; 46J15

Journal ref: Complex Anal. Oper. Theory 13 (2019), no. 5, 2069-2093

Holomorphic correspondences related to finitely generated rational semigroups

Authors: Gautam Bharali, Shrihari Sridharan

Abstract: In this paper, we present a new technique for studying the dynamics of a finitely generated rational semigroup. Such a semigroup can be associated naturally to a certain holomorphic correspondence on $\mathbb{P}^1$. Then, results on the iterative dynamics of such a correspondence can be applied to the study of the rational semigroup. We focus on a certain invariant measure for the aforementioned c… ▽ More In this paper, we present a new technique for studying the dynamics of a finitely generated rational semigroup. Such a semigroup can be associated naturally to a certain holomorphic correspondence on $\mathbb{P}^1$. Then, results on the iterative dynamics of such a correspondence can be applied to the study of the rational semigroup. We focus on a certain invariant measure for the aforementioned correspondence---known as the equilibrium measure. This confers some advantages over many of the known techniques for studying the dynamics of rational semigroups. We use the equilibrium measure to analyse the distribution of repelling fixed points of a finitely generated rational semigroup, and to derive a sharp bound for the Hausdorff dimension of the Julia set of such a semigroup. △ Less

Submitted 20 November, 2017; v1 submitted 18 February, 2016; originally announced February 2016.

Comments: 20 pages; minor revisions, Theorem 1.6 rephrased more simply; final version to be published in Internat. J. Math

MSC Class: 37F05; 37F10 (Primary); 30G30 (Secondary)

Journal ref: Internat. J. Math. 28 (2017), no. 14, 1750108 (25 pp.)

Goldilocks domains, a weak notion of visibility, and applications

Authors: Gautam Bharali, Andrew Zimmer

Abstract: In this paper we introduce a new class of domains in complex Euclidean space, called Goldilocks domains, and study their complex geometry. These domains are defined in terms of a lower bound on how fast the Kobayashi metric grows and an upper bound on how fast the Kobayashi distance grows as one approaches the boundary. Strongly pseudoconvex domains and weakly pseudoconvex domains of finite type a… ▽ More In this paper we introduce a new class of domains in complex Euclidean space, called Goldilocks domains, and study their complex geometry. These domains are defined in terms of a lower bound on how fast the Kobayashi metric grows and an upper bound on how fast the Kobayashi distance grows as one approaches the boundary. Strongly pseudoconvex domains and weakly pseudoconvex domains of finite type always satisfy this Goldilocks condition, but we also present families of Goldilocks domains that have low boundary regularity or have boundary points of infinite type. We will show that the Kobayashi metric on these domains behaves, in some sense, like a negatively curved Riemannian metric. In particular, it satisfies a visibility condition in the sense of Eberlein and O'Neill. This behavior allows us to prove a variety of results concerning boundary extension of maps and to establish Wolff-Denjoy theorems for a wide collection of domains. △ Less

Submitted 3 February, 2017; v1 submitted 4 February, 2016; originally announced February 2016.

Comments: 36 pages. v2: minor changes, final version to appear in Advances in Mathematics

MSC Class: 32F45; 53C23 (Primary); 32H40; 32H50; 32T25 (Secondary)

Complex geodesics, their boundary regularity, and a Hardy--Littlewood-type lemma

Authors: Gautam Bharali

Abstract: We begin by giving an example of a smoothly bounded convex domain that has complex geodesics that do not extend continuously up to $\partial\mathbb{D}$. This example suggests that continuity at the boundary of the complex geodesics of a convex domain $Ω\Subset \mathbb{C}^n$, $n\geq 2$, is affected by the extent to which $\partialΩ$ curves or bends at each boundary point. We provide a sufficient co… ▽ More We begin by giving an example of a smoothly bounded convex domain that has complex geodesics that do not extend continuously up to $\partial\mathbb{D}$. This example suggests that continuity at the boundary of the complex geodesics of a convex domain $Ω\Subset \mathbb{C}^n$, $n\geq 2$, is affected by the extent to which $\partialΩ$ curves or bends at each boundary point. We provide a sufficient condition to this effect (on $\mathcal{C}^1$-smoothly bounded convex domains), which admits domains having boundary points at which the boundary is infinitely flat. Along the way, we establish a Hardy--Littlewood-type lemma that might be of independent interest. △ Less

Submitted 27 August, 2015; originally announced August 2015.

Comments: 10 pages; to appear in Ann. Acad. Sci. Fennicae. Math

MSC Class: Primary: 30H05; 32H40; Secondary: 32F45

Journal ref: Ann. Acad. Sci. Fennicae: Math. 41 (2016), no. 1, 253-263

A family of domains associated with $μ$-synthesis

Authors: Gautam Bharali

Abstract: We introduce a family of domains --- which we call the $μ_{1,n}$-quotients --- associated with an aspect of $μ$-synthesis. We show that the natural association that the symmetrized polydisc has with the corresponding spectral unit ball is also exhibited by the $μ_{1,n}$-quotient and its associated unit "$μ_E$-ball". Here, $μ_E$ is the structured singular value for the case… ▽ More We introduce a family of domains --- which we call the $μ_{1,n}$-quotients --- associated with an aspect of $μ$-synthesis. We show that the natural association that the symmetrized polydisc has with the corresponding spectral unit ball is also exhibited by the $μ_{1,n}$-quotient and its associated unit "$μ_E$-ball". Here, $μ_E$ is the structured singular value for the case $E = \{[w]\oplus(z I_{n-1})\in \mathbb{C}^{n\times n}: z,w\in \mathbb{C}\}$, n = 2, 3, 4,... Specifically: we show that, for such an $E$, the Nevanlinna-Pick interpolation problem with matricial data in a unit "$μ_E$-ball", and in general position in a precise sense, is equivalent to a Nevanlinna-Pick interpolation problem for the associated $μ_{1,n}$-quotient. Along the way, we present some characterizations for the $μ_{1,n}$-quotients. △ Less

Submitted 20 November, 2014; v1 submitted 10 July, 2014; originally announced July 2014.

Comments: 15 pages; added Remark 3.6 and an additional reference; to appear in Integral Eqns. Operator Theory

MSC Class: Primary: 30E05; 32F45; Secondary: 47A56; 93D21

Journal ref: Integral Eqns. Operator Theory 82 (2015), no. 2, 267-285

The Fujiki class and positive degree maps

Authors: Gautam Bharali, Indranil Biswas, Mahan Mj

Abstract: We show that a map between complex-analytic manifolds, at least one of which is in the Fujiki class, is a biholomorphism under a natural condition on the second cohomologies. We use this to establish that, with mild restrictions, a certain relation of "domination" introduced by Gromov is in fact a partial order. We show that a map between complex-analytic manifolds, at least one of which is in the Fujiki class, is a biholomorphism under a natural condition on the second cohomologies. We use this to establish that, with mild restrictions, a certain relation of "domination" introduced by Gromov is in fact a partial order. △ Less

Submitted 9 March, 2015; v1 submitted 19 December, 2013; originally announced December 2013.

Comments: 6 pages; significantly restructured first & last sections; corrected statement of Result 3.4 (formerly Result 4.4); added references; to appear in Complex Manifolds

MSC Class: Primary 32H04; 57R35

Journal ref: Complex Manifolds 2 (2015) 11-15

Rigidity of holomorphic maps between fiber spaces

Authors: Gautam Bharali, Indranil Biswas

Abstract: In the study of holomorphic maps, the term "rigidity" refers to certain types of results that give us very specific information about a general class of holomorphic maps owing to the geometry of their domains or target spaces. Under this theme, we begin by studying when, given two compact connected complex manifolds $X$ and $Y$, a degree-one holomorphic map $f: Y\to X$ is a biholomorphism. Given t… ▽ More In the study of holomorphic maps, the term "rigidity" refers to certain types of results that give us very specific information about a general class of holomorphic maps owing to the geometry of their domains or target spaces. Under this theme, we begin by studying when, given two compact connected complex manifolds $X$ and $Y$, a degree-one holomorphic map $f: Y\to X$ is a biholomorphism. Given that the real manifolds underlying $X$ and $Y$ are diffeomorphic, we provide a condition under which $f$ is a biholomorphism. Using this result, we deduce a rigidity result for holomorphic self-maps of the total space of a holomorphic fiber space. Lastly, we consider products $X=X_1\times X_2$ and $Y=Y_1\times Y_2$ of compact connected complex manifolds. When $X_1$ is a Riemann surface of genus $\geq 2$, we show that any non-constant holomorphic map $F:Y\to X$ is of a special form. △ Less

Submitted 19 December, 2013; v1 submitted 16 September, 2013; originally announced September 2013.

Comments: 7 pages; expanded Remark 1.2; provided an explanation for the notation in Section 3; to appear in Internat. J. Math

MSC Class: Primary: 32L05; 53C24; Secondary: 55R05

Journal ref: Internat. J. Math. 25 (2014), no. 1, 1450006 (8 pp.)

Proper holomorphic maps between bounded symmetric domains revisited

Authors: Gautam Bharali, Jaikrishnan Janardhanan

Abstract: We prove that a proper holomorphic map between two bounded symmetric domains of the same dimension, one of them being irreducible, is a biholomorphism. Our methods allow us to give a single, all-encompassing argument that unifies the various special cases in which this result is known. We discuss an application of these methods to domains having noncompact automorphism groups that are not assumed… ▽ More We prove that a proper holomorphic map between two bounded symmetric domains of the same dimension, one of them being irreducible, is a biholomorphism. Our methods allow us to give a single, all-encompassing argument that unifies the various special cases in which this result is known. We discuss an application of these methods to domains having noncompact automorphism groups that are not assumed to act transitively. △ Less

Submitted 8 January, 2014; v1 submitted 11 February, 2013; originally announced February 2013.

Comments: 19 pages; typos corrected; missing hypothesis added to the statement of Lemma 4.2; to appear in Pacific J. Math

MSC Class: 32H02; 32M15 (Primary) 32H10 (Secondary)

Journal ref: Pacific Journal of Mathematics Vol. 271 (2014), No. 1

The dynamics of holomorphic correspondences of P^1: invariant measures and the normality set

Authors: Gautam Bharali, Shrihari Sridharan

Abstract: This paper is motivated by Brolin's theorem. The phenomenon we wish to demonstrate is as follows: if $F$ is a holomorphic correspondence on $\mathbb{P}^1$, then (under certain conditions) $F$ admits a measure $μ_F$ such that, for any point $z$ drawn from a "large" open subset of $\mathbb{P}^1$, $μ_F$ is the weak*-limit of the normalised sums of point masses carried by the pre-images of $z$ under t… ▽ More This paper is motivated by Brolin's theorem. The phenomenon we wish to demonstrate is as follows: if $F$ is a holomorphic correspondence on $\mathbb{P}^1$, then (under certain conditions) $F$ admits a measure $μ_F$ such that, for any point $z$ drawn from a "large" open subset of $\mathbb{P}^1$, $μ_F$ is the weak*-limit of the normalised sums of point masses carried by the pre-images of $z$ under the iterates of $F$. Let ${}^\dagger{F}$ denote the transpose of $F$. Under the condition $d_{top}(F) > d_{top}({}^\dagger{F})$, where $d_{top}$ denotes the topological degree, the above phenomemon was established by Dinh and Sibony. We show that the support of this $μ_F$ is disjoint from the normality set of $F$. There are many interesting correspondences on $\mathbb{P}^1$ for which $d_{top}(F) \leq d_{top}({}^\dagger{F})$. Examples are the correspondences introduced by Bullett and collaborators. When $d_{top}(F) \leq d_{top}({}^\dagger{F})$, equidistribution cannot be expected to the full extent of Brolin's theorem. However, we prove that when $F$ admits a repeller, equidistribution in the above sense holds true. △ Less

Submitted 4 October, 2016; v1 submitted 22 October, 2012; originally announced October 2012.

Comments: 24 pages; Section 3 significantly shortened, typos in the proof of Theorem 3.2 removed and Remark 5.3 added; has appeared in Complex Var. Elliptic Equ. as referenced below

MSC Class: 37F05; 37F10 (Primary); 30G30 (Secondary)

Journal ref: Complex Var. Elliptic Equ. 61 (2016), no. 12, 1587-1613

Polynomial approximation, local polynomial convexity, and degenerate CR singularities -- II

Authors: Gautam Bharali

Abstract: We provide some conditions for the graph of a Hoelder-continuous function on \bar{D}, where \bar{D} is a closed disc in the complex plane, to be polynomially convex. Almost all sufficient conditions known to date --- provided the function (say F) is smooth --- arise from versions of the Weierstrass Approximation Theorem on \bar{D}. These conditions often fail to yield any conclusion if rank_R(DF)… ▽ More We provide some conditions for the graph of a Hoelder-continuous function on \bar{D}, where \bar{D} is a closed disc in the complex plane, to be polynomially convex. Almost all sufficient conditions known to date --- provided the function (say F) is smooth --- arise from versions of the Weierstrass Approximation Theorem on \bar{D}. These conditions often fail to yield any conclusion if rank_R(DF) is not maximal on a sufficiently large subset of \bar{D}. We bypass this difficulty by introducing a technique that relies on the interplay of certain plurisubharmonic functions. This technique also allows us to make some observations on the polynomial hull of a graph in C^2 at an isolated complex tangency. △ Less

Submitted 17 May, 2011; v1 submitted 25 October, 2010; originally announced October 2010.

Comments: 11 pages; typos corrected; to appear in Internat. J. Math

MSC Class: 32E20; 32F05

Journal ref: Internat. J. Math. 22 (2011) 1721-1733

Model pseudoconvex domains and bum**

Authors: Gautam Bharali

Abstract: The Levi geometry at weakly pseudoconvex boundary points of domains in C^n, n \geq 3, is sufficiently complicated that there are no universal model domains with which to compare a general domain. Good models may be constructed by bum** outward a pseudoconvex, finite-type Ω\subset C^3 in such a way that: i) pseudoconvexity is preserved, ii) the (locally) larger domain has a simpler defining funct… ▽ More The Levi geometry at weakly pseudoconvex boundary points of domains in C^n, n \geq 3, is sufficiently complicated that there are no universal model domains with which to compare a general domain. Good models may be constructed by bum** outward a pseudoconvex, finite-type Ω\subset C^3 in such a way that: i) pseudoconvexity is preserved, ii) the (locally) larger domain has a simpler defining function, and iii) the lowest possible orders of contact of the bumped domain with \bdyΩ, at the site of the bum**, are realised. When Ω\subset C^n, n\geq 3, it is, in general, hard to meet the last two requirements. Such well-controlled bum** is possible when Ωis h-extendible/semiregular. We examine a family of domains in C^3 that is strictly larger than the family of h-extendible/semiregular domains and construct explicit models for these domains by bum**. △ Less

Submitted 17 October, 2011; v1 submitted 21 October, 2010; originally announced October 2010.

Comments: 28 pages; typos corrected; Remarks 2.6 & 2.7 added; clearer proof of Prop. 4.2 given; to appear in IMRN

MSC Class: 32

Journal ref: Int. Math. Res. Not. IMRN 2012, no. 21, 4924-4965

Uniform algebras generated by holomorphic and close-to-harmonic functions

Authors: Gautam Bharali, Sushil Gorai

Abstract: The initial motivation for this paper is to discuss a more concrete approach to an approximation theorem of Axler and Shields, which says that the uniform algebra on the closed unit disc closure(D) generated by z and h --- where h is a nowhere-holomorphic harmonic function on D that is continuous up to the boundary --- equals the algebra of continuous functions on closure(D). The abstract tools us… ▽ More The initial motivation for this paper is to discuss a more concrete approach to an approximation theorem of Axler and Shields, which says that the uniform algebra on the closed unit disc closure(D) generated by z and h --- where h is a nowhere-holomorphic harmonic function on D that is continuous up to the boundary --- equals the algebra of continuous functions on closure(D). The abstract tools used by Axler and Shields make harmonicity of h an essential condition for their result. We use the concepts of plurisubharmonicity and polynomial convexity to show that, in fact, the same conclusion is reached if h is replaced by h+R, where R is a non-harmonic perturbation whose Laplacian is "small" in a certain sense. △ Less

Submitted 8 December, 2010; v1 submitted 26 July, 2010; originally announced July 2010.

Comments: 6 pages; added an important remark on page 2 and a reference; to appear in Proc. Amer. Math. Soc

MSC Class: 30E10; 32E20; 32F05; 46J15

Obstructions to uniform estimates for solutions to the d-bar equation

Authors: Gautam Bharali

Abstract: We show that if, for every bounded d-bar-closed (0,1)-form f, a pseudoconvex domain Ωadmits a solution to $\bar\partial u=f$ that is continuous up to the boundary and has uniform estimates in terms of $\|f\|_\infty$, then each p\in bdy(Ω) must necessarily admit a peak function in the class $A(Ω):=\mathcal{O}(Ω)\cap\mathcal{C}(\overline\OM)$. We use this fact to examine some geometrical obstructi… ▽ More We show that if, for every bounded d-bar-closed (0,1)-form f, a pseudoconvex domain Ωadmits a solution to $\bar\partial u=f$ that is continuous up to the boundary and has uniform estimates in terms of $\|f\|_\infty$, then each p\in bdy(Ω) must necessarily admit a peak function in the class $A(Ω):=\mathcal{O}(Ω)\cap\mathcal{C}(\overline\OM)$. We use this fact to examine some geometrical obstructions to uniform estimates for the d-bar equation. △ Less

Submitted 26 March, 2009; v1 submitted 23 March, 2009; originally announced March 2009.

Comments: This preprint has been withdrawn by the author because the estimate (2.3) does not follow from the formula preceding it

MSC Class: 32F17; 32F20; 32T40; 35N10

The local polynomial hull near a degenerate CR singularity -- Bishop discs revisited

Authors: Gautam Bharali

Abstract: Let S be a smooth real surface in C^2 and let p\in S be a point at which the tangent plane is a complex line. How does one determine whether or not S is locally polynomially convex at such a p --- i.e. at a CR singularity ? Even when the order of contact of T_p(S) with S at p equals 2, no clean characterisation exists; difficulties are posed by parabolic points. Hence, we study non-parabolic CR si… ▽ More Let S be a smooth real surface in C^2 and let p\in S be a point at which the tangent plane is a complex line. How does one determine whether or not S is locally polynomially convex at such a p --- i.e. at a CR singularity ? Even when the order of contact of T_p(S) with S at p equals 2, no clean characterisation exists; difficulties are posed by parabolic points. Hence, we study non-parabolic CR singularities. We show that the presence or absence of Bishop discs around certain non-parabolic CR singularities is completely determined by a Maslov-type index. This result subsumes all known facts about Bishop discs around order-two, non-parabolic CR singularities. Sufficient conditions for Bishop discs have earlier been investigated at CR singularities having high order of contact with T_p(S). These results relied upon a subharmonicity condition, which fails in many simple cases. Hence, we look beyond potential theory and refine certain ideas going back to Bishop. △ Less

Submitted 17 May, 2011; v1 submitted 24 February, 2009; originally announced February 2009.

Comments: 20 pages; all theorems restated to admit surfaces of lower regularity; minor errors in Step 4 of Thm. 1.5 corrected; to appear in Math. Zeitschrift

MSC Class: 32E20; 46J10

Journal ref: Math. Z. 271 (2012) 1043-1063

Plurisubharmonic polynomials and bum**

Authors: Gautam Bharali, Berit Stensones

Abstract: We wish to study the problem of bum** outwards a pseudoconvex, finite-type domain Ω\subset C^n in such a way that pseudoconvexity is preserved and such that the lowest possible orders of contact of the bumped domain with bdy(Ω), at the site of the bum**, are explicitly realised. Generally, when Ω\subset C^n, n\geq 3, the known methods lead to bum**s with high orders of contact -- which are… ▽ More We wish to study the problem of bum** outwards a pseudoconvex, finite-type domain Ω\subset C^n in such a way that pseudoconvexity is preserved and such that the lowest possible orders of contact of the bumped domain with bdy(Ω), at the site of the bum**, are explicitly realised. Generally, when Ω\subset C^n, n\geq 3, the known methods lead to bum**s with high orders of contact -- which are not explicitly known either -- at the site of the bum**. Precise orders are known for h-extendible/semiregular domains. This paper is motivated by certain families of non-semiregular domains in C^3. These families are identified by the behaviour of the least-weight plurisubharmonic polynomial in the Catlin normal form. Accordingly, we study how to perturb certain homogeneous plurisubharmonic polynomials without destroying plurisubharmonicity. △ Less

Submitted 9 January, 2008; v1 submitted 25 September, 2007; originally announced September 2007.

Comments: 24 pages; corrected typos, fixed errors in Lemma 3.3; accepted for publication in Math. Z

MSC Class: 32F05; 32T25

Journal ref: Math. Z. 261 (2009), 39-63

On the growth of the Bergman kernel near an infinite-type point

Authors: Gautam Bharali

Abstract: We study diagonal estimates for the Bergman kernels of certain model domains in $\mathbb{C}^2$ near boundary points that are of infinite type. To do so, we need a mild structural condition on the defining functions of interest that facilitates optimal upper and lower bounds. This is a mild condition; unlike earlier studies of this sort, we are able to make estimates for non-convex pseudoconvex d… ▽ More We study diagonal estimates for the Bergman kernels of certain model domains in $\mathbb{C}^2$ near boundary points that are of infinite type. To do so, we need a mild structural condition on the defining functions of interest that facilitates optimal upper and lower bounds. This is a mild condition; unlike earlier studies of this sort, we are able to make estimates for non-convex pseudoconvex domains as well. This condition quantifies, in some sense, how flat a domain is at an infinite-type boundary point. In this scheme of quantification, the model domains considered below range -- roughly speaking -- from being ``mildly infinite-type'' to very flat at the infinite-type points. △ Less

Submitted 17 August, 2009; v1 submitted 21 August, 2007; originally announced August 2007.

Comments: Significant revisions made; simpler estimates; very mild strengthening of the hypotheses on Theorem 1.2 to get much stronger conclusions than in ver.1. To appear in Math. Ann

MSC Class: 32A25; 32A36; 44A10

Journal ref: Math. Ann. 347 (2010), 1-13

Some new observations on interpolation in the spectral unit ball

Authors: Gautam Bharali

Abstract: We present several results associated to a holomorphic-interpolation problem for the spectral unit ball Ω_n, n\geq 2. We begin by showing that a known necessary condition for the existence of a $\mathcal{O}(D;Ω_n)$-interpolant (D here being the unit disc in the complex plane), given that the matricial data are non-derogatory, is not sufficient. We provide next a new necessary condition for the s… ▽ More We present several results associated to a holomorphic-interpolation problem for the spectral unit ball Ω_n, n\geq 2. We begin by showing that a known necessary condition for the existence of a $\mathcal{O}(D;Ω_n)$-interpolant (D here being the unit disc in the complex plane), given that the matricial data are non-derogatory, is not sufficient. We provide next a new necessary condition for the solvability of the two-point interpolation problem -- one which is not restricted only to non-derogatory data, and which incorporates the Jordan structure of the prescribed data. We then use some of the ideas used in deducing the latter result to prove a Schwarz-type lemma for holomorphic self-maps of Ω_n, n\geq 2. △ Less

Submitted 17 September, 2007; v1 submitted 16 April, 2007; originally announced April 2007.

Comments: Added a definition (Def.1.1); 2 of the 4 results herein are minor refinements of those in the author's preprint math.CV/0608177; to appear in Integral Eqns. Operator Theory

MSC Class: 30E05; 47A56 (Primary); 32F45 (Secondary)

Journal ref: Integral Equations Operator Theory 59 (2007) no. 3, 329-343

Sharp Schwarz-type lemmas for the spectral unit ball

Authors: Gautam Bharali

Abstract: We provide generalisations of two Schwarz-type lemmas -- the first a result of Globevnik and the other due to Ransford and White -- for holomorphic map**s into the spectral unit ball. The first concerns map**s of the unit disc in C into the spectral unit ball, while the second concerns self- map**s. The aforementioned results apply to holomorphic map**s that map the origin to the origin.… ▽ More We provide generalisations of two Schwarz-type lemmas -- the first a result of Globevnik and the other due to Ransford and White -- for holomorphic map**s into the spectral unit ball. The first concerns map**s of the unit disc in C into the spectral unit ball, while the second concerns self- map**s. The aforementioned results apply to holomorphic map**s that map the origin to the origin. We extend these results to general holomorphic map**s into the spectral unit ball. We also show that our results are sharp. △ Less

Submitted 7 August, 2006; originally announced August 2006.

Comments: 8 pages

MSC Class: 30C80; 32F45

Nonisotropically balanced domains, Lempert function estimates, and the spectral Nevanlinna-Pick problem

Authors: Gautam Bharali

Abstract: We introduce the notion of a λ-nonisotropically balanced domain and show that the symmetrized polydisc in C^n, n \geq 2, is an example of such a domain. Given a λ-nonisotropically balanced domain Ω, we derive effective estimates from above and from below for the Lempert function at (0,z)\inΩ\timesΩ. We use these estimates to derive certain conditions for realising a two-point Nevanlinna-Pick int… ▽ More We introduce the notion of a λ-nonisotropically balanced domain and show that the symmetrized polydisc in C^n, n \geq 2, is an example of such a domain. Given a λ-nonisotropically balanced domain Ω, we derive effective estimates from above and from below for the Lempert function at (0,z)\inΩ\timesΩ. We use these estimates to derive certain conditions for realising a two-point Nevanlinna-Pick interpolation in the symmetrized polydisc. Applying the ideas used in the derivation of our Lempert function estimates to the so-called spectral unit ball Ω_n, we deduce: a) a formula for the Lempert function at (0,W)\inΩ_n\timesΩ_n; and b) a necessary and sufficient condition for realising a two-point Nevanlinna- Pick interpolation in the spectral unit ball. △ Less

Submitted 30 March, 2006; v1 submitted 6 January, 2006; originally announced January 2006.

Comments: 12 pages. Added clarifications to Thm.1.8; added the important remark (Rmrk.1.3): the "only if" part of Thm.1.8 is a special case of a result by Globevnik

MSC Class: 30C80; 32F45

Functions preserving nonnegativity of matrices

Authors: Gautam Bharali, Olga Holtz

Abstract: The main goal of this work is to determine which entire functions preserve nonnegativity of matrices of a fixed order $n$ -- i.e., to characterize entire functions $f$ with the property that $f(A)$ is entrywise nonnegative for every entrywise nonnegative matrix $A$ of size $n\times n$. Towards this goal, we present a complete characterization of functions preserving nonnegativity of (block) uppe… ▽ More The main goal of this work is to determine which entire functions preserve nonnegativity of matrices of a fixed order $n$ -- i.e., to characterize entire functions $f$ with the property that $f(A)$ is entrywise nonnegative for every entrywise nonnegative matrix $A$ of size $n\times n$. Towards this goal, we present a complete characterization of functions preserving nonnegativity of (block) upper-triangular matrices and those preserving nonnegativity of circulant matrices. We also derive necessary conditions and sufficient conditions for entire functions that preserve nonnegativity of symmetric matrices. We also show that some of these latter conditions characterize the even or odd functions that preserve nonnegativity of symmetric matrices. △ Less

Submitted 17 June, 2007; v1 submitted 12 November, 2005; originally announced November 2005.

Comments: 20 pages; expanded and corrected to reflect referees' remarks; to appear in SIAM J. Matrix Anal. Appl

MSC Class: 15A29; 15A48; 15A42

Journal ref: SIAM J. Matrix Anal. Appl. 30 (2008) no.1, 84-101

Polynomial approximation, local polynomial convexity, and degenerate CR singularities

Authors: Gautam Bharali

Abstract: We begin with the following question: given a closed disc $\bar{D}$ in the complex plane and a complex-valued function F in $C(\bar{D})$, is the uniform algebra on $\bar{D}$ generated by z and F equal to $C(\bar{D})$ ? When F is in $C^1(\bar{D})$, this question is complicated by the presence of points in the surface S:=graph(F) that have complex tangents. Such points are called CR singularities.… ▽ More We begin with the following question: given a closed disc $\bar{D}$ in the complex plane and a complex-valued function F in $C(\bar{D})$, is the uniform algebra on $\bar{D}$ generated by z and F equal to $C(\bar{D})$ ? When F is in $C^1(\bar{D})$, this question is complicated by the presence of points in the surface S:=graph(F) that have complex tangents. Such points are called CR singularities. Let $p\in S$ be a CR singularity at which the order of contact of the tangent plane with S is greater than 2; i.e. a degenerate CR singularity. We provide sufficient conditions for S to be locally polynomially convex at the degenerate singularity p. This is useful because it is essential to know whether S is locally polynomially convex at a CR singularity in order to answer the initial question. To this end, we also present a general theorem on the uniform algebra generated by z and F, which we use in our investigations. This result may be of independent interest because it is applicable even to non-smooth, complex-valued F. △ Less

Submitted 5 July, 2006; v1 submitted 14 April, 2005; originally announced April 2005.

Comments: 17 pages; final version; restated Thm.1.2 using slightly clearer notation, corrected minor typos

MSC Class: 30E10; 32E20; 46J10

Journal ref: J. Funct. Anal. 236 (2006), 351-368

The role of Fourier modes in extension theorems of Hartogs-Chirka type

Authors: David E. Barrett, Gautam Bharali

Abstract: We generalize Chirka's theorem on the extension of functions holomorphic in a neighbourhood of graph(F)\cup(\partial D\times D) -- where D is the open unit disc and graph(F) denotes the graph of a continuous D-valued function F -- to the bidisc. We extend holomorphic functions by applying the Kontinuitaetssatz to certain continuous families of analytic annuli, which is a procedure suited to conf… ▽ More We generalize Chirka's theorem on the extension of functions holomorphic in a neighbourhood of graph(F)\cup(\partial D\times D) -- where D is the open unit disc and graph(F) denotes the graph of a continuous D-valued function F -- to the bidisc. We extend holomorphic functions by applying the Kontinuitaetssatz to certain continuous families of analytic annuli, which is a procedure suited to configurations not covered by Chirka's theorem. △ Less

Submitted 5 May, 2004; originally announced May 2004.

Comments: 17 pages

MSC Class: 32D15

Journal ref: Math. Z. 249 (2005), 883-901

A procedure for constructing peak functions

Authors: Gautam Bharali

Abstract: We extend Bishop's one-fourth three-fourths principle for constructing peak functions belonging to a uniform algebra to a situation where the ``approximate barriers'' associated with the Bishop construction are not uniformly bounded. We extend Bishop's one-fourth three-fourths principle for constructing peak functions belonging to a uniform algebra to a situation where the ``approximate barriers'' associated with the Bishop construction are not uniformly bounded. △ Less

Submitted 5 May, 2004; v1 submitted 2 April, 2004; originally announced April 2004.

Comments: 1) Condition (4) of Theorem 1.1 corrected, 2) Lemma 2.2 of the earlier version is redundant

MSC Class: 46J10; 32A38

On peak-interpolation manifolds for A(Ω) for convex domains in C^n

Authors: Gautam Bharali

Abstract: Let Ωbe a bounded, weakly convex domain in C^n, n>1, having real-analytic boundary. A(Ω) is the algebra of all functions holomorphic in Ωand continuous upto the boundary. A submanifold M\subset \partialΩis said to be complex-tangential if T_p(M) lies in the maximal complex subspace of T_p(\partialΩ) for each p \in M. We show that for real-analytic submanifolds M\subset \partialΩ, if M is complex… ▽ More Let Ωbe a bounded, weakly convex domain in C^n, n>1, having real-analytic boundary. A(Ω) is the algebra of all functions holomorphic in Ωand continuous upto the boundary. A submanifold M\subset \partialΩis said to be complex-tangential if T_p(M) lies in the maximal complex subspace of T_p(\partialΩ) for each p \in M. We show that for real-analytic submanifolds M\subset \partialΩ, if M is complex-tangential, then every compact subset of M is a peak-interpolation set for A(Ω). △ Less

Submitted 23 October, 2003; v1 submitted 6 March, 2002; originally announced March 2002.

Comments: Final version : Corrected typographical errors, corrected proofs of lemmas 3.2 and 5.1; 16 pages

MSC Class: 32A38; 32F32 (primary); 32D99 (secondary)

Journal ref: Trans. Amer. Math. Soc. 356 (2004), 4811-4827

On analytic interpolation manifolds in boundaries of weakly pseudoconvex domains

Authors: Gautam Bharali

Abstract: Let $Ω$ be a bounded, weakly pseudoconvex domain in C^n, n > 1, with real-analytic boundary. A real-analytic submanifold $M \subset bdΩ$ is called an analytic interpolation manifold if every real-analytic function on M extends to a function belonging to $\Cal{O}(\barΩ)$. We provide sufficient conditions for M to be an analytic interpolation manifold. We give examples showing that neither of thes… ▽ More Let $Ω$ be a bounded, weakly pseudoconvex domain in C^n, n > 1, with real-analytic boundary. A real-analytic submanifold $M \subset bdΩ$ is called an analytic interpolation manifold if every real-analytic function on M extends to a function belonging to $\Cal{O}(\barΩ)$. We provide sufficient conditions for M to be an analytic interpolation manifold. We give examples showing that neither of these conditions can be relaxed, as well as examples of analytic interpolation manifolds lying entirely within the set of weakly pseudoconvex points of $bdΩ$. △ Less

Submitted 16 December, 2005; v1 submitted 21 June, 2001; originally announced June 2001.

Comments: Final version: corrected statement of Burns-Stout theorem and typos in Example 4.5; added Remark 1.5

MSC Class: 32A38; 32T25 (Primary) 32C25; 32D99 (Secondary)

Journal ref: Complex Var. Theory Appl. 47 (2002), 939-951