The moduli space M_0 of semi-stable rank 2 vector bundles with fixed trivial determinant over a non-hyperelliptic curve C of genus 3 is isomorphic to a quartic hypersurface in P^7 (Coble's quartic). We show that M_0 is self-dual and that its polar map associates to a stable bundle E \in M_0 a bundle F which is characterized by dim H^0(C, E \otimes F) = 4. The projective space PH^0(C, E \otimes F) is equipped with a net of quadrics Πand it is shown that the map which associates to E \in M_0 the isomorphism class of the plane quartic Hessian curve of Πis a dominant map to the moduli space of genus 3 curves.
We show the dominance of the restriction map from a moduli space of stable sheaves on the projective plane to the Coble quartic. With the dominance and the interpretation of a stable sheaf on the plane in terms of the hyperplane arrangements, we expect to investigate the geometry of the Coble quartic.
We construct two small resolutions of singularities of the Coble fourfold (the double cover of the four-dimensional projective space branched over the Igusa quartic). We use them to show that all $S_6$-invariant three-dimensional quartics are birational to conic bundles over the quintic del Pezzo surface with the discriminant curves from the Wiman-Edge pencil. As an application, we check that $S_6$-invariant three-dimensional quartics are unirational, obtain new proofs of rationality of four special quartics among them and irrationality of the others, and describe their Weil divisor class grou…
Let A be an indecomposable principally polarized abelian variety of dimension g . Third order theta functions embed A in a projective space P(V_3), while second order theta functions embed the Kummer variety K=A/<-1> in a projective space P(V_2). Coble observed that for g = 2 there is a unique cubic hypersurface in P(V_3) that is singular along A, and for g = 3 a unique quartic hypersurface in P(V_2) singular along K . We explain these facts by a simple analysis of the representations of the corresponding Heisenberg group.
We review and extend the known constructions relating Kummer threefolds, Gopel systems, theta constants and their derivatives, and the GIT quotient for 7 points in P^2 to obtain an explicit expression for the Coble quartic. The Coble quartic was recently determined completely by Q.Ran, S.Sam, G.Schrader, and B.Sturmfels, who computed it completely explicitly, as a polynomial with 372060 monomials of bidegree (28,4) in theta constants of the second order and theta functions of the second order, respectively. Our expression is in terms of products of theta constants with characteristics correspo…
Coble type hypersurfaces and hyperkähler fourfolds
Universität des Saarlandes（萨尔兰大学）；Université Paris Cité and Sorbonne Université（巴黎西岱大学和索邦大学）；Universitat de Barcelona（巴塞罗那大学）；Università degli Studi di Milano（米兰大学）
In the paper "The universal Kummer threefold", Q. Ren, S. Sam, G. Schrader, and B. Sturmfels (arXiv:1208.1229), conjectured equations for the universal Kummer variety in genus 3 case. Though, most of these equations are obtained from the Fourier-Jacobi expansion of relations among theta constants in genus 4, the more prominent one, Coble's quartic was obtained differently. The aim of the current paper is to show that Coble's quartic can be obtained as Fourier-Jacobi expansion of a relation among theta-constants in genus 4. We get also one more relation that could be in the ideal described in "…
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 thesis we have proved a conjecture about the moduli space SU_X(3) of semi-stable rank 3 vector bundles with trivial determinant on a genus 2 curve X, due to I. Dolgachev. Given X a smooth projective curve of genus 2, and the embedding of the jacobian JX into |3Θ|, A. Coble proved, at the begining of XX century, that there exists a unique cubic hypersurface C in |3Θ|* \simeq P^8, JX[3]-invariant and singular along JX. On the other hand, we have a map of degree 2 from SU_X(3) over |3Θ|, ramified along a sextic hypersurface B. The Dolgachev's conjecture affirms that the sextic B is the du…
Let SU_X(3) be the moduli space of semi-stable vector bundles of rank 3 and trivial determinant on a curve X of genus 2. It maps onto P^8 and the map is a double cover branched over a sextic hypersurface called the Coble sextic. In the dual P^8 there is a unique cubic hypersurface, the Coble cubic, singular exactly along the abelian surface of degree 1 line bundles on X. We give a new proof that these two hypersurfaces are dual. As an immediate corollary, we derive a Torelli-type result.
It is known that the moduli space of plane quartic curves is birational to an arithmetic quotient of a 6-dimensional complex ball. In this paper, we shall show that there exists a 15-dimensional space of meromorphic automorphic forms on the complex ball which gives a birational embedding of the moduli space of plane quartics with level 2 structure into 14-dimensional projective space. This map coincides with the one given by Coble by using Gopel invariants.
The Segre cubic and Castelnuovo-Richmond quartic are two projectively dual hypersurfaces in $\mathbb{P}^4$, with a long and rich history starting in the 19th century. We will explain how Kuznetsov's theory of homological projective duality lifts this projective duality to a relationship between the derived category of a small resolution of the Segre cubic and a small resolution of the Coble fourfold, the double cover of $\mathbb{P}^4$ ramified along the Castelnuovo-Richmond quartic. Homological projective duality then provides a description of the derived categories of linear sections, which w…
Let $C$ be a curve of genus two. We denote by $SU_C(3)$ the moduli space of semi-stable vector bundles of rank 3 and trivial determinant over $C$, and by $J^d$ the variety of line bundles of degree $d$ on $C$. In particular, $J^1$ has a canonical theta divisor $Θ$. The space $SU_C(3)$ is a double cover of $P^8=|3Θ|$ branched along a sextic hypersurface, the Coble sextic. In the dual $\check{P}^8=|3Θ|^*$, where $J^1$ is embedded, there is a unique cubic hypersurface singular along $J^1$, the Coble cubic. We prove that these two hypersurfaces are dual, inducing a non-abelian Torelli result. More…
We prove that a smooth surface, non of general type, in projective four-space, which lies on a quartic hypersurface with isolated singularities has degree at most 27 (in fact we prove a slightly more general result).
We construct new subvarieties in the varieties of power sums for certain quartic hypersurfaces. This provides a generalization of Mukai's description of smooth prime Fano threefolds of genus twelve as the varieties of power sums for plane quartics. In fact, in our second paper, we show that these quartics are exactly the Scorza quartics associated to general pairs of trigonal curves and ineffective theta characteristics and this enables us to prove there the main cojecture of Dolgachev and Kanev.
Coble defined in his 1929 treatise invariants for cubic surfaces and quartic curves. We reinterpret these in terms of the root systems of type E_6 and E_7 that are naturally associated to these varieties, thereby giving some of his results a more intrinsic treatment. Our discussion is uniform for all Del Pezzo surfaces of degree 2,3,4 and 5.
The hypersurface of Luroth quartic curves inside the projective space of plane quartics has degree 54. We give a proof of this fact along the lines outlined in a paper by Morley, published in 1919. Another proof has been given by Le Potier and Tikhomirov in 2001, in the setting of moduli spaces of vector bundles on the projective plane. Morley's proof uses the description of plane quartics as branch curves of Geiser involutions and gives new geometrical interpretations of the 36 planes associated to the Cremona hexahedral representations of a nonsingular cubic surface.
Let $X$ be a smooth quartic hypersurface in $\mathbb{P}^3$. By the Brill-Noether theory of curves on K3 surfaces, if a rank 2 aCM bundle on $X$ is globally generated, then it is the Lazarsfeld-Mukai bundle $E_{C,Z}$ associated with a smooth curve $C$ on $X$ and a base point free pencil $Z$ on $C$. In this paper, we will focus on the classification of such bundles on $X$ to investigate aCM bundles of rank 2 on $X$. Concretely, we will give a necessary condition for a rank 2 vector bundle of type $E_{C,Z}$ to be indecomposable initialized and aCM, in the case where the class of $C$ in Pic($X$) i…
In this paper, we prove a Clifford type inequality for the curve $X_{2,2,2,4}$, which is the intersection of a quartic and three general quadratics in $\mathbb{P}^5$. We thus prove a stronger Bogomolov-Gieseker inequality for characters of stable vector bundles and stable objects on $X_{2,4}$. Applying the scheme proposed by Bayer, Bertram, Macrì, Stellari and Toda, we can construct an open subset of Bridgeland stability conditions on $X_{2,4}$.
We study a double cover $ψ:X\to V\subset\mathbb{P}^{n}$ branched over a smooth divisor $R\subset V$ such that $R$ is cut on $V$ by a hypersurface of degree $2(n-\mathrm{deg}(V))$, where $n\geqslant 8$ and $V$ is a smooth hypersurface of degree 3 or 4. We prove that $X$ is nonrational and birationally superrigid.
The universal Kummer threefold is a 9-dimensional variety that represents the total space of the 6-dimensional family of Kummer threefolds in 7-dimensional projective space. We compute defining polynomials for three versions of this family, over the Satake hypersurface, over the Göpel variety, and over the reflection representation of type E7. We develop classical themes such as theta functions and Coble's quartic hypersurface using current tools from combinatorics, geometry, and commutative algebra. Symbolic and numerical computations for genus 3 moduli spaces appear alongside toric and tropi…
We compute the number of rational quartics on a general Calabi-Yau hypersurface in weighted projective space P(2,1^4). The result agrees with the prediction made by mirror symmetry.
Using Voisin's method we prove that a very general hypersurface of degree at least 4 in complex projective space of dimension 6, 7, 8 or 9 is not stably rational and so, in particular, not rational. We obtain the same conclusion for the double covering of projective space of dimension 6, 7, 8 or 9, branched along a very general quartic hypersurface. On the other hand, such double coverings as well as general quartic hypersurfaces of dimension at least 5 are known to be unirational.
We give examples of smooth $\k$-unirational line-free quartic hypersurfaces over a non algebraically closed field $\k$. Unlike other methods of proving unirationality, our method does not rely on existence of linear spaces on quartics.
If C is a curve of genus 4 without vanishing theta-nulls then there exists a unique (irreducible) Heisenberg-invariant quartic Q_C in |2Θ| = P^{15} such that Sing Q_C contains the image of SU_C(2), the moduli space of rank 2 vector bundles with trivial determinant. Moreover, in each eigen-P^7 of the Heisenberg action on |2Θ|, Q_C restricts to the classical Coble quartic of the corresponding Prym-Kummer variety. We compare Q_C with the hypersurface G_3 in |2Θ| of divisors containing a translate of C in J(C), and show that in the eigen-P^7s G_3 recovers Beauville--Debarre's quadrisecant planes o…
The quartic hypersurfaces in P^4 invariant under the standard representation of S_6 form a linear pencil. We prove that a general member of this pencil is not rational.
Let X be a non-singular projective hypersurface of degree 4, which is defined over the rational numbers. Assume that X has dimension 39 or more, and that X contains a real point and p-adic points for every prime p. Then X is shown to contain infinitely many rational points.
We analyze the local structure of the moduli space of semi-stable bundles on a curve. In particular, a complete description of the local structure is given in the rank 2 case. We obtain as a corollary of this analysis new results about the Kummer variety and the Coble quartic associated to a canonical genus 3 curve.
We show that a wide class of hypersurfaces in all dimensions are not stably rational. Namely, for all d at least about 2n/3, a very general complex hypersurface of degree d in P^{n+1} is not stably rational. The statement generalizes Colliot-Thelene and Pirutka's theorem that very general quartic 3-folds are not stably rational. The result covers all the degrees in which Kollar proved that a very general hypersurface is non-rational, and a bit more. For example, very general quartic 4-folds are not stably rational, whereas it was not even known whether these varieties are rational.
Let $X_4\subset\mathbb{P}^{n+1}$ be a quartic hypersurface of dimension $n\geq 4$ over an infinite field $k$. We show that if either $X_4$ contains a linear subspace $Λ$ of dimension $h\geq \max\{2,\dim(Λ\cap \text{Sing}(X_4))-2\}$ or has double points along a linear subspace of dimension $h\geq 3$, a smooth $k$-rational point and is otherwise general, then $X_4$ is unirational over $k$. This improves previous results by A. Predonzan and J. Harris, B. Mazur, R. Pandharipande for quartics. We also provide a density result for the $k$-rational points of quartic $3$-folds with a double plane over…
Let $X={\bf P}^2\times{\bf P}^{n-1}$ embedded with $Ø(1,2)$. We prove that its $(n+1)$-secant variety $σ_{n+1}(X)$ is a hypersurface, while it is expected that it fills the ambient space. The equation of $σ_{n+1}(X)$ is the symmetric analog of the Strassen equation. When $n=4$ the determinantal map takes $σ_5(X)$ to the hypersurface of Lüroth quartics, which is the image of the Barth map studied by LePotier and Tikhomirov. This hint allows to obtain some results on the jumping lines and the Brill-Noether loci of symplectic bundles on ${\bf P}^2$ by using the higher secant varieties of $X$.
This small note contains some easy examples of quartic hypersurfaces that have finite-dimensional motive. As an illustration, we verify a conjecture of Voevodsky (concerning smash-equivalence) for some of these special quartics.
We complete the study of rationality problem for hypersurfaces $X_t\subset \mathbb{P}^4$ of degree $4$ invariant under the action of the symmetric group $S_6$.
Given a complex curve C of genus 2, there is a well-known relationship between the moduli space of rank 3 semistable bundles on C and a cubic hypersurface known as the Coble cubic. Some of the aspects of this is known to be related to the geometric invariant theory of the third exterior power of a 9-dimensional complex vector space. We extend this relationship to arbitrary fields and study some of the connections to invariant theory, which will be studied more in-depth in a followup paper.
In this paper, we develop a new method to classify abelian automorphism groups of hypersurfaces. We use this method to classify (Theorem 4.2) abelian groups that admit a liftable action on a smooth cubic fourfold. A parallel result (Theorem 5.1) is obtained for quartic surfaces.
We construct families of quartic and cubic hypersurfaces through a canonical curve, which are parametrized by an open subset in a Grassmannian and a Flag variety respectively. Using G. Kempf's cohomological obstruction theory, we show that these families cut out the canonical curve and that the quartics are birational (via a blowing-up of a linear subspace) to quadric bundles over the projective plane, whose Steinerian curve equals the canonical curve.
In this paper we investigate the divisor $\mathcal C_{14}$ inside the moduli space of smooth cubic hypersurfaces in $\mathbb P^5$, whose generic element is a smooth cubic containing a smooth quartic scroll. Using the fact that all degenerations of quartic scrolls in $\mathbb P^5$ contained in a smooth cubic hypersurface are surfaces with one apparent double point, we conclude that every cubic hypersurface belonging to $\mathcal C_{14}$ is rational. As an application of our results and of the construction of some explicit examples contained in the Appendix, we also prove that the Pfaffian locus…
Let $C$ be an algebraic smooth complex genus $g>1$ curve. The object of this paper is the study of the birational structure of the coarse moduli space $U_C(r,0)$ of semi-stable rank r vector bundles on $C$ with degree 0 determinant and of its moduli subspace $SU_C(r)$ given by the vector bundles with trivial determinant. Notably we prove that $U_C(r,0)$ (resp. $SU_C(r)$) is birational to a fibration over the symmetric product $C^(rg)$ (resp. over $P^{(r-1)g}$) whose fibres are GIT quotients $(P^{r-1})^{rg}//PGL(r)$. In the cases of low rank and genus our construction produces families of class…
In the previous paper, we construct new subvarieties in the varieties of power sums for certain quartic hypersurfaces. In this paper, we show that these quartics coincide with the Scorza quartics of general pairs of trigonal curves and ineffective theta characteristics. Among other applications, we give an affirmative answer to the conjecture of Dolgachev and Kanev on the existence of the Scorza quartics for any general pairs of curves and ineffective theta characteristics. We also give descriptions of the moduli spaces of trigonal even spin curves. For curves of genus 4, we deepen this descri…
We explain a classical construction of a del Pezzo surface of degree d = 4 or 5 as a smooth order two congruence of lines in 3-space whose focal surface is a quartic surface $X_{20-d}$ with 20-d ordinary double points. We also show that $X_{15}$ can be realized as a hyperplane section of the Castelnuovo-Richmond-Igusa quartic hypersurface. This leads to the proof of rationality of the moduli space of 15-nodal quartic surfaces. We discuss some other birational models of $X_{15}$: quartic symmetroids, 5-nodal quartic surfaces, 10-nodal sextic surfaces in $P^4$ and nonsingular surfaces of degree …
We study the geometry underlying the difference between non-negative polynomials and sums of squares. The hypersurfaces that discriminate these two cones for ternary sextics and quaternary quartics are shown to be Noether-Lefschetz loci of K3 surfaces. The projective duals of these hypersurfaces are defined by rank constraints on Hankel matrices. We compute their degrees using numerical algebraic geometry, thereby verifying results due to Maulik and Pandharipande. The non-SOS extreme rays of the two cones of non-negative forms are parametrized respectively by the Severi variety of plane ration…
Let $S \subset ¶^n$ be a smooth quartic hypersurface defined over a number field $K$. If $n \ge 4$, then for some finite extension $K'$ of $K$ the set $S(K')$ of $K'$-rational points of $S$ is Zariski dense.
Let $C$ be an algebraic smooth complex curve of genus $g>1$. The object of this paper is the study of the birational structure of certain moduli spaces of vector bundles and of coherent systems on $C$ and the comparison of different type of notions of stability arising in moduli theory. Notably we show that in certain cases these moduli spaces are birationally equivalent to fibrations over simple projective varieties, whose fibers are GIT quotients $(\PP^{r-1})^{rg}//PGL(r)$, where $r$ is the rank of the considered vector bundles. This allows us to compare different definitions of (semi-)stabi…
Inspirés par un argument de C. Voisin, nous montrons l'existence d'hypersurfaces quartiques lisses dans ${\bf P}^4_{\mathbb C}$ qui ne sont pas stablement rationnelles, plus précisément dont le groupe de Chow de degré zéro n'est pas universellement égal à $\mathbb Z$. --- There are (many) smooth quartic hypersurfaces in ${\bf P}^4_{\mathbb C}$ which are not stably rational. More precisely, their degree zero Chow group is not universally equal to $\mathbb Z$. The proof uses a variation of a specialisation method due to C. Voisin.
In this paper we study ACM vector bundles $\E$ of rank $k \geq 3$ on hypersurfaces $X_r \subset\Pj^4$ of degree $r \geq 1$. We consider here mainly the case of degree $r = 4$, which is the first unknown case in literature. Under some natural conditions for the bundle $\E$ we derive a list of possible Chern classes $(c_1,c_2,c_3)$ which may arise in the cases of rank $k=3$ and $k=4$, when $r=4$. For some cases among these we give the corresponding examples, the existence of all the other cases remaining under question.
We study log canonical thresholds on quartic threefolds, quintic fourfolds, and double spaces. As an application, we show that they have a Kaehler-Einstein metric if they are general.
We investigate the structure of a variety of new Moishezon twistor spaces, by utilizing the pluri-half-anti-canonical map from the twistor spaces. Each of these twistor spaces is bimeromorphic to a double covering of a scroll of planes over a rational normal curve, and the branch divisor of the double cover is a cut of the scroll by a quartic hypersurface. In particular, the double covering has a pencil of Del Pezzo surfaces of degree two. Correspondingly, the twistor spaces have a pencil of rational surfaces with big anti-canonical class. The base locus of the last pencil is a cycle of ration…
In this paper, necessary and sufficient criteria for the Jacobian ideal of a reduced hypersurface with isolated singularity to be of linear type, are presented. We prove that the gradient ideal of a reduced projective plane curve with simple singularities ($\mathrm{ADE}$) is of linear type. We show that any reduced projective quartic curve is of gradient linear type.
This paper studies curves on quartic K3 surfaces, or more generally K3 surfaces which are complete intersection in weighted projective spaces. A folklore conjecture concerning rational curves on K3 surfaces states that all K3 surfaces contain infinite number of irreducible rational curves. It is known that all K3 surfaces, except those contained in the countable union of hypersurfaces in the moduli space of K3 surfaces satisfy this property. In this paper we present a new approach for constructing curves on varieties which admit nice degenerations. We apply this technique to the above problem …
