# On convergence sets of formal power series

- Daowei Ma
^{1}Email author and - Tejinder S. Neelon
^{2}

**1**:4

https://doi.org/10.1186/s40627-015-0004-4

© Ma and Neelon. 2015

**Received: **10 March 2015

**Accepted: **16 March 2015

**Published: **9 September 2015

## Abstract

The convergence set of a divergent formal power series \(f(x_{0},\dots ,x_{n})\) is the set of all “directions” \(\xi \in \)
\(\mathbb {P}^{n}\) along which *f* is absolutely convergent. We prove that every countable union of closed complete pluripolar sets in \(\mathbb {P}^{n}\) 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 analogs of the results of Sathaye (J Reine Angew Math 283:86–98, 1976), Lelong (Proc Am Math Soc 2:11–19, 1951), Levenberg and Molzon (Math Z 197:411–420, 1988), and of Ribón (Ann Scuola Norm Sup Pisa Cl Sci (5) 3:657–680 2004) are obtained.

## Keywords

## Mathematics Subject Classification

## 1 Background

A formal power series \(f(x_{0},x_{1},\dots ,x_{n})\) with coefficients in \(\mathbb {C}\) is said to be convergent if it converges absolutely in a neighborhood of the origin in \(\mathbb {C}^{n+1}\). A classical result of Hartogs (see [5]) states that a series *f* converges if and only if \(f_{z}(t):=\)
\(f(z_{0}t,z_{1}t,\dots ,\)
\(z_{n}t)\) converges, as a series in *t*, for all \(z\in \mathbb {C}^{n+1}\). This can be interpreted as a formal analog of Hartogs’ theorem on separate analyticity. Because a divergent power series still may converge in certain directions, it is natural and desirable to consider the set of all \(z\in \mathbb {C}^{n+1}\) for which \( f_{z} \) converges. Since \(f_{z}(t)\) converges if and only if \(f_{w}(t)\) converges for all \(w\in \mathbb {C}^{n+1}\) on the affine line through *z*, ignoring the trivial case \(z=0,\) the set of directions along which *f* converges can be identified with a subset of \(\mathbb {P}^{n}.\) The convergence set \({\text {Conv}}(f)\) of a divergent power series *f* is defined to be the set of all directions \(\xi \in \mathbb {P}^{n}\) such that \(f_{z}(t)\) is convergent for some \(z\in \pi ^{-1}(\xi )\), where \(\pi : \mathbb {C}^{n+1}\backslash \{0\}\rightarrow \mathbb {P}^{n}\) is the natural projection. For the case \(n=1\), Lelong [9] proved that the convergence set of a divergent series \(f(x_{1},x_{2})\) is an \(F_{\sigma }\) polar set (i.e. a countable union of closed sets of vanishing logarithmic capacity) in \(\mathbb {P}^{1}\), and moreover, every \(F_{\sigma }\) polar subset of \(\mathbb {P}^{1}\) is contained in the convergence set of a divergent series \(f(x_{1},x_{2})\). The optimal result was later obtained by Sathaye (see [16]) who showed that the class of convergence sets of divergent power series \(f(x_{1},x_{2})\) is precisely the class of \(F_{\sigma }\) polar sets in \(\mathbb {P}^{1}\). To study the collection \({\text {Conv}}(\mathbb {P}^{n})\) of convergence sets of divergent series in higher dimensions we consider the class \({\text {PSH}}_{\omega }(\mathbb {P} ^{n})\) of \(\omega \)-plurisubharmonic functions on \(\mathbb {P}^{n}\) with respect to the form \(\omega :=dd^{c}\log |Z|\) on \(\mathbb {P}^{n}\). We show that \({\text {Conv}}(\mathbb {P}^{n})\) contains projective hulls of compact pluripolar sets and countable unions of projective varieties. We prove that each convergence set (of divergent power series) is a countable union of projective hulls of compact pluripolar sets. Our main result states that a countable union of closed complete pluripolar sets in \(\mathbb {P}^{n}\) belongs to \({\text {Conv}}(\mathbb {P}^{n})\). This generalizes the results of Lelong [9], Levenberg and Molzon [10], and Sathaye [16]. Our line of approach was inspired by [16], and influenced by the methods developed in [10, 13, 15].

*f*(

*t*,

*x*) is defined to be the set of all \(x\in \mathbb {C}^{n}\) for which

*f*(

*t*,

*x*) is convergent as a series in

*t*. We prove that a countable union of closed complete pluripolar sets is an affine convergence set.

## 2 Pluripolar sets in \(\mathbb {C}^{n}\)

Let \(\mathbb {C}[[x]]:=\mathbb {C}[[x_{1},\dots ,x_{n}]]\) denote the ring of formal power series with complex coefficients in *n* indeterminates \(x_1,\dots , x_n\). Let \(\mathbb {C}\{x\}\) be the ring of all power series \(f(x)\in \mathbb {C}[[x]]\ \) that are absolutely convergent in a neighborhood of the origin in \(\mathbb {C}^{n}\).

Let \(\mathcal {H}(\mathbb {C}^{n})\) denote the set of all homogeneous polynomials (including the zero polynomial) in \(x_1,\dots , x_n\) with complex coefficients. For \(k\ge 0\) let \(\mathcal {H}_k(\mathbb {C}^{n})\) denote set of \(p\in \mathcal H(\mathbb {C}^n)\) such that \(p=0\) or *p* is homogeneous of degree *k*. So each \(\mathcal H_k(\mathbb {C}^n)\) is a \(\mathbb {C}\)-vector space and \(\mathcal H(\mathbb {C}^n)=\cup _{k=0}^\infty \mathcal H_k(\mathbb {C}^n)\).

For an integer \(k\ge 0,\) let \(\mathcal {P}_{k}(\mathbb {C}^{n})\) denote the set of polynomials of degree at most *k* in \(x_1,\dots , x_n\) with complex coefficients. For convenience the zero polynomial is considered to have degree \(-1\). So \(\mathcal P_k(\mathbb {C}^n)\) contains 0 and it is a \(\mathbb {C}\)-vector space for \(k\ge 0\). In particular \(\mathcal P_0(\mathbb {C}^n)=\mathbb {C}\).

A Borel^{1} subset *E* of \(\mathbb {C}^{n}\) is said to be pluripolar (polar when \(n=1\)) if for each point \(x\in E\) there is a plurisubharmonic function *u*, \(u\not \equiv -\infty \), defined in a connected neighborhood *U* of *x* in \(\mathbb {C}^{n}\) such that \(u=-\infty \) on \(E\cap U\). A set *E* is said to be globally pluripolar if there is a nonconstant plurisubharmonic function *u* defined on \(\mathbb {C}^{n}\) such that \(E\subset \{y:u(y)=-\infty \}\). A theorem of Josefson (see [7]) states that *E* is pluripolar if and only if *E* is globally pluripolar.

