41 pages, LaTeX. Final version to appear in International Journal of Mathematics. Main theorem is now proved for arbitrary coefficients, not just for Z/(2) as in the first version
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.
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 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 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 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 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 study the relation between a complex projective set C in CP^n and the set R in RP^(2n+1) defined by viewing each equation of C as a pair of real equations. Once C is presented by quadratic equations, we can apply a spectral sequence to efficiently compute the homology of R; using the fact that the (Z_2)-cohomology of R is a free H*(C)-module with two generators we can in principle reconstruct the homology of C. Explicit computations for the intersection of two complex quadrics are presented.
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.
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 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.
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 …
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 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.
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 …
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$.
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 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)$.
Let X_R be the zero locus in RP^n of one or two independently and Weyl distributed random real quadratic forms (this is the same as requiring that the corresponding symmetric matrices are in the Gaussian Orthogonal Ensemble). We prove that the sum of the Betti numbers of X_R behaves asymptotically as n (when n goes to infinity). The methods we use combine Random Matrix Theory, Integral geometry and spectral sequences.
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.
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 …
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$.
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.
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…
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 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 show that the birationality class of a quadric surface bundle over $\mathbb{P}^2$ is determined by its associated cokernel sheaves. As an application, we discuss stable-rationality of very general quadric bundles over $\mathbb{P}^2$ with discriminant curves of fixed degree. In particular, we construct explicit models of these bundles for some discriminant data. Among others, we obtain various birational models of a nodal Gushel-Mukai fourfold, as well as of a cubic fourfold containing a plane. Finally, we prove stable irrationality of several types of quadric surface bundles.
We give a geometric description of singular pencils of quadrics of constant rank, relating them to the splitting type of some naturally associated vector bundles on $\mathbb{P}^1$. Then we study their orbits in the Grassmannian of lines, under the natural action of the general linear group.
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…
The topology of the intersection of three quadrics in Euclidean 6-space is studied using Kollar results. This needs an existence of a line without real points in the complex projectivisation of quadrics. We establish the existence of such a line under some assumptions. It is a step to obtain a list of all possible homeomorfism types of manifolds under consideration.