Related papers: On Numerically Effective Log Canonical Divisors

Let $S$ be a smooth projective variety and $\Delta$ a simple normal crossing $\mathbb{Q}$-divisor with coefficients in $(0,1]$. For any ample $\mathbb{Q}$-line bundle $L$ over $S$, we denote by $\mathscr{E}(L)$ the extension sheaf of the…

We reduce the Abundance Conjecture in dimension 4 to the following numerical statement: if the canonical divisor K is nef and has maximal nef dimension, then K is big. From this point of view, we ``classify'' in dimension 2 nef divisors…

We give a criterion for a divisorial sheaf on a log terminal variety to be Cohen-Macaulay. The log canonical case and applications to moduli are also considered.

We construct a surface with log terminal singularities and ample canonical class that has $K_X^2=1/48 983$ and a log canonical pair $(X,B)$ with a nonempty reduced divisor $B$ and ample $K_X+B$ that has $(K_X+B)^2 = 1/462$. Both examples…

For a given K-polystable Fano variety $X$ and a natural number $l$ such that $(X, \frac{1}{l} B)$ is log canonical for some $B\in |-lK_X|$, we show that there exists a rational number $0<c_1<1$ depending only on $X$ and $l$, such that $D\in…

In this article we prove a finiteness result on the number of log minimal models for $3$-folds in char $p>5$. We then use this result to prove a version of Batyrev's conjecture on the structure of nef cone of curves on $3$-folds in…

A necessary and sufficient condition is given for semi-ampleness of a numerically effective (nef) and big line bundle in positive characteristic. One application is to the geometry of the universal stable curve over M_g, specifically, the…

A famous theorem of Shokurov states that a general anticanonical divisor of a smooth Fano threefold is a smooth K3 surface. This is quite surprising since there are several examples where the base locus of the anticanonical system has…

We show that the anti-canonical bundle of any $\mathbb Q$-factorial surface is numerically effective if and only if it is pseudo-effective. To prove this, we establish a numerical non-vanishing theorem for surfaces polarized with…

Fixing two positive integers $d$ and $k$, a positive number $v$, and a positive integer $I$, we prove that the K-semistable domain of the log pair $(X, \sum_{j=1}^kD_j)$ is a rational polytope lying in the $k$-dimensional simplex…

Let $\overline{\mathrm{Mov}}^k(X)$ be the closure of the cone $\mathrm{Mov}^k(X)$ generated by classes of effective divisors on a projective variety $X$ with stable base locus of codimension at least $k+1$. We propose a generalized version…

Let $(X,\Delta)$ be a normal pair with a projective morphism $X \to Z$ and let $A$ be a relatively ample $\mathbb{R}$-divisor on $X$. We prove the termination of some minimal model program on $(X,\Delta+A)/Z$ and the abundance conjecture…

In this paper, we study the explicit geometry of threefolds, in particular, Fano varieties. We find an explicitly computable positive integer $N$, such that all but a bounded family of Fano threefolds have $N$-complements. This result has…

We show that for a weak $\mathbb{Q}$-Fano threefold $X$ of Picard rank two ($\mathbb{Q}$-factorial with at worst terminal singularities), the anticanonical volume satisfies $-K_X^3\leq72$ except in one case, and the equality holds only if…

Let $(X, \Delta)$ be a log pair in characteristic $p>0$ and $P$ be a (not necessarily closed) point of $X$. We show that there exists a constant $\delta>0$ such that $\tau(X, \Delta)_P= \tau(X, \Delta + D)_P$ for each effective…

A section K on a genus g canonical curve C is identified as the key tool to prove new results on the geometry of the singular locus Theta_s of the theta divisor. The K divisor is characterized by the condition of linear dependence of a set…

A plurisubharmonic weight is log canonical if it is at the critical point of turning non-integrable. Given a log canonical plurisubharmonic weight, we show that locally there always exists a log canonical `holomorphic' weight having the…

We prove that a geometrically integral smooth 3-fold $X$ with nef anti-canonical class and negative Kodaira dimension over a finite field $\mathbb{F}_q$ of characteristic $p>5$ and cardinality $q=p^e > 19$ has a rational point.…

Consider the positive integers $n$ such that $n$ divides the $n$-th Fibonacci number, and their counting function $A$. We prove that \[A(x) \leq x^{1-(1/2+o(1))\log\log\log x/\log\log x}.\]

Let $k$ be an imperfect field. Let $X$ be a regular variety over $k$ and set $Y$ to be the normalization of $(X \times_k k^{1/p^{\infty}})_{{\rm red}}$. In this paper, we show that $K_Y+C=f^*K_X$ for some effective divisor $C$ on $Y$. We…