Related papers: On nef subvarieties
We develop an intersection theory for a singular hemitian line bundle with positive curvature current on a smooth projective variety and irreducible curves on the variety. And we prove the existence of a natural rational fibration structure…
Let $X$ be a complex manifold and $L$ be a holomorphic line bundle on $X$. Assume that $L$ is semi-positive, namely $L$ admits a smooth Hermitian metric with semi-positive Chern curvature. Let $Y$ be a compact K\"ahler submanifold of $X$…
The purpose of this note is to give a simple proof of the following theorem: Let $X$ be a normal projective variety over an algebraically closed field $k$, $\op{char} k = 0$ and let $D \subset X$ be a proper closed subvariety of $X$. Then…
In this paper, we extend the structure theorem for smooth projective varieties with nef tangent bundle to projective klt varieties whose tangent sheaf is either positively curved or almost nef. Specifically, we show that such a variety $X$,…
We introduce and motivate the following question: Is every effective strictly nef Cartier divisor on a projective variety big? In the appendix, Andreas H\"oring produces a counterexample, thus providing a negative answer.
In this paper, we use canonical bundle formulas to prove some generalizations of an old theorem of Kawamata on the semiampleness of nef and abundant log canonical divisors. In particular, we show that for klt pairs $(X,B)$ with $K_X+B$…
We show that the pseudoeffective cone of divisors $\overline{\text{Eff}}^1(\overline{\mathcal{M}}_{g,n})$ for $g\geq 2$ and $n\geq 2$ is not polyhedral by showing that the class of the fibre of the morphism forgetting one point forms an…
We define and study positivity (nefness, amplitude, bigness and pseudo-effectiveness) for Weil divisors on normal projective varieties. We prove various characterizations, vanishing and non-vanishing theorems for cohomology, global…
Any smooth projective variety contains many complete intersection subvarieties with ample cotangent bundles, of each dimension up to half its own dimension.
The goal of this paper is to make a surprising connection between several central conjectures in algebraic geometry: the Nonvanishing Conjecture, the Abundance Conjecture, and the Semiampleness Conjecture for nef line bundles on K-trivial…
Let $X$ be a Deligne-Mumford stack locally of finite type over an algebraically closed field $k$ of characteristic zero. We show that the intrinsic normal cone $C_X$ of $X$ is supported in the subcone $\mathbb{V}(\Omega_X[-1])$…
We introduce a new vector space associated to projective variety, the Weil Neron-Severi space, which we show is finitely generated and contains the usual Neron-Severi space as a subspace. We define the Nef cone of Weil divisor and the cone…
The goal of this paper is to explain when basechange theorems for sheaves of spaces imply basechange for sheaves with coefficients in other presentable $\infty$-categories. We accomplish this by analyzing when the tensor product of…
A quandle will be called quasi-affine, if it embeds into an affine quandle. Our main result is a characterization of quasi-affine quandles, by group-theoretic properties of their displacement group, by a universal algebraic condition coming…
In this note we study two features of submanifolds (subvarieties) with ample normal bundles in a compact K\"ahler manifold X. First, we study how algebraic X can be, i.e. we investigate the algebraic dimension. Second, we study curves with…
Chevalley's theorem states that every smooth connected algebraic group over a perfect field is an extension of an abelian variety by a smooth connected affine group. That fails when the base field is not perfect. We define a pseudo-abelian…
We prove that the Albanese map of a smooth projective threefold, whose anticanonical bundle is nef, is a surjective submersion. We also investigate morphisms of threefolds to curves and surfaces whose relative anticanonical bundle are nef.
Let $X$ be a smooth projective variety. We study admissible subcategories of the bounded derived category of coherent sheaves on $X$ whose support is a proper subvariety $Z \subset X$. We show that any one-dimensional irreducible component…
Let $Z$ be a closed subscheme of a smooth complex projective complete intersection variety $Y\subseteq \Ps^N$, with $dim Y=2r+1\geq 3$. We describe the N\'eron-Severi group $NS_r(X)$ of a general smooth hypersurface $X\subset Y$ of…
We prove that a normal variety contains finitely many maximal quasi-projective open subvarieties. As a corollary, we obtain the following generalization of the Chevalley-Kleiman projectivity criterion : a normal variety is quasi-projective…