Search arXivSearch

arXiv subjects

Daowei Ma

Publications and source records attributed to Daowei Ma.

14 recordsLinked to original sources

Pluripolar hulls and convergence sets

The pluripolar hull of a pluripolar set E in $\mathbb{P}^n$ is the intersection of all complete pluripolar sets in $\mathbb{P}^n$ that contain $E$. We prove that the pluripolar hull of each compact pluripolar set in $\mathbb{P}^n$ is $F_\sigma$. The convergence set of a divergent formal power series $f(z_{0}, \dots,z_{n})$ is the set of all "directions" $\xi \in\mathbb{P}^{n}$ along which $f$ is convergent. We prove that the union of the pluripolar hulls of a countable collection of compact pluripolar sets in $\mathbb{P}^n$ is the convergence set of some divergent series $f$. The convergence sets on $\Gamma:=\{[1:z:\psi(z)]: z\in \mathbb{C}\}\subset\mathbb{C}^2\subset\mathbb{P}^2$, where $\psi$ is a transcendental entire holomorphic function, are also studied and we obtain that a subset on $\Gamma$ is a convergence set in $\mathbb{P}^2$ if and only if it is a countable union of compact projectively convex sets, and hence the union of a countable collection of convergence sets on $\Gamma$ is a convergence set.

math.CV

On Convergence Sets of Power Series with Holomorphic Coefficients

We consider convergence sets of formal power series of the form $f(z,t)=\sum_{n=0}^{\infty} f_n(z)t^n$, where $f_n(z)$ are holomorphic functions on a domain $\Omega$ in $\mathbb{C}$. A subset $E$ of $\Omega$ is said to be a convergence set in $\Omega$ if there is a series $f(z,t)$ such that $E$ is exactly the set of points $z$ for which $f(z,t)$ converges as a power series in a single variable $t$ in some neighborhood of the origin. A $\sigma$-convex set is defined to be the union of a countable collection of polynomially convex compact subsets. We prove that a subset of $\mathbb{C}$ is a convergence set if and only if it is $\sigma$-convex.

math.CV

On strict Whitney arcs and $t$-quasi self-similar arcs

A connected compact subset $E$ of $\mathbb{R}^N$ is said to be a strict Whitney set if there exists a real-valued $C^1$ function $f$ on $\mathbb{R}^N$ with $\nabla f|_E\equiv 0$ such that $f$ is constant on no non-empty relatively open subsets of $E$. We prove that each self-similar arc of Hausdorff dimension $s>1$ in $\mathbb{R}^N$ is a strict Whitney set with criticality $s$. We also study a special kind of self-similar arcs, which we call "regular" self-similar arcs. We obtain necessary and sufficient conditions for a regular self-similar arc $\Lambda$ to be a $t$-quasi-arc, and for the Hausdorff measure function on $\Lambda$ to be a strict Whitney function. We prove that if a regular self-similar arc has "minimal corner angle" $\theta_{\min}>0$, then it is a 1-quasi-arc and hence its Hausdorff measure function is a strict Whitney function. We provide an example of a one-parameter family of regular self-similar arcs with various features. For some value of the parameter $\tau$, the Hausdorff measure function of the self-similar arc is a strict Whitney function on the arc, and hence the self-similar arc is an $s$-quasi-arc, where $s$ is the Hausdorff dimension of the arc. For each $t_0\ge 1$, there is a value of $\tau$ such that the corresponding self-similar arc is a $t$-quasi-arc for each $t>t_0$, but it is not a $t_0$-quasi-arc. For each $t_0>1$, there is a value of $\tau$ such that the corresponding self-similar arc is a $t_0$-quasi-arc, but it is a $t$-quasi-arc for no $t\in [1, t_0)$.

math.MG

On Convergence Sets of Formal Power Series

The (projective) convergence set of a divergent formal power series $f(x_{1},...,x_{n})$ is defined to be the image in $\PP^{n-1}$ of the set of all $x\in \mathbb{C}^{n}$ such that $f(x_{1}t,...,x_{n}t)$, as a series in $t$, converges absolutely near $t=0$. We prove that every countable union of closed complete pluripolar sets in $\PP^{n-1}$ is the convergence set of some divergent series $f$. The (affine) convergence sets of formal power series with polynomial coefficients are also studied. The higher-dimensional results of A. Sathaye, P. Lelong, N. Levenberg and R.E. Molzon, and of J. Ribón are thus generalized.

math.CV

Nonlinear Convergence Sets of Divergent Power Series

