On conformal martingale diffusions and pluripolar sets (Q792708)

The authors give a probabilistic characterization of pluripolar sets in strongly pseudo convex domains in \(C^ n\). For D a domain in \(C^ n\), a stochastic process \(z_ t=(z^ 1_ t,...,z^ n_ t)\) in D is called a conformal martingale if \(z_ t^{\alpha}\), \(z_ t^{\alpha}z_ t^{\beta}\) are continuous local martingales. Suppose \((z_ t,p_ z)\) is a conformal martingale diffusion on D, it is said to be symmetrizable (with respect to the Radon measure m) if \(\int_{F}P_ z(z_ t\in E)m(dz)=\int_{E}P_ z(z_ t\in F)m(dz)\), for E,F Borel sets in D. A correspondence is established between the class of symmetrizable conformal martingale diffusions \((z_ t,P_ z)\) on D and pairs (w,m), w a closed current of types (n-1,n-1) (current \(=\) differential form with distribution coefficients), m a Radon measure with supp m\(=D\) such that the Dirichlet form \({\mathcal E}(u,v)=1/2\int_{D}du\wedge d^ cv\wedge w\), \(u,v\in C_ 0^{\infty}(D)\), is closable in \(L^ 2(D;m)\). A capacity, \(Cap^{(w,m)}\), can be defined from this Dirichlet form and \(Cap^{(w,m)}(E)=0\) if and only if \(P_ z^{(w,m)}(z_ t\) hits \(E)=0\) m - a.e.z where \((z_ t,P_ z^{(w,m)})\) is the diffusion for the pair (w,m). The \(Cap^{(w,m)}\) is then related to pluripolar sets as follows: if E is pluripolar then \(Cap^{(w,m)}(E)=0\) for every admissible pair (w,m) where m charges no pluripolar set. The implication the other way holds on strongly pseudo convex domains where the pair (w,m) arises as \(w=(dd^ cp)^{\wedge(n-1)}\), \(m=(dd^ cp)^{\wedge(n-1)}\wedge(dd^ c| z|^ 2)\), and p is a plurisubharmonic function on D which is \(L^{\infty}_{loc}(D)\). Then \(Cap^ p(E)=0\) for every p as above implies E is pluripolar.