Transversality family of expanding rational semigroups

We study finitely generated expanding semigroups of rational maps with overlaps on the Riemann sphere. We show that if a dd-parameter family of such semigroups satisfies the transversality condition, then for almost every parameter value the Hausdorff dimension of the Julia set is the minimum of 2 and the zero of the pressure function. Moreover, the Hausdorff dimension of the exceptional set of parameters is estimated. We also show that if the zero of the pressure function is greater than 22, then typically the 2-dimensional Lebesgue measure of the Julia set is positive. Some sufficient conditions for a family to satisfy the transversality conditions are given. We give non-trivial examples of families of semigroups of non-linear polynomials with the transversality condition for which the Hausdorff dimension of the Julia set is typically equal to the zero of the pressure function and is less than 22. We also show that a family of small perturbations of the Sierpinski gasket system satisfies that for a typical parameter value, the Hausdorff dimension of the Julia set (limit set) is equal to the zero of the pressure function, which is equal to the similarity dimension. Combining the arguments on the transversality condition, thermodynamical formalisms and potential theory, we show that for each a∈Ca∈C with |a|≠0,1|a|≠0,1, the family of small perturbations of the semigroup generated by {z2,az2}{z2,az2} satisfies that for a typical parameter value, the 2-dimensional Lebesgue measure of the Julia set is positive.