Free $(\mathbb{Z}/p{)}^n$-complexes and $p$-DG modules

Abstract

We reformulate the problem of bounding the total rank of the homology of perfect chain complexes over the group ring ${\mathbb{F}}_p[G]$ of an elementary abelian $p$-group $G$ in terms of commutative algebra. This extends results of Carlsson for $p=2$ to all primes. As an intermediate step, we construct an embedding of the derived category of perfect chain complexes over ${\mathbb{F}}_p[G]$ into the derived category of $p$-DG modules over a polynomial ring.

arXiv comment29 pages; improvements thanks to referees' comments, corrected hypothesis in Proposition 2.8, added relation to work of Friedlander-Pevtsova and Benson-Pevtsova, final version, to appear in Journal of Algebra