Horrocks correspondence on a quadric surface (Q2248874): Difference between revisions

This paper extends the simplest case (namely that on the projective plane \({\mathbb P}^2\)) of the Horrocks correspondence between vector bundles and certain cohomology objects (in the case of \({\mathbb P}^2\) the correspondence is: \(E\) (a vector bundle) \(\mapsto H^1_*(E):=\bigoplus _\nu H^1(E(\nu)))\) (a graded module of finite length)). Let \(\mathcal Q\) be the quadric surface which is the image of the Segre map \({\mathbb P}^1 \times {\mathbb P}^1 \to {\mathbb P}^3\). Denote \(\Sigma_i:=\) pullback of \({\mathcal O}_{{\mathcal P}^1}(1)\) (\(i=0,1\)) via the two projections to \({\mathbb P}^1\). Recall that an arithmetically Cohen-Macaulay (ACM for short) vector bundle \(E\) on a projective variety \((X, \mathcal O _X(1))\) is, by definition, a vector bundle without intermediate cohomology, i.e. with the property \(H^i_*(E)=0\) for \(i\) in the range \(0 < i < \dim X\). For a vector bundle \(E\) on \(\mathcal Q\) without ACM summands, let \(M(E):=\) the \(S(\mathcal Q)\)-graded module of finite length \( \oplus _{\nu \in \mathbb Z}H^1(\mathcal Q , E(\nu ))\), where \(S(\mathcal Q)\) is the homogeneous coordinate ring of \(\mathcal Q\). A minimal free resolution of \(M(E)\) gives, after sheafification, an exact sequence \(0 \to F_{M} \to L_1 \to L_0 \to 0\) with \(L_i\) free and \(H^1_*(F_M)=M\). One defines \(M_{\Sigma _i}:= H^1_*(F_{M}\otimes {\Sigma _i})\). If \(\{ s,t\}\), respectively \(\{ u,v \}\), are the coordinates on the factors of \({\mathbb P}^1 \times {\mathbb P}^1\), one defines \(W\) a certain graded vector subspace of \(M_{\Sigma _1}\) on which the multiplication by \(u,v\) is zero; one says that this vector space has socle in \(\Sigma _2\). Similarly one defines \(M_{\Sigma _2}\). The main result of the paper is the following: Theorem. There is a bijection between isomorphisms classes of vector bundles without ACM summands on \(\mathcal Q\) and isomorphism classes of triplets \((M,W,V)\), where \(M\) is a graded \(S(\mathcal Q)\)-module of finite type, \(W\) is a graded vector subspace of \(\Sigma _2\)-socle elements in \(M_{\Sigma _1}\), \(V\) is a graded vector subspace of \(\Sigma _1\)-socle elements in \(M_{\Sigma _2}\).