The Castelnuovo bound conjecture, which is proposed by physicists, predicts an effective vanishing result for Gopakumar-Vafa invariants of Calabi-Yau 3-folds of Picard number one. Previously, it is only known for a few cases and all the proofs rely on the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda.
In this paper, we prove the Castelnuovo bound conjecture for any Calabi-Yau 3-folds of Picard number one, up to a linear term and finitely many degree, without assuming the conjecture of Bayer-Macrì-Toda. Furthermore, we prove an effective vanishing theorem for surface-counting invariants of Calabi-Yau 4-folds of Picard number one. We also apply our techniques to study low-degree curves on some explicit Calabi-Yau 3-folds.
Our approach is based on a general iterative method to obtain upper bounds for the genus of one-dimensional closed subschemes in a fixed 3-fold, which is a combination of classical techniques and the wall-crossing of weak stability conditions on derived categories, and works for any projective 3-fold with at worst isolated singularities over any algebraically closed field.
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.
We will give an upper bound for the $k$-normality of very ample lattice simplices, and then give an Eisenbud-Goto-type bound for some special classes of projective toric varieties.
Castelnuovo-Mumford regularity is an important invariant of projective algebraic varieties. A well known conjecture due to Eisenbud and Goto gives a bound for regularity in terms of the codimension and degree. This conjecture is known to be true for curves (Gruson-Lazarsfeld-Peskine) and smooth surfaces (Pinkham, Lazarsfeld), but not in general. The purpose of this paper is to give new bounds for the regularity of smooth varieties in dimensions 3 and 4 that are only slightly worse than the optimal ones suggested by the conjecture. Our method yields new bounds up to dimension 14, but as they ge…
The Castelnuovo-Mumford regularity r of a complex, projective variety V is an upper bound for the degrees of the hypersurfaces necessary to cut out V. In this note we give a bound for r when V is left invariant by a vector field on the ambient projective space. More precisely, assume V is arithmetically Cohen-Macaulay, for instance, a complete intersection. Assume as well that V projects to a normal-crossings hypersurface, which is the case when V is a curve with at most ordinary nodes. Then we show that r<m+s+2, where s is the dimension of V and m is the degree of the vector field. Our method…
We describe a parallel polynomial time algorithm for computing the topological Betti numbers of a smooth complex projective variety $X$. It is the first single exponential time algorithm for computing the Betti numbers of a significant class of complex varieties of arbitrary dimension. Our main theoretical result is that the Castelnuovo-Mumford regularity of the sheaf of differential $p$-forms on $X$ is bounded by $p(em+1)D$, where $e$, $m$, and $D$ are the maximal codimension, dimension, and degree, respectively, of all irreducible components of $X$. It follows that, for a union $V$ of generi…
Castelnuovo-Mumford regularity is an important invariant of projective algebraic varieties. A well known conjecture due to Eisenbud and Goto gives a bound for regularity in terms of the codimension and degree,i.e., Castelnuovo-Mumford regularity of a given variety X is less than or equal to deg(X)-codimension(X)+1. Generic projection methods proved to be effective for the study of regularity of smooth projevtive varieties of dimension at most four(cf.[BM},[K2],[L],[Pi] and [R1]) because there are nice vanishing theorems for cohomology of vector bundles (e.g. the Kodaira-Kawamata-Viehweg vanish…
The paper begins by overviewing the basic facts on geometric exceptional collections. Then, we derive, for any coherent sheaf $\cF$ on a smooth projective variety with a geometric collection, two spectral sequences: the first one abuts to $\cF$ and the second one to its cohomology. The main goal of the paper is to generalize Castelnuovo-Mumford regularity for coherent sheaves on projective spaces to coherent sheaves on smooth projective varieties $X$ with a geometric collection $σ$. We define the notion of regularity of a coherent sheaf $\cF$ on $X$ with respect to $σ$. We show that the basic …
In this paper we prove the Eisenbud-Goto conjecture for connected curves. We also investigate the structure of connected curves for which this bound is optimal. In particular, we construct connected curves of arbitrarily high degree in projective 4-space having maximal regularity, but no extremal secants. We also show that any connected curve in projective 3-space of degree at least 5 that has no linear components and has maximal regularity has an extremal secant.
The main goal of the paper is to generalize Castelnuovo-Mumford regularity for coherent sheaves on projective spaces to coherent sheaves on $n$-dimensional smooth projective varieties $X$ with an $n$-block collection $\cB $ which generates the bounded derived category $\cD ^b({\cO}_X$-$mod)$. To this end, we use the theory of $n$-blocks and Beilinson type spectral sequence to define the notion of regularity of a coherent sheaf $F$ on $X$ with respect to the $n$-block collection $\cB $. We show that the basic formal properties of the Castelnuovo-Mumford regularity of coherent sheaves over proje…
Let $X \subseteq \mathbb{P}^r$ be a scroll of codimension $e$ and degree $d$ over a smooth projective curve of genus $g$. The purpose of this paper is to prove a linear Castelnuovo-Mumford regularity bound that reg$(X) \leq d-e+1+g(e-1)$. This bound works over an algebraically closed field of arbitrary characteristic.
We show that the ideal of an arrangement of d linear subspaces of projective space is d-regular in the sense of Castelnuovo and Mumford, answering a question of B. Sturmfels. In particular this implies that the ideal of an arrangement of d subspaces is generated in degrees less than or equal to d.
Fix integers $r,d,s,π$ with $r\geq 4$, $d\gg s$, $r-1\leq s \leq 2r-4$, and $π\geq 0$. Refining classical results for the genus of a projective curve, we exhibit a sharp upper bound for the arithmetic genus $p_a(C)$ of an integral projective curve $C\subset {\mathbb{P}^r}$ of degree $d$, assuming that $C$ is not contained in any surface of degree $<s$, and not contained in any surface of degree $s$ with sectional genus $> π$. Next we discuss other types of bound for $p_a(C)$, involving conditions on the entire Hilbert polynomial of the integral surfaces on which $C$ may lie.
We give examples of nonsingular curves in projective 3 space such that the regularity of powers of their ideal sheaves are highly nonlinear. This is in constrast to the case of an ideal I in a polynomial ring, where the regularity of I^n is a linear polynomial in n for large n.
We show that a bound of the Castelnuovo-Mumford regularity of any power of the ideal sheaf of a smooth projective complex variety $X\subseteq\mathbb{P}^r$ is sharp exactly for complete intersections, provided the variety $X$ is cut out scheme-theoretically by several hypersurfaces in $\mathbb{P}^r$. This generalizes a result of Bertram-Ein-Lazarsfeld.
Projective monomial curves correspond to rings generated by monomials of the same degree in two variables. Such rings always have finite Macaulayfication. We show how to characterize the Buchsbaumness and the Castelnuovo-Mumford regularity of these rings by means of their finite Macaulayfication, and we use this method to study the Buchsbaumness and to estimate the Castelnuovo-Mumford regularity of large classes of non-smooth monomial curves in terms of the given monomials.
In this article we establish bounds for the Castelnuovo-Mumford regularity of projective schemes in terms of the degrees of their defining equations. The main new ingredient in our proof is to show that generic residual intersections of complete intersection rational singularities again have rational singularities. When applied to the theory of residual intersections this circle of ideas also sheds new light on some known classes of free resolutions of residual ideals.
We prove and conjecture results which show that Castelnuovo theory in projective space has a close analogue for abelian varieties. This is related to the geometric Schottky problem: our main result is that a principally polarized abelian variety satisfies a precise version of the Castelnuovo Lemma if and only if it is a Jacobian. This result has a surprising connection to the Trisecant Conjecture. We also give a genus bound for curves in abelian varieties.
Classical Castelnuovo's Lemma shows that the number of linearly independent quadratic equations of a nondegenerate irreducible projective variety of codimension $c$ is at most ${{c+1} \choose {2}}$ and the equality is attained if and only if the variety is of minimal degree. Also a generalization of Castelnuovo's Lemma by G. Fano implies that the next case occurs if and only if the variety is a del Pezzo variety. For curve case, these results are extended to equations of arbitrary degree respectively by J. Harris and S. L'vovsky. This paper is intended to extend these results to arbitrary dime…
Classical Castelnuovo Lemma shows that the number of linearly independent quadratic equations of a nondegenerate irreducible projective variety of codimension $c$ is at most ${{c+1} \choose {2}}$ and the equality is attained if and only if the variety is of minimal degree. Also G. Fano's generalization of Castelnuovo Lemma implies that the next case occurs if and only if the variety is a del Pezzo variety. Recently, these results are extended to the next case. This paper is intended to complete the classification of varieties satisfying at least ${{c+1} \choose {2}}-3$ linearly independent qua…
We give a lower bound on the Hodge number h^{2,0}(X), where X is an irregular compact Kähler (or smooth complex projective) variety, in terms of the minimal rank of an element in the kernel of the wedge product map ψ_2: Λ^2 H^0(X,Ω_X^1) -> H^0(X,Ω_X^2). As a consequence, we obtain a generalization to higher dimensions of the Castelnuovo-de Franchis inequality for surfaces, improving some results of Lazarsfeld and Popa and Lombardi for threefolds and fourfolds.
We derive new bounds for the Castelnuovo-Mumford regularity of the ideal sheaf of a complex projective manifold of any dimension. They depend linearly on the coefficients of the Hilbert polynomial, and are optimal for rational scrolls, but most likely not for other varieties. Our proof is based on an observation of Lazarsfeld in his approach for surfaces and does not require the (full) projection step. We obtain a bound for each partial linear projection of the given variety, as long as a certain vanishing condition on the fibers of a general projection holds.
In this paper we give bounds on the Castelnuovo-Mumford regularity of products of ideals and ideal sheaves. In particular, we show that the regularity of a product of ideals is bounded by the sum of the regularities of its factors if the corresponding schemes intersect in a finite set of points. We also show how approximations of sheaves can be used to bound the regularity of an arrangement of two-planes in projective space.
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…
The Castelnuovo-Mumford regularity reg(X) of a projective scheme X was introduced by Mumford by generalizing ideas of Castelnuovo. The interest in this concept stems partly from the fact that X is m-regular if and only if for every p \geq 0 the minimal generators of the p-th syzygy module of the defining ideal I of X occur in degree \leq m + p. There are some bounds in the case that X is a locally Cohen-Macaulay scheme. The aim of this paper is to extend and improve these results for so-called (k,r)-Buchsbaum schemes. In order to prove our theorems, we need to apply a spectral sequence. We con…
Castelnuovo-Mumford regularity is an important invariant of projective algebraic varieties. A well known conjecture due to Eisenbud and Goto gives a bound for regularity in terms of the codimension and degree,i.e., Castelnuovo-Mumford regularity of a given variety $X$ is less than or equal to $deg(X)-codim(X)+1$. This regularity conjecture (including classification of examples on the boundary) was verified for integral curves (Castelnuovo, Gruson, Lazarsfeld and Peskine), and for smooth surfaces (Pinkham, Lazarsfeld). In this paper we prove that $reg(X) \le deg(X)-1$ for smooth threefolds $X$ …
As proved recently in [PT], for varieties $X^{r+1}\subset \mathbb P^N$ such that through $n\geq 2$ general points there passes an irreducible curve $C$ of degree $δ\geq n-1$ we have $N\leq π(r,n,δ+r(n-1)+2)$, where $π(r,n,d)$ is the Castelnuovo-Harris bound function for the geometric genus of an irreducible non-degenerate variety $Y^r\subset\mathbb P^{n+r-1}$ of degree $d$. A lot of examples of varieties as in the title and attaining the previous bound for the embedding dimension are constructed from Castelnuovo varieties and were thus dubbed {\it of Castelnuovo type} in [PT], where it is also…
We provide bounds on the Castelnuovo-Mumford regularity in terms of ``defining equations'' by using elements that annihilates some cohomology modules, inspired by works of Miyazaki, Nagel, Schenzel and Vogel. The elements in these annihilators are provided either by liaison or by tight closure theories. Our results hold in any characteristic.
The purpose of this paper is to establish a Castelnuovo-Mumford regularity bound for threefolds with mild singularities. Let $X$ be a non-degenerate normal projective threefold in $\mathbb{P}^r$ of degree $d$ and codimension $e$. We prove that if $X$ has rational singularities, then $\text{reg}(X) \leq d-e+2$. Our bound is very close to a sharp bound conjectured by Eisenbud-Goto. When $e=2$ and $X$ has Cohen-Macaulay Du Bois singularities, we obtain the conjectured bound $\text{reg}(X) \leq d-1$, and we also classify the extremal cases. To achieve these results, we bound the regularity of fibe…
Generalizing a classical lemma of Castelnuovo, we characterize rational normal curves (resp. linearly normal elliptic curves) as curves $C\subset \PP^n$ such that the number of linearly independent hypersurfaces $Z\supset C$ of given degree~$m$ is maximal (resp. next to maximal).
This paper investigates the Castelnuovo-Mumford regularity of the generic hyperplane section of projective curves in positive characteristic case, and yields an application to a sharp bound on the regularity for nondegenerate projective varieties.
Castelnuovo-Mumford regularity of toric varieties with at most one singular point
Universidad de La Laguna（拉古纳大学）；Instituto de Matemáticas y Aplicaciones (IMAULL), Sección de Matemáticas, Facultad de Ciencias, Universidad de La Laguna（拉古纳大学理学院数学系数学与应用数学研究所 (IMAULL)）；Universidad de Valladolid（巴利亚多利德大学）；Instituto de Investigación en Matemáticas de la Universidad de Valladolid (IMUVA), Universidad de Valladolid（巴利亚多利德大学）
We study projective surfaces $X \subset \mathbb{P}^r$ (with $r \geq 5$) of maximal sectional regularity and degree $d > r$, hence surfaces for which the Castelnuovo-Mumford regularity $\reg(C)$ of a general hyperplane section curve $C = X \cap \mathbb{P}^{r-1}$ takes the maximally possible value $d-r+3$. We show that each of these surfaces is either a cone over a curve $C \subset \mathbb{P}^{r-1}$ of maximal regularity or else a birational outer linear projection of a smooth rational surface scroll $\widetilde{X} \subset \mathbb{P}^{d+1}$. We prove that the Castelnuovo-Mumford regularity of th…
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…
In this paper we study ideals of points lying on rational normal curves defined in projective plane and projective $ 3 $-space. We give an explicit formula for the value of Castelnuovo-Mumford regularity for their ordinary powers. Moreover, we compare the $ m $-th symbolic and ordinary powers for such ideals in order to show whenever the $ m $-th symbolic defect is non-zero.
We prove that for every positive integer $m\geq 18(2^{9}\cdot 3^{7})!$ and every smooth projective 3-fold of general type X defined over complex numbers, $\mid mK_{X}\mid$ gives a birational rational map from X into a projective space.
Let $X \subseteq \mathbb{P}^r$ be a non-degenerate smooth projective variety of dimension $n$, codimension $e$, and degree $d$ defined over an algebraically closed field of characteristic zero. In this paper, we first show that $\text{reg} (\mathcal{O}_X) \leq d-e$, and classify the extremal and the next to extremal cases. Our result reduces the Eisenbud-Goto regularity conjecture for the smooth case to the problem finding a Castelnuovo-type bound for normality. It is worth noting that McCullough-Peeva recently constructed counterexamples to the regularity conjecture by showing that $\text{reg…
In this Part II, D(10.2), of D(10), we take D(10.1) (arXiv:1302.2054 [math.AG]) as the foundation to define the notion of $Z$-semistable morphisms from general Azumaya nodal curves, of genus $\ge 2$, with a fundamental module to a projective Calabi-Yau 3-fold and show that the moduli stack of such $Z$-semistable morphisms of a fixed type is compact. This gives us a counter moduli stack to D-strings as the moduli stack of stable maps in Gromov-Witten theory to the fundamental string. It serves and prepares for us the basis toward a new invariant of Calabi-Yau 3-fold that captures soft-D-string …
Let X be a projective complex 3-fold, quasihomogeneous with respect to an action of a linear algebraic group. We show that X is a compactification of SL_2/G, G a discrete subgroup, or that X can be equivariantly transformed into the 3-dim. projective space, the quadric Q_3, or into certain quasihomogeneous bundles with very simple structure.
In the present work we classify the relatively minimal 3-dimensional quasihomogeneous complex projective varieties under the assumption that the automorphism group is not solvable. By relatively minimal we understand varieties X having at most Q-factorial terminal singularities and allowing an extremal contraction X to Y, where dim Y <3.
In this paper, we will construct new examples of derived equivalent Calabi--Yau 3-folds with Picard number greater than one. We also study their mirror Calabi--Yau manifolds and find that they are given by Schoen's fiber products of suitable rational elliptic modular surfaces.
The aim of this note is to exploit a new relationship between additive combinatorics and the geometry of monomial projective curves. We associate to a finite set of non-negative integers $A=\{a_1,\cdots, a_n\}$ a monomial projective curve $C_A\subset \mathbb P^{n-1}_{k}$ such that the Hilbert function of $C_A$ and the cardinalities of $sA:=\{a_{i_1}+\cdots+a_{i_s}\mid 1\le i_1\le \cdots \le i_s\le n\}$ agree. The singularities of $C_A$ determines the asymptotic behaviour of $|sA|$, equivalently the Hilbert polynomial of $C_A$, and the asymptotic structure of $sA$. We show that some additive in…
In two recent papers, we described some Siegel modular threefolds which admit a weak Calabi--Yau model. Not all of them admit a {\it projective} model. The purpose of this paper is to exhibit criterions for the projectivity, to treat several examples, and to compute their Hodge numbers.
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.
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)$.
We provide a bound on the $Θ$-regularity of an arbitrary reduced and irreducible curve embedded in a polarized abelian variety in terms of its degree and codimension. This is an "abelian" version of Gruson-Lazarsfeld-Peskine's bound on the Castelnuovo--Mumford regularity of a non-degenerate curve embedded in a projective space. As an application, we provide a Castelnuovo type bound for the genus of a curve in a (non necessarily principally) polarized abelian variety. Finally, we bound the $Θ$-regularity of a class of higher dimensional subvarieties in Jacobian varieties, i.e. the Brill-Noether…
We present a proof of the mirror conjecture of Aganagic-Vafa [arXiv:hep-th/0012041] and Aganagic-Klemm-Vafa [arXiv:hep-th/0105045] on disk enumeration in toric Calabi-Yau 3-folds for all smooth semi-projective toric Calabi-Yau 3-folds. We consider both inner and outer branes, at arbitrary framing. In particular, we recover previous results on the conjecture for (i) an inner brane at zero framing in the total space of the canonical line bundle of the projective plane (Graber-Zaslow [arXiv:hep-th/0109075]), (ii) an outer brane at arbitrary framing in the resolved conifold (Zhou [arXiv:1001.0447]…
As an application of universal polynomials for local and multi-singularities of maps, we revisit classical enumerative formulae of Salmon-Cayley-Zeuthen for projective surfaces and analogous formulae of Segre-(B.)Severi-Roth for projective $3$-folds. In particular, several examples of actual computation are given using universal polynomials for computing weighted Euler characteristics of singularity loci.
Let $p$ and $q$ be odd prime numbers. In this paper we study non-abelian pq-fold regular covers of the projective line, determine algebraic models for some special cases and provide a general isogeny decomposition of the corresponding Jacobian varieties. We also give a classification and description of the one-dimensional families of compact Riemann surfaces as before.
Let $(X, A)$ be a nonsingular polarized toric 3-fold. We show that if the adjoint bundle of $A$ has no glabal section, then all ample line bundles on $X$ are normally generated. Even if the adjoint bundle is effective, if it is not big, then it is shown the normal generation. In particular, we show that all ample line bundles on a nonsingular toric Fano 3-fold are normally generated.
Let $X$ be a smooth projective variety of dimension $5$ and $L$ be an ample line bundle on $X$ such that $L^5>7^5$ and $L^d\cdot Z\geq 7^d$ for any subvariety $Z$ of dimension $1\leq d\leq 4$. We show that $\mathcal{O}_X(K_X+L)$ is globally generated.
In arXiv:math/0405373 , Eisenbud, Huneke and Ulrich conjectured a result on the Castelnuovo-Mumford regularity of the embedding of a projective space $\mathbb{P}^{n-1}\hookrightarrow \mathbb{P}^{r-1}$ determined by generators of a linearly presented $\mathfrak{m}$-primary ideal. This result implies in particular that the image is scheme defined by equations of degree at most $n$. In this text we prove that the ideal of maximal minors of the Jacobian dual matrix associated to the input ideal defines the image as a scheme; it is generated in degree $n$. Showing that this ideal has a linear resol…
The Castelnuovo-Mumford regularity of varieties of degree r and dimension n in the r-dimensional projective space that have an extremal secant line, is at least d-r+n+1. We classify these varieties and show that their regularity is exactly d-r+n+1, as predicted by the regularity conjecture.
There are many examples of 3-folds of general type with $χ(\mathcal {O})=1$ found by Iano-Fletcher and Reid about twenty years ago. Iano-Fletcher has ever proved $P_{12}(X)\ge 1$ and $P_{24}(X)\ge 2$ for all minimal 3-folds $X$ of general type with $χ(\mathcal {O}_X)=1$. In this paper, we improve on Fletcher's method. Our main result is that $ϕ_m$ is birational onto its image for all $m\ge 54$. To prove this we establish a general theory on birationality for general 3-folds which improve known results. Also we will show $P_m\geq 1$ for all $m\geq 14$ and $P_{18}\geq 3$.
