Tuesday, 14 September 2010

gr.group theory - Extension of induced reps over Z: is it a sum of induced reps?

Let $G$ be a finite group. If $L$ is a finite free $mathbf{Z}$-module with an action of $G$, say $L$ is induced if it's isomorphic as a $G$-module to $Ind_H^G(mathbf{Z})$ with $H$ a subgroup of $G$ and $H$ acting trivially on $mathbf{Z}$. And, for want of better terminology, let's say $L$ is a sum-of-induceds if it's isomorphic to a direct sum of induced modules in the sense above. [EDIT: Ben Webster points out that "permutation representation" is a rather better name for this notion! It's just the $mathbf{Z}$-module coming from the action of $G$ on a finite set.]



The question: Is a finite free $mathbf{Z}$-module which is an extension of one sum-of-induceds by another, also a sum-of-induceds?



Over $mathbf{Q}$ this is trivial because every short exact sequence splits. But this is not true over $mathbf{Z}$. For example there are two actions of $mathbf{Z}/2mathbf{Z}$ on $mathbf{Z}^2$ which become the group ring over $mathbf{Q}$: one has the non-trivial element acting as $(1,0;0,-1)$ and the other has it acting as $(0,1;1,0)$. The latter is a non-split extension of the trivial 1-d representation by the non-trivial one (and also a non-split extension of the non-trivial one by the trivial one). Note that this non-split extension is induced.



There are mod $p$ extensions that don't split either. For example over $mathbf{Z}/pmathbf{Z}$ there is a non-trivial extension of the trivial representation by itself. But this extension does not lift to an extension of the trivial $mathbf{Z}$-module by itself.



Why am I interested? For those that know what a $z$-extension of a connected reductive group over a number field is, my "real" question is: is a $z$-extension of a $z$-extension still a $z$-extension? I've checked the geometric issues here but the arithmetic one above is the one I haven't resolved. $G$ is a Galois group and the $mathbf{Z}$-modules are the character groups of the central tori in question. If I've understood things correctly, a $z$-extension of a $z$-extension is a $z$-extension iff the question I ask above has a positive answer.



Note finally that applying the long exact sequence of cohomology, and using the fact that induced representations have no cohomology by Shapiro's Lemma, we see that the extension I'm interested in also has no cohomology (and furthermore its restriction to any subgroup has no cohomology either). Is this enough to show it's induced?

No comments:

Post a Comment