1) We give a 3-dimensional analogue of M. Noether's inequality for canonically polarized threefolds: $K^3\ge 2(2p_g-5)/3$. This inequality is sharp by known examples of M. Kobayashi.
2) Given a minimal 3-fold $X$ of general type with canonical singularities, if $K^3< (3p_g-5)/2$, we show that $X$ must be birationally fibred by curves of genus 2.
We study canonically polarized Gorenstein $3$-folds with at most terminal singularities and satisfying $K_X^3=\frac 43p_g(X)-\frac {10}3$ and $p_g(X) \ge 7$. We characterize the canonical maps of such $3$-folds, describe a structure theorem for the locally factorial ones and completely classify the smooth ones. New examples of canonically polarized smooth $3$-folds with $K_X^3=\frac 43p_g(X)-\frac {10}3$ and $p_g(X) \ge 7$ are constructed. These examples are natural extensions of those constructed by M.~Kobayashi.
In this manuscript we sharpen the lower bound on the codimension of the irreducible components of the Noether-Lefschetz locus of surfaces in projective toric threefolds given in [BG17]. We also provide a simpler proof of Theorem 4.11 in [BG17], which allows one to avoid some technical assumptions.
We consider the Noether-Lefschetz problem for surfaces in Q-factorial normal 3-folds with rational singularities. We show the existence of components of the Noether-Lefschetz locus of maximal codimension, and that there are indeed infinitely many of them. Moreover, we show that their union is dense in the natural topology.
In this short note, we give a refinement of our previous work (arXiv:1803.05553) stating that for a projective $3$-fold $X$ of general type with either $p_g(X)\leq 4$ or $p_g(X)\geq 11$, $$\text{vol}(X)\geq \frac{4}{3}p_g(X)-{\frac{10}{3}}.$$
Given a smooth prime Fano threefold $X$ of genus 7 we consider its homologically projectively dual curve $Γ$ and the natural integral functor $Φ^{!}:D^b(X) \to D^b(Γ)$. We prove that, for $d\geq 6$, $Φ^{!}$ gives a birational map from a component of the moduli scheme $M_X(2,1,d)$ of rank 2 stable sheaves on $X$ with $c_1=1$, $c_2=d$ to a generically smooth $2d-9$-dimensional component of the Brill-Noether variety $W^{2d-11}_{d-5,5d-24}$ of stable vector bundles on $Γ$ of rank $d-5$ and degree $5d-24$ with at least $2d-10$ sections. This map turns out to be an isomorphism for $d=6$, and the mod…
The Noether-Lefschetz theorem asserts that any curve in a very general surface $X$ in $\mathbb P^3$ of degree $d \geq 4$ is a restriction of a surface in the ambient space, that is, the Picard number of $X$ is $1$. We proved previously that under some conditions, which replace the condition $d \geq 4$, a very general surface in a simplicial toric threefold $\mathbb P_Σ$ (with orbifold singularities) has the same Picard number as $\mathbb P_Σ$. Here we define the Noether-Lefschetz loci of quasi-smooth surfaces in $\mathbb P_Σ$ in a linear system of a Cartier ample divisor with respect to a (-1)…
We prove the optimal Noether-Severi inequality that $\mathrm{vol}(X) \ge \frac{4}{3} χ(ω_{X})$ for all smooth and irregular $3$-folds $X$ of general type over $\mathbb{C}$. For those $3$-folds $X$ attaining the equality, we completely describe their canonical models and show that the topological fundamental group $π_1(X) \simeq \mathbb{Z}^2$. As a corollary, we obtain for the same $X$ another optimal inequality that $\mathrm{vol}(X) \ge \frac{4}{3}h^0_a(X, K_X)$ where $h^0_a(X, K_X)$ stands for the continuous rank of $K_X$, and we show that $X$ attains this equality if and only if $\mathrm{vol…
We establish the Noether inequality for projective $3$-folds. More precisely, we prove that the inequality $${\rm vol}(X)\geq \tfrac{4}{3}p_g(X)-{\tfrac{10}{3}}$$ holds for all projective $3$-folds $X$ of general type with either $p_g(X)\leq 4$ or $p_g(X)\geq 21$, where $p_g(X)$ is the geometric genus and ${\rm vol}(X)$ is the canonical volume. This inequality is optimal due to known examples found by M. Kobayashi in 1992.
Consider a smooth projective 3-fold $X$ satisfying the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda (such as $\mathbb P^3$, the quintic threefold or an abelian threefold). Let $L$ be a line bundle supported on a very positive surface in $X$. If $c_1(L)$ is a primitive cohomology class then we show it has very negative square.
It has long been known that to a complex cubic surface or threefold one can canonically associate a principally polarized abelian variety. We give a construction which works for cubics over an arithmetic base. This answers, away from the prime 2, an old question of Deligne and a recent question of Kudla and Rapoport. We further classify the Mumford-Tate groups of the abelian varieties which arise, and give additional arithmetic applications.
It is known that the optimal Noether inequality $\mathrm{vol}(X) \ge \frac{4}{3}p_g(X) - \frac{10}{3}$ holds for every $3$-fold $X$ of general type with $p_g(X) \ge 11$. In this paper, we give a complete classification of $3$-folds $X$ of general type with $p_g(X) \ge 11$ satisfying the above equality by giving the explicit structure of a relative canonical model of $X$. This model coincides with the canonical model of $X$ when $p_g(X) \ge 23$. We also establish the second and third optimal Noether inequalities for $3$-folds $X$ of general type with $p_g(X) \ge 11$. These results answer two op…
The Gromov-Witten theory of threefolds admitting a smooth K3 fibration can be solved in terms of the Noether-Lefschetz intersection numbers of the fibration and the reduced invariants of a K3 surface. Toward a generalization of this result to families with singular fibers, we introduce completed Noether-Lefschetz numbers using toroidal compactifications of the period space of elliptic K3 surfaces. As an application, we prove quasi-modularity for some genus 0 partition functions of Weierstrass fibrations over ruled surfaces, and show that they satisfy a holomorphic anomaly equation.
Motivated by the S-duality conjecture, we study the Donaldson-Thomas invariants of the 2 dimensional Gieseker stable sheaves on a threefold. These sheaves are supported on the fibers of a nonsingular threefold X fibered over a nonsingular curve. In the case where X is a K3 fibration, we express these invariants in terms of the Euler characteristic of the Hilbert scheme of points on the K3 fiber and the Noether-Lefschetz numbers of the fibration. We prove that a certain generating function of these invariants is a vector modular form of weight -3/2 as predicted in S-duality.
Let $S$ be a minimal surface of general type with $p_g(S)=2$ and $K^2_S=1$, so called by a minimal $(1,2)$-surface. Then we obtain that the global log canonical threshold of the surface $S$ via $K_S$ is greater than equal to $\frac{1}{2}$. As an application we have \[ {\rm{vol}}(X)\ge\frac{4}{3}p_g(X)-\frac{10}{3} \] for all projective $3$-folds $X$ of general type which answers Question 1.4 of [J. A. Chen, M. Chen, C. Jiang, "The Noether inequality for algebraic threefolds", arXiv:1803.05553] about Noether inequality for $X$ with $5\le p_g(X)\le 26$.
Motivated by S-duality modularity conjectures in string theory, we study the Donaldson-Thomas type invariants of pure 2-dimensional sheaves inside a nonsingular threefold X in three different situations: (1). X is a K3 fibration over a curve. We study the Donaldson-Thomas invariants of the 2 dimensional Gieseker stable sheaves in X supported on the fibers. Analogous to the Gromov-Witten theory formula established in the work of Maulik-Pandharipande, we express these invariants in terms of the Euler characteristic of the Hilbert scheme of points on the K3 surface and the Noether-Lefschetz numbe…
