Related papers: A brief proof of Bochner's tube theorem and a gene…
In this article, we introduce special domains and discuss the geometry of these domains, which includes showing that every pseudoconvex truncated tube domain is a special domain. Next, we prove a theorem for the envelope of special domains…
Let $\,G/K\,$ be a non-compact irreducible Hermitian symmetric space of rank $\,r\,$ and let $\,NAK\,$ be an Iwasawa decomposition of $\,G$. By the polydisc theorem, $\,AK/K\,$ can be regarded as the base of an $\,r$-dimensional tube domain…
A generalization of the Hartogs theorem is proved for a class of Tubes structures. We assume that the intervening commutative Lie algebra admits at least a number of globally solvable generators greater or equal to the structure…
A new proof of Oka's lemma is given for smoothly bounded, pseudoconvex domains $D\subset\mathbb{C}^n$. The method of proof is then also applied to other convexity-like hypotheses on the boundary of $D$.
A direct proof of Oka's lemma on the relation of holomorphic convexity and the properties of the distance to the boundary function is provided. Some related problems for subharmonicity properties of this function are also studied. A new…
As an application of the Bochner formula, we prove that if a $2$-dimensional Riemannian manifold admits a non-trivial smooth tangent vector field $X$ then its Gauss curvature is the divergence of a tangent vector field, constructed from…
We give an alternative representation of the closure of the Bochner transform of a holomorphic almost periodic mapping in a tube domain. For such mappings we introduce a new notion of amoeba and we show that, for mappings which are regular…
The present article is concerned with a group of problems raised by J. Noguchi and M. Jarnicki/P. Plug, namely whether the envelopes of holomorphy of truncated tube domains are always schlicht, i.e. subdomains of $\mathbb{C^n}$, and how to…
We propose a variant of Cauchy's Lemma, proving that when a convex chain on one sphere is redrawn (with the same lengths and angles) on a larger sphere, the distance between its endpoints increases. The main focus of this work is a…
An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local'…
Menger's Edge Theorem asserts that there exist $k$ pairwise edge-disjoint paths between two vertices in an undirected graph if and only if a deletion of any $k-1$ or less edges does not disconnect these two vertices. Alternatively, there…
In this paper we establish a gap theorem for the complex geometry of smoothly bounded convex domains which informally says that if the complex geometry near the boundary is close to the complex geometry of the unit ball, then the domain…
In this note we introduce a pseudometric on convex planar curves based on distances between normal lines and show its basic properties. Then we use this pseudometric to give a short proof of the theorem by Pinchasi that the sum of…
A theorem of Tietze and Nakamija, from 1928, asserts that if a subset X of R^n is closed, connected, and locally convex, then it is convex. We give an analogous "local to global convexity" theorem when the inclusion map of X to R^n is…
We present a concise proof for the supporting hyperplane theorem. We then observe that the proof not only establishes the supporting hyperplane theorem but also extends it to a hyperplane separation theorem for certain non-convex sets. The…
We show that if $Y_j\subset \mathbb{C}^{n_j}$ is a bounded strongly convex domain with $C^3$-boundary for $j=1,\dots,q$, and $X_j\subset \mathbb{C}^{m_j}$ is a bounded convex domain for $j=1,\ldots,p$, then the product domain $\prod_{j=1}^p…
We prove (and improve) the Muir-Suffridge conjecture for holomorphic convex maps. Namely, let $F:\mathbb B^n\to \mathbb C^n$ be a univalent map from the unit ball whose image $D$ is convex. Let $\mathcal S\subset \partial \mathbb B^n$ be…
We say two $\delta$-tubes (dimension $\delta\times\cdots\times\delta\times1$) in $\mathbb{R}^n$ are essentially distinct if the measure of their intersection is smaller than a half of a single $\delta$-tube. For a collection of essentially…
An oriented link L in a 3-sphere S in complex 2-space is a C-boundary if it bounds a piece of algebraic curve in the 4-ball bounded by S. Using Kronheimer and Mrowka's proof of the Thom Conjecture, we construct many oriented knots which are…
Let us denote by $\mathcal K_n$ the hyperspace of all convex bodies of $\mathbb R^n$ equipped with the Hausdorff distance topology. An affine invariant point $p$ is a continuous and Aff(n)-equivariant map $p:\mathcal K_n\to \mathbb R^n$,…