A set \(E\subset \mathbb {C}^n\) is said to be a complete pluripolar set if there is a non-constant plurisubharmonic function *u* defined on \(\mathbb {C}^n\) such that \(E= \{y: u(y)=-\infty \}\). So the set \(\{(0, x_2)\in \mathbb {C}^2: |x_2|<1\}\) and its closure are pluripolar, but they are not complete pluripolar sets. A countable union of pluripolar sets is pluripolar. So the set of rationals in the interval [0, 1] is polar. It is not a complete polar set, because each complete pluripolar set is \(G_\delta \). In \(\mathbb {C}\) each \(G_\delta \) polar set is a complete polar set, which is Deny’s Theorem (see [3]).

A subset *E* of a domain *D* in \(\mathbb {C}^n\) is said to be a complete pluripolar set in *D* if there is a non-constant plurisubharmonic function *u* defined on *D* such that \(E=\{u=-\infty \}\).

###
**Proposition 2.1**

*Let*
*w*
* be a nonconstant plurisubharmonic function defined on a Stein manifold*
\(\Omega \)
*, and let*
\(E=\{w=-\infty \}\)
*. Let*
*v*
* be a continuous, non-negative, plurisubharmonic exhaustion function of*
\(\Omega \)
*. Then there is a plurisubharmonic function*
*u*
* on*
\(\Omega \)
* such that*
\(u\le v\)
* on*
\(\Omega \)
* and*
\(E=\{u=-\infty \}\).

###
*Proof*

*j*, define a function \(u_j\) by

Then \(u_j\) is plurisubharmonic on \(\Omega \) by the gluing theorem. On each compact subset of \(\Omega \), all but a finite number of \(u_j\) are negative. It follows that the sum \(u(x):=\sum _{j=1}^{\infty }2^{-j}u_{j}(x)\) is plurisubharmonic, since the sequence of the partial sums of the series is eventually decreasing. Since \(u_j(x)\le v(x)\) for each *j*, we see that \(u(x)\le v(x)\).

Suppose that \(x\in E\). Then \(w(x)=-\infty \), and \(u_j(x)=v(x)-2^j\) for each *j*. Thus \(u(x)=-\infty \).

*m*such that \(x\in V_m\). Then

###
*Remark*

We got the idea of the proof from Sadullaev (private discussion) and from Bedford and Taylor [2].

For \(x\in \mathbb {C}^{n},\) let \(|x|:=(|x_{1}|^{2}+\cdots +|x_{n}|^{2})^{1/2}\).

###
**Corollary 2.2**

*Let*
*E*
* be a complete pluripolar set in*
\(\mathbb {C}^n\)
*. Then there is a plurisubharmonic function*
*u*
* on*
\(\mathbb {C}^n\)
* such that*
\(u(x)\le (1/2)\log (1+|x|^2)\)
* on*
\(\mathbb {C}^n\)
* and*
\(E=\{u=-\infty \}\).

###
*Remark*

A stronger version of the above corollary appeared in [2].

Let \(B_n\) be the open unit ball in \(\mathbb {C}^n\).

###
**Corollary 2.3**

*Let*
*E*
* be a complete pluripolar set in*
\(B_n\)
*. Then there is a plurisubharmonic function*
*u*
* on*
\(B_n\)
* such that*
\(u(x)\le -\log (1-|x|^2)\)
* on*
\(B_n\)
* and*
\(E=\{u=-\infty \}\).

Corollary 2.2 implies that if *E* is a complete pluripolar set in \(\mathbb {C}^n\) then there is a \(u\in \mathcal L(\mathbb {C}^n)\) such that \(E=\{u=-\infty \}\).

*E*in \(\mathbb {C}^n\) is defined to be

*u*on \(\mathbb {C}^n\) that are \(-\infty \) on

*E*.

*K*of \(\mathbb {C}^n\) we set

*m*is a positive integer, then \(\left\langle P^m(x)\right\rangle _{km}=\left\langle P(x)\right\rangle _{k}\).

###
**Definition 2.4**

For the empty set, we put \(\tau (x,\emptyset ,r)=0\) and \(T(x,\emptyset )=1\). It follows directly from the definition that if \(E\subset F\), then \(\tau (x,E,r)\le \tau (x,F,r)\) and \(T(x,E)\ge T(x,F)\).

###
**Lemma 2.5**

*Let*\(u\in \mathcal L(\mathbb {C}^n)\)

*. Suppose that the set*\(E:=\{u=-\infty \}\)

*is closed. Then for each*\(x\in \mathbb {C}^{n}{\setminus } E\)

*, and each non-empty compact set*\(K\subset E\)

*, we have*

*where*

###
*Proof*

*K*, and that is so small that

*f*be a polynomial in \(y\in \mathbb {C}^n\) and let \(a, \zeta \in \mathbb {C}^n\) with \(\zeta \ne 0\). Assume that \(\log g_\mu \le \mathfrak {R}f\) on the boundary \(\partial D:=\{a+w\zeta : w\in \mathbb {C}, |w|=1\}\) of the disc \(D:=\{a+w\zeta : w\in \mathbb {C}, |w|\le 1\}\), that is, \(g_\mu \le |e^f|\) on \(\partial D\). Since \(u(y+\mu z)- \mathfrak {R}f(y)\) is plurisubharmonic in

*y*, its exponential \(g(y+\mu z)|e^{-f(y)}|\) is plurisubharmonic in

*y*. Hence \(g_\mu |e^{-f}|\) is plurisubharmonic and therefore \(\le 1\) on

*D*, that is, \(\log g_\mu \le \mathfrak {R}f\) on

*D*. This proves that \(\log g_\mu \) is plurisubharmonic. For \(y\in \mathbb {C}^n\),

*h*of \(n+1\) variables such that \(|h(z_{0},z)|^{1/{{\mathrm{deg}}}\, h}\le \phi _{\lambda }(z_{0},z)\;\forall (z_{0},z)\in \mathbb {C}\times \mathbb {C}^{n}\). Since \( \psi _{\lambda }(z)/\sqrt{1+|z|^{2}}\) extends to a continuous function on \( \mathbb {P}^{n}\), it follows that

###
*Remark*

*w*. The stronger equality (2) depends on the fact that \(\psi _\lambda (z)/\sqrt{1+|z|^2}\) extends to a continuous function on \(\mathbb {P}^n\).

###
**Definition 2.6**

A subset *E* of \(\mathbb {C}^n\) is said to have *Property J* (in \(\mathbb {C}^n\)) if for each \(x\in \mathbb {C}^n{\setminus } E\) there is a positive number \(r_x\) such that \(T(x, K\cap E)\ge r_x\) for each compact subset *K* of \(\mathbb {C}^n\).

