“…In fact, as is explained in loc. cit., it is plausible that the statement that χ(X, F ) = 0 for G abelian and all X of dimension < #G is equivalent to the truth of Vandiver's conjecture for all prime divisors of the order #G. In [31], [10], it was conjectured that for all G, there are integers N (that depends only on d) and δ (that depends only on #G), such that gcd(N, #G) δ • χ(X, F ) = 0; this was shown for G with abelian Sylows.…”