A nonlinear generalization of convergence sets of formal power series, in the sense of Abhyankar-Moh, is introduced. Given a family y=ϕ_{s}(t,x)=sb_{1}(x)t+b_{2}(x)t^{2}+... of analytic curves in C\timesC^{n} passing through the origin, Conv_ϕ(f) of a formal power series f(y,t,x)\inC[[y,t,x]] is defined to be the set of all s\inC for which the power series f(ϕ_{s}(t,x),t,x) converges as a series in (t,x). We prove that for a subset E\subsetC there exists a divergent formal power series f(y,t,x)\inC[[y,t,x]] such that E=Conv_ϕ(f) if and only if E is a F_{σ} set of zero capacity. This generalizes the results of P. Lelong and A. Sathaye for the linear case ϕ_{s}(t,x)=st.

math.CV

Holomorphic functions on subsets of C

Let $Γ$ be a $C^\infty $ curve in $\Bbb{C}$ containing 0; it becomes $Γ_θ$ after rotation by angle $θ$ about 0. Suppose a $C^\infty $ function $f$ can be extended holomorphically to a neighborhood of each element of the family $\{Γ_θ\}$. We prove that under some conditions on $Γ$ the function $f$ is necessarily holomorphic in a neighborhood of the origin. In case $Γ$ is a straight segment the well known Bochnak-Siciak Theorem gives such a proof for \textit{real analyticity}. We also provide several other results related to testing holomorphy property on a family of certain subsets of a domain in $\Bbb{C}$.

math.CV

Osgood-Hartogs type properties of power series and smooth functions

We study the convergence of a formal power series of two variables if its restrictions on curves belonging to a certain family are convergent. Also analyticity of a given $C^\infty $ function $f$ is proved when the restriction of $f$ on analytic curves belonging to some family is analytic. Our results generalize two known statements: a theorem of P. Lelong and the Bochnak-Siciak Theorem. The questions we study fall into the category of "Osgood-Hartogs-type" problems.

math.CV

Testing holomorphy on curves

For a domain $D\subset {\Bbb{C}}^n$ we construct a continuous foliation of $D$ into one real dimensional curves such that any function $f\in {C^1(D)}$ which can be extended holomorphically into some neighborhood of each curve in the foliation will be holomorphic on $D$.

math.CV

Fixed points and Determining Sets for Holomorphic Self-Maps of a Hyperbolic Manifold

We study fixed point sets for holomorphic automorphisms (and endomorphisms) on complex manifolds. The main object of our interest is to determine the number and configuration of fixed points that forces an automorphism (endomorphism) to be the identity. These questions have been examined in a number of papers for a bounded domain in ${\Bbb C}^n$. Here we resolve the case for a general finite dimensional hyperbolic manifold. We also show that the results for non-hyperbolic manifolds are notably different.

math.CV

Isolated fixed point sets for holomorphic maps

We study discrete fixed point sets of holomorphic self-maps of complex manifolds. The main attention is focused on the cardinality of this set and its configuration. As a consequence of one of our observations, a bounded domain in ${\Bbb C}^n$ with no non-trivial holomorphic retractions is constructed.

math.CV

Properties of Fixed Point Sets and a Characterization of the Ball in ${\Bbb C}^n$

We study the fixed point sets of holomorphic self-maps of a bounded domain in ${\Bbb C}^n$. Specifically we investigate the least number of fixed points in general position in the domain that forces any automorphism (or endomorphism) to be the identity. We have discovered that in terms of this number one can give the necessary and sufficient condition for the domain to be biholomorphic to the unit ball. Other theorems and examples generalize and complete previous results in this area, especially the recent work of Jean-Pierre Vigué.

math.CV

Characterization of the Hilbert ball by its Automorphisms

We show in this paper that every domain in a separable Hilbert space, say $\cH$, which has a $C^2$ smooth strongly pseudoconvex boundary point at which an automorphism orbit accumulates is biholomorphic to the unit ball of $\cH$. This is the complete generalization of the Wong-Rosay theorem to a separable Hilbert space of infinite dimension. Our work here is an improvement from the preceding work of Kim/Krantz [KIK] and subsequent improvement of Byun/Gaussier/Kim [BGK] in the infinite dimensions.

math.CV

Perturbation of domains and automorphism groups

The paper is devoted to the description of changes of the structure of the holomorphic automorphism group of a bounded domain in ${\Bbb C}^n$ under small perturbation of this domain in the Hausdorff metric. We consider a number of examples when an arbitrary small perturbation can lead to a domain with a larger group, present theorems concerning upper semicontinuity property of some invariants of automorphism groups. We also prove that the dimension of an abelian subgroup of the automorphism group of a bounded domain in ${\Bbb C}^n$ does not exceed $n$.

math.CV

Upper semicontinuity of the dimensions of automorphism groups of domains in $C^n$

Let $H^n$ be the metric space of all bounded domains in $C^n$ with the metric equal to the Hausdorff distance between boundaries of domains. We prove that the dimension of the group of automorphisms of domains is an upper semicontinuous function on $\H^n$. We also provide theorems and examples regarding the change in topological structure of these groups under small perturbation of a domain in $H^n$.

math.CV