We introduce the notion of hyperbolic equivalence for quadric bundles and quadratic forms on vector bundles and show that hyperbolic equivalent quadric bundles share many important properties: they have the same Brauer data; moreover, if they have the same dimension over the base, they are birational over the base and have equal classes in the Grothendieck ring of varieties.
Furthermore, when the base is a projective space we show that two quadratic forms are hyperbolic equivalent if and only if their cokernel sheaves are isomorphic up to twist, their fibers over a fixed point of the base are Witt equivalent, and, in some cases, certain quadratic forms on intermediate cohomology groups of the underlying vector bundles are Witt equivalent. For this we show that any quadratic form over $\mathbb{P}^n$ is hyperbolic equivalent to a quadratic form whose underlying vector bundle has many cohomology vanishings; this class of bundles, called VLC bundles in the paper, is interesting by itself.
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.
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 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.
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 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…
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 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 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 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.
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.
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 …
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$.
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 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.
A cubic surface in $P^3$ is known to contain 27 lines, out of which one can form 36 Schlafli double - sixes i.e., collections $l_1,...,l_6, l'_1,..., l'_6\}$ of 12 lines such that each $l_i$ meets only $l'_j, j\neq i$ and does not meet $l_j, j\neq i$. In 1881 F. Schur proved that any double - six gives rise to a certain quadric $Q$ , called Schur quadric which is characterized as follows: for any $i$ the lines $l_i$ and $l'_i$ are orthogonal with respect to (the quadratic form defining) $Q$. The aim of the paper is to relate Schur's construction to the theory of vector bundles on $P^2$ and to …
We generalize, explain and simplify Langer's results concerning Frobenius direct images of line bundles on quadrics, describing explicitly the decompositions of higher Frobenius push-forwards of arithmetically Cohen-Macaulay bundles into indecomposables, with an additional emphasis on the case of characteristic two. These results are applied to check which Frobenius push-forwards of the structure sheaf are tilting.
Let D = {D_{1},...,D_{l}} be an arrangement of smooth hypersurfaces with normal crossings on the complex projective space P^n and let Ω^{1}_{P^n}(log D) be the logarithmic bundle attached to it. Following [1], we show that Ω^{1}_{P^n}(log D) admits a resolution of lenght 1 which explicitly depends on the degrees and on the equations of D_{1},...,D_{l}. Then we prove a Torelli type theorem when all the D_{i}'s have the same degree d and l >= {{n+d} \choose {d}}+3: indeed, we recover the components of D as unstable smooth hypersurfaces of Ω^{1}_{P^n}(log D). Finally we analyze the cases of one q…
A conic bundle or quadric bundle in characteristic 2 can have generic fiber which is nowhere smooth over the function field of the base variety. In that case, the generic fiber is called a quasilinear quadric. We solve some of the main problems of birational geometry for quasilinear quadrics. First, if there is a rational map from one quasilinear quadric to another of the same dimension, and also a map back, then the two quadrics are birational. Next, we determine exactly which quasilinear quadrics are ruled, that is, birational over the base field to the product of some variety with the proje…
We study the functional codes $C_2(X)$ defined on projective varieties $X$, in the case where $X\subset \mathbb{P}^3$ is a 1-degenerate quadric or a non-degenerate quadric (hyperbolic or elliptic). We find the minimum distance of these codes, the second weight, and the third weight. We also show the geometrical structure of the first weight and second weight codewords. One result states that the codes $C_2(X)$ defined on the elliptic quadrics are good codes according to the table of A. E. Brouwer.
Let T -> S be a finite flat morphism of degree two between regular integral schemes of dimension at most two (and with 2 invertible), having regular branch divisor D. We establish a bijection between Azumaya quaternion algebras on T and quadric surface bundles over S with simple degeneration along D. This is a manifestation of the exceptional isomorphism A_1^2 = D_2 degenerating to the exceptional isomorphism A_1 = B_1. In one direction, the even Clifford algebra yields the map. In the other direction, we show that the classical algebra norm functor can be uniquely extended over the discrimina…
We consider an analogue of the notion of instanton bundle on the projective 3-space, consisting of a class of rank-2 vector bundles defined on smooth Fano threefolds X of Picard number one, having even or odd determinant according to the parity of K_X. We first construct a well-behaved irreducible component of their moduli spaces. Then, when the intermediate Jacobian of X is trivial, we look at the associated monads, hyperdeterminants and nets of quadrics. We also study one case where the intermediate Jacobian of X is non-trivial, namely when X is the intersection of two quadrics in P5, relati…
We prove a few splitting criteria for vector bundles on a quadric hypersurface and Grassmannians. We give also some cohomological splitting conditions for rank 2 bundles on multiprojective spaces. The tools are monads and a Beilinson's type spectral sequence generalized by Costa and Miró-Roig.
The paper is a contribution of the conjecture of Kobayashi that the complement of a generic plain curve of degree at least five is hyperbolic. The main result is that the complement of a generic configuration of three quadrics is hyperbolic and hyperbolically embedded as well as the complement of two quadrics and a line.
