Related papers: Effective Adjunction Theory
In this paper we study singularities defined by the action of Frobenius in characteristic $p > 0$. We prove results analogous to inversion of adjunction along a center of log canonicity. For example, we show that if $X$ is a Gorenstein…
We discuss the problem of classifying birational extremal contractions of smooth threefolds where the canonical bundle is trivial along the curves contracted, in the case when a divisor is contracted to a point. We prove the analytic…
Suppose X is a projective variety, which needs not be smooth, and L an ample divisor on X. We show that there are integers c and b such that for any nonnegative integer p, L^d is normally generated and embeds X as a variety who defining…
A variety is unirational if it is dominated by a rational variety. A variety is rationally connected if two general points can be joined by a rational curve. This paper aims to show that the two notions can cooperate and, building on…
Let $X$ be a projective manifold of dimension $n$ and $L$ a strictly nef line bundle on $X$. Then $K_X+tL$ is ample if $t > n+1$ in the following cases. 1.) $\text{dim} X = 3$ unless (possibly) $X$ is a Calabi-Yau with $c_2 \cdot L=0$; 2.)…
In this paper, we shall give some affirmative answer to an extremal Kaehler version of the Yau-Tian-Donaldson Conjecture. For a polarized algebraic manifold $(X,L)$, we choose a maximal algebraic torus $T$ in the group of holomorphic…
Let $X$ be an affine algebraic variety endowed with an action of complexity one of an algebraic torus $\mathbb{T}$. It is well known that homogeneous locally nilpotent derivations on the algebra of regular functions $\mathbb{K}[X]$ can be…
We present an inductive strategy to show the existence of rational curves on compact Kaehler manifolds which are not minimal models but have a pseudoeffective canonical bundle. The tool for this inductive strategy is a weak subadjunction…
Let $f:X\to S$ be a projective morphism of normal varieties. Assume $U$ is an open subset of $S$ and $L_U$ is a $\mathbb{Q}$-divisor on $X_U:=X\times_S U$ such that $L_U\equiv_U 0$. We explore when it is possible to extend $L_U$ to a global…
For every lc-trivial fibration $(X,\Delta) \to Z$ from an lc pair, we prove that after a base change, there exists a positive integer $n$, depending only on the dimension of $X$, the Cartier index of $K_{X}+\Delta$, and the sufficiently…
Let X be a complex projective variety of dimension n with only isolated normal singularities. In this paper we prove, using mixed Hodge theory, that if the link of each singular point of X is (n-2)-connected, then X is a formal topological…
Let $X$ be a variety and $H$ a Cartier divisor on $X$. We prove that if $H$ has Du Bois (or DB) singularities, then $X$ has Du Bois singularities near $H$. As a consequence, if $X \to S$ is a family over a smooth curve $S$ whose special…
We prove the precise inversion of adjunction formula for quotient singularities and klt Cartier divisors. As an application, we prove the semi-continuity of minimal log discrepancies for klt hyperquotient singularities.
The Abundance conjecture predicts that on a minimal projective klt pair $(X,\Delta)$, the adjoint divisor $K_X+\Delta$ is semiample. When $\chi(X,\mathcal O_X)\neq0$, we give a necessary and sufficient condition for the conjecture to hold…
The purpose of this paper is to prove the following theorem. Let $X$ be a projective normal variety defined over an algebraically closed field of characteristic zero and let $\Omega_{X}^{1}\to L$ be a one-dimensional foliation on $X$. If…
We show that the convolution algebra of smooth, compactly-supported functions on a Lie groupoid is H-unital in the sense of Wodzicki. We also prove H-unitality of infinite order vanishing ideals associated to invariant, closed subsets of…
We explain how to deduce from recent results in the Minimal Model Program a general uniruledness theorem for base loci of adjoint divisors. We also show how to recover special cases by extending a technique introduced by Takayama.
In 2002, it was conjectured that a free divisor satisfying the so-called Logarithmic Comparison Theorem (LCT) must be strongly Euler-homogeneous. Today, it is known to be true only in ambient dimension less or equal than three or assuming…
We prove that for every reductive algebraic group $H$ with centre of positive dimension and every integer $K$ there is a smooth and projective variety $X$ and an algebraic $H$-torsor $P \to X$ such that the classifying map $X \to \Bclass H$…
We make a very detailed analysis of the numerical properties of effective divisors whose support is contained in the exceptional locus of a birational morphism of smooth projective surfaces. As an application we extend Miyaoka's inequality…