On the monodromy of a multivalued function along its ramification locus (Q1428948)

A multivalued analytic function in \(\mathbb C^n\) is called an \(\mathcal S\)-function if the set of its singular points can be covered by countably many proper analytic subsets (and is therefore a small part of \(\mathbb C^n\)). Under a map \(\pi: (Y, y_o)\to (\mathbb C^n,a)\) of a topological space \(Y\) into \(\mathbb C^n\), the germ \(f_a\) of an \(\mathcal S\)-function \(f\) at \(a\) can induce a multivalued function on \(Y\). This is possible if the germ \(f_a\) extends analytically along the image of each curve in \(Y\) issuing from the base point \(y_0\). This situation can occur even if \(a\) belongs to the set of singular points of \(f\) (some of the germs of the multivalued function \(f\) at this point could be nonsingular) and \(\pi\) maps \(Y\) into this set. Is it possible to estimate the monodromy groups of multivalued functions thus obtained in terms of the monodromy group of the original \(\mathcal S\)-function \(f\)? Is it, for example, true that if the monodromy group of the \(\mathcal S\)-function \(f\) is solvable, then so is the monodromy group of each function induced from \(f\)? The author shows that the answer is ``yes''. To describe the relation between the monodromy group of the original \(\mathcal S\)-function and the monodromy groups of the induced functions, it is introduced the operation of induced closure of a group. In turn, this operation makes one to revise the definitions of various classes of group pairs that appear in the one-dimensional topological version of Galois theory. The present paper is a step towards the construction of a multidimensional version of this theory, which is a development of the topological approach of Abel and Arnold to insolvability problems. Definitions are introduced that allow one to work with dense sets of singular points and monodromy groups having the cardinality of the continuum.