Let X be a smooth projective minimal 3-fold of general type. We prove the sharp inequality K^3_X >= (2 /3)(2p_g(X) - 5), an analogue of the classical Noether inequality for algebraic surfaces of general type
We prove the Conjecture of Catenese--Chen--Zhang: the inequality $K_X^3geq frac{4}{3}p_g(X)-frac{10}{3}$ holds for all projective Gorenstein minimal 3-folds $X$ of general type.
We study a pair consisting of a smooth 3-fold defined over an algebraically closed field and a general real ideal. We show that the minimal log discrepancy of every such a pair is computed by a prime divisor obtained by at most two weighted blow-ups. This bound is regarded as a weighted blow-up version of Mustata-Nakamura Conjecture. We also show that if the mld of such a pair is not less than 1, then it is computed by at most one weighted blow-up. As a consequence, ACC of mld holds for such pairs.
Let $V$ be a complex nonsingular projective 3-fold of general type. We shall give a detailed classification up to baskets of singularities on a minimal model of $V$. We show that the $m$-canonical map of $V$ is birational for all $mgeq 73$ and that the canonical volume $text{Vol}(V)geq {1/2660}$. When $chi(mathcal{O}_V)leq 1$, our result is $text{Vol}(V)geq {1/420}$, which is optimal. Other effective results are also included in the paper.
We prove a Bogomolov-Gieseker type inequality for the third Chern characters of stable sheaves on Calabi-Yau 3-folds and a large class of Fano 3-folds with given rank and first and second Chern classes. The proof uses the spreading-out technique, vanishings from the tilt-stability conditions, and Langers estimation theorem of the global sections of torsion free sheaves. In particular, the result implies that the conjectural sufficient conditions on the Chern numbers for the existence of stable sheaves on a Calabi-Yau 3-fold by Douglas-Reinbacher-Yau needs to be modified.
We construct some new deformation families of four-dimensional Fano manifolds of index $1$ in some known classes of Gorenstein formats. These families have explicit descriptions in terms of equations, defining their image under the anti-canonical embedding in some weighted projective space. The constructed families have relatively smaller anti-canonical degrees than most other known families of smooth Fano 4-folds.