English

Fundamental group and analytic disks

Complex Variables 2017-08-16 v1

Abstract

Let WW be a domain in a connected complex manifold MM and w0Ww_0\in W. Let Aw0(W,M){\mathcal A}_{w_0}(W,M) be the space of all continuous mappings of a closed unit disk D\overline D into MM that are holomorphic on the interior of D\overline D, f(D)Wf(\partial\mathbb D)\subset W and f(1)=w0f(1)=w_0. On the homotopic equivalence classes η1(W,M,w0)\eta_1(W,M,w_0) of Aw0(W,M){\mathcal A}_{w_0}(W,M) we introduce a binary operation \star so that η1(W,M,w0)\eta_1(W,M,w_0) becomes a semigroup and the natural mappings ι1:η1(W,M,w0)π1(W,w0)\iota_1:\,\eta_1(W,M,w_0)\to\pi_1(W,w_0) and δ1:η1(W,M,w0)π2(M,W,w0)\delta_1:\,\eta_1(W,M,w_0)\to\pi_2(M,W,w_0) are homomorphisms. \par We show that if WW is a complement of an analytic variety in MM and if S=δ1(η1(W,M,w0))S=\delta_1(\eta_1(W,M,w_0)), then SS1={e}S\cap S^{-1}=\{e\} and any element aπ2(M,W,w0)a\in\pi_2(M,W,w_0) can be represented as a=bc1=d1ga=bc^{-1}=d^{-1}g, where b,c,d,gSb,c,d,g\in S. \par Let Rw0(W,M){\mathcal R}_{w_0}(W,M) be the space of all continuous mappings of D\overline D into MM such that f(D)Wf(\partial{\mathbb D})\subset W and f(1)=w0f(1)=w_0. We describe its open dense subset Rw0±(W,M){\mathcal R}^{\pm}_{w_0}(W,M) such that any connected component of Rw0±(W,M){\mathcal R}^{\pm}_{w_0}(W,M) contains at most one connected component of Aw0(W,M){\mathcal A}_{w_0}(W,M).

Keywords

Cite

@article{arxiv.1708.04530,
  title  = {Fundamental group and analytic disks},
  author = {Dayal Dharmasena and Evgeny A. Poletsky},
  journal= {arXiv preprint arXiv:1708.04530},
  year   = {2017}
}

Comments

arXiv admin note: text overlap with arXiv:1210.1191

R2 v1 2026-06-22T21:15:11.203Z