*E*has Property J and \(x\not \in E\). Let \(K=\{y\in \mathbb {C}^n: |y|\le |x|+1\}\). By (5), \( \langle P_j(x)\rangle _{k_j}>\langle P_j\rangle _{k_j, K\cap E}\) for sufficiently large

*j*, which implies that

*x*does not belong to the closure \(\overline{E}\) of

*E*. It follows that \(\overline{E}{\setminus } E=\emptyset \), and

*E*is closed. Therefore, each set that has Property J must be closed.

###
**Theorem 2.7**

*A subset of*
\(\mathbb {C}^n\)
* has Property J if and only if it is a closed complete pluripolar set*.

###
*Proof*

*E*is a closed complete pluripolar set in \(\mathbb {C}^n\). By Corollary 2.2, there is a \(u\in \mathcal L(\mathbb {C}^n)\) with \(E=\{u=-\infty \}\). Without loss of generality, we assume that \(\sup (u(z)-\frac{1}{2}\log (1+|z|^{2}))=0\). For each point \(x\in \mathbb {C}^n\backslash E\) and each compact set

*K*, one has, by Lemma 2.5, that

*E*has Property J.

*E*is closed. Set \(E_j=E\cap \{z\in \mathbb {C}^n: |z|\le j\}\). Let \(x\in \mathbb {C}^n{\setminus } E\). Then there is a positive number \(r_x\) such that \(T(x, E_j)\ge r_x\) for each positive integer

*j*. Thus there is a sequence \(\{k_j\}\) of positive integers, and a sequence \(\{P_j\}\) of polynomials, with \({{\mathrm{deg}}}P_j\le k_j\), such that

*u*is plurisubharmonic with \(u(z)\le (1/2)\log (1+|z|^2)\) on \(\mathbb {C}^n\), and \(u(x)\ge \log r_x+(1/2)\log (1+|x|^2)\). Let \(y\in E\). Then there is a positive integer

*m*such that \(y\in E_j\) for \(j\ge m\), hence

*E*. Thus

*x*does not belong to the pluripolar hull of

*E*. Therefore, the pluripolar hull of

*E*is

*E*. A Theorem of Zeriahi [17] states that if a pluripolar set

*F*is both \(F_\sigma \) and \(G_\delta \), and if the pluripolar hull of

*F*equals

*F*, then

*F*is a complete pluripolar set. Since

*E*, being a closed set, is both \(G_\delta \) and \(F_\sigma \), it follows that

*E*is a complete pluripolar set. \(\square \)

## 3 Pluripolar sets in \(\mathbb {P}^{n}\)

*z*and is a well-defined function on \(\mathbb {P}^n\). Furthermore, if \(m, k>0\) and \(p\in \mathcal H_k(\mathbb {C}^n)\), then \(\langle p^m(Z)\rangle =\langle p(Z)\rangle \). For a set \(K\subset \mathbb {P}^{n}\), put

###
**Definition 3.1**

Since, for \(k\ge 1\), the set \(H^0(\mathbb {P}^n, \mathcal O(k))\) of global holomorphic sections of the line bundle \(\mathcal O(k)\) is canonically identified with the set \(\mathcal H_k(\mathbb {C}^{n+1})\) of homogeneous polynomials of degree *k*, it follows that the above definition of projective hulls is equivalent to that in [6, p. 607].

Consider an algebraic variety \(K:=\{p=0\}\subset \mathbb {P}^n\), where \(p\in \mathcal H(\mathbb {C}^{n+1})\). Assume that \(Z\not \in K\). Then (7) does not hold since the right side equals 0, which implies that \(Z\not \in \hat{K}\). Thus, \(\hat{K}{\setminus } K\) is empty, and hence *K* is projectively convex. Therefore, each algebraic variety is projectively convex. In particular, each finite set is projectively convex.

###
**Definition 3.2**

A subset *F* of \(\mathbb {P}^n\) is said to be a pluripolar set if for each \(Z\in F\) there is a neighborhood *V* of *Z* in \(\mathbb {P}^n\) and a nonconstant plurisubharmonic function *u* defined on *V* such that *u* is identically \(-\infty \) on \(V\cap F\). A subset *E* of \(\mathbb {P}^n\) is said to be a complete pluripolar set in \(\mathbb {P}^n\) if for each affine open set *U* in \(\mathbb {P}^n\) the set \(U\cap E\) is a complete pluripolar set in *U*.

We emphasize that a compact set *K* in \(\mathbb {P}^n\) is pluripolar if and only if \(\hat{K}\ne \mathbb {P}^n\) (see [6, Corollary 4.4]).

In the above definition, the pluripolar sets and the complete pluripolar sets are defined “locally”, because there are no globally defined nonconstant plurisubharmonic functions on \(\mathbb {P}^n\). It is desirable to have an equivalent definition of (complete) pluripolar sets in terms of some kind of substitutes of plurisubharmonic functions that are globally defined on \(\mathbb {P}^n\). We could use the \(\omega \)-plurisubharmonic functions described below to define pluripolar sets and complete pluripolar sets. Definition 3.2 is to emphasize that the notion of (complete) pluripolar sets is independent of any differential forms.

*u*from an open subset of \(\mathbb {P}^n\) to \(\mathbb {R}\cup \{-\infty \}\) is said to be \(\omega \)-plurisubharmonic if \(dd^c u+\omega \ge 0\) (see, e.g., [4]). Let \({\text {PSH}}_{\omega }(\mathbb {P}^{n})\) denote the family of \(\omega \)-plurisubharmonic functions on \(\mathbb {P}^n\). For a homogeneous polynomial

*p*, the function \(Z\mapsto \log \langle p(Z)\rangle \) is a prototypical function in \({\text {PSH}}_{\omega }(\mathbb {P}^{n})\). Suppose that \(\ell (Z):=a_0Z_0+\cdots +a_nZ_n\) is a linear form and

*Q*is an open subset of \(U_\ell :=\{Z\in \mathbb {P}^n:\ell (Z)\ne 0\}\). Then a function

*u*on

*Q*is \(\omega \)-plurisubharmonic if and only if the function \(u(Z)+\log (|Z|/|\ell (Z)|)\) is plurisubharmonic.

The following proposition can be found in [4] or [6, Theorem 4.3].

###
**Proposition 3.3**

*Let*
*E*
* be a subset of*
\(\mathbb {P}^n\)
*. Then*
*E*
* is pluripolar if and only if there is a function*
\(u\in {\text {PSH}}_\omega (\mathbb {P}^n)\)
*, *
\(u\not \equiv -\infty \)
*, such that*
\(E\subset \{u=-\infty \}\).

