Related papers: A Kleiman criterion for GIT stack quotients
Given an algebraic torus action on a normal projective variety with finitely generated total coordinate ring, we study the GIT-equivalence for not necessarily ample linearized divisors, and we provide a combinatorial description of the…
The moduli space $\M_{g,n}$ of $n-$pointed stable curves of genus $g$ is stratified by the topological type of the curves being parametrized: the closure of the locus of curves with $k$ nodes has codimension $k$. The one dimensional…
In this paper we study the ample cone of the moduli space $\mgn$ of stable $n$-pointed curves of genus $g$. Our motivating conjecture is that a divisor on $\mgn$ is ample iff it has positive intersection with all 1-dimensional strata (the…
Let $X$ be a projective variety with an action of a reductive group $G$. Each ample $G$-line bundle $L$ on $X$ defines an open subset $X^{\rm ss}(L)$ of semi-stable points. Following Dolgachev and Hu, define a GIT-class as the set of…
The Kleiman-Mori cone plays important roles in the birational geometry. In this paper, we construct complete varieties whose Kleiman-Mori cones have interesting properties. First, we construct a simple and explicit example of complete…
We give a criterion for a nef divisor $D$ to be semiample on a Calabi--Yau threefold $X$ when $D^3=0=c_2(X)\cdot D$ and $c_3(X)\neq 0$. As a direct consequence, we show that on such a variety $X$, if $D$ is strictly nef and $\nu(D)\neq 1$,…
We give two criteria for a divisor on complex smooth projective variety to be ample using the multiplier ideal sheaf and the model category.
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.)…
Let $X$ be a normal projective variety equipped with an action of a semisimple algebraic group $G$, and assume that $X$ contains a unique closed orbit. Let $B$ be a Borel subgroup of $G$ and let $E$ be a $B$-equivariant vector bundle on…
For a complex variety $\hat X$ with an action of a reductive group $\hat G$ and a geometric quotient $\pi: \hat X \to X$ by a closed normal subgroup $H \subset \hat G$, we show that open sets of $X$ admitting good quotients by $G=\hat G /…
We introduce and study the GIT CONE of $\bar{M}_{0,n}$, which is generated by the pullbacks of the natural ample line bundles on the GIT quotients $(\mathbb P^1)^n//SL(2)$. We give an explicit formula for these line bundles and prove a…
In Butler, J.Differential Geom. 39 (1):1--34,1994, the author gives a sufficient condition for a line bundle associated with a divisor D to be normally generated on $X=P(E)$ where E is a vector bundle over a smooth curve C. A line bundle…
In the paper \cite{Lau16}, it was shown that the restriction of a pseudoeffective divisor $D$ to a subvariety $Y$ with nef normal bundle is pseudoeffective. Assuming the normal bundle is ample and that $D|_Y$ is not big, we prove that the…
Let $k$ be a field of characteristic zero. Fix a smooth algebraic curve $X$ and a split reductive group $G$ over $k$. We show that the Beilinson--Drinfeld affine Grassmannian $\mathrm{Gr}_{G, \mathrm{Ran}(X)}$ is the presheaf colimit of the…
We prove that the type A, level one, conformal blocks divisors on $\bar{M}_{0,n}$ span a finitely generated, full-dimensional subcone of the nef cone. Each such divisor induces a morphism from $\bar{M}_{0,n}$, and we identify its image as a…
In this work, we improve results about GIT-cones associated to the action of any reductive group $G$ on a projective variety $X$. These results are applied to give a short proof of a Derksen-Weyman's Theorem which parametrizes bijectively…
Let $\mathcal X$ be a projective arithmetic variety of dimension at least $2$. If $\overline{\mathcal L}$ is an ample hermitian line bundle on $\mathcal X$, we prove that the proportion of those effective sections of $\overline{\mathcal…
The aim of this paper is to show that classical geometric invariant theory (GIT) has an effective analogue for linear actions of a non-reductive algebraic group $H$ with graded unipotent radical on a projective scheme $X$. Here the linear…
By using classical invariant theory, we reduce the $S_{n}$-invariant F-conjecture to a feasibility problem in polyhedral geometry. We show by computer that for $n \le 19$, every integral $S_{n}$-invariant F-nef divisor on the moduli space…
Let $X$ be a smooth projective variety over the complex numbers. One knows by the Cone Theorem that the closed cone of curves of $X$ is rational polyhedral whenever $c_1(X)$ is ample. For varieties $X$ such that $c_1(X)$ is not ample,…