What do we know about periodic modules in p-groups? - MathOverflow most recent 30 from http://mathoverflow.net2013-05-24T21:56:28Zhttp://mathoverflow.net/feeds/question/83520http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/83520/what-do-we-know-about-periodic-modules-in-p-groupsWhat do we know about periodic modules in p-groups?trew2011-12-15T13:40:07Z2011-12-28T15:46:12Z
<p>Hi,</p>
<p>a module in KG,where G is a p-group and K a field of characteristic p, is called periodic if $ \Omega^{n} M = M $, for a natural n.
In general the full subcategory of periodic modules seems to have also wild representation type( <a href="http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ijm/1255989005" rel="nofollow">http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ijm/1255989005</a> ).
I wonder if there are still some interesting results about periodic modules.
So I search for a kind of up-to-date survey paper listing such results.
some questions are:</p>
<p>In which dimensions can a module of period n occur?(results like in this paper:
<a href="http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ijm/1256048241" rel="nofollow">http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ijm/1256048241</a>
where it is proven that a power of p divides the dimension)</p>
<p>Which periods can occur in a given group?</p>
<p>Is there any interesting relation of the subcategory of periodic modules and the pure group structure?</p>
<p>Thank you</p>
<p>edit: Another question: Can we give an example of a periodic module in an arbitrary KG?Maybe there is a canonical construction.</p>
<p>edit2: after reading parts of benson im a bit confused.for example in the introduction he says compelextity 1 is equivalent being periodic.But he says something else in a later theorem.
Is the following correct?:
M has complextity 1 iff</p>
<p>$M_E $ has maximal complextity 1 for an elementar abelian subgroup E of G iff</p>
<p>M is a direct sum of indecomposable periodcis and projectives iff</p>
<p>in the minimal projective resolution the terms have bounded dimension.</p>
http://mathoverflow.net/questions/83520/what-do-we-know-about-periodic-modules-in-p-groups/83525#83525Answer by mt for What do we know about periodic modules in p-groups?mt2011-12-15T14:22:44Z2011-12-17T13:27:25Z<p>One interesting result on which periods can occur is that if $\operatorname{Ext}^*_{kG}(k,k)$ is finitely generated over a subring generated by elements of degree at most $m$, then any periodic $kG$-module has period at most $m$. You can find this result (and many other relevant ones) in Benson's book Representations and Cohomology vol 2: that and the references given there would be a good place to start.</p>
<p>Okuyama and Sasaki's "Periodic modules of large periods for metacyclic p-groups" (J.Algebra 144) might interest you. I wrote a paper about which $p$-groups can have periodic modules of dimension $p$ (the smallest possible dimension) and what the periods are, called `Periodic modules of dimension p' in Quarterly Journal of Mathematics 61 no. 3. </p>
<p>So far as I know, the answers to questions like "which periods can occur in a given group?", and "in which dimensions can a module of period n occur?" are not known except for in specific cases.</p>
<p>In response to your edit: if $G$ is a $p$-group, choose $H \leq G$ of order $p$. There's an exact sequence $0\to k \to kH \to kH \to k \to 0$, induce it to $G$. The middle terms are projective, so $k\uparrow^G$ is periodic of period two.</p>