Source author record

Gautam Bharali

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

12works
6topics
4close collaborators

Published work

12 publications

preprint2016arXiv

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

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

preprint2016arXiv

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

This paper is motivated by Brolin's theorem. The phenomenon we wish to demonstrate is as follows: if FF is a holomorphic correspondence on P1\mathbb{P}^1, then (under certain conditions) FF admits a measure μFμ_F such that, for any point zz drawn from a "large" open subset of P1\mathbb{P}^1, μFμ_F is the weak*-limit of the normalised sums of point masses carried by the pre-images of zz under the iterates of FF. Let †F{}^\dagger{F} denote the transpose of FF. Under the condition dtop(F)>dtop(†F)d_{top}(F) > d_{top}({}^\dagger{F}), where dtopd_{top} denotes the topological degree, the above phenomemon was established by Dinh and Sibony. We show that the support of this μFμ_F is disjoint from the normality set of FF. There are many interesting correspondences on P1\mathbb{P}^1 for which dtop(F)≤dtop(†F)d_{top}(F) \leq d_{top}({}^\dagger{F}). Examples are the correspondences introduced by Bullett and collaborators. When dtop(F)≤dtop(†F)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 FF admits a repeller, equidistribution in the above sense holds true.

preprint2014arXiv

Proper holomorphic maps between bounded symmetric domains revisited

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.

preprint2013arXiv

Rigidity of holomorphic maps between fiber spaces

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 XX and YY, a degree-one holomorphic map f:Y→Xf: Y\to X is a biholomorphism. Given that the real manifolds underlying XX and YY are diffeomorphic, we provide a condition under which ff 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=X1×X2X=X_1\times X_2 and Y=Y1×Y2Y=Y_1\times Y_2 of compact connected complex manifolds. When X1X_1 is a Riemann surface of genus ≥2\geq 2, we show that any non-constant holomorphic map F:Y→XF:Y\to X is of a special form.

preprint2011arXiv

Model pseudoconvex domains and bumping

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 bumping 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 bumping, are realised. When Ω\subset C^n, n\geq 3, it is, in general, hard to meet the last two requirements. Such well-controlled bumping 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 bumping.

preprint2011arXiv

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

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.

preprint2011arXiv

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

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.

preprint2010arXiv

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

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.

preprint2009arXiv

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

We study diagonal estimates for the Bergman kernels of certain model domains in C2\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.

preprint2008arXiv

Plurisubharmonic polynomials and bumping

We wish to study the problem of bumping 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 bumping, are explicitly realised. Generally, when Ω\subset C^n, n\geq 3, the known methods lead to bumpings with high orders of contact -- which are not explicitly known either -- at the site of the bumping. 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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.