MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $p$ be a prime and $F$ algebraic closer of $F_p$. I want to know if it is possible to construct family of groups $\{G_i\}_{i=1}^{\infty}$ and a family of simple modules $V_i$ over $F[G_i]$ of large dimension i.e., $dim V_i \geq |G_i|^{0.01}$ such that $H^1(G_i,V_i)$ is non trivial?

share|cite|improve this question

This isn't a complete answer, but I believe it is possible by the Kan-Thurston Theorem, which says that every path connected space has the (co)homology of a $K(G,1)$. You can build a space with prescribed nontrivial cohomology (with $V_i$-coefficients), and then that must be isomorphic to the cohomology of some $BG_i$-space (hence group $G_i)$.

The reason I am not going to say this is a complete answer, is because due to the construction of the theorem, there might be a small problem getting the desired coefficients. The paper is entitled Every Connected Space has the Homology of a $K(\pi,1)$, by Kan and Thurston.

share|cite|improve this answer
Thanks for your answer. Do you know what is the size of the groups G_i? How it depends on the dimension of $V_i$? – user10118 Oct 15 '11 at 17:13
No clue. But it works for all local coefficient systems, so I don't think the dimension of $V_i$ should matter. There is perhaps other papers that analyze properties of this construction. – Chris Gerig Oct 15 '11 at 21:11

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.