###
**Lemma 3.4**

*Suppose that*\(n\ge 2\)

*and*\(H\cong \mathbb {P}^{n-1}\)

*is a hyperplane in*\(\mathbb {P}^n\)

*. Let*

*u*

*be an*\(\omega \)

*-plurisubharmonic function on*

*H*

*. Then there is an*\(\omega \)

*-plurisubharmonic function*

*v*

*on*\(\mathbb {P}^n\)

*such that*

###
*Proof*

*U*of

*O*, we see that \(v(Z)=1+\log (|Z_0|/|Z|)\) on \(U{\setminus } O\), hence \(v(Z)=1+\log (|Z_0|/|Z|)\) on

*U*. It follows that \(v\in {\text {PSH}}_\omega (\mathbb {P}^n)\). Since \(v=w\) on

*H*, and since \(v>-\infty \) on

*U*, it follows that (10) holds. \(\square \)

###
**Proposition 3.5**

*Let *
\(E\subset \mathbb {P}^n\)
*. Then*
*E*
* is a complete pluripolar set in*
\(\mathbb {P}^n\)
* if and only if there is a non-constant*
\(u\in {\text {PSH}}_\omega (\mathbb {P}^n)\)
* such that*
\(E=\{Z: u(Z)=-\infty \}\).

###
*Proof*

*U*be an affine open set, and let \(H=\mathbb {P}^n{\setminus } U=\{Z: \Lambda (Z)=0\}\), where \(\Lambda (Z):=a_0Z_0+a_1Z_1+\cdots +a_nZ_n\) is a linear form. Then \(v(Z):=u(Z)+\log (|Z|/|\Lambda (Z)|)\) is plurisubharmonic on

*U*and

*U*for each affine open set

*U*. Therefore,

*E*is a complete pluripolar set in \(\mathbb {P}^n\).

Conversely, suppose that *E* is a complete pluripolar set in \(\mathbb {P}^n\). For \(j=0,\dots , n\), let \(H_j=\{Z_j=0\}\) and \(U_j=\mathbb {P}^n{\setminus } H_j\). Since \(E\cap U_j\) is a complete pluripolar set in \(U_j\), there is a plurisubharmonic function \(h_j\) on \(U_j\) with \(E\cap U_j=\{Z\in U_j: h_j(Z)=-\infty \}\) and \(h_j(Z)\le \log (|Z|/|Z_j|)\), by Corollary 2.2. The function \(h_j(Z) - \log (|Z|/|Z_j|)\) is a non-positive \(\omega \)-plurisubharmonic function on \(U_j\), which extends uniquely to an \(\omega \)-plurisubharmonic function \(w_j\) on \(\mathbb {P}^n\).

*j*,

*j*, hence

To prove that there is a \(u\in {\text {PSH}}_\omega (\mathbb {P}^n)\) with \(E=\{u=-\infty \}\), we proceed by induction on *n*. Suppose that \(n=1\). If \([0:1]\in E\), let \(v_0=\log (|Z_0|/|Z|)\); if \([0:1]\not \in E\), let \(v_0=0\). Then \(v_0\in {\text {PSH}}_\omega (\mathbb {P}^1)\) and \(\{v_0=-\infty \}=E\cap H_0\). We similarly define \(v_1\in {\text {PSH}}_\omega (\mathbb {P}^1)\) so that \(\{v_1=-\infty \}=E\cap H_1\). Then \(u:=(w+v_0+v_1)/3\) belongs to \({\text {PSH}}_\omega (\mathbb {P}^1)\) and \(\{u=-\infty \}=E\). The statement holds for \(n=1\).

Suppose that \(n\ge 2\) and that the statement holds for \(n-1\). For each *j*, either \(H_j\subset E\), or \(H_j\cap E\) is a complete pluripolar set in \(H_j\). If \(H_0\subset E\), let \(v_0=\log (|Z_0|/|Z|)\). If \(H_0\not \subset E\), then, by the induction hypothesis, there is a \(u_0\in {\text {PSH}}_\omega (H_0)\) with \(\{Z\in H_0: u_0(Z)=-\infty \}=E\cap H_0\), and hence, by Lemma 3.4, there is a \(v_0\in {\text {PSH}}_\omega (\mathbb {P}^n)\) with \(\{Z\in \mathbb {P}^n: v_0(Z)=-\infty \}=E\cap H_0\). Either case, we have \(v_0\in {\text {PSH}}_\omega (\mathbb {P}^n)\) and \(\{v_0=-\infty \}=E\cap H_0\). We similarly obtain \(v_j\) so that \(v_j\in {\text {PSH}}_\omega (\mathbb {P}^n)\) and \(\{v_j=-\infty \}=E\cap H_j\), for each *j*. Then \(u:=(w+v_0+\cdots +v_n)/(n+2)\) belongs to \({\text {PSH}}_\omega (\mathbb {P}^n)\) and \(\{u=-\infty \}=E\), which completes the proof. \(\square \)

Propositions 3.3 and 3.5 can be considered equivalent definitions of pluripolar sets and complete pluripolar sets respectively. Since Definition 3.2 is local, the union of a countable collection of pluripolar sets in \(\mathbb {P}^n\) is pluripolar for the same reason that the corresponding statement is true in affine space. It is a consequence of Propositions 3.3 and 3.5 that each pluripolar set in \(\mathbb {P}^n\) is contained in a complete pluripolar set in \(\mathbb {P}^n\).

Let *E* be a pluripolar set in \(\mathbb {P}^n\). The intersection of all complete pluripolar sets in \(\mathbb {P}^n\) that contain *E* is called the pluripolar hull (see [11]) of *E* (in \(\mathbb {P}^n\)), and is denoted by \(E^*\).

###
**Proposition 3.6**

*Let*
*K be a compact pluripolar set in*
\(\mathbb {P}^n\)
*. Then*
\(\hat{K}\subset K^*\).

###
*Proof*

Let \(X\in {K^*}^c\), the complement of \(K^*\). Then there is a \(u\in {\text {PSH}}_\omega (\mathbb {P}^n)\) with \(u(X)>-\infty \) and \(u|_K\equiv -\infty \). Thus \(L_K(X)=\infty \). It follows that \(\Lambda _K(X)=\infty \), which implies that \(X\in {\hat{K}}^c\), the complement of \(\hat{K}\). Therefore, \({K^*}^c\subset {\hat{K}}^c\), which is equivalent to \(\hat{K}\subset K^*\). \(\square \)

###
**Corollary 3.7**

*Each compact complete pluripolar set in*
\(\mathbb {P}^n\)
* is projectively convex.*

###
*Remark*

