Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $G$ be a finite group and $k$ a field, let us assume that char($k$) divides the group order. Let $kG$-mod denote the category of fintely generated $kG$-modules. This category has as a tensor product $\otimes_{k}$ with diagonal $G$-action. Given now $M,N\in kG$-mod such that $M\otimes_{k}N$ is projective, can we then conclude that either $M$ or $N$ had to be projective? If not, can we ask for certain conditions on the field $k$ or the group $G$ such that the statement holds?

share|improve this question
add comment

3 Answers

up vote 8 down vote accepted

The answer to the first question is no. Let $G$ be the group $C_2 \times C_2$ and let $k$ be a field of characteristic 2. Then $kG \cong k[x,y]/(x^2, y^2)$. Let $M = k[x]/(x^2)$ with $y$ acting trivially, and let $N = k[y]/(y^2)$ with $x$ acting trivially. Then neither $M$ nor $N$ is projective (for modules over a $p$-group in characteristic $p$, projective is the same as free), but $M \otimes_k N \cong kG$.

Edit: I think that if the Sylow $p$-subgroup of $G$ is cyclic, then you can use Avrunin and Scott's tensor product theorem to prove that whenever $M \otimes_k N$ is projective, then so is either $M$ or $N$, but that seems like a big tool to use for this.

share|improve this answer
    
Ah, OK. Thank you. I'd already be happy with a (concrete) example of a group $G$ and a field $k$ such that char($k$) divides the order of $G$ and such that $M\otimes_{k}N$ projective, implies $M$ or $N$ projective. –  Heskie Feb 13 '11 at 23:12
    
This is a guess, but perhaps if the Sylow $p$-subgroup of $G$ is cyclic of order $p$, or maybe even just cyclic? –  John Palmieri Feb 13 '11 at 23:16
    
@John: $SL_2(\mathbb{F}_p)$ is an interesting example to try out in this spirit. Unlike most groups of Lie type, all of its (finitely many) indecomposable modules are known due to the special nature of its Sylow $p$-subgroup, as well as all projective modules. This probably gives the kind of concrete example Heskie is asking for. –  Jim Humphreys Feb 14 '11 at 0:34
add comment

There are interesting but isolated examples for finite groups of Lie type to consider. Here the simple Lie type and the characteristic of the defining field combine to give factorizations of some projective modules for finite Chevalley groups as tensor products of two non-projective simple modules. This combines work of Chevalley on special (or exceptional) isogenies between simple algebraic groups with work of Steinberg on related simple modules and their twisted tensor products.

It's all a bit complicated to explain, but relates to the simple groups discovered by Suzuki and by Ree. For instance, in type $G_2$ with $p=3$ the usual Chevalley group over a field of order $q=p^r$ has a smallest possible projective module of dimension $q^6$ (the Steinberg module) which factors when $r$ is odd as the tensor product of two non-projective simple modules whose highest weights are supported on long (resp. short) simple roots; take $r>1$ here to get an associated simple Ree group.

Besides the original literature, there is a short account in my LMS Lecture Note volume Modular representations of finite groups of Lie type (see 20.3).

Obviously what is going on in such examples requires specific primes for the specific groups involved as well as specific simple or projective modules. But these examples indicate some of the complicated behavior found in modular representation theory and caution against oversimplified expectations based on older characteristic 0 theory.

share|improve this answer
    
Jim, might you have any specific references for those tensor product factorization results in the twisted groups? It sounds like it may be related to some things I've been working on recently. –  ARupinski Feb 14 '11 at 1:47
    
My 2005 Cambridge book mentioned above gives the details along with the basic references. The most relevant sections are 5.4 and 20.3 along with the short Chapter 18 summarizing results for type $G_2$. Following the 1956-58 Chevalley seminar which introduced special isogenies, Steinberg's 1963 paper and 1967-68 Yale lectures deal explicitly with representations but are very concisely written. –  Jim Humphreys Feb 14 '11 at 13:29
    
P.S. The special tensor product factorizations of simple modules including the Steinberg module occur at the algebraic group level first, but then these simple modules remain simple for certain of the finite groups of Lie type (with the Steinberg module then being projective as well). The Suzuki and Ree groups correlate with the "special" here, but only indirectly. As I said, it's all a bit complicated. I guess $p$-groups are a more direct laboratory to work in. –  Jim Humphreys Feb 14 '11 at 23:09
add comment

If $G$ is a $p$-group, this is almost never true (and I believe but may be wrong that for general $G$, it's completely governed by the $p$-Sylow). In that case, we can understand modules in terms of the support variety $V={\rm Proj} H^{2*}(G,k)$, the projective variety associated to the (even-dimensional) cohomology ring of $G$. To a finite $kG$-module $M$ we can associate its support in $V$, namely the support of Ext(M,M) as a graded $H^{2*}(G,k)$-module. This support is a closed subset of $V$, and conversely every closed subset is the support of some finite $kG$-module. Finally, the support of $M\otimes N$ is the intersection of the support of $M$ and the support of $N$, and a module is projective iff its support is empty. Thus $M\otimes N$ is projective iff $M$ and $N$ have disjoint support.

Thus unless $V$ is just a single point, it is possible to have non-projective modules whose tensor product is projective. For $V$ to be a point, the cohomology of $G$ must be a polynomial ring in one variable, up to nilpotent elements. By Quillen's theorem, this is the case iff all elementary abelian subgroups of $G$ are conjugate and rank 1.

In particular, it is true for cyclic groups, but otherwise it is almost always false. There's a simple argument to see directly that it holds for cyclic groups of order $p$: in that case, $kG$ can be identified with $k[x]/x^p$, and every indecomposable module is of the form $M_i=k[x]/x^i$ for some $i\leq p$. Such a module $M_i$ is projective iff $i=p$. If $M_i$ and $M_j$ are not projective, then $M_i\otimes M_j$ has dimension $ij$, which is not divisible by $p$. Thus $M_i \otimes M_j$ cannot be a sum of copies of $M_p$ and is hence not projective.

share|improve this answer
    
Right, this is what I was referring to in my answer. Is there a way to approach this without using support varieties? –  John Palmieri Feb 14 '11 at 5:34
    
Great. I'm not quite sure why in the example, the indecomposable modules are exactly of the form $M_{i}$. Could elaborate on that or give a reference? Thank you –  Heskie Feb 14 '11 at 18:50
    
Any $k[x]/x^p$-module is in particular a $k[x]$-module, so it follows from the classification of finitely generated modules over a PID. –  Eric Wofsey Feb 14 '11 at 19:17
    
LOL...Oops. Sorry, I should have thought about this a bit longer ;). Thanks. –  Heskie Feb 14 '11 at 19:29
add comment

Your Answer

 
discard

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.