BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Gautam Bharali appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We investigate the question of whether a non-constant absolutely continuous path can be reparametrized to be of unit speed with respect to the Kobayashi metric and be absolutely continuous. Even when the answer is "Yes," which isn't always the case, its proof involves some subtleties. We answer the above question and discuss several applications.
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.
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.
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 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.
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.
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.
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.
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.
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.
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.
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.