The converse to Corollary 3.7 is false. The set \(E:=\{[1:z: e^z]\in \mathbb {P}^2: z\in \mathbb {C}, |z|\le 1\}\) is projectively convex in \(\mathbb {P}^2\) (see [6]), but it is not a complete pluripolar set.

###
**Proposition 3.8**

*Let*
*U be an affine open set in*
\(\mathbb {P}^n\)
*, and let*
*E*
* be a compact complete pluripolar set in*
*U*.* Then*
*E*
* is a complete pluripolar set in*
\(\mathbb {P}^n\).

###
*Proof*

*u*defined on

*U*such that \(E=\{X\in U: u(X)=-\infty \}\) and \(u(Z)=\log (\sqrt{|Z_1|^2+\cdots +|Z_n|^2}/|Z_0|)\) on the set \(\{Z\in U: \sqrt{|Z_1|^2+\cdots +|Z_n|^2}/|Z_0|\ge a\}\). Let

*E*is a complete pluripolar set in \(\mathbb {P}^n\). \(\square \)

## 4 Convergence sets in \(\mathbb {P}^{n}\)

For a given \(f(x)\in \mathbb {C}[[x]]=\mathbb {C}[[x_0,x_1,\dots ,x_n]]\), we are interested in the set of all \( z\in \mathbb {C}^{n+1}\) for which the restriction \(f_{z}(t):=f(z_{0}t,z_{1}t, \dots ,z_{n}t)\in \mathbb {C}\{t\}\). Since for \(\lambda \in \mathbb {C} \backslash \{0\},\) the series \(f_{z}(t)\) and \(f_{\lambda z}\) either both converge or both diverge, it is more appropriate to consider the set of affine lines along which *f* converges. Thus the set of affine lines along which *f* converges can be identified as a subset of the projective space \(\mathbb {P}^{n}\). Since a \(f\in \mathbb {C}[[x]]\) converges if and only if \(f_{z}(t)\in \mathbb {C}\{t\},\forall z\in \mathbb {C}^{n+1}\), our focus will be on the divergent power series.

The convergence set of a power series \(f\in \mathbb {C}[[x]]\), denoted by \({\text {Conv}}(f)\), is the set of all \(Z\in \mathbb {P}^n\) such that \(f_z(t)\in \mathbb {C}\{t\}\) for some (and hence all) \(z\in \pi ^{-1}(Z)\). Then *f* converges if and only if \({\text {Conv}}(f)=\mathbb {P}^n\).

###
**Definition 4.1**

*E*of \(\mathbb {P}^n\) is said to be a convergence set (in \(\mathbb {P}^n\)) if \(E={\text {Conv}}(f)\) for some divergent power series

*f*. Let \({\text {Conv}}(\mathbb {P}^n)\) denote the collection of all convergence sets in \(\mathbb {P}^n\):

Convergence sets were first studied in [1].

###
**Lemma 4.2**

*Suppose that*\(E\subsetneqq \mathbb {P}^{n}\)

*. Then*\(E\in {\text {Conv}}(\mathbb {P}^n)\)

*if and only if there exists a countable family*\(\mathscr {F}\)

*of non-constant homogeneous polynomials in*\(\mathcal H(\mathbb {C}^{n+1})\)

*such that*

###
**Proposition 4.3**

*If*
\(E\in {\text {Conv}}(\mathbb {P}^{n})\)
* and*
\(F\in {\text {Conv}}(\mathbb {P} ^{n})\)
* then*
\(E\cap F\in {\text {Conv}}(\mathbb {P}^{n})\).

###
*Proof*

*E*and

*F*are convergence sets. By Lemma 4.2, there are countable families \(\mathscr {E}\) and \(\mathscr {F}\) of homogeneous polynomials such that

We do not know whether the union of two convergence sets is necessarily a convergence set.

###
**Proposition 4.4**

*Suppose that*
*K*
* is a compact pluripolar subset of*
\(\mathbb {P}^{n}\)
*. Then*
\(\hat{K}\in {\text {Conv}}(\mathbb {P}^{n})\)
*. In particular, each projectively convex compact pluripolar set in*
\(\mathbb {P}^n\)
* is a convergence set*.

###
*Proof*

*K*is a

*compact*pluripolar set, \(\hat{K}\ne \mathbb {P}^n\) (see [6, Corollary 4.4]). Let \(\mathscr {E}\) be the set of polynomials in \(\mathscr {F}\) whose coefficients belong to \(\mathbb {Q}+i\mathbb {Q}\), the set of complex numbers whose real and imaginary parts are rational numbers. Since \(\mathbb {Q}+i\mathbb {Q}\) is dense in \(\mathbb {C}\), we see that

###
*Remark*

Proposition 4.4 is motivated by Theorem 5.6 in [10], which states that if *U* is an affine open set in \(\mathbb {P}^n\) and if *K* is a compact complete pluripolar set in *U* then *K* is the intersection of *U* and a convergence set in \(\mathbb {P}^n\). We observe that the same reasoning which proves that theorem can be applied to prove the more general statement Proposition 4.4. Proposition 4.4 is more general than Theorem 5.6 in [10] because (a) \(\hat{K}\) may be non-compact, (b) \(\hat{K}\) is not necessarily a complete pluripolar set, and (c) \(\hat{K}\) does not have to lie in an affine open set.

###
**Corollary 4.5**

*Each algebraic variety in*
\(\mathbb {P}^n\)
* is a convergence set. In particular, each finite set is a convergence set.*

###
**Theorem 4.6**

*Let*
*E*
* be a convergence set in*
\(\mathbb {P}^{n}\)
*. Then there exists an ascending sequence*
\(\{K_{j}\}\)
* of compact pluripolar sets such that*
\(E=\cup K_j=\cup \hat{K}_{j}\)
*. In particular,*
*E*
* is a pluripolar*
\(F_\sigma \)
* set.*

###
*Proof*

*j*and suppose that \(X\in \hat{K}_{j}\). There is a positive integer \(\ell \) such that

*j*and \(E=\cup _{j}\hat{K}_{j}\). For a compact set \(K\subset \mathbb {P}^n\), \(\hat{K}\ne \mathbb {P}^n\) if and only if

*K*and \(\hat{K}\) are pluripolar (see, e.g., [6, Corollary 4.4]). Since \(E\ne \mathbb {P}^n\), we see that \(K_j\) and \(\hat{K}_j\) are pluripolar for each

*j*. \(\square \)

###
**Lemma 4.7**

