The Abel-Jacobi map of the space of conics for double sextic threefolds
Hosung Kim, Yongnam Lee
备注：
We withdraw the paper, because Lemma 3.1 is not correct which makes Theorem 1.3 to be incorrect. Part of results is moved to to the arXiv paper, arXiv:2109.07655
Let $X$ be a double cover of $\mathbb P^3$ branched along a sextic surface $Y$. In this paper, we show that, for general $X$, the Abel-Jacobi map associated to the normalization $\tilde F(X)$ of the surface $F(X)$ of curves contained in $X$ which are preimages of lines bitangent to $Y$, gives an isogeny between the Albanese variety of $\tilde F(X)$ and the intermediate Jacobian of $X$.
We study rational curves of degree two on a smooth sextic 4-fold and their counting invariant defined using Donaldson-Thomas theory of Calabi-Yau 4-folds. By comparing it with the corresponding Gromov-Witten invariant, we verify a conjectural relation between them proposed by the author, Maulik and Toda.
O'Grady showed that certain special sextics in $\mathbb{P}^5$ called EPW sextics admit smooth double covers with a holomorphic symplectic structure. We propose another perspective on these symplectic manifolds, by showing that they can be constructed from the Hilbert schemes of conics on Fano fourfolds of degree ten. As applications, we construct families of Lagrangian surfaces in these symplectic fourfolds, and related integrable systems whose fibers are intermediate Jacobians.
We study the indeterminacy locus of the period map for double EPW-sextics. We recall that double EPW-sextics are parametrized by lagrangian subspaces of the third wedge-product of a 6-dimensional complex vector-space. The indeterminacy locus is contained in the set of lagrangians containing a decomposable vector. The projectivization of the 3-dimensional support of such a decomposable vector contains a degeneracy subscheme which is either all of the plane or a sextic curve. We show that the period map is regular on any lagrangian A such that for all decomposables in A the corresponding degener…
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…
We prove non-rationality and birational super-rigidity of a Q-factorial double cover X of P^3 ramified along a sextic surface with at most simple double points. We also show that the condition #|Sing(X)| < 15 implies Q-factoriality of X. In particular, every double cover of P^3 with at most 14 simple double points is non-rational and not birationally isomorphic to a conic bundle. All the birational transformations of X into elliptic fibrations and into Fano 3-folds with canonical singularities are classified. We consider some relevant problems over fields of finite characteristic. When X is de…
A generalized Kummer surface $X$ obtained as the quotient of an abelian surface by a symplectic automorphism of order 3 contains a $9\mathbf{A}_{2}$-configuration of $(-2)$-curves. Such a configuration plays the role of the $16\mathbf{A}_{1}$-configurations for usual Kummer surfaces. In this paper we construct $9$ other such $9\mathbf{A}_{2}$-configurations on the generalized Kummer surface associated to the double cover of the plane branched over the sextic dual curve of a cubic curve. The new $9\mathbf{A}_{2}$-configurations are obtained by taking the pullback of a certain configuration of $…
We investigate versions of the Shafarevich conjecture, as proved for curves and abelian varieties by Faltings, for other classes of varieties. We first obtain analogues for certain Fano threefolds. We use these results to prove the Shafarevich conjecture for smooth sextic surfaces, which appears to be the first non-trivial result in the literature on the arithmetic of such surfaces. Moreover, we exhibit certain moduli stacks of Fano varieties which are not hyperbolic, which allows us to show that the analogue of the Shafarevich conjecture does not always hold for Fano varieties. Our results al…
We study the Abel-Jacobi map for bisections of a certain rational elliptic surface. As an application, we construct examples of Zariski $N$-plets for conic arrangements.
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.
We study the geometry of some varieties of sums of powers related to the Klein quartic. This allows us to describe the birational geometry of certain moduli spaces of abelian surfaces. In particular we show that the moduli space $\mathcal{A}_2(1,7)^{-}_{sym}$ of $(1,7)$-polarized abelian surfaces with a symmetric theta structure and an odd theta characteristic is unirational by showing that it admits a dominant morphism from a unirational conic bundle.
The aim of this paper is to find all algebraic threefolds admitting quasi-regular Poisson structure. There are three types of such varieties: abelian varieties, smooth flat conic bundles over abelian surfaces and quotients of the product of a curve and a symplectic surface by a finite group.
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…
Let the threefold X be a general smooth conic bundle over the projective plane P(2), and let (J(X), Theta) be the intermediate jacobian of X. In this paper we prove the existence of two natural families C(+) and C(-) of curves on X, such that the Abel-Jacobi map F sends one of these families onto a copy of the theta divisor (Theta), and the other -- onto the jacobian J(X). The general curve C of any of these two families is a section of the conic bundle projection, and our approach relates such C to a maximal subbundle of a rank 2 vector bundle E(C) on C, or -- to a minimal section of the rule…
Let T be a general bidegree (2,2) divisor in the product of two projective planes. Recently A.Verra proved that the existence of two conic bundle structures (c.b.s.) on T implies a new counterexample to the Torelli theorem for Prym varieties. Let J(T) be the jacobian of T. In this paper we prove that any of the two c.b.s. on T admits a parametrisation of the theta divisor of J(T) by the Abel-Jacobi image of a special family of elliptic curves of degree 9 (minimal sections of the given c.b.s.) on T. This result is an analogue of the well-known Riemann theorem for curves. In particular, this imp…
For $d$ ranging from 2 to 6, we prove that the web by conics naturally defined on any smooth del Pezzo surface of degree $d$ carries an interesting functional identity whose components all are a certain antisymmetric hyperlogarithm of weight $7-d$. Our approach is uniform with respect to $d$ and at the end relies on classical results about the action of Weyl groups on the set of lines contained in the considered del Pezzo surface. This series of `del Pezzo's hyperlogarithmic functional identities' is a natural generalization of the famous and well-know 3-term and 5-term identities of the logar…
By a result of Mukai, the non-abelian Brill-Noether locus X = M_C(2,K:3F) of type II, defined by a stable rank 2 vector bundle F of invariant 3 over a plane quartic curve C, is a prime Fano 3-fold X of degree 16. The associate ruled surface S^X = P(F) is uniquely defined by X, and we see that for the general X = X_{16}, S^X is isomorphic to the Fano surface of conics on X. The argument uses the geometry of the Sp_3-grassmannian and the double projection from a line on X_{16}.
We study ramified covers of the projective plane. Given a smooth projective surface S and a generic enough projection of S to the projective plane, we get a cover of the plane ramified over a plane curve. The branch curve is usually singular, but is classically known to have only cusps and nodes as singularities for a generic projection. Several questions arise. First, what is the_geography_ of branch curves among all nodal-cuspidal curves? Second: what is the_geometry_ of branch curves? In other words, how can one distinguish a branch curve from a non-branch curve with the same numerical inva…
A holomorphic 1-form on a compact Riemann surface S naturally defines a flat metric on S with cone-type singularities. We present the following surprising phenomenon: having found a geodesic segment (saddle connection) joining a pair of conical points one can find with a nonzero probability another saddle connection on S having the same direction and the same length as the initial one. The similar phenomenon is valid for the families of parallel closed geodesics. We give a complete description of all possible configurations of parallel saddle connections (and of families of parallel closed geo…
A good canonical projection of a surface $S$ of general type is a morphism to the 3-dimensional projective space P^3 given by 4 sections of the canonical line bundle. To such a projection one associates the direct image sheaf F of the structure sheaf of S, which is shown to admit a certain length 1 symmetrical locally free resolution. The structure theorem gives necessary and sufficient conditions for such a length 1 locally free symmetrical resolution of a sheaf F on P^3 in order that $Spec (mathcal F)$ yield a canonically projected surface of general type. The result was found in 1983 by the…
We show that the family of 21-dimensional intermediate jacobians of cubic fivefolds containing a given cubic fourfold X is generically an algebraic integrable system. In the proof we apply an integrability criterion, introduced and used by Donagi and Markman to find a similar integrable system over the family of cubic threefolds in X. To enter in the conditions of this criterion, we write down explicitly the known by Beauville and Donagi symplectic structure on the family F(X) of lines on the general cubic fourfold X, and prove that the family of planes on a cubic fivefold containing X is embe…
