Free resolutions for polynomial functors. (Q1421797)

Let \(R\) be a Noetherian ring, \(k,s\) some positive integers and \(M\) a finite \(R\)-module. \(M\) is \(m\)-torsion free if every \(R\)-regular sequence of length \(m\) is also \(M\)-regular. If \(M\) is \((k-1)s+2\)-torsion free and \(\text{pd}_RM\leq s\) then the \(k\)-exterior power of \(M\) is 2-torsion free and has projective dimension \(\leq ks\). This is a positive answer to a conjecture of \textit{D. A. Buchsbaum} and \textit{D. Eisenbud} [Adv. Math. 12, 84-139 (1974; Zbl 0297.13014)] which was settled in characteristic 0 by \textit{K. Lebelt} [Arch. Math. 26, 595-601 (1975; Zbl 0335.13007)]. For this aim the authors study some ``homogeneous polynomial'' functors \(L\) of degree \(k\) and show that if \(M\) is \((k-1)s+j\)-torsion free and \(\text{pd}_RM\leq s\) then \(L(M)\) is \(j\)-torsion free and \(\text{pd}(L(M))\leq ks\). For the proof one constructs some complexes which are different but somehow similar to the complex constructions by \textit{A. Dold} and \textit{D. Puppe} [Ann. Inst. Fourier 11, 201--312 (1961; Zbl 0098.36005)].