Automorphisms of Kronrod-Reeb graphs of Morse functions on compact surfaces

Let M be a connected orientable compact surface, f : M -> R be a Morse function, and D-id(M) be the group of diffeomorphisms of M isotopic to the identity. Denote by S' (f) = {f omicron h = f vertical bar h is an element of D-id(M)} the subgroup of D-id(M) consisting of diffeomorphisms "preserving" f, i.e., the stabilizer of f with respect to the right action of D-id(M) on the space C-infinity (M, R) of smooth functions on M. Let also G(f) be the group of automorphisms of the Kronrod-Reeb graph of f induced by diffeomorphisms belonging to S' (f). This group is an important ingredient in determining the homotopy type of the orbit of f with respect to the above action of D-id(M) and it is trivial if f is "generic", i.e., has at most one critical point at each level set f(-1)(c), c is an element of R. For the case when M is distinct from 2-sphere and 2-torus we present a precise description of the family G(M, R) of isomorphism classes of groups G(f), where f runs over all Morse functions on M, and of its subfamily G(smp)(M, R) subset of G(M, R) consisting of groups corresponding to simple Morse functions, i.e., functions having at most one critical point at each connected component of each level set. In fact, G(M, R) (respectively, G(smp)(M, R)) coincides with theminimal family of isomorphism classes of groups containing the trivial group and closed with respect to direct products and also with respect to wreath products "from the top" with arbitrary finite cyclic groups (respectively, with the group Z(2) only).