1: \begin{abstract}

2: We study finitely generated expanding semigroups of rational maps with overlaps on the Riemann sphere. 

3: We show that if a $d$-parameter family of such semigroups satisfies the transversality condition, 

4: then for almost every parameter value the Hausdorff dimension of the Julia set 

5: is the minimum of $2$ and the zero of the pressure function. 

6: Moreover, the Hausdorff dimension of the exceptional set of parameters is 

7: estimated. We also show that if the zero of the pressure function is greater than $2$, 

8: then typically the $2$-dimensional Lebesgue measure of the Julia set 

9: is positive. Some sufficient conditions for a family to satisfy the transversality conditions are given. 

10: We give non-trivial examples of families of semigroups of non-linear polynomials with the transversality condition 

11: for which the Hausdorff dimension of the Julia set is typically equal to the zero of the pressure function and is less than $2$. 

12: We also show that a family of small perturbations of the Sierpinski gasket system 

13: satisfies that for a typical parameter value, the Hausdorff dimension of the Julia set (limit set) 

14: is equal to the zero of the pressure function, which is equal to the  similarity dimension.  

15: Combining the arguments on the transversality condition, thermodynamical formalisms and potential theory, 

16: we show that for each $a\in \CC $ with $|a|\neq 0,1$, 

17:  the family of small perturbations of the semigroup generated by $\{ z^{2}, az^{2}\} $ satisfies that  

18: for a typical parameter value,  the $2$-dimensional Lebesgue measure of the Julia set 

19: is positive.    

20: \end{abstract}