We improve Ottaviani's splitting criterion for vector bundles on a quadric hypersurface and obtain the equivalent of the result by Rao, Mohan Kumar and Peterson. Then we give the classification of rank 2 bundles without "inner" cohomology on Q_n (n>3). It surprisingly exactly agrees with the classification by Ancona, Peternell and Wisniewski of rank 2 Fano bundles.
In this paper we give the classification of rank 3 vector bundles without "inner" cohomology on a quadric hypersurface \Q_n (n>3) by studying the associated monads.
In this paper we characterize smooth complex projective varieties that admit a quadric bundle structure on some dense open subset in terms of the geometry of certain families of rational curves.
In this paper we establish the existence of monads on Cartesian products of projective spaces. We construct vector bundles associated to monads on $\mathbb{P}^{a_1}\times\mathbb{P}^{a_1}\times\mathbb{P}^{a_2}\times\mathbb{P}^{a_2}\times\cdots\times\mathbb{P}^{a_n}\times\mathbb{P}^{a_n}$. Once the monad on $X$ exists the next natural question is if the cohomology vector bundle associated to these monads are simple or not. We study these vector bundles associated to monads on $X$ and prove their stability and simplicity.
Quadric bundles on a compact Riemann surface X generalise orthogonal bundles and arise naturally in the study of the moduli space of representations of $π_1(X)$ in Sp(2n,R). We prove some basic results on the moduli spaces of quadric bundles over X of arbitrary rank and then survey deeper results in the rank 2 case.
We give the classification of globally generated vector bundles of rank $2$ on a smooth quadric surface with $c_1\le (2,2)$ in terms of the indices of the bundles, and extend the result to arbitrary higher rank case. We also investigate their indecomposability and give the sufficient and necessary condition on numeric data of vector bundles for indecomposability.
We give a complete classification of globally generated vector bundles of rank 3 on a smooth quadric threefold with $c_1\leq 2$ and extend the result to arbitrary higher rank case. We also investigate the existence of globally generated indecomposable vector bundles, and give the sufficient and necessary conditions on numeric data of vector bundles for indecomposability.
We show that the residual categories of quadric surface bundles are equivalent to the (twisted) derived categories of some scheme under the following hypotheses. Case 1: The quadric surface bundle has a smooth section. Case 2: The total space of the quadric surface bundle is smooth and the base is a smooth surface. We provide two proofs in Case 1 describing the scheme as the hyperbolic reduction and as a subscheme of the relative Hilbert scheme of lines, respectively. In Case 2, the twisted scheme is obtained by performing birational transformations to the relative Hilbert scheme of lines. Fin…
We investigate the existence of globally generated vector bundles of rank 2 with $c_1\leq 3$ on a smooth quadric threefold and determine their Chern classes. As an automatic consequence, every rank 2 globally generated vector bundle on $Q$ with $c_1=3$ is an odd instanton up to twist.
This article is about motives of quadric bundles. In the case of odd dimensional fibers and where the basis is of dimension two we give an explicit relative and absolute Chow-Künneth decomposition. This shows that the motive of the quadric bundle is isomorphic to the direct sum of the motive of the base and the Prym motive of a double cover of the discriminant. In particular this is a refinement with $\mathbb Q$ coefficients of a result of Beauville concerning the cohomology and the Chow groups of an odd dimensional quadric bundle over $\mathbb P^2$. This Chow-Künneth decomposition satisfies M…
Let $(E,φ)$ be decorated vector bundle of type $(a,b,c,N)$ on a smooth projective curve $X$. There is a suitable semistability condition for such objects which has to be checked for any weighted filtration of $E$. We prove, at least when $a=2$, that it is enough to consider filtrations of length less or equal than two. In this case decorated bundles are very close to quadric bundles and to check semistability condition one can just consider the former. A similar result for L-twisted bundles and quadric bundles was already proved. Our proof provides an explicit algorithm which requires a destab…
We give examples of stable rank 2 vector bundles on principally polarized abelian threefolds, and study their deformations. The starting point is the Serre construction, which gives a source of examples, and which we rephrase in terms of Barth--Hulek like monads. Using the monad description, we compute the dimension of the space of first order infinitesimal deformations of these bundles. Moreover, we obtain a birational description of a 13-dimensional component of the moduli space for stable vector bundles.
We prove a general specialization theorem which implies stable irrationality for a wide class of quadric surface bundles over rational surfaces. As an application, we solve with the exception of two cases, the stable rationality problem for any very general complex projective quadric surface bundle over the projective plane, given by a symmetric matrix of homogeneous polynomials. Both exceptions degenerate over a plane sextic curve and the corresponding double cover is a K3 surface.
We present a survey on the moduli spaces of rank 2 quadric bundles over a compact Riemann surface X. These are objects which generalise orthogonal bundles and which naturally occur through the study of the connected components of the moduli spaces of Higgs bundles over X for the real symplectic group Sp(4,R), with non-maximal Toledo invariant. Hence they are also related with the moduli space of representations of $π_1(X)$ in Sp(4,R). We explain this motivation in some detail.
In this paper, we investigate the existence of Ulrich bundles on a smooth complete intersection of two $4$-dimensional quadrics in $\mathbb P^5$ by two completely different methods. First, we find good ACM curves and use Serre correspondence in order to construct Ulrich bundles, which is analogous to the construction on a cubic threefold by Casanellas-Hartshorne-Geiss-Schreyer. Next, we use Bondal-Orlov's semiorthogonal decomposition of the derived category of coherent sheaves to analyze Ulrich bundles. Using these methods, we prove that any smooth intersection of two 4-dimensional quadrics in…
We classify all positive integers n and r such that (stably) non-rational complex r-fold quadric bundles over rational n-folds exist. We show in particular that for any n and r, a wide class of smooth r-fold quadric bundles over projective n-space are not stably rational if r lies in the interval from $2^{n-1}-1$ to $2^{n}-2$. In our proofs we introduce a generalization of the specialization method of Voisin and Colliot-Thélène--Pirutka which avoids universally $CH_0$-trivial resolutions of singularities.
Here we define the concept of Qregularity for coherent sheaves on quadrics. In this setting we prove analogs of some classical properties. We compare the Qregularity of coherent sheaves on $\Q_n\subset \mathbb P^{n+1}$ with the Castelnuovo-Mumford regularity of their extension by zero in $\mathbb P^{n+1}$. We also classify the coherent sheaves with Qregularity $-\infty$. We use our notion of Qregularity in order to prove an extension of Evans-Griffiths criterion to vector bundles on Quadrics. In particular we get a new and simple proof of the Knörrer's characterization of ACM bundles.
We investigate the jumping conics of stable vector bundles $\Ee$ of rank 2 on a smooth quadric surface $Q$ with the Chern classes $c_1=\Oo_Q(-1,-1)$ and $c_2=4$ with respect to the ample line bundle $\Oo_Q(1,1)$. We describe the set of jumping conics of $\Ee$, a cubic symmetroid in $\PP_3$, in terms of the cohomological properties of $\Ee$. As a consequence, we prove that the set of jumping conics, $S(\Ee)$, uniquely determines $\Ee$. Moreover we prove that the moduli space of such vector bundles is rational.
We discuss the space of sections and certain bisections on a quadric surfaces bundle $X$ over a smooth curve. The Abel-Jacobi from these spaces to the intermediate Jacobian will be shown to be dominant with rationally connected fibers. As an application, we prove that the integral Hodge conjecture holds for degree four integral Hodge classes of fourfolds fibered by quadric bundles over a smooth curve. This gives an alternative proof of a result of Colliot-Th{é}l{è}ne and Voisin.
Let $E$ be an indecomposable rank two vector bundle on the projective space $\PP^n, n \ge 3$, over an algebraically closed field of characteristic zero. It is well known that $E$ is arithmetically Buchsbaum if and only if $n=3$ and $E$ is a null-correlation bundle. In the present paper we establish an analogous result for rank two indecomposable arithmetically Buchsbaum vector bundles on the smooth quadric hypersurface $Q_n\subset\PP^{n+1}$, $n\ge 3$. We give in fact a full classification and prove that $n$ must be at most 5. As to $k$-Buchsbaum rank two vector bundles on $Q_3$, $k\ge2$, we pr…
We extend the Horrocks correspondence between vector bundles and cohomology modules on the projective plane to the product of two projective lines. We introduce a set of invariants for a vector bundle on the product of two projective lines, which includes the first cohomology module of the bundle, and prove that there is a one to one correspondence between these sets of invariants and isomorphism classes of vector bundles without line bundle summands.
We study the stable rationality problem for quadric and cubic surface bundles over surfaces from the point of view of the degeneration method for the Chow group of 0-cycles. Our main result is that a very general hypersurface X of bidegree (2,3) in P^2 x P^3 is not stably rational. Via projections onto the two factors, X is a cubic surface bundle over P^2 and a conic bundle over P^3, and we analyze the stable rationality problem from both these points of view. This provides another example of a smooth family of rationally connected fourfolds with rational and nonrational fibers. Finally, we in…
We propose a three-step program for the classification of stable rank 2 bundles on the projective space $\mathbb{P}^3$ inspired by an article by Hartshorne and Rao. While this classification program has been successfully completed for stable rank 2 bundles with even determinant and $c_2\le5$, much less is known for bundles with odd determinant. After revising the known facts about these objects, we list all possible spectra and minimal monads for stable rank 2 bundles with odd determinant and $c_2\le8$. We provide a full classification of all bundles with positive minimal monads, provide a neg…
Let N be the moduli space of stable rank 2 quasiparabolic vector bundles of fixed degree on the projective line with 2g+1 marked points, where g>1, and stability is with respect to the weights {0,1/2} at each marked point. In this note we show that N is isomorphic to the variety of (g-2)-dimensional linear subspaces of P^{2g}, contained in the intersection of two quadrics. The proof relies on the work of Bhosle on the relation among quasiparabolic vector bundles on P^1 and invariant vector bundles on hyperelliptic curves, and the description by Bhosle and Ramanan of the moduli space of stable …
Let E be a stable rank 2 vector bundle on a smooth quadric threefold Q in the projective 4-space P. We show that the hyperplanes H in P for which the restriction of E to the hyperplane section of Q by H is not stable form, in general, a closed subset of codimension at least 2 of the dual projective 4-space, and we explicitly describe the bundles E which do not enjoy this property. This refines a restriction theorem of Ein and Sols [Nagoya Math. J. 96, 11-22 (1984)] in the same way the main result of Coanda [J. reine angew. Math. 428, 97-110 (1992)] refines the restriction theorem of Barth [Mat…
We use a generalization of Horrocks monads for arithmetic Cohen-Macaulay (ACM) varieties to establish a cohomological characterization of linear and Steiner bundles over projective spaces and quadric hypersurfaces. We also study resolutions of bundles on ACM varieties by line bundles, and characterize linear homological dimension in the case of quadric hypersurfaces.
We investigate the jumping conics of stable vector bundles $E$ of rank 2 on a smooth quadric surface $Q$ with the first Chern class $c_1=\Oo_Q(-1,-1)$ with respect to the ample line bundle $\Oo_Q(1,1)$. We show that the set of jumping conics of $E$ is a hypersurface of degree $c_2(E)-1$ in $\PP_3^*$. Using these hypersurfaces, we describe moduli spaces of stable vector bundles of rank 2 on $Q$ in the cases of lower $c_2(E)$.
We construct Euler and Stiefel-Whitney classes of vector bundles with quadratic form by analyzing the intersection theory of the associated quadric bundles. We also compute the Chow rings of quadric and isotropic flag bundles. Along the way, we prove a conjecture of Fulton on top Chern classes of maximal isotropic sub-bundles of an even rank quadratic vector bundle.
We study rationality properties of quadric surface bundles over the projective plane. We exhibit families of smooth projective complex fourfolds of this type over connected bases, containing both rational and non-rational fibers.
For a regular pair $(X,Y)$ of schemes of pure codimension 1 on which 2 is invertible, we consider quadric bundles on $X$ which are nondegenerate on $X-Y$, but are minimally degenerate on $Y$. We give a formula for the behaviour of the cohomological invariants (characteristic classes) of the nondegenerate quadric bundle on $X-Y$ under the Gysin boundary map to the etale cohomology of $Y$ with mod 2 coefficients. The results here are the algebro-geometric analogs of topological results for complex bundles proved earlier by Holla and Nitsure, continuing further the algebraization program which wa…
We study smooth quadric surfaces in the Pfaffian hypersurface in $\mathbb{P}^{14}$ parameterising $6 \times 6$ skew-symmetric matrices of rank at most 4, not intersecting the Grassmannian $\mathbb{G}(1,5)$. Such surfaces correspond to quadratic systems of skew-symmetric matrices of size 6 and constant rank 4, and give rise to a globally generated vector bundle $E$ on the quadric. We analyse these bundles and their geometry, relating them to linear congruences of lines in $\mathbb{P}^5$.
Let $\Q_n \subset \mathbb P^{n+1}$ be a smooth quadric hypersurface. Here we prove that the tensor product of an $m$-Qregular sheaf on $\Q_n$ and an $l$-Qregular vector bundle on $\Q_n$ is $(m+l)$-Qregular.
We prove that a general $n$-fold quadric bundle $\mathcal{Q}^{n-1}\rightarrow\mathbb{P}^{1}$, over a number field, with $(-K_{\mathcal{Q}^{n-1}})^n > 0$ and discriminant of odd degree $δ_{\mathcal{Q}^{n-1}}$ is unirational, and that the same holds for quadric bundles over an arbitrary infinite field provided that $\mathcal{Q}^{n-1}$ has a point, is otherwise general and $n\leq 5$. As a consequence we get the unirationality of a general $n$-fold quadric bundle $\mathcal{Q}^{h}\rightarrow\mathbb{P}^{n-h}$ with discriminant of odd degree $δ_{\mathcal{Q}^{h}}\leq 3h+4$, and of any smooth $4$-fold …
This paper begins with a description of cohomological invariants of non-degenerate quadric bundles, in terms of the cohomology rings of the classifying spaces of the general orthogonal groups. Following this, the Main Theorem of the paper determines the behavior of these invariants under the Gysin boundary map, when a quadric bundle degenerates over a divisor.
We compute decomposition of Frobenius push-forwards of line bundles on quadrics into a direct sum of line bundles and spinor bundles. As an application we show when the Frobenius push-forward gives a tilting bundle and we apply it to study D-modules on quadrics.
In this paper, we show that if the tangent bundle of a smooth projective variety is strictly nef, then it is isomorphic to a projective space; if a projective variety $X^n$ $(n>4)$ has strictly nef $Λ^2 TX$, then it is isomorphic to $\mathbb{P}^n$ or quadric $\mathbb{Q}^n$. We also prove that on elliptic curves, strictly nef vector bundles are ample, whereas there exist Hermitian flat and strictly nef vector bundles on any smooth curve with genus $g\geq 2$.
We generalise Fløystad's theorem on the existence of monads on the projective space to a larger set of projective varieties. We consider a variety $X$, a line bundle $L$ on $X$, and a base-point-free linear system of sections of $L$ giving a morphism to the projective space whose image is either arithmetically Cohen-Macaulay (ACM), or linearly normal and not contained in a quadric. We give necessary and sufficient conditions on integers $a$, $b$, and $c$ for a monad of type \[ 0\to(L^\vee)^a\to\mathcal{O}_{X}^{\,b}\to L^c\to0 \] to exist. We show that under certain conditions there exists a mo…
We consider quadric surface fibrations over curves, defined over algebraically closed and finite fields. Our goal is to understand, in geometric terms, spaces of sections for such fibrations. We analyze varieties of maximal isotropic subspaces in the fibers as P^1-bundles over the discriminant double cover. When the P^1-bundle is suitably stable, we deduce effective estimates for the heights of sections over finite fields satisfying various approximation conditions. We also discuss the behavior of the spaces of sections as the base of the fibration acquires singularities.
We study instanton bundles $E$ on $\mathbb{P}^1\times \mathbb{P}^1 \times \mathbb{P}^1$. We construct two different monads which are the analog of the monads for instanton bundles on $\mathbb P^3$ and on the flag threefold $F(0,1,2)$. We characterize the Gieseker semistable cases and we prove the existence of $μ$-stable instanton bundles generically trivial on the lines for any possible $c_2(E)$. We also study the locus of jumping lines.