*Let*
\(\{K_j\}\)
* be a sequence of compact pluripolar sets in*
\(\mathbb {P}^n\)
* such that*
\(\cup _{j=1}^k K_j\)
* is projectively convex for each*
*k*
*, and let*
\(E=\cup K_j\)
*. Let*
\(\{U_j\}\)
* be a sequence of open sets such that*
\(U_k\supset \cup _{j=1}^k K_j\)
* and*
\(\cap _{j=k}^\infty U_j\subset E\)
* for each*
*k*
*. Then*
\(E\in {\text {Conv}}(\mathbb {P}^n)\).

###
*Proof*

*j*and let \(X\in \Gamma _j\). Since

*X*does not belong to \(E_j\), a projectively convex set, there exists a homogeneous polynomial \(p_{X }\) such that

*k*such that \(X\in E_k\). Thus \(\langle p_{ji}(X)\rangle \le 1\) for \(j\ge k\). Since the set \(\{p_{ji}: j<k, 1\le i\le \ell _j\}\) is finite, we see that

*k*. It follows from (12) that \(X\not \in \Gamma _j\) for \(j\ge k\). Thus \(X\in \cap _{j=k}^\infty U_j\subset E\).

To summarize, \(X\in E\) if and only if (13) holds. By Lemma 4.2, \(E\in {\text {Conv}}(\mathbb {P}^n)\). \(\square \)

###
**Proposition 4.8**

*Let*
\(\{K_{j}\}\)
* be an ascending sequence of projectively convex, compact, pluripolar sets such that*
\(E:=\cup _{j}K_{j}\)
* is*
\(G_{\delta }\)
*. Then*
\(E\in {\text {Conv}}(\mathbb {P}^{n})\).

###
*Proof*

Since *E* is \(G_\delta \), there is a descending sequence \(\{U_{j}\}\) of open sets such that \(E=\cup K_{j}=\cap U_{j}\). It follows from Lemma 4.7 that \(E\in {\text {Conv}}(\mathbb {P}^{n})\). \(\square \)

###
**Proposition 4.9**

*Let*
\(\{K_j\}\)
* be a sequence of pairwise disjoint compact pluripolar sets in*
\(\mathbb {P}^n\)
* such that for each positive integer*
*k*
* the set*
\(\cup _{j=1}^k K_j\)
*is projectively convex. Then*
\(K:=\cup K_j\)
* is a convergence set in*
\(\mathbb {P}^n\).

###
*Proof*

*d*denote a distance function on \(\mathbb {P}^n\) that induces the standard topology. Let

*m*is a positive integer and that \(X\in \cap _{k=m}^\infty U_k\). We claim that

###
**Corollary 4.10**

*Each countable set in*
\(\mathbb {P}^n\)
* is a convergence set*.

###
*Example 4.11*

The set \({\tilde{\mathbb {C}}}\) is a convergence set. To see this, write \({\tilde{\mathbb {C}}}=\cup {\tilde{\Delta }}_j\), where \(\Delta _j=\{z\in \mathbb {C}: |z|\le j\}\). Since \({\tilde{\mathbb {C}}}\) is a \(G_\delta \) set in \(\mathbb {P}^2\) and since each \({\tilde{\Delta }}_j\) is projectively convex, we see that \({\tilde{\mathbb {C}}}\in {\text {Conv}}(\mathbb {P}^2)\) by Proposition 4.8.

###
*Example 4.12*

###
*Example 4.13*

Let *S* be the subset of \(\mathbb {C}\) obtained by removing an open triangle from a closed triangle. Then \({\tilde{S}}\) is a convergence set. This follows from an argument very similar to the previous example.

###
*Example 4.14*

Let *S* be the subset of \(\mathbb {C}\) obtained by removing a finite number of open triangles from a closed triangle. Then \({\tilde{S}}\) is a convergence set. This follows from the previous example and Proposition 4.3.

Let \(\Lambda \) be a closed triangle in \(\mathbb {C}\). The “open middle triangle” of \(\Lambda \) is the open triangle whose vertices are the midpoints of the sides of \(\Lambda \). Let \(V_1\) be the open middle triangle of \(\Lambda \). The set \(\Lambda \backslash V_1\) is the union of three congruent closed triangles. Let \(V_2, V_3, V_4\) denote the open middle triangles of the three closed triangles whose union is \(\Lambda \backslash V_1\). Similarly, let \(V_5,\dots , V_{13}\) denote the open middle triangles of the nine closed triangles whose union is \(\Lambda \backslash \cup _{j=1}^4 V_j\). Continuing in this way, we obtain a sequence \(\{V_j\}\) of open triangles. The set \(E:=\Lambda \backslash \cup _{j=1}^\infty V_j\) is called Sierpiński’s triangle. Let \(E_k=\Lambda \backslash \cup _{j=1}^k V_j\) for \(k=1, 2,\dots \). By Example 4.14, each \({\tilde{E}}_k\) is a convergence set in \(\mathbb {P}^2\). Note that \({\tilde{E}}=\cap _{k=1}^\infty {\tilde{E}}_k\).

###
**Proposition 4.15**

*The set*
\({\tilde{E}}\)
* is not a convergence set*.

###
*Proof*

*m*in three variables \(z_0, z_1, z_2\). Let

*k*. We observe that the set

*E*has the following property: if

*S*is a closed set in the topological space

*E*with nonempty interior, then

*S*contains the sides of a small triangle and hence \(\mathbb {C}{\setminus } S\) is disconnected. It follows that each \(T_k\) has empty interior, which contradicts the Baire category theorem. \(\square \)

Let \(\{{\tilde{E}}_k\}\) be the sequence defined above. Note that each \({\tilde{E}}_k\in {\text {Conv}}(\mathbb {P}^2)\), but \(\cap {\tilde{E}}_k\not \in {\text {Conv}}(\mathbb {P}^2)\).

*M*. Let

Recall that the set \(\Pi \) of all hyperplanes in \(\mathbb {P}^n\) is naturally isomorphic to \(\mathbb {P}^n\). The set of all hyperplanes in \(\mathbb {P}^{n}\) passing through a fixed point is a hyperplane in \(\Pi \).

###
**Lemma 4.16**

*If*
*K is a closed subset of*
\(\mathbb {P}^{n}\)
*contained in an affine open set, and if*
\(\xi \in \mathbb {P}^{n}\)
*, then*
\(K\cup \{\xi \}\)
* is contained in an affine open set.*

###
*Proof*

Let \(R=\{H\in \Pi : H\cap K=\emptyset \}\) and \(S=\{H\in \Pi : \xi \in H\}\). Then *R* is a non-empty open set in \(\Pi \) and *S* is a hyperplane in \(\Pi \). Thus \(R{\setminus } S\) is non-empty. This means that there is a hyperplane *H* with \(H\cap (K\cup \{\xi \})=\emptyset \). Therefore, \(K\cup \{\xi \}\) is contained in the affine open set \(\mathbb {P}^n{\setminus } H\). \(\square \)

