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?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
3
1
|
|
||
|
|
|
2
|
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. |
||||||
|
