21 pages, to appear in Mediterranean J. of Math., comments welcome. v2: minor changes to match published version. arXiv admin note: text overlap with arXiv:2009.11061
A smooth intersection $Y$ of two quadrics in $\mathbb{P}^{2g+1}$ has Hodge level 1. We show that such varieties $Y$ have a multiplicative Chow-Künneth decomposition, in the sense of Shen-Vial. As a consequence, a certain tautological subring of the Chow ring of powers of $Y$ injects into cohomology.
We study rationality properties of smooth complete intersections of three quadrics in $\mathbb{P}^7$. We exhibit a smooth family of such intersections with both rational and non-rational fibers.
We study rationality constructions for smooth complete intersections of two quadrics over nonclosed fields. Over the real numbers, we establish a criterion for rationality in dimension four.
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.
We study rationality problems for smooth complete intersections of two quadrics. We focus on the three-dimensional case, with a view toward understanding the invariants governing the rationality of a geometrically rational threefold over a non-closed field.
In this paper we classify all free actions of finite groups on Calabi-Yau complete intersection of 4 quadrics in $\PP^7$, up to projective equivalence. We get some examples of smooth Calabi-Yau threefolds with large nonabelian fundamental groups. We also observe the relation between some of these examples and moduli of polarized abelian surfaces.
We study the moduli space of smooth complete intersections of two quadrics in $\mathbb{P}^n$ by relating it to the geometry of the singular members of the corresponding pencils. Giving an alternative presentation for the moduli space of complete intersections, we compute the Picard group for all $n\geq 3$.
We construct a semiorthogonal decomposition of the derived category of coherent sheaves on a quadric fibration consisting of several copies of the derived category of the base of the fibration and the derived category of coherent sheaves of modules over the sheaf of even parts of the Clifford algebras on the base corresponding to this quadric fibration, generalizing the Kapranov's description of the derived category of a single quadric. As an application we verify that the noncommutative algebraic variety $(\PP(S^2W^*),\CB_0)$, where $\CB_0$ is the universal sheaf of even parts of Clifford alg…
Fix a finite group $G$. We seek to classify varieties with $G$-action equivariantly birational to a representation of $G$ on affine or projective space. Our focus is odd-dimensional smooth complete intersections of two quadrics, relating the equivariant rationality problem with analogous Diophantine questions over nonclosed fields. We explore how invariants -- both classical cohomological invariants and recent symbol constructions -- control rationality in some cases.
In this paper we classify all potentially G-birationally rigid del Pezzo threefolds of degree 4 and their automorphism groups and prove the G-birational rigidity of one of them
Given a smooth projective variety V of dimension n, one may say that V has motivic dimension less than d+1 if the cohomology of V comes from varieties of dimensions less than d+1 in some geometric way. In this paper, we show that a smooth complete interesection of k quadrics has a motivic dimension less than k.
Let ϕ: \mathbb{P}^{r}\dashrightarrow Z be a birational transformation with a smooth connected base locus scheme, where Z\subseteq\mathbb{P}^{r+c} is a nondegenerate prime Fano manifold. We call ϕa quadro-quadric special briational transformation if ϕand ϕ^{-1} are defined by linear subsystems of |\mathcal{O}_{\mathbb{P}^{r}}(2)| and |\mathcal{O}_{Z}(2)| respectively. In this paper we classify quadro-quadric special birational transformations in the cases where either (i) Z is a complete intersection and the base locus scheme of ϕ^{-1} is smooth, or (ii) Z is a hypersurface.
We describe explicit birational maps from some rational complete intersections of three quadrics in $\mathbb{P}^7$ to some prime Fano manifolds together with their Sarkisov decomposition via a single Secant Flop, allowing us to recover the cohomologically associated Castelnuovo surface of general type with $K^2=2$ and $χ=4$ (the double cover of $\mathbb{P}^2$ ramified along the discriminant curve of the net of quadrics defining the complete intersection) as the minimal model of the non ruled irreducible component of the base locus of the inverse maps. In passing we also revisit and reformulate…
We prove birational superrigidity of generic Fano complete intersections $V$ of type $2^{k_1}\cdot 3^{k_2}$ in the projective space ${\mathbb P}^{2k_1+3k_2}$, under the condition that $k_2\geq 2$ and $k_1+2k_2=\mathop{\rm dim} V\geq 12$, and of a few families of Fano complete intersections of dimension 10 and 11. This is the third version: minor corrections were made, including a few typos.
The derived category of a general complete intersection of four quadrics in P^{2n-1} has a semi-orthogonal decomposition < O(-2n+9), ..., O(-1), O, D >, where D is the derived category of twisted sheaves on a certain non-algebraic complex 3-fold coming from a moduli problem. In particular, when n=4 we obtain a (twisted) derived equivalence of Calabi-Yau 3-folds predicted by Gross. This differs from Kuznetsov's result in that our construction is geometric and avoids non-commutative varieties.
Let $Y$ be a smooth complete intersection of three quadrics, and assume the dimension of $Y$ is even. We show that $Y$ has a multiplicative Chow-Künneth decomposition, in the sense of Shen-Vial. As a consequence, the Chow ring of (powers of) $Y$ displays K3-like behaviour. As a by-product of the argument, we also establish a multiplicative Chow-Künneth decomposition for double planes.
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…
Our main results concern complete intersections of three real quadrics. We prove that the maximal number $B^0_2(N)$ of connected components that a regular complete intersection of three real quadrics in $\Bbb{P}^N$ can have differs at most by one from the maximal number of ovals of the submaximal depth $[(N-1)/2]$ of a real plane projective curve of degree $d=N+1$. As a consequence, we obtain a lower bound \smash{$\frac14 N^2+O(N)$} and an upper bound \smash{$\frac38 N^2+O(N)$} for $B^0_2(N)$.
Let $Y$ be a smooth complete intersection of a quadric and a cubic in $\mathbb{P}^n$, with $n$ even. We show that $Y$ has a multiplicative Chow-Künneth decomposition, in the sense of Shen-Vial. As a consequence, the Chow ring of (powers of) $Y$ displays K3-like behaviour. As a by-product of the argument, we also establish a multiplicative Chow-Künneth decomposition for the resolution of singularities of a general nodal cubic hypersurface of even dimension.
In [GH], Griffiths and Harris asked whether a projective complex submanifold of codimension two is determined by the moduli of its second fundamental forms. More precisely, given a nonsingular subvariety $X^n \subset {\mathbb P}^{n+2}$, the second fundamental form $II_{X,x}$ at a point $x \in X$ is a pencil of quadrics on $T_x(X)$, defining a rational map $μ^X$ from $X$ to a suitable moduli space of pencils of quadrics on a complex vector space of dimension $n$. The question raised by Griffiths and Harris was whether the image of $μ^X$ determines $X$. We study this question when $X^n \subset {…
For each nonsingular hyperelliptic curve of arbitrary genus, we construct a natural injection from the Galois cohomology of 2-torsion subgroups of Jacobian varieties of the curve to the set of isomorphism classes of nonsingular complete intersections of two quadrics. This gives a generalization of the result of Flynn and Skorobogatov.
Let X -> Y be a fibration whose fibers are complete intersections of two quadrics. We develop new categorical and algebraic tools---a theory of relative homological projective duality and the Morita invariance of the even Clifford algebra under quadric reduction by hyperbolic splitting---to study semiorthogonal decompositions of the bounded derived category of X. Together with new results in the theory of quadratic forms, we apply these tools in the case where X -> Y has relative dimension 1, 2, or 3, in which case the fibers are curves of genus 1, Del Pezzo surfaces of degree 4, or Fano three…
We prove a result comparing the rationality of some elementary algebraic cycles introduced by Alexander Vishik, defined on orthogonal grassmannians, with the rationality of some algebraic cycles defined on fiber products of the corresponding quadric.
We give uniform upper bounds for the number of rational points of height at most $B$ on non-singular complete intersections of two quadrics in $\mathbb{P}^3$ defined over $\mathbb{Q}$. To do this, we combine determinant methods with descent arguments.
In this paper we present a key exchange protocol in which Alice and Bob have secret keys given by quadric surfaces embedded in a large ambient space by means of the Veronese embedding and public keys given by hyperplanes containing the embedded quadrics. Both of them reconstruct the isomorphism class of the intersection which is a curve of genus 1, which is uniquely determined by the $j$-invariant. An eavesdropper, to find this $j$-invariant, has to solve problems which are conjecturally quantum resistant.
In our previous works (2012, 2013), we provided a finite list of properties characterizing all potential types of quadratic birational transformations of a projective space into a factorial variety, whose base locus is smooth and irreducible. However, some existence problems remained open. Among them one had to prove that the image of a given transformation was factorial, but in two particular situations, even the mere existence of the transformation was left as an open problem. In this paper, we use computer algebra methods to construct explicitly four examples of such transformations; two of…
A linear system of real quadratic forms defines a real projective variety. The real non-singular locus of this variety (more precisely of the underlying scheme) has a highly connected double cover as long as each non-zero form in the system has sufficiently high Witt index.
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 study the geometry of a birational map between an intersection of a web of quadrics in seven-dimensional complex projective space that contains a plane and the double octic branched along the discriminant of the web.
In this paper we introduce a certain class of families of Hessenberg varieties arising from Springer theory for symmetric spaces. We study the geometry of those Hessenberg varieties and investigate their monodromy representations in detail using the geometry of complete intersections of quadrics. We obtain decompositions of these monodromy representations into irreducibles and compute the Fourier transforms of the IC complexes associated to these irreducible representations. The results of the paper refine (part of) the Springer correspondece for the split symmetric pair (SL(N),SO(N)) in [CVX2…
Let $k$ be a field with char $k\neq 2$ and $k$ be not algebraically closed. Let $a\in k\setminus k^2$ and $L=k(\sqrt{a})(x,y)$ be a field extension of $k$ where $x,y$ are algebraically independent over $k$. Assume that $σ$ is a $k$-automorphism on $L$ defined by \[ σ: \sqrt{a}\mapsto -\sqrt{a},\ x\mapsto \frac{b}{x},\ y\mapsto \frac{c(x+\frac{b}{x})+d}{y} \] where $b,c,d \in k$, $b\neq 0$ and at least one of $c,d$ is non-zero. Let $L^{\langleσ\rangle}=\{u\in L:σ(u)=u\}$ be the fixed subfield of $L$. We show that $L^{\langleσ\rangle}$ is isomorphic to the function field of a certain surface in …
We determine the possible intersection sizes of a Hermitian surface $\mathcal H$ with an irreducible quadric of ${\mathrm PG}(3,q^2)$ sharing at least a tangent plane at a common non-singular point when $q$ is even.
We obtain finiteness theorems for algebraic cycles of small codimension on quadric fibrations X over curves over perfect fields k. For example, if k is finitely generated over Q and the fibration has odd relative dimension at least 11, then CH^{i}(X) is finitely generated for i<=4.
Let X be a very general complete intersection in complex projective space and we denote by $F_r(X)$ the variety of r-planes in X, for $r\geq 1$. We show that the Picard number of $F_r(X)$ is 1, as soon as $\dim F_r(X)\geq 2$, except when X is a quadric of dimension 2r or 2r+2, or X is a complete intersection of two quadrics of dimension 2r+2. We also apply this result to determine the cohomology class of the variety of planes of a cubic fivefold contained (by the Abel-Jacobi map) in the intermediate Jacobian.
The Beilinson-Bloch type conjectures predict that the low degree rational Chow groups of intersections of quadrics are one dimensional. This conjecture was proved by Otwinowska. Making use of homological projective duality and the recent theory of (Jacobians of) noncommutative Chow motives, we give an alternative proof of this conjecture in the case of a complete intersection of either two quadrics or three odd-dimensional quadrics. Moreover, without the use of the powerful Lefschetz theorem, we prove that in these cases the unique non-trivial algebraic Jacobian is the middle one. As an applic…
For even dimensional smooth complete intersections, of dimension at least 4, of two quadric hypersurfaces in a projective space, we study the genus zero Gromov-Witten invariants by the monodromy group of its whole family. We compute the invariants of length 4 and show that, besides a special invariant, all genus zero Gromov-Witten invariants can be reconstructed from the invariants of length 4. In dimension 4, we compute the special invariant by solving a curve counting problem. We show that the generating function of genus zero Gromov-Witten invariants has a positive radius of convergence. We…
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.
This paper, motivated by problems in Diophantine analysis which can be formulated as problems of finding rational points on the intersection of two quadrics, presents an explicit construction of a rationally defined isomorphism (biregular mapping) between a rationally defined smooth intersection of two quadrics in projective three-space and an elliptic curve in Weierstrass form which maps a distinguished rational point to the point at infinity. The usual approach of transforming a smooth plane cubic to a curve in Weierstrass form by mapping an inflection point to the point at infinity in a par…
We consider artinian algebras $A=\mathbb{C}[x_0,\ldots,x_m]/I$, with $I$ generated by a regular sequence of homogeneous forms of the same degree $d\geq 2$. We show that the multiplication by a general linear form from $A_{d-1}$ to $A_d$ is injective. We prove that the Weak Lefschetz Property holds for artinian complete intersection algebras as above, with $d=2$ and $m\leq 4$. Apparently, this was previously known only for $m\leq 3$. Although we are proposing only very limited progress towards the WLP conjecture for complete intersections, we hope that the methods of the present article can ill…
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…