In this paper, we compute the contributions from double cover maps to genus 0 degree 2 Gromov-Witten invariants of general type projective hypersurfaces. Our results correspond to a generalization of Aspinwall-Morrison formula to general type hypersurfaces in some special cases.
R. Beheshti showed that, for a smooth Fano hypersurface $X$ of degree $\leq 8$ over the complex number field $\mathbb{C}$, the dimension of the space of lines lying in $X$ is equal to the expected dimension. We study the space of conics on $X$. In this case, if $X$ contains some linear subvariety, then the dimension of the space can be larger than the expected dimension. In this paper, we show that, for a smooth Fano hypersurface $X$ of degree $\leq 6$ over $\mathbb{C}$, and for an irreducible component $R$ of the space of conics lying in $X$, if the $2$-plane spanned by a general conic of $R$…
We systematically analyze the fibration structure of toric hypersurface Calabi-Yau threefolds with large and small Hodge numbers. We show that there are only four such Calabi-Yau threefolds with $h^{1, 1} \geq 140$ or $h^{2, 1} \geq 140$ that do not have manifest elliptic or genus one fibers arising from a fibration of the associated 4D polytope. There is a genus one fibration whenever either Hodge number is 150 or greater, and an elliptic fibration when either Hodge number is 228 or greater. We find that for small $h^{1, 1}$ the fraction of polytopes in the KS database that do not have a genu…
Polarized rational surfaces $(X, \mathcal L)$ of sectional genus two ruled in conics are studied. When they are not minimal, they are described as the blow-up of $\mathbb F_1$ at some points lying on distinct fibers. Ampleness and very ampleness of $\mathcal L$ are studied in terms of their location. When $\mathcal L$ is very ample and there is a line contained in $X$ and transverse to the fibers, the conic fibrations $(X, \mathcal L)$ are classified and a related property concerned with the inflectional locus is discussed.
In this paper we introduce the stack of polarized twisted conics and we use it to give a new point of view on $\overline{\mathcal{M}}_2$. In particular, we present a new and independent approach to the computation of the integral Chow ring of $\overline{\mathcal{M}}_2$, previously determined by Eric Larson.
Using the path lattice cohomology we provide a conceptual topological characterization of the geometric genus for certain complex normal surface singularities with rational homology sphere links, which is uniformly valid for all superisolated and Newton non--degenerate hypersurface singularities.
We prove some lower bounds on certain nonegative twists of the canonical bundle of a subvariety of a generic hypersurface in projective space. In particular we prove that the generic sextic threefold contains no rational or elliptic curves and no nondegenerate curves of genus 2.
A second-order invariant of C. Voisin gives a powerful method for bounding from below the geometric genus of a k-dimensional subvariety of a degree-d hypersurface in complex projective n-space. This work uses the Voisin method to establish a general bound, which lies behind recent results of G. Pacienza and Z. Ran.
This is the continuation of our paper [10]. In this paper which is self contained, we would like to give a different obstruction formula to the FIRST order deformation of the pair of a smooth curve and a smooth hypersurface. This obstruction formula leads to a genus formula for a smooth curve in a smooth hypersurface. As an application we show that smooth elliptic curves in a smooth hypersurface of degree $$h\geq 2n-1$$ in the projective space $\mathbf P^n, n\geq 3,$ can't deform in the first order to all hypersurfaces of the same degree. In particular, there are no smooth elliptic curves in g…
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)$.
We compute the reduced genus 1 Gromov-Witten invariants of Calabi-Yau hypersurfaces. As a consequence, we confirm the 1993 Bershadsky-Cecotti Ooguri-Vafa (BCOV) prediction for the standard genus 1 GW-invariants of a quintic threefold. We combine constructions from a series of previous papers with the classical localization theorem to relate the reduced genus 1 invariants of a CY-hypersurface to previously computed integrals on moduli spaces of stable genus 0 maps into projective space. The resulting, rather unwieldy, expressions for a genus 1 equivariant generating function simplify drasticall…
V. Arnold's problem 1987-14 asks whether there exist smooth hypersurfaces in $R^N$ (other than the conics in odd-dimensional spaces) for which the volume of the segment cut by any hyperplane from the body bounded by such a hypersurface is an algebraic function of the hyperplane. We desribe very realistic candidates for the role of such new hypersurfaces: in particular, it are examples (additional to Archimedes' conics) of such hypersurfaces, for which the analytic continuation of this volume function is finitely valued.
Let k be a field. We show that all homogeneous noncommutative curves of genus zero over k are noncommutative P^1-bundles over a (possibly) noncommutative base. Using this result, we compute complete isomorphism invariants of homogeneous noncommutative curves of genus zero, allowing us to generalize a theorem of Witt.
The paper contains a proof that elliptic genus of a Calabi-Yau manifold is a Jacobi form, finds in which dimensions the elliptic genus is determined by the Hodge numbers and shows that elliptic genera of a Calabi-Yau hypersurface in a toric variety and its mirror coincide up to sign. The proof of the mirror property is based on the extension of elliptic genus to Calabi-Yau hypersurfaces in toric varieties with Gorenstein singularities.
Mumford defined a natural isomorphism between the intermediate jacobian of a conic-bundle over $P^2$ and the Prym variety of a naturally defined étale double cover of the discrminant curve of the conic-bundle. Clemens and Griffiths used this isomorphism to give a proof of the irrationality of a smooth cubic threefold and Beauville later generalized the isomorphism to intermediate jacobians of odd-dimensional quadric-bundles over $P^2$. We further generalize the isomorphism to the primitive cohomology of a smooth cubic hypersurface in $P^n$.
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 complexity of birational self-maps of a projective threefold $X$ by looking at the birational type of surfaces contracted. These surfaces are birational to the product of the projective line with a smooth projective curve. We prove that the genus of the curves occuring is unbounded if and only if $X$ is birational to a conic bundle or a fibration into cubic surfaces. Similarly, we prove that the gonality of the curves is unbounded if and only if $X$ is birational to a conic bundle.
On a general hypersurface of degree $d\leq n$ in $\mathbb P^n$ or $\mathbb P^n$ itself, we prove the existence of curves of any genus and high enough degree depending on the genus passing through the expected number $t$ of general points or incident to a general collection of subvarieties of suitable codimensions. In some cases we also show that the family of curves through $t$ fixed points has general moduli as family of $t$-pointed curves. These results imply positivity of certain intersection numbers on Kontsevich spaces of stable maps. An arithmetical appendix by M. C. Chang descibes the s…
Fix integers $r\geq 4$ and $i\geq 2$ (for $r=4$ assume $i\geq 3$). Assuming that the rational number $s$ defined by the equation $\binom{i+1}{2}s+(i+1)=\binom{r+i}{i}$ is an integer, we prove an upper bound for the genus of a reduced and irreducible complex projective curve in $\mathbb P^r$, of degree $d\gg s$, not contained in hypersurfaces of degree $\leq i$. It turns out that this bound coincides with the Castelnuovo's bound for a curve of degree $d$ in $\mathbb P^{s+1}$. We prove that the bound is sharp if and only if there exists an integral surface $S\subset \mathbb P^r$ of degree $s$, n…
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…
For any smooth complex projective variety X and smooth very ample hypersurface Y in X, we develop the technique of genus zero relative Gromov-Witten invariants of Y in X in algebro-geometric terms. We prove an equality of cycles in the Chow groups of the moduli spaces of relative stable maps that relates these relative invariants to the Gromov-Witten invariants of X and Y. Given the Gromov-Witten invariants of X, we show that these relations are sufficient to compute all relative invariants, as well as all genus zero Gromov-Witten invariants of Y whose homology and cohomology classes are induc…
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 gen…
Let n > 2 and let d < (n+1)/2. We prove that for a general hypersurface X of degree d in P^n, all the genus 0 Kontsevich moduli spaces M_{0,n}(X,e) are irreducible, reduced, local complete intersection stacks of the expected dimension.
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(米兰大学)
We give a geometric derivation of Schottky's equation in genus four for the period matrices of Riemann surfaces among all period matrices. The equation arises naturally from the singularity theory of the Gauss map on the theta divisor, and thus generalizes for any genus $g \ge 4$ to a certain ideal of Siegel modular forms vanishing on period matrices of Riemann surfaces. This ideal is generated by modular forms associated to the invariants of cubic forms in $g - 1$ variables which vanish on the Fermat cubic.
In this paper we give a simple Torelli type theorem for curves of genus 6 and 8 by showing that these curves can be reconstructed from their Brill-Noether varieties. Among other results, it is shown that the focal variety of a general, canonical and nonhyperelliptic curve of genus 6 is a hypersurface.
Let $C$ be an irreducible, reduced, non-degenerate curve, of arithmetic genus $g$ and degree $d$, in the projective space $\mathbf P^4$ over the complex field. Assume that $C$ satisfies the following {\it flag condition of type $(s,t)$}: {$C$ does not lie on any surface of degree $<s$, and on any hypersurface of degree $<t$}. Improving previous results, in the present paper we exhibit a Castelnuovo-Halphen type bound for $g$, under the assumption $s\leq t^2-t$ and $d\gg t$. In the range $t^2-2t+3\leq s\leq t^2-t$, $d\gg t$, we are able to give some information on the extremal curves. They are …
The moduli dependence of $(2,2)$ superstring compactifications based on Calabi--Yau hypersurfaces in weighted projective space has so far only been investigated for Fermat-type polynomial constraints. These correspond to Landau-Ginzburg orbifolds with $c=9$ whose potential is a sum of $A$-type singularities. Here we consider the generalization to arbitrary quasi-homogeneous singularities at $c=9$. We use mirror symmetry to derive the dependence of the models on the complexified Kähler moduli and check the expansions of some topological correlation functions against explicit genus zero and genu…
We show that certain hypergeometric series used to formulate mirror symmetry for Calabi-Yau hypersurfaces, in string theory and algebraic geometry, satisfy a number of interesting properties. Many of these properties are used in separate papers to verify the BCOV prediction for the genus one Gromov-Witten invariants of a quintic threefold and more generally to compute the genus one Gromov-Witten invariants of any Calabi-Yau projective hypersurface.
In this paper, we study double structures supported on rational normal curves. After recalling the general construction of double structures supported on a smooth curve described in \cite{fer}, we specialize it to double structures on rational normal curves. To every double structure we associate a triple of integers $ (2r,g,n) $ where $ r $ is the degree of the support, $ n \geq r $ is the dimension of the projective space containing the double curve, and $ g $ is the arithmetic genus of the double curve. We compute also some numerical invariants of the constructed curves, and we show that th…
Let $X$ be a smooth projective curve with genus $g\geq3$. Let $\mathcal{N}$ be the moduli space of stable rank two vector bundles on $X$ with a fixed determinant $\mathcal{O}_X(-x)$ for $x\in X$. In this paper, as a generalization of Kiem and Castravet's works, we study the stable maps in $\mathcal{N}$ with genus $0$ and degree $3$. Let $P$ be a natural closed subvariety of $\mathcal{N}$ which parametrizes stable vector bundles with a fixed subbundle $L^{-1}(-x)$ for a line bundle $L$ on $X$. We describe the stable map space $\mathbf{M}_0(P,3)$. It turns out that the space $\mathbf{M}_0(P,3)$ …