The existence of equivariant pure free resolutions
[Existence de résolutions pures et libres equivariantes]
Annales de l'Institut Fourier, Tome 61 (2011) no. 3, pp. 905-926.

Soit A=K[x 1 ,,x m ] un anneau polynomial à m variables et soit d=(d 0 <<d m ) une suite strictement croissante de m+1 nombres entiers. Boij et Söderberg ont conjecturé l’existence de A-modules gradués M de longueur finie ayant une résolution pure et libre de type d dans le sens ou pour i=0,,m les générateurs du i-ème module de syzygies de M sont uniquement de degré d i .

Cet article présente une construction, en caractéristique zéro, de modules avec cette propriété qui sont aussi GL(m)-équivariants. La construction fonctionne aussi pour les anneaux de la forme A K BA est un anneau polynomial comme ci-dessus et B est une algèbre extérieure.

Let A=K[x 1 ,,x m ] be a polynomial ring in m variables and let d=(d 0 <<d m ) be a strictly increasing sequence of m+1 integers. Boij and Söderberg conjectured the existence of graded A-modules M of finite length having pure free resolution of type d in the sense that for i=0,,m the i-th syzygy module of M has generators only in degree d i .

This paper provides a construction, in characteristic zero, of modules with this property that are also GL(m)-equivariant. Moreover, the construction works over rings of the form A K B where A is a polynomial ring as above and B is an exterior algebra.

DOI : 10.5802/aif.2632
Classification : 13D02, 13C14, 14M12, 20G05
Keywords: Pure resolution, equivariant resolution, Betti diagram, Boij-Söderberg theory, Pieri map, determinantal variety
Mot clés : résolution pure, résolution équivariante, diagramme de Betti, théorie de Boij-Söderberg
Eisenbud, David 1 ; Fløystad, Gunnar 2 ; Weyman, Jerzy 3

1 Dept of Mathematics Berkeley, CA 94720 (USA)
2 Matematisk Institutt Johs. Brunsgt. 12 5008 Bergen (Norway)
3 Northeastern University Department of Mathematics 360 Huntington Avenue Boston, MA 02115 (USA)
@article{AIF_2011__61_3_905_0,
     author = {Eisenbud, David and Fl{\o}ystad, Gunnar and Weyman, Jerzy},
     title = {The existence of equivariant pure free resolutions},
     journal = {Annales de l'Institut Fourier},
     pages = {905--926},
     publisher = {Association des Annales de l{\textquoteright}institut Fourier},
     volume = {61},
     number = {3},
     year = {2011},
     doi = {10.5802/aif.2632},
     zbl = {1239.13023},
     mrnumber = {2918721},
     language = {en},
     url = {http://www.numdam.org/articles/10.5802/aif.2632/}
}
TY  - JOUR
AU  - Eisenbud, David
AU  - Fløystad, Gunnar
AU  - Weyman, Jerzy
TI  - The existence of equivariant pure free resolutions
JO  - Annales de l'Institut Fourier
PY  - 2011
SP  - 905
EP  - 926
VL  - 61
IS  - 3
PB  - Association des Annales de l’institut Fourier
UR  - http://www.numdam.org/articles/10.5802/aif.2632/
DO  - 10.5802/aif.2632
LA  - en
ID  - AIF_2011__61_3_905_0
ER  - 
%0 Journal Article
%A Eisenbud, David
%A Fløystad, Gunnar
%A Weyman, Jerzy
%T The existence of equivariant pure free resolutions
%J Annales de l'Institut Fourier
%D 2011
%P 905-926
%V 61
%N 3
%I Association des Annales de l’institut Fourier
%U http://www.numdam.org/articles/10.5802/aif.2632/
%R 10.5802/aif.2632
%G en
%F AIF_2011__61_3_905_0
Eisenbud, David; Fløystad, Gunnar; Weyman, Jerzy. The existence of equivariant pure free resolutions. Annales de l'Institut Fourier, Tome 61 (2011) no. 3, pp. 905-926. doi : 10.5802/aif.2632. http://www.numdam.org/articles/10.5802/aif.2632/

[1] Berele, A.; Regev, A. Hook Young diagrams with applications to combinatorics and to representations of Lie superalgebras, Adv. in Math., Volume 64 (1987), pp. 118-175 | DOI | MR | Zbl

[2] Boij, M.; Söderberg, J. Graded Betti numbers of Cohen-Macaulay modules and the multiplicity conjecture, Journal of the London Mathematical Society (2), Volume 79 (2008) no. 1, pp. 85-106 | DOI | MR | Zbl

[3] Buchsbaum, D. A.; Eisenbud, D. Generic free resolutions and a family of generically perfect ideals, Advances in Math., Volume 18 (1975) no. 3, pp. 245-301 | DOI | MR | Zbl

[4] Buchsbaum, D. A.; Eisenbud, D. Algebra structures for finite free resolutions, and some structure theorems for ideals of codimension 3, Amer. J. Math., Volume 99 (1977) no. 3, pp. 447-485 | DOI | MR | Zbl

[5] Demazure, M. A very simple proof of Bott’s theorem, Inventiones Mathematicae, Volume 34 (1976), pp. 271-272 | DOI | MR | Zbl

[6] Eisenbud, D. Commutative Algebra with a View Toward Algebraic Geometry, Graduate Texts in Mathematics, Springer, 1995 | MR | Zbl

[7] Eisenbud, D.; Schreyer, F. Betti Numbers of Graded Modules and Cohomology of Vector Bundles, Journal of the American Mathematical Society, Volume 22 (2009) no. 3, pp. 859-888 | DOI | MR | Zbl

[8] Eisenbud, D.; Weyman, J. Fitting’s Lemma for Z/2-graded modules, Trans. Am. Math. Soc., Volume 355 (2003), pp. 4451-4473 | DOI | MR | Zbl

[9] Fløystad, G. Exterior algebra resolutions arising from homogeneous bundles, Math. Scand., Volume 94 (2004) no. 2, pp. 191-201 | MR | Zbl

[10] Fløystad, G. The linear space of Betti diagrams of multigraded artinian modules, Mathematical Research Letters, Volume 17 (2010) no. 5, pp. 943-958 | MR | Zbl

[11] Fulton, W.; Harris, J. Representation Theory; a first course, Graduate Texts in Mathematics 129, Springer-Verlag, 1991 | MR | Zbl

[12] Herzog, J.; Kühl, M. On the Betti numbers of finite pure and linear resolutions, Comm. Algebra, Volume 12 (1984) no. 13-14, pp. 1627-1646 | DOI | MR | Zbl

[13] Kirby, D. A sequence of complexes associated with a matrix, J. London Math. Soc. (2), Volume 7 (1974), pp. 523-530 | DOI | MR | Zbl

[14] Macdonald, I. G. Symmetric functions and Hall polynomials, Oxford Mathematical Monographs, Oxford University Press, New York, 1995 (Second edition. With contributions by A. Zelevinsky) | MR | Zbl

[15] Peskine, C.; Szpiro, L. Dimension projective finie et cohomologie locale. Applications à la démonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck, Inst. des Hautes Études Sci. Publ. Math. (1973) no. 42, pp. 47-119 | DOI | EuDML | Numdam | MR | Zbl

[16] Sam, S.; Weyman, J. Pieri Resolutions for Classical Groups (arXiv:0907.4505) | Zbl

[17] Weyman, J. Cohomology of vector bundles and syzygies, Cambridge University Press, Cambridge, 2003 | MR | Zbl

Cité par Sources :