We show that if A is a d-dimensional abelian variety in a smooth quadric of dimension 2d then d=1 and A is an elliptic curve of bidegree (2,2) on a quadric. This extends a result of Van de Ven which says that A only can be embedded in P^{2d} when d=1 or 2.
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.
Let $f : X \rightarrow B$ be a proper flat dominant morphism between two smooth quasi-projective complex varieties $X$ and $B$. Assume that there exists an integer $l$ such that all closed fibres $X_b$ of $f$ satisfy $CH_j(X_b) = \Q$ for all $j \leq l$. Then we prove an analogue of the projective bundle formula for $CH_i(X)$ for $i \leq l$. When $B$ is a surface, $X$ is projective and $l = \lfloor \frac{\dim X - 3}{2} \rfloor$, this makes it possible to construct a Chow-Künneth decomposition for $X$ that satisfies Murre's conjectures. For instance we prove Murre's conjectures for complex smoot…
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 consider two varieties associated to a web of quadrics W in the projective space of dimension 7. One is the base locus and the second one is the double cover of the three dimensional projective space branched along the determinant surface of W. We show that small resolutions of these varieties are Calabi-Yau manifolds. We compute their Betti numbers and show that they are not birational in the generic case. The main result states that if the base locus of W contains a plane then in the generic case the two varieties are birational.
We will consider an explicit birational map between a quadric and the projective variety X(J) of traceless rank one elements in a simple reduced Jordan algebra J. X(J) is a homogeneous G-variety for the automorphism group G=Aut(J). We will show that the birational map is a blow up followed by a blow down. This will allow us to use the blow up formula for motives together with Vishik's work on the motives of quadrics to give a motivic decomposition of X(J).
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…
For any $n\geq 3$, we prove that there exist equivalences between these apparently unrelated objects: irreducible $n$-dimensional non degenerate projective varieties $X\subset \mathbb P^{2n+1}$ different from rational normal scrolls and 3-covered by twisted cubic curves, up to projective equivalence; quadro-quadric Cremona transformations of $ \mathbb P^{n-1}$, up to linear equivalence; $n$-dimensional complex Jordan algebras of rank three, up to isotopy. We also provide some applications to the classification of particular classes of varieties in the class defined above and of quadro-quadric …
We classify three-dimensional nodal Fano varieties that are double covers of smooth quadrics branched over intersections with quartics acted on by finite simple non-abelian groups, and study their rationality.
We construct wonderful compactifications of the spaces of linear maps, and symmetric linear maps of a given rank as blow-ups of secant varieties of Segre and Veronese varieties. Furthermore, we investigate their birational geometry and their relations with some spaces of degree two stable maps.
This article is a continuation of a previous article which concerned the splitting problem for subspaces of superspaces. We begin with a general account of projective superspaces. Subsequently, we specialise to subvarieties of `positive' projective superspaces. Our main result is: positive, projective superspaces are `normal', in a sense we define. Then, among others, our main application is: smooth, non-reduced, superspace quadric hypersurfaces are non-split.
We discuss a conjecture saying that derived equivalence of simply connected smooth projective varieties implies that the difference of their classes in the Grothendieck ring of varieties is annihilated by a power of the affine line class. We support the conjecture with a number of known examples, and one new example. We consider a smooth complete intersection $X$ of three quadrics in ${\mathbf P}^5$ and the corresponding double cover $Y \to {\mathbf P}^2$ branched over a sextic curve. We show that as soon as the natural Brauer class on $Y$ vanishes, so that $X$ and $Y$ are derived equivalent, …
In this article, by combining the recent theory of noncommutative motives with the classical theory of motives, we prove that if two quadrics (or, more generally, two involution varieties) have the same Grothendieck class, then they have the same even Clifford algebra and the same signature. As an application, we show in numerous cases (e.g., when the base field is a local or global field) that two quadrics (or, more generally, two involution varieties) have the same Grothendieck class if and only if they are isomorphic.
We give the parameters of any evaluation code on a smooth quadric surface. For hyperbolic quadrics the approach uses elementary results on product codes and the parameters of codes on elliptic quadrics are obtained by detecting a BCH structure of these codes and using the BCH bound. The elliptic quadric is a twist of the surface P^1 x P^1 and we detect a similar BCH structure on twists of the Segre embedding of a product of any d copies of the projective line.
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.
We give a complete description of the bigraded Bredon cohomology ring of smooth projective real quadrics, with coefficients in the constant Mackey functor $ \mathbf{Z} $. These invariants are closely related to the integral motivic cohomology ring, which is not known for these varieties. Some of the results and techniques introduced can be applied to other geometrically cellular real varieties.
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.
Gross and Popescu conjectured that the homogeneous ideal of an embedded $(1,d)$-polarized abelian surface is generated by quadrics and cubics for $d\geq 9$. We prove this using the projective normality of the embedding. It follows that the homogeneous ideal of an abelian surface embedded by a complete linear system is generated by quadrics and cubics, with three exceptions.
We make explicit the equations of any projective $PGL_2(\C)$-variety defined by quadrics. We study their zero-locus and their relationship with the geometry of the Veronese curve.
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 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.
It was shown by Kuznetsov that complete intersections of $n$ generic quadrics in ${\mathbb P}^{2n-1}$ are related by Homological Projective Duality to certain non-commutative (Clifford) varieties which are in some sense birational to double covers of ${\mathbb P}^{n-1}$ ramified over symmetric determinantal hypersurfaces. Mirror symmetry predicts that the Hodge numbers of the complete intersections of quadrics must coincide with the appropriately defined Hodge numbers of these double covers. We observe that these numbers must be different from the well-known Batyrev's stringy Hodge numbers, el…
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.
Let X be a projective hypersurface in P_k^n of degree d <= n. In this paper we study the relation between the class [X] in K_0(Var_k) and the existence of k-rational points. Using elementary geometric methods we show, for some particular X, that X(k) is nonempty if and only if [X] is equivalent to 1 modulo the class of the affine line in K_0(Var_k). More precisely we consider the following cases: a union of hyperplanes, a quadric, a cubic hypersurface with a singular k-rational point, and a quartic which is a union of two quadrics one of which being smooth.
We study the functional codes of second order defined by G. Lachaud on $\mathcal{X} \subset {\mathbb{P}}^4(\mathbb{F}_q)$ a quadric of rank($\mathcal{X}$)=3,4,5 or a non-degenerate hermitian variety. We give some bounds for %$# \mathcal{X}_{Z(\mathcal{Q})}(\mathbb{F}_{q})$, the number of points of quadratic sections of $\mathcal{X}$, which are the best possible and show that codes defined on non-degenerate quadrics are better than those defined on degenerate quadrics. We also show the geometric structure of the minimum weight codewords and estimate the second weight of these codes. For $\mathc…
Three-dimensional del Pezzo varieties of degree 2 are double covers of projective space $\mathbb{P}^{3}$ branced in a quadric. In this paper we prove that if a del Pezzo variety of degree 2 has exactly 15 nodes then the corresponding quadric is a hyperplane section of the Igusa quartic or, equivalently, all such del Pezzo varieties are members of one particular linear system on the Coble fourfold. Their automorphism groups are induced from the automorphism group of Coble fourfold. Also we classify all $G$-birationally rigid varieties of such type.
In this paper we prove a cohomology vanishing result for quadrics of low dimension in positive characteristic. This vanishing is a necessary condition for the D-affinity of these varieties.
Beauville and Donagi proved in 1985 that the primitive middle cohomology of a smooth complex cubic fourfold and the primitive second cohomology of its variety of lines, a smooth hyperkähler fourfold, are isomorphic as polarized integral Hodge structures. We prove analogous statements for smooth complex Gushel-Mukai varieties of dimension 4 (resp. 6), i.e., smooth dimensionally transverse intersections of the cone over the Grassmannian Gr(2,5), a quadric, and two hyperplanes (resp. of the cone over Gr(2,5) and a quadric). The associated hyperkähler fourfold is in both cases a smooth double cove…
Special birational transformations $Φ:\p^r\da Z$ defined by quadric hypersurfaces are studied by means of the variety of lines $\mathcal L_z\subset\p^{r-1}$ passing through a general point $z\in Z$. Classification results are obtained when $Z$ is either a Grassmannian of lines, or the 10-dimensional spinor variety, or the $E_6$-variety. In the particular case of quadro-quadric transformations, we extend the well-known classification of Ein and Shepherd-Barron coming from Zak's classification of Severi varieties to a wider class of prime Fano manifolds $Z$. Combining both results, we get a clas…
For any split totally degenerate abelian variety over a complete discrete valuation field, we construct a log abelian variety over the discrete valuation ring extending the given abelian variety. This generalizes the log Tate curve of Kato.
Let $f : X -> B$ be a projective surjective morphism between quasi-projective varieties. The goal of this paper is the study of the Chow groups of $X$ in terms of the Chow groups of $B$ and of the fibers of $f$. One of the applications concerns quadric bundles. When $X$ and $B$ are smooth projective and when $f$ is a flat quadric fibration, we show that the motive of $X$ is "built" from the motives of varieties of dimension less than the dimension of $B$.
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 investigate the logarithmic bundles associated to arrangements of hypersurfaces with a fixed degree in a smooth projective variety. We then specialize to the case when the variety is a quadric hypersurface and a multiprojective space to prove a Torelli type theorem in some cases.
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.
We construct the fine moduli space of log abelian varieties with PEL structure, which gives a toroidal compactification of the moduli space of abelian varieties with PEL structure.
We analyze the relationship between abelian fourfolds of Weil type and Hodge structures of type K3, and we extend some of these correspondences to the case of arbitrary dimension.
Let $A$ be an abelian variety over an algebraically closed field. We show that $A$ is the automorphism group scheme of some smooth projective variety if and only if $A$ has only finitely many automorphisms as an algebraic group. This generalizes a result of Lombardo and Maffei for complex abelian varieties.
In this paper we study abelian varieties which correspond to CM points in the coarse moduli space of principally polarized abelian varieties with multiplication by a maximal order in a quaternion algebra over a totally real number field. These are abelian varieties of even dimension with quaternion and complex multiplication. We describe them explicitly via isogenies to products of abelian varieties of smaller dimension together with estimates on the degree of the isogeny.
In this paper, using a generalization of the notion of Prym variety for covers of quasi-projective varieties, we prove a structure theorem for the Mordell-Weil group of the abelian varieties over function fields that are twists of Abelian varieties by Galois covers of irreducible quasi-projective varieties. In particular, the resutls we obtain contribute in the construction of Jacobians (of covers of the projective line) of high rank.
We prove that the geometric Bogomolov conjecture for any abelian varieties is reduced to that for nowhere degenerate abelian varieties with trivial trace. In particular, the geometric Bogomolov conjecture holds for abelian varieties whose maximal nowhere degenerate abelian subvariety is isogenous to a constant abelian variety. To prove the results, we investigate closed subvarieties of abelian schemes over constant varieties, where constant varieties are varieties over a function field which can be defined over the constant field of the function field.
We study finite quotients of abelian varieties (fqav for short) i.e. quotients of abelian varieties by finite groups. We show that Q-abelian varieties (i.e. fqav's with $\mathbb Q$-linearly trivial canonical divisors) are characterized by the existence of quasiétale polarized (or int-amplified) endomorphisms. We show that every fqav has a finite quasiétale cover by the product of an abelian variety and a $\mathbb Q$-Fano fqav. Using such coverings, we give a characterization of $\mathbb Q$-Fano fqav's, and show that $\mathbb Q$-Fano fqav's and Q-abelian varieties are ``building blocks'' of gen…
For a semi-stable abelian variety A_K over a complete discrete valuation field K, we show that every finite subgroup scheme of A_K extends to a log finite flat group scheme over the valuation ring of K endowed with the canonical log structure. To achieve this, we first prove that every weak log abelian variety over an fs log scheme with its underlying scheme locally noetherian, is a sheaf for the Kummer flat topology, which answers a question of Chikara Nakayama. We also give several equivalent conditions defining isogenies of log abelian varieties.
An automorphism of an abelian variety induces a decomposition of the variety up to isogeny. There are two such results, namely the isotypical decomposition and Roan's decomposition theorem. We show that they are essentially the same. Moreover, we generalize in a sense this result to abelian varieties with action of an arbitrary finite abelian group.
In this paper we improve our previous results on classification of groups of points on abelian varieties over finite fields. The classification is given in terms of the Weil polynomial of abelian varieties in a given $k$-isogeny class.
We introduce the notion of abelian solutions of the 2D Toda lattice equations and the bilinear discrete Hirota equation and show that all of them are algebro-geometric.
We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of projective smooth families of curves over Abelian varieties. We also study the isotriviality over simply connected projective smooth varieties.