In this paper the author provides a generalization of classical linkage, i.e. linkage by a complete intersection, in a different context. Namely she looks at residuals in the scheme theoretic intersection of a rational normal surface or 3-fold with two hypersurfaces of degree a and b. When the scroll is singular a complete intersection of type (a, b) on it may not be Gorenstein, in this case classical linkage, even if suitably generalized, does not apply.
The main purpose of this article is to establish a framework allowing one to find relations between the dimension of some important cohomology groups attached to the two linked schemes. In the last part of the paper the author shows how to apply these results and techniques to the classification of curves C in P^n of degree d and maximal genus G(d, n, s) among those not contained in surfaces of degree less than a certain fixed one s.
In this paper the author provides a generalization of classical linkage, i.e. linkage by a complete intersection of dim. 0 or 1 on arithmetically Cohen-Macaulay schemes of any dimension. Namely she looks at residuals in the scheme theoretic intersection of an aCM scheme of dim. r (resp. r+1) with r hypersurfaces of degree a_1,...,a_r. When the aCM scheme is singular a complete intersection on it may not be Gorenstein, in this case classical linkage, even if suitably generalized, does not apply. The main purpose of this paper is to prove some results related to the invariance of the deficiency …
In this paper, we introduce a method that allows to produce necessary conditions on the Denavit--Hartenberg parameters for the mobility of a closed linkage with six rotational joints. We use it to prove that the genus of the configuration curve of a such a linkage is at most five, and to give a complete classification of the linkages with a configuration curve of degree four or five. The classification contains new families.
Given a field $F$ of positive characteristic $p$, $θ\in H_p^{n-1}(F)$ and $β,γ\in F^\times$, we prove that if the symbols $θ\wedge \frac{d β}β$ and $θ\wedge \frac{d γ}γ$ in $H_p^n(F)$ share the same factors in $H_p^1(F)$ then the symbol $θ\wedge \frac{d β}β \wedge \frac{d γ}γ$ in $H_p^{n+1}(F)$ is trivial. We conclude that when $p=2$, every two totally separably $(n-1)$-linked $n$-fold quadratic Pfister forms are inseparably $(n-1)$-linked. We also describe how to construct non-isomorphic $n$-fold Pfister forms which are totally separably (or inseparably) $(n-1)$-linked, i.e. share all common …
The paper discusses the classification of surfaces of degree 10 and sectional genus 9 and 10. The surfaces of degree at most 9 are described through classical work dating from the last century up to recent years, while surfaces of degree 10 and other sectional genera are studied elsewhere. We use relations between multisecants, linear systems, syzygies and linkage to describe the geometry of each surface. We want in fact to stress the importance of multisecants and syzygies for the study of these surfaces. Adjunction, which provided efficient arguments for the classification of surfaces of sma…
In this paper we study pluricanonical maps of minimal projective 3-folds of general type with geometric genus $1$, $2$ and $3$. We go in the direction pioneered by Enriques and Bombieri, and other authors, pinning down, for low projective genus, a finite list of exceptions to the birationality of some pluricanonical map. In particular, apart from a finite list of weighted baskets, we prove the birationality of $φ_{16}$, $φ_{6}$ and $φ_{5}$ respectively.
We conjecture a formula for the generating function of genus one Gromov-Witten invariants of the local Calabi-Yau manifolds which are the total spaces of splitting bundles over projective spaces. We prove this conjecture in several special cases, and assuming the validity of our conjecture we check the integrality of genus one BPS numbers of local Calabi-Yau 5-folds defined by A. Klemm and R. Pandharipande.
In this note we present two equivalent definitions for the genus of a birational map X --> Y between smooth complex projective 3-folds. The first one is the definition introduced in 1973 by M. A. Frumkin, the second one was recently suggested to me by S. Cantat. By focusing first on proving that these two definitions are equivalent, one can obtain all the results of the paper of Frumkin in a much shorter way. In particular, the genus of an automorphism of $\mathbb{C}^3$, view as a birational self-map of the projective space, will easily be proved to be 0.
In analogy with the Gopakumar-Vafa (GV) conjecture on Calabi-Yau (CY) 3-folds, Klemm and Pandharipande defined GV type invariants on Calabi-Yau 4-folds using Gromov-Witten theory and conjectured their integrality. In a joint work with Maulik and Toda, the author conjectured their genus zero invariants are $\mathrm{DT_4}$ invariants of one dimensional stable sheaves. In this paper, we study this conjecture on the total space of canonical bundle of a Fano 3-fold $Y$, which reduces to a relation between twisted GW and $\mathrm{DT_3}$ invariants on $Y$. Examples are computed for both compact and n…
In analogy with the Gopakumar-Vafa conjecture on CY 3-folds, Klemm and Pandharipande defined GV type invariants on Calabi-Yau 4-folds using Gromov-Witten theory and conjectured their integrality. In this paper, we propose a sheaf-theoretic interpretation of their genus zero invariants using Donaldson-Thomas theory on CY 4-folds. More specifically, we conjecture genus zero GV type invariants are $\mathrm{DT_{4}}$ invariants for one-dimensional stable sheaves on CY 4-folds. Some examples are computed for both compact and non-compact CY 4-folds to support our conjectures. We also propose an equiv…
References to the works of Iliev-Ranestad and Kuznetsov added. ----- In a first part we detail the construction, on a general Fano 4-fold of genus 9, of a canonical set of four stable vector bundles of rank 2, and prove that they are rigid. Those results were already known by Iliev-Ranestad and Kuznetsov with different purposes. In a second part we show that its variety of lines is an hyperplane section of P1xP1xP1xP1. Then we compute the Chow ring of a general Fano 4-fold, which appears to have a rich structure in codimension 2. The 4-bundles gives embeddings in a Grassmannian G(2,6), and the…
According to Mukai, any prime Fano threefold X of genus 7 is a linear section of the spinor tenfold in the projectivized half-spinor space of Spin(10). The orthogonal linear section of the spinor tenfold is a canonical genus-7 curve G, and the intermediate Jacobian J(X) is isomorphic to the Jacobian of G. It is proven that, for a generic X, the Abel-Jacobi map of the family of elliptic sextics on X factors through the moduli space of rank-2 vector bundles with c_1=-K_X and deg c_2=6 and that the latter is birational to the singular locus of the theta divisor of J(X).
We prove a conjectural vanishing result for Gopakumar--Vafa invariants of quintic 3-folds, referred to as Castelnuovo bound in the literature. Furthermore, we calculate Gopakumar--Vafa invariants at Castelnuovo bound $g=\frac{d^2+5d+10}{10}$. As physicists showed, these two properties allow us to compute all Gromov--Witten invariants of quintic 3-folds up to genus $53$, provided that the conifold gap condition holds. We also give a bound for the genus of any one-dimensional closed subscheme in a smooth hypersurface of degree $\leq 5$, which may be of independent interest.
The main outcome of this paper is that the variety VSP(F,10) of presentations of a general cubic form F in 6 variables as a sum of 10 cubes is a smooth symplectic 4-fold obtained a deformation of the Hilbert square of a K3 surface of genus 8. After publishing it in Trans. Am. Math. Soc. 353, No.4, 1455-1468 (2001), it was noted to us by Eyal Markman that in Theorem 3.17 we conclude without proof that VSP(F,10) should be the 4-fold of lines on another cubic 4-fold. We correct this in the e-print "Addendum to K3 surfaces of genus 8 and varieties of sums of powers of cubic fourfolds" (math.AG/061…
In this note, which is an addendum to the e-print math.AG/9810121, we prove that the variety VSP(F,10) of presentations of a general cubic form F in 6 variables as a sum of 10 cubes is a smooth symplectic 4-fold, which is deformation equivalent to the Hilbert square of a K3 surface of genus 8 but different from the family of lines on a cubic 4-fold. This provides a new geometric construction of a compact complex symplectic fourfold, different from a Hilbert square of a K3 surface, a generalized Kummer 4-fold, the variety of lines on a cubic 4-fold and the recent examples of O'Grady (see Duke M…
By means of an {\it ad hoc} modification of the so-called ``Castelnuovo-Harris analysis" we derive an upper bound for the genus of integral curves on the three dimensional nonsingular quadric which lie on an integral surface of degree $2k$, as a function of $k$ and the degree $d$ of the curve. In order to obtain this we revisit the Uniform Position Principle to make its use computation-free. The curves which achieve this bound can be conveniently characterized. Keywords: Castelnuovo-Harris Bound, Uniform Position Principle, Low Codimension, Linkage
The Gopakumar-Vafa type invariants on Calabi-Yau 4-folds (which are non-trivial only for genus zero and one) are defined by Klemm-Pandharipande from Gromov-Witten theory, and their integrality is conjectured. In a previous work of Cao-Maulik-Toda, $\mathrm{DT}_4$ invariants with primary insertions on moduli spaces of one dimensional stable sheaves are used to give a sheaf theoretical interpretation of the genus zero GV type invariants. In this paper, we propose a sheaf theoretical interpretation of the genus one GV type invariants using descendent insertions on the above moduli spaces. The con…
Among smooth non-rational Fano 3-folds, the non-hyperelliptic Fano 3-fold X(10) of genus 6 has the unique property to admit a non-trivial orbit of birationally isomorphic 3-folds, inside its moduli space. Here we prove that these orbits are, in fact, the same as the fibers of the Griffiths period map for X(10). This leads upto the main result of the paper: The general fiber of the period map for X(10) is a union of two irreducible families of 3-folds: F(1) + F(2), each F(i) -- isomorphic to the Fano surface of conics of any of its elements. As an application, we give a negative answer to a Tju…
This note aims to improve known numerical bounds proved earlier by Chen \cite{PAMS} and Chen-Hacon \cite{Chen-Hacon} and to present some new examples of smooth minimal 3-folds canonically fibred by surfaces (resp. curves) of geometric genus as large as 19 (resp. 13). As an interesting by-product, we present a new class of general type surfaces which are canonically fibred by curves of genus 13.
There is a set of remarkable physical predictions for the structure of BCOV's higher genus B-model of mirror quintic 3-folds which can be viewed as conjectures for the Gromov-Witten theory of quintic 3-folds. They are (i) Yamaguchi--Yau's finite generation, (ii) the holomorphic anomaly equation, (iii) the orbifold regularity and (iv) the conifold gap condition. Moreover, these properties are expected to be universal properties for all the Calabi-Yau 3-folds. This article is devoted to proving first three conjectures. The main geometric input to our proof is a log GLSM moduli space and the comp…
Gromov-Witten theory is used to define an enumerative geometry of curves in Calabi-Yau 5-folds. We find recursions for meeting numbers of genus 0 curves, and we determine the contributions of moving multiple covers of genus 0 curves to the genus 1 Gromov-Witten invariants. The resulting invariants, conjectured to be integral, are analogous to the previously defined BPS counts for Calabi-Yau 3 and 4-folds. We comment on the situation in higher dimensions where new issues arise. Two main examples are considered: the local Calabi-Yau P^2 with balanced normal bundle 3O(-1) and the compact Calabi-Y…
By the technique of 3-fold Mori theory, we prove that the moduli space whose general point parameterizes a couple of a smooth curve of genus 4 and a halfcanonical divisor with vanishing global section is rational.
We compute Gromov-Witten (GW) and Donaldson-Thomas (DT) invariants (and also descendant invariants) for local CY 4-folds over Fano 3-folds, V_5 and V_22 up to degree 3. We use torus localization for GW invariants computation, and use classical results for Hilbert schemes on V_5 and V_22 for DT invariants computation. From these computations, one can check correspondence between DT and Gopakumar-Vafa (GV) invariants conjectured by Cao-Maulik-Toda in genus 0. Also we can compute genus 1 GV invariants via the conjecture of Cao-Toda, which turned out to be 0. These fit into the fact that there are…
We construct new examples of Kobayashi hyperbolic hypersurfaces in the projective 4-space. They are generic projections of the triple symmetric product of a generic curve of genus at least 7, smoothly embedded in the projective 7-space.
The aim of this note is to point out an interesting fact related to the elliptic genus of complex algebraic surfaces in the context of Mathieu moonshine. We also discuss the case of 4-folds.
We compute the recently introduced Fan-Jarvis-Ruan-Witten theory of W-curves in genus zero for quintic polynomials in five variables and we show that it matches the Gromov-Witten genus-zero theory of the quintic three-fold via a symplectic transformation. More specifically, we show that the J-function encoding the Fan-Jarvis-Ruan-Witten theory on the A-side equals via a mirror map the I-function embodying the period integrals at the Gepner point on the B-side. This identification inscribes the physical Landau-Ginzburg/Calabi-Yau correspondence within the enumerative geometry of moduli of curve…
We calculate the generating functions of BPS indices using their modular properties in Type II and M-theory compactifications on compact genus one fibered CY 3-folds with singular fibers and additional rational sections or just $N$-sections, in order to study string dualities in four and five dimensions as well as rigid limits in which gravity decouples. The generating functions are Jacobi-forms of $Γ_1(N)$ with the complexified fiber volume as modular parameter. The string coupling $λ$, or the $ε_\pm$ parameters in the rigid limit, as well as the masses of charged hypermultiplets and non-Abel…
Smooth primitively polarized $\mathrm{K3}$ surfaces of genus 36 are studied. It is proved that all such surfaces $S$, for which there exists an embedding $\mathrm{R} \hookrightarrow \mathrm{Pic}(S)$ of some special lattice $\mathrm{R}$ of rank 2, are parameterized up to an isomorphism by some 18-dimensional unirational algebraic variety. More precisely, it is shown that a general $S$ is an anticanonical section of a (unique) Fano 3-fold with canonical Gorenstein singularities.
In this paper, we construct certain algebraic correspondences between genus three curves and certain type of Calabi-Yau threefolds which is double coverings of three dimensional projective space. Via this correspondences, the first cohomology groups of the curves can be embedded into the third cohomology groups of the Calabi-Yau three folds. Moreover we prove that the cokernel of this inclusion of variations ofHodge structures can not be a factor of any variations of Hodge structures comming from polarized abelian schemes.
Let $X$ be a Calabi-Yau 4-fold and $D$ a smooth divisor on it. We consider tautological complex associated with $L=\mathcal{O}_X(D)$ on the moduli space of Le Potier stable pairs and define its counting invariant by integrating the Euler class against the virtual class. We conjecture a formula for their generating series expressed using genus zero Gopakumar-Vafa invariants of $D$ and genus one Gopakumar-Vafa type invariants of $X$, which we verify in several examples. When $X$ is the local resolved conifold, our conjecture reproduces a conjectural formula of Cao-Kool-Monavari in the PT chamber…
We study the higher genus equivariant Gromov-Witten theory of the Hilbert scheme of n points of the plane. Since the equivariant quantum cohomology is semisimple, the higher genus theory is determined by an R-matrix via the Givental-Teleman classification of Cohomological Field Theories (CohFTs). We uniquely specify the required R-matrix by explicit data in degree 0. As a consequence, we lift the basic triangle of equivalences relating the equivariant quantum cohomology of the Hilbert scheme and the Gromov-Witten/Donaldson-Thomas correspondence for 3-fold theories of local curves to a triangle…
For nonsingular projective 3-folds $X$ (of general type) whose geometric genus $p_g=h^0(X, K_X)$ is $\geq 5$, the birationality of the fourth canonical map $φ_{4,X}=Φ_{|4K_X|}$ was characterized by D.-Q. Zhang and the first author in 2008. This paper aims at characterizing the birationality of $φ_{4,X}$ for those $X$ with $p_g=4$.
We prove the BCOV Feynman rule by identifying the Feynman graph sum to the graph sum of an R-matrix action extracted from the NMSP theory. As direct consequences, (i) we obtain the genus one and genus two potentials, and (ii) we prove the two Yamaguchi-Yau equations.
We give a sufficient condition for a first order infinitesimal deformation of a curve on a 3-fold to be obstructed. As application we construct generically non-reduced components of the Hilbert schemes of uniruled 3-folds and the Hom scheme from a general curve of genus five to a general cubic 3-fold.
Let $k$ be an algebraically closed field of characteristic $p > 0$. Let $X$ be an irreducible smooth projective curve of genus $g$ over $k$. Fix an integer $n \geq 2$, and let $S^n(X)$ be the $n$-fold symmetric product of $X$. In this article we find the $S$-fundamental group scheme and Nori's fundamental group scheme of $S^n(X)$.
In his paper "Hodge integrals and degenerate contributions", Pandharipande studied the relationship between the enumerative geometry of certain 3-folds and the Gromov-Witten invariants. In some good cases, enumerative invariants (which are manifestly integers) can be expressed as a rational combination of Gromov-Witten invariants. Pandharipande speculated that the same combination of invariants should yield integers even when they do not have any enumerative significance on the 3-fold. In the case when the 3-fold is the product of a complex surface and an elliptic curve, Pandharipande has comp…
The zeroth line bundle cohomology on Calabi-Yau three-folds encodes information about the existence of flop transitions and the genus zero Gromov-Witten invariants. We illustrate this claim by studying several Picard number 2 Calabi-Yau three-folds realised as complete intersections in products of projective spaces. Many of these manifolds exhibit certain symmetries on the Picard lattice which preserve the zeroth cohomology.
The rational cohomology ring of A_3, the moduli space of abelian 3-folds is computed. This is isomorphic to the the rational cohomology ring of the group Sp_3(Z) of 6x6 integral symplectic matrices. The main ingredients in the computation are (1) Looijenga's computation of the rational cohomology ring of M_3, the moduli space of smooth projective curves of genus 3, and (2) the stratified Morse theory of Goresky and MacPherson, which we use to compute the homology of the jacobian locus (in the rank 3 Siegel upper half plane), or equivalently of the extended Torelli group in genus 3. In the revi…
We show that, for nonsingular projective 4-folds V of general type with geometric genus $p_g\geq 2$, the 33-canonical map is birational onto the image and the canonical volume has the lower bound $1/520$, which improves a previous theorem by Chen and Chen.
Let S be a general complex Nikulin surface of genus 8, a geometric construction of S is given as follows. Consider a smooth 3-fold linear section T of the Grassmannian G(1,4) and the Hilbert scheme of rational normal sextic curves of T. In it consider the special family of sextics A which are also contained in the congruence of bisecant lines to a rational normal quartic curve of P^4. We show that S is biregular to a quadratic section of T containing a sextic A. In particular A admits a 1-dimensional family of bisecant lines contained in G(1,4) and 8 of them are in S. This explicit constructio…
We give evidence that the all genus amplitudes of topological string theory on compact elliptically fibered Calabi-Yau manifolds can be written in terms of meromorphic Jacobi forms whose weight grows linearly and whose index grows quadratically with the base degree. The denominators of these forms have a simple universal form with the property that the poles of the meromorphic form lie only at torsion points. The modular parameter corresponds to the fibre class while the role of the string coupling is played by the elliptic parameter. This leads to very strong all genus results on these geomet…
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}.
Associated with a prime homology class $β\in P_2(X,\Z)$ (i.e. $β=pα$ and $α\in H_2(X,\Z)$ imply $p=1$ or $p$ is an odd prime) on a symplectic three-manifold with vanishing first Chern class, we count the embedded perturbed pseudo-holomorphic curves in $X$ of a fixed genus $g$ to obtain certain integer valued invariants analogous to Gromov-Witten invariants of $X$.
We continue our study of the local Gromov-Witten invariants of curves in Calabi-Yau 3-folds. We define relative invariants for the local theory which give rise to a 1+1-dimensional TQFT taking values in the ring Q[[t]]. The associated Frobenius algebra over Q[[t]] is semisimple. Consequently, we obtain a structure result for the local invariants. As an easy consequence of our structure formula, we recover the closed formulas for the local invariants in case either the target genus or the degree equals 1.
We show that the non-commutative widths for flopping curves on smooth 3-folds introduced by Donovan-Wemyss are described by Katz's genus zero Gopakumar-Vafa invariants.
We classify the subgroups of the automorphism group of the product of 4 projective lines admitting an invariant anticanonical smooth divisor on which the action is free. As a first application, we describe new examples of Calabi-Yau 3-folds with small Hodge numbers. In particular, the Picard number is 1 and the number of moduli is 5. Furthermore, the fundamental group is non-trivial. We also construct a new family of minimal surfaces of general type with geometric genus zero, K^2=3 and fundamental group of order 16. We show that this family dominates an irreducible component of dimension 4 of …
For each $1\leq n\leq6$ we present formulas for the number of $n-$nodal curves in an $n-$dimensional linear system on a smooth, projective surface. This yields in particular the numbers of rational curves in the system of hyperplane sections of a generic $K3-$surface imbedded in \p{n} by a complete system of curves of genus $n$ as well as the number {\bf17,601,000} of rational ({\em singular}) plane quintic curves in a generic quintic threefold.
Orbifold elliptic genus and elliptic genus of singular varieties are introduced and relation between them is studied. Elliptic genus of singular varieties is given in terms of a resolution of singularities and extends the elliptic genus of Calabi-Yau hypersurfaces in Fano Gorenstein toric varieties introduced earlier. Orbifold elliptic genus is given in terms of the fixed point sets of the action. We show that the generating function for this orbifold elliptic genus $\sum Ell_{orb}(X^n,Σ_n)p^n$ for symmetric groups $Σ_n$ acting on $n$-fold products coincides with the one proposed by Dijkgraaf,…
We consider the Siegel modular variety of genus 2 and a p-integral model of it for a good prime p>2, which parametrizes principally polarized abelian varieties of dimension two with a level structure. We consider cycles on this model which are characterized by the existence of certain special endomorphisms, and their intersections. We characterize that part of the intersection which consists of isolated points in characteristic p only. Furthermore, we relate the (naive) intersection multiplicities of the cycles at isolated points to special values of derivatives of certain Eisenstein series on…
A. Zinger defined reduced Gromov-Witten (GW) invariants and proved a comparison theorem of standard and reduced genus one GW invariants for every symplectic manifold (with all dimension). H. -L. Chang and J. Li provided a proof of the comparison theorem for quintic Calabi-Yau 3-folds in algebraic geometry by taking a definition of reduced invariants as an Euler number of certain vector bundle. T. Coates and C. Manolache have defined reduced GW invariants in algebraic geometry following the idea by Vakil and Zinger and proved the comparison theorem for every Calabi-Yau threefold. In this paper,…
We apply the modular approach to computing the topological string partition function on non-compact elliptically fibered Calabi-Yau 3-folds with higher Kodaira singularities in the fiber. The approach consists in making an ansatz for the partition function at given base degree, exact in all fiber classes to arbitrary order and to all genus, in terms of a rational function of weak Jacobi forms. Our results yield, at given base degree, the elliptic genus of the corresponding non-critical 6d string, and thus the associated BPS invariants of the 6d theory. The required elliptic indices are determi…
Given a symplectic three-fold $(M,ω)$ we show that for a generic almost complex structure $J$ which is compatible with $ω$, there are finitely many $J$-holomorphic curves in $M$ of any genus $g\geq 0$ representing a homology class $β$ in $\H_2(M,\Z)$ with $c_1(M).β=0$, provided that the divisibility of $β$ is at most 4 (i.e. if $β=nα$ with $α\in H_2(M,\Z)$ and $n\in \Z$ then $n\leq 4$). Moreover, each such curve is embedded and 4-rigid.
Oort has conjectured that there do not exist Shimura curves contained generically in the Torelli locus of genus-$g$ curves when $g$ is large enough. In this paper we prove the Oort conjecture for Shimura curves of Mumford type and Shimura curves parameterizing principally polarized $g$-dimensional abelian varieties isogenous to $g$-fold self-products of elliptic curves for $g>11$. We also prove that there do not exist Shimura curves contained generically in the Torelli locus of hyperelliptic curves of genus $g>7$. As a consequence, we obtain a finiteness result regarding smooth genus-$g$ curve…
By the geometry of the 3-fold quadric we show that the coarse moduli space of genus g ineffective spin hyperelliptic curves with two marked points is a rational variety for every $g \geq 2$.
