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 $G$ be a linear algebraic group over field $k$ of characteristic zero. It is well known that the category of finite dimensional $k$--linear representations of $G$ is abelian, and that it is semisimple if and only if $G$ is reductive.

What can be said about the group $G$, if $\mathrm{Ext}^2(V,W)=0$ for all finite dimensional $k$--linear representations $V$ and $W$ of $G$?

One can of course ask the same question with $\mathrm{Ext}^n(V,W)=0$ for any $n\geq 0$. For the moment, I would already be happy to see some examples where a nonzero $\mathrm{Ext}^2$ occurs.

share|cite|improve this question
If $G$ is $k^n$ with its additive group structure and $n\geq2$, then you can easily find $V$ and $W$ such that $\operatorname{Ext}^2(U,V)$ is not zero. – Mariano Suárez-Alvarez May 28 '13 at 17:52
Since the usual homological proof of the semisimplicity of semisimple algebras is based on the second Whitehead lemma, one could guess that vanishing of $H^2$ implies semisimplicity. At the level of Lie algebras, this was proved by our fellow MOer Pasha Zusmanovich here, – Mariano Suárez-Alvarez May 28 '13 at 18:00
If $H^2(L,M)=0$ for all finite-dimenional $L$ modules then $L$ is either a $1$-dimensional algebra, or a semisimple algebra, or a direct sum of both (in characteristic zero). – Dietrich Burde May 28 '13 at 18:11
Dietrich, that is precisely the result of Zusmanovich I linked to :-) – Mariano Suárez-Alvarez May 28 '13 at 18:12
Yes, II know. I wanted to point this out again, because $L$ need not be semisimple then, but almost. – Dietrich Burde May 28 '13 at 18:13

Your Answer


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

Browse other questions tagged or ask your own question.