Realizability of a braid monodromy by an algebraic function in a disk (Q4217543)

Let \(V_n\subseteq\mathbb{C}[w]\) be the set of all monic polynomials of degree \(n\), and \(\Delta_n\subset V_n\) be the set of polynomials with multiple roots. The braid group on \(n\) strings can be defined as \(B_n=\pi_1 (V_n\setminus \Delta_n,p_0)\), \(p_0\in V_n\) a fixed polynomial. Let \(p=w^n+a_1(z) w^{n-1}+ \cdots+a_n(z) \in\mathbb{C} \{z\}[w]\), then, for small \(\varepsilon>0,\) \(p\) defines a braid associated to the path \(t\to\varepsilon e^{it}\), \(t\in[0,2\pi]\), the so-called local braid associated to \(p\) or associated to the multivalued function \(F(z)=\{w| p(z,w)=0\}\). A braid is called algebraic if it is conjugated to the local braid of an algebraic function at a singular point. It is shown that any homomorphism of a free group into a braid group which takes each generator to an algebraic braid, can be realised as the braid monodromy of an algebraic function in a disk.