Abelian constraints in inverse Galois theory

We show that if a finite group G is the Galois group of a Galois cover of P-1 over Q, then the orders p(n) of the abelianization of its p-Sylow subgroups are bounded in terms of their index m, of the branch point number r and the smallest prime l inverted iota \G\ of good reduction of the branch divisor. This is a new constraint for the regular inverse Galois problem: if p(n) is suitably large compared to r and m, the branch points must coalesce modulo small primes. We further conjecture that p(n) should be bounded only in terms of r and m. We use a connection with some rationality question on the torsion of abelian varieties. For example, our conjecture follows from the so-called torsion conjectures. Our approach also provides a new viewpoint on Fried's Modular Tower program and a weak form of its main conjecture.