On the convergence of generalized power series solutions of $q$-difference equations

A sufficient condition for the convergence of a generalized formal power series solution to an algebraic $q$-difference equation is provided. The main result leans on a geometric property related to the semi-group of (complex) power exponents of such a series. This property corresponds to the situation in which the small divisors phenomenon does not arise. Some examples illustrating the cases where the obtained sufficient condition can be or cannot be applied are also depicted.