###
**Lemma 4.17**

*For each*
\(M>0\)
*, the set*
\(K_M\)
* is contained in an affine open set.*

###
*Proof*

Let \(e_0,\dots , e_n\) be the standard basis of \(\mathbb {C}^{n+1}\), and let \(\varepsilon \) be a sufficiently small positive number. Let \(v_j=e_j+\varepsilon e_{j+1}\) for \(j=0,\dots ,n-1\).

###
**Theorem 4.18**

*The union of a countable collection of closed complete pluripolar sets in*
\(\mathbb {P}^n\)
* is a convergence set in*
\(\mathbb {P}^n\).

###
*Proof*

Let \(\{E_m\}\) be a sequence of closed complete pluripolar sets in \(\mathbb {P}^n\) and let \(E=\cup E_m\). Without loss of generality, we assume that the sequence \(\{E_m\}\) is ascending, since the union of a finite number of closed complete pluripolar sets in \(\mathbb {P}^n\) is a closed complete pluripolar set. Recall that \(\mathbb {P}^n=\cup K_m\), where \(\{K_m\}\) is ascending and each \(K_m\) is a compact set contained in an affine open set. We have \(E=\cup (E_m\cap K_m)\).

*m*, we shall construct a sequence \(\{h_{mk}\}_{k=1}^{\infty }\) of homogeneous polynomials such that for all

*k*,

- (i)
\(\langle h_{mk}\rangle _{K_m\cap E_m}\le 1\),

- (ii)
\(\langle h_{mk}\rangle \le m\),

and

- (iii)
\(\cup _{k=1}^\infty \{X\in \mathbb {P}^{n}:\langle h_{mk}(X)\rangle >m/2\}\supset \mathbb {P}^{n}{\setminus } E_m\).

*m*. Let \(Y\in \mathbb {P}^n{\setminus } E_m\). By Lemmas 4.16 and 4.17, we see that \((K_m\cap E_m)\cup \{Y\}\) is contained in an affine open set

*V*. Since \(V\cap E_m\) is a (relatively) closed complete pluripolar set in \(V\approx \mathbb {C}^n\), the set \(V\cap E_m\) has Property J in

*V*by Theorem 2.7. Hence there is a number

*r*with \(0<r<1\) such that \(\tau (Y, K_m\cap E_m, r)=0\), which means, in terms of homogeneous coordinates, that there is a sequence \(\{p_j\}\) in \(\mathcal H(\mathbb {C}^{n+1})\) such that

*a*,

*b*are positive integers, such that \((r/m)^\beta > 1/2\). There is a homogeneous polynomial \(p\in \mathcal H(\mathbb {C}^{n+1})\) such that

*Y*. The open cover \(\{U_Y: Y\in \mathbb {P}^{n}{\setminus } E_m\}\) of \(\mathbb {P}^{n}{\setminus } E_m\) contains a countable subcover \(\{U_{Y_k}: k=1,2,\dots \}\). Put \(h_{mk}=h_{Y_k}\). Then the sequence \(\{h_{mk}\}\) satisfies (i), (ii) and (iii).

Suppose that \(X\in E\). Then there is an \(m_0\ge 2\) such that \(X\in (E_{m_0}\cap K_{m_0})\). We have \(\langle h_{mk}(X)\rangle \le 1\) for \(m\ge m_0\), and \(\langle h_{mk}(X)\rangle \le m_0-1\) for \(m< m_0\). Hence, \(\sup _{m,k} \langle h_{mk}(X)\rangle \le m_0-1<\infty \).

Suppose that \(X\in \mathbb {P}^n{\setminus } E\). For each *m*, \(X\in \mathbb {P}^n{\setminus } E_m\), hence \(\sup _k \langle h_{mk}(X)\rangle \ge m/2\). Thus \(\sup _{m,k} \langle h_{mk}(X)\rangle =\infty \).

###
**Corollary 4.19**

*The union of a countable collection of algebraic varieties in*
\(\mathbb {P}^n\)
* is a convergence set in*
\(\mathbb {P}^n\).

The converse of Theorem 4.18 is not true. The set \(\Lambda :=\{[1:z:\varphi (z)]: z\in \mathbb {C}, |z|=1\}\) in Example 4.12 is a convergence set, but it is not a countable union of complete pluripolar sets. Recall that \(\varphi \) is a non-polynomial entire function defined on \(\mathbb {C}\). Seeking for a contradiction, suppose that \(\Lambda =\cup F_j\), where \(F_j\) are complete pluripolar sets in \(\mathbb {P}^2\). Let \(Q:=\{[1:z:\varphi (z)]: z\in \mathbb {C}\}\). For each *j*, since \(F_j\subsetneqq Q\), and since \(F_j\) is a complete pluripolar set in \(\mathbb {P}^2\), it follows that \(F_j\) is polar in *Q*. Therefore, \(\Lambda =\cup F_j\) is polar in *Q*, which is false.

## 5 Affine convergence sets

*f*(

*t*,

*x*) converges as a series of a single indeterminate

*t*:

###
**Definition 5.1**

*E*of \(\mathbb {C}^n\) is said to be an affine convergence set (in \(\mathbb {C}^n\)) if \(E={\text {Conv}}_a(f)\) for some divergent power series \(f\in \Lambda _n\). Let \({\text {Conv}}_a(\mathbb {C}^n)\) denote the collection of all affine convergence sets in \(\mathbb {C}^n\):

Affine convergence sets were studied in [12, 13].

Note that if \(x\in {\text {Conv}}_a(f)\) for a divergent series *f* it does not follow that \(\lambda x\in {\text {Conv}}_a(f)\quad \forall \lambda \in \mathbb {C}\), and therefore \(\pi ({\text {Conv}}_a(f))\) in general is not a convergence set in \(\mathbb {P}^{n-1}\).

In analogy with Lemma 4.2, we have the following lemma.

###
**Lemma 5.2**

*Suppose that*\(E\subsetneqq \mathbb {C}^{n}\)

*. Then*\(E\in {\text {Conv}}_a(\mathbb {C}^n)\)

*if and only if there exists a sequence*\(\{k_j\}\subset \mathbb {N}\)

*and a sequence*\(\{P_j\}\)

*of polynomials with*\(P_j\in \mathcal P_{k_j}(\mathbb {C}^n)\)

*for all*

*j*

*such that*

###
**Proposition 5.3**

*Suppose that*
\(E\subsetneqq \mathbb {C}^{n}\)
*. Then*
\(E\in {\text {Conv}}_a(\mathbb {C}^n)\)
* if and only if*
\(\iota (E)=U_0\cap F\)
* for some*
\(F\in {\text {Conv}}(\mathbb {P}^n)\).

