The existence of equivariant pure free resolutions

[Existence de résolutions pures et libres equivariantes]

Eisenbud, David¹  ; Fløystad, Gunnar² ; Weyman, Jerzy³

¹ Dept of Mathematics Berkeley, CA 94720 (USA)
² Matematisk Institutt Johs. Brunsgt. 12 5008 Bergen (Norway)
³ Northeastern University Department of Mathematics 360 Huntington Avenue Boston, MA 02115 (USA)

Annales de l'Institut Fourier, Tome 61 (2011) no. 3, pp. 905-926

Abstract (VO)

Let $A=K[x_1,\cdots ,x_m]$ be a polynomial ring in $m$ variables and let $\mathbf{d}=(d_0<\cdots <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 $\mathbf{d}$ in the sense that for $i=0,\cdots ,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\left(m\right)$-equivariant. Moreover, the construction works over rings of the form $A{\otimes }_{K}B$ where $A$ is a polynomial ring as above and $B$ is an exterior algebra.

Résumé

Soit $A=K[x_1,\cdots ,x_m]$ un anneau polynomial à $m$ variables et soit $\mathbf{d}=(d_0<\cdots <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 $\mathbf{d}$ dans le sens ou pour $i=0,\cdots ,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\left(m\right)$-équivariants. La construction fonctionne aussi pour les anneaux de la forme $A{\otimes }_{K}B$ où $A$ est un anneau polynomial comme ci-dessus et $B$ est une algèbre extérieure.

Détail

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
Mots-clés : résolution pure, résolution équivariante, diagramme de Betti, théorie de Boij-Söderberg