Multiplications of maximal rank in the cohomology of P^1 P^1

From MaRDI portal
Publication:692042



Abstract: We show that the linear map defined by multiplication with a general bi-homogeneous form between two bi-graduated pieces of the first cohomology of a nonsingular quadric in the projective space is of maximal rank. This is the first non trivial case of a more general open problem on natural linear maps between vector spaces of tensors defined in terms of multiplications and contractions. An interpretation in terms of bi-homogeneous linear differential operators with polynomial coefficients is also given.


Take the smooth quadric \(Q=\mathbb{P}^1 \times \mathbb{P}^1\) and a curve \(C \subset Q\) of bidegree \((a,b) \geq (1,1)\). The paper under review deals with the problem of the maximality of the rank of the multiplication map induced by the equation \(F\) defining \(Q\), that is the map: \[ H^1({\mathcal O}_Q(r,-t)) \to H^1({\mathcal O}_Q(r+a,-t+b)). \] It is shown the map is maximal for \(r,t \geq 0\) and \(C\) general in the linear system \(|{\mathcal O}_Q(a,b)|\). By the use of standard long exact sequences the proof of the previous result is equivalent to the fact that is contained in Theorem 2.1: if \((a,b) \geq 1\) and \(C\) is as above then for \(h \geq a\) and \(k \leq -2\) one has: \(h^0({\mathcal O}_C(h,k))h^1({\mathcal O}_C(h,k))=0\). This stresses the generality statement on \(C\) because examples of curves not verifying this condition are shown. As the authors write in their abstract: ``Interpretations of this problem in the contexts of multilinear algebra and differential algebra are emphasized.











This page was built for publication: Multiplications of maximal rank in the cohomology of \({\mathbb{P}^1\times \mathbb{P}^1}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q692042)