-
Visibility property in one and several variables and its applications
Authors:
Vikramjeet Singh Chandel,
Sushil Gorai,
Anwoy Maitra,
Amar Deep Sarkar
Abstract:
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 hol…
▽ More
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.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Uniform approximation on certain polynomial polyhedra in $\mathbb{C}^2$
Authors:
Sushil Gorai,
Golam Mostafa Mondal
Abstract:
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 polynomial…
▽ More
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.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Uniform algebras and distinguished varieties
Authors:
Sushil Gorai,
Golam Mostafa Mondal
Abstract:
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…
▽ More
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.
△ Less
Submitted 10 September, 2023;
originally announced September 2023.
-
A study of spirallike domains: polynomial convexity, Loewner chains and dense holomorphic curves
Authors:
Sanjoy Chatterjee,
Sushil Gorai
Abstract:
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 prov…
▽ More
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.
△ Less
Submitted 11 July, 2023;
originally announced July 2023.
-
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.
-
Polynomial convexity of compacts that lies in certain Levi-flat hypersurfaces in $\mathbb{C}^2$
Authors:
Sushil Gorai,
Golam Mostafa Mondal
Abstract:
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 p…
▽ More
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.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
Approximations on Spirallike domains of $\mathbb{C}^{n}$
Authors:
Sanjoy Chatterjee,
Sushil Gorai
Abstract:
In this paper, we first show that any domain $\Om$ in $\cn(n \geq 2)$, which is spirallike with respect to a complete holomorphic globally asymptotic stable vector field $F$, is a Runge domain. Next, we prove an Andersén-Lempert type approximation theorem: any biholomorphism $Φ\colon \Om \to Φ(\Om)$, with $Φ(\Om)$ is Runge, can be approximated by automorphisms of $\mathbb{C}^{n}$ uniformly on comp…
▽ More
In this paper, we first show that any domain $\Om$ in $\cn(n \geq 2)$, which is spirallike with respect to a complete holomorphic globally asymptotic stable vector field $F$, is a Runge domain. Next, we prove an Andersén-Lempert type approximation theorem: any biholomorphism $Φ\colon \Om \to Φ(\Om)$, with $Φ(\Om)$ is Runge, can be approximated by automorphisms of $\mathbb{C}^{n}$ uniformly on compacts, in the following two cases.
\begin{itemize}
\item [(i)] The domain $\Om\subset\cn$ is a spirallike with respect to a linear vector field $A$, where $2\max\{\rlλ:λ\inσ(A)\}<\min\{\rlλ:λ\inσ(A)\}$.
\item [(ii)] The domain $\Om$ is spirallike with respect to complete globally exponentially stable vector field $F$, with a certain rate of the convergence of the flow of the vector field $F$ in $\Om $
\end{itemize}
We further show that, if $J(Φ) \equiv 1$ (and $div(F)$ is constant in the situation (ii)) then the biholomorphism $Φ\colon \Om \to Φ(\Om)$ can be approximated by volume preserving automorphism of $\cn$ in both the cases mentioned above. As an application of our approximation results, we show that any Loewner PDE in a complete hyperbolic domain $\Om$ which satisfies (i) or (ii) mentioned above admits an essentially unique univalent solution with values in $\cn$. We also provide an example of a Hartogs domain in $\mathbb{C}^{2}$ which spirallike with respect to a complete holomorphic vector field $F(z_{1},z_{2})=(-2z_{1},-3z_{2}+z_{1}z_{2})$, but the domain is not spirallike with respect to any linear vector field. Some more examples are provided at the end of this paper.
△ Less
Submitted 4 March, 2024; v1 submitted 23 August, 2022;
originally announced August 2022.
-
Some observations concerning polynomial convexity
Authors:
Sushil Gorai
Abstract:
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$ an…
▽ More
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)$.
△ Less
Submitted 9 September, 2019;
originally announced September 2019.
-
Certain smooth real surfaces in $\mathbb{C}^2$ with singularity
Authors:
Sushil Gorai
Abstract:
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\},\;…
▽ More
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\dfrac{\sqrt{15-\sqrt{33}}}{2\sqrt{2}}=1.076...$. We show that, for $\sqrt{3}/2\leq t<1$, the local hull of $M_t$ contains a one parameter family of analytic discs passing through the origin. We also show that local polynomial convexity of the union of finitely many pairwise transverse totally-real submanifolds of $\mathbb{C}^n$ at the origin (their intersection) implies local polynomial convexity of the union of their sufficiently small $\mathscr{C}^1$-perturbation at their intersection, the origin. Some new results about the local polynomial convexity of the union of three totally-real planes are also reported.
△ Less
Submitted 4 March, 2024; v1 submitted 9 September, 2019;
originally announced September 2019.
-
Contractively embedded invariant subspaces
Authors:
Sushil Gorai,
Jaydeb Sarkar
Abstract:
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$.
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$.
△ Less
Submitted 24 March, 2018;
originally announced March 2018.
-
On polynomial convexity of compact subsets of totally-real submanifold in $\mathbb{C}^n$
Authors:
Sushil Gorai
Abstract:
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 defini…
▽ More
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$.
△ Less
Submitted 27 April, 2015;
originally announced April 2015.
-
Characterizations of Symmetrized Polydisc
Authors:
Sushil Gorai,
Jaydeb Sarkar
Abstract:
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…
▽ More
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$.
△ Less
Submitted 11 March, 2015;
originally announced March 2015.
-
On Quotient modules of $H^2(\mathbb{D}^n)$: Essential Normality and Boundary Representations
Authors:
B. Krishna Das,
Sushil Gorai,
Jaydeb Sarkar
Abstract:
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}_θ =…
▽ More
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.
△ Less
Submitted 7 May, 2018; v1 submitted 21 October, 2014;
originally announced October 2014.
-
Function theory and holomorphic maps on symmetric products of planar domains
Authors:
Debraj Chakrabarti,
Sushil Gorai
Abstract:
We show that the $\bar{\partial}$-problem is globally regular on a domain in $\mathbb{C}^n$, which is the $n$-fold symmetric product of a smoothly bounded planar domain. Remmert-Stein type theorems are proved for proper holomorphic maps between equidimensional symmetric products and proper holomorphic maps from cartesian products to symmetric products. It is shown that proper holomorphic maps betw…
▽ More
We show that the $\bar{\partial}$-problem is globally regular on a domain in $\mathbb{C}^n$, which is the $n$-fold symmetric product of a smoothly bounded planar domain. Remmert-Stein type theorems are proved for proper holomorphic maps between equidimensional symmetric products and proper holomorphic maps from cartesian products to symmetric products. It is shown that proper holomorphic maps between equidimensional symmetric products of smooth planar domains are smooth up to the boundary
△ Less
Submitted 17 July, 2013;
originally announced July 2013.
-
Localisation of Numerical Date Field in an Indian Handwritten Document
Authors:
S Arunkumar,
Pallab Kumar Sahu,
Sudeep Gorai,
Kalyan Ghosh
Abstract:
This paper describes a method to localise all those areas which may constitute the date field in an Indian handwritten document. Spatial patterns of the date field are studied from various handwritten documents and an algorithm is developed through statistical analysis to identify those sets of connected components which may constitute the date. Common date patterns followed in India are considere…
▽ More
This paper describes a method to localise all those areas which may constitute the date field in an Indian handwritten document. Spatial patterns of the date field are studied from various handwritten documents and an algorithm is developed through statistical analysis to identify those sets of connected components which may constitute the date. Common date patterns followed in India are considered to classify the date formats in different classes. Reported results demonstrate promising performance of the proposed approach
△ Less
Submitted 9 November, 2012;
originally announced November 2012.
-
On the polynomial convexity of the union of more than two totally-real planes in C^2
Authors:
Sushil Gorai
Abstract:
In this paper we shall discuss local polynomial convexity at the origin of the union of finitely many totally-real planes through $0 \in\mathbb{C}^2$. The planes, say $P_0,..., P_N$, satisfy a mild transversality condition that enables us to view them in Weinstock normal form, i.e. $P_0=\mathbb{R}^2$ and $P_j=M(A_j):=(A_j+i\mathbb{I})\mathbb{R}^2$, $j=1,...,N$, where each $A_j$ is a $2\times 2$ ma…
▽ More
In this paper we shall discuss local polynomial convexity at the origin of the union of finitely many totally-real planes through $0 \in\mathbb{C}^2$. The planes, say $P_0,..., P_N$, satisfy a mild transversality condition that enables us to view them in Weinstock normal form, i.e. $P_0=\mathbb{R}^2$ and $P_j=M(A_j):=(A_j+i\mathbb{I})\mathbb{R}^2$, $j=1,...,N$, where each $A_j$ is a $2\times 2$ matrix with real entries. Weinstock has solved the problem completely for N=1 (in fact, for pairs of transverse, maximally totally-real subspaces in $\mathbb{C}^n\, \forall n\geq 2$). Using a characterization of simultaneous triangularizability of $2\times 2$ matrices over the reals, given by Florentino, we deduce a sufficient condition for local polynomial convexity of the union of the above planes at $0\in \mathbb{C}^2$. Weinstock's theorem for $\mathbb{C}^2$ occurs as a special case of our result. The picture is much clearer when N=2. For three totally-real planes, we shall provide an open condition for local polynomial convexity of the union. We shall also argue the optimality (in an appropriate sense) of the conditions in this case.
△ Less
Submitted 30 August, 2011; v1 submitted 29 August, 2011;
originally announced August 2011.
-
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.
-
Local polynomial convexity of the union of two totally real surfaces at their intersection
Authors:
Sushil Gorai
Abstract:
We consider the following question: Let $S_1$ and $S_2$ be two smooth, totally-real surfaces in $\mathbb{C}^2$ that contain the origin. If the union of their tangent planes is locally polynomially convex at the origin, then is $S_1 \cup S_2$ locally polynomially convex at the origin? If $T_0S_1 \cap T_0S_2=\{0\}$, then it is a folk result that the answer is yes. We discuss an obstruction to the pr…
▽ More
We consider the following question: Let $S_1$ and $S_2$ be two smooth, totally-real surfaces in $\mathbb{C}^2$ that contain the origin. If the union of their tangent planes is locally polynomially convex at the origin, then is $S_1 \cup S_2$ locally polynomially convex at the origin? If $T_0S_1 \cap T_0S_2=\{0\}$, then it is a folk result that the answer is yes. We discuss an obstruction to the presumed proof, and provide a different approach. When dimension of $T_0S_1 \cap T_0S_2$ over the field of real numbers is 1, we present a geometric condition under which no consistent answer to the above question exists. We then discuss conditions under which we can expect local polynomial convexity.
△ Less
Submitted 25 March, 2010;
originally announced March 2010.