For an affine convergence set *E* in \(\mathbb {C}^n\), the set \(\iota (E)\) may or may not be a convergence set in \(\mathbb {P}^n\).

###
*Example 5.4*

Let \(E=\{(x, e^x): x\in \mathbb {C}\}\subset \mathbb {C}^2\). Then the set \(\iota (E)\) equals the set \({\tilde{\mathbb {C}}}\) in Example 4.11 when \(\varphi (x)=e^x\). It follows that \(\iota (E)\) is a convergence set in \(\mathbb {P}^2\), and hence *E* is an affine convergence set in \(\mathbb {C}^2\).

###
*Example 5.5*

Let \(E=\{(x, 0): x\in \mathbb {C}\}\subset \mathbb {C}^2\). Then \(\iota (E)=U_0\cap H\), where \(H=\{[Z_0:Z_1:Z_2]: Z_2=0\}\). Since *H* is a convergence set in \(\mathbb {P}^2\) by Corollary 4.5, we see that *E* is an affine convergence set in \(\mathbb {C}^2\). Since *H* is a copy of \(\mathbb {P}^1\), it follows from Theorem 4.6 that for each convergence set *Q* in \(\mathbb {P}^2\), either \(H\subset Q\), or \(H\cap Q\) is polar in *H*. Therefore, \(\iota (E)=U_0\cap H\) is not a convergence set in \(\mathbb {P}^2\).

*K*of \(\mathbb {C}^n\), let

*K*minus the part at \(\infty \). Equivalently, \(\hat{K}_a\) is the set of all \(x\in \mathbb {C}^n\) for which there is a constant \(C=C_x>0\) such that \(\langle P(x)\rangle _j\le C\langle P\rangle _{j,K}\) for all \(j\in \mathbb {N}\) and all \(P\in \mathcal P_j(\mathbb {C}^n)\).

###
**Theorem 5.6**

*Let*
*E*
* be an affine convergence set in*
\(\mathbb {C}^{n}\)
*. Then there exists an ascending sequence*
\(\{K_{j}\}\)
* of compact pluripolar sets such that*
\(E=\cup K_j=\cup \hat{K}_{j,a}\)
*. In particular,*
*E*
* is a pluripolar*
\(F_\sigma \)
* set*.

###
**Theorem 5.7**

*The union of a countable collection of closed complete pluripolar sets in*
\(\mathbb {C}^n\)
* is an affine convergence set in*
\(\mathbb {C}^n\).

###
**Corollary 5.8**

*The union of a countable collection of analytic varieties in*
\(\mathbb {C}^n\)
* is an affine convergence set in*
\(\mathbb {C}^n\).

###
**Corollary 5.9**

*The finite sets and the countable sets in*
\(\mathbb {C}^n\)
* are affine convergence sets*.

The proofs of Theorems 5.6 and 5.7 are routine modifications of the respective proofs of Theorems 4.6 and 4.18. Note that Theorem 5.7 is not a consequence of Theorem 4.18, since a complete pluripolar set in an affine open set in \(\mathbb {P}^n\) in general does not extend to a complete pluripolar set in \(\mathbb {P}^n\).

## Declarations

### Authors’ contributions

DM and TSN discussed the topic and obtained the results and proofs. DM wrote the first and the third versions, while TSN wrote the second version. Both authors read and approved the final manuscript.

### Acknowledgements

We thank the referee for his comments and suggestions that greatly improved the paper. We thank B. Fridman, N. Levenberg, J. Ribón and A. Sadullaev for helpful discussions. We are very grateful to E. Poletsky for patiently answering our many questions.

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## Authors’ Affiliations

## References

- Abhyankar, S.S., Moh, T.T.: A reduction theorem for divergent power series. J. Reine Angew. Math.
**241**, 27–33 (1970)MATHMathSciNetGoogle Scholar - Bedford, E., Taylor, B.A.: Plurisubharmonic functions with logarithmic singularities. Ann. Inst. Fourier (Grenoble)
**38**(4), 133–171 (1988)MATHMathSciNetView ArticleGoogle Scholar - Deny, J.: Sur les infinis d’un potentiel. C. R. Acad. Sci. Paris Sér. I Math.
**224**, 524–525 (1947)MATHMathSciNetGoogle Scholar - Guedj, V., Zeriahi, A.: Intrinsic capacities on compact Kähler manifolds. J. Geom. Anal.
**15**, 607–639 (2005)MATHMathSciNetView ArticleGoogle Scholar - Hartogs, F.: Zur Theorie der analytischen Funktionen mehrerer unabhängiger Veränderlichen. Math. Ann.
**62**, 1–88 (1906)MATHMathSciNetView ArticleGoogle Scholar - Harvey, F.R., Lawson, B.: Projective hulls and projective Gelfand transform. Asian J. Math.
**10**, 607–646 (2006)MATHMathSciNetView ArticleGoogle Scholar - Josefson, B.: On the equivalence between locally polar and globally polar sets for plurisubharmonic functions on \(\mathbb{C}^n\). Arkiv för Mat.
**16**, 109–115 (1978)MATHMathSciNetView ArticleGoogle Scholar - Klimek, M.: Pluripotential Theory. Clarendon Press, New York (1991)MATHGoogle Scholar
- Lelong, P.: On a problem of M.A. Zorn. Proc. Am. Math. Soc.
**2**, 11–19 (1951)MathSciNetView ArticleGoogle Scholar - Levenberg, N., Molzon, R.E.: Convergence sets of a formal power series. Math. Z.
**197**, 411–420 (1988)MATHMathSciNetView ArticleGoogle Scholar - Levenberg, N., Poletsky, E.: Pluripolar hulls. Michigan Math. J.
**46**(1), 151–162 (1999)MATHMathSciNetView ArticleGoogle Scholar - Pérez-Marco, R.: A note on holomorphic extensions. Preprint (2000)Google Scholar
- Ribón, J.: Holomorphic extensions of formal objects. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (5)
**3**, 657–680 (2004)MATHGoogle Scholar - Sadullaev, A.: An estimate for polynomials on analytic sets. Math. USSR Izvestia
**20**, 493–502 (1983)MATHView ArticleGoogle Scholar - Siciak, J.: Extremal phurisubharmonic functions and capacities in $$\mathbb{C}^n$$ C n . Sophia Kokyuroku Math. 14 (1982). Sophia University, TokyoGoogle Scholar
- Sathaye, A.: Convergence sets of divergent power series. J. Reine Angew. Math.
**283**, 86–98 (1976)MathSciNetGoogle Scholar - Zeriahi, A.: Ensembles pluripolaires exceptionnels pour la croissance partielle des fonctions holomorphes. Ann. Polon. Math.
**50**, 81–91 (1989)MATHMathSciNetGoogle Scholar