Related papers: Towards the ample cone of $\mgn$
We present an alternate proof, much quicker and more straightforward than the original one, of a celebrated Fulton's conjecture on the ample cone of the moduli space of stable rational curves with n marked points in the case n=7.
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…
We define and study the stack ${\mathcal U}^{ns,a}_{g,g}$ of (possibly singular) projective curves of arithmetic genus g with g smooth marked points forming an ample non-special divisor. We define an explicit closed embedding of a natural…
Let $M$ be the moduli space of rank $2$ stable bundles with fixed determinant of degree $1$ on a smooth projective curve $C$ of genus $g\ge 2$. When $C$ is generic, we show that any elliptic curve on $M$ has degree (respect to…
Let $C$ be a smooth projective curve of genus $g\geq 2$ over $\mathbb C$. Fix $n\geq 1$, $d\in {\mathbb Z}$. A pair $(E,\phi)$ over $C$ consists of an algebraic vector bundle $E$ of rank $n$ and degree $d$ over $C$ and a section $\phi \in…
We give a conjectural description for the cone of effective divisors of the Grothendieck-Knudsen moduli space of stable rational curves with n marked points. Namely, we introduce new combinatorial structures called hypertrees and show they…
In this short note, we show that any rational curve passing through the generic point in a moduli space of stable bundles with rank $r$ and fixed determinant on a smooth projective curve of genus $g\ge 4$ has degree (with respect to the…
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$,…
Given a collection of boundary divisors in the moduli space of stable genus-zero n-pointed curves, Giansiracusa proved that their intersection is nonempty if and only if all pairwise intersections are nonempty. We give a complete…
We show that if $X$ is a projective hyperk\"ahler fourfold and there exists a nonzero effective divisor $D$ which is not of bi-elliptic type and contained in the boundary of the nef cone of $X$, then $X$ contains a rational curve. This is a…
Let $\mathbf{M}_d$ be the moduli space of stable sheaves on $\mathbb{P}^2$ with Hilbert polynomial $dm+1$. In this paper, we determine the effective and the nef cone of the space $\mathbf{M}_d$ by natural geometric divisors. Main idea is to…
The open subvariety $\overline{M}_g^{\leq k}$ of $\overline{M}_g$ parametrizes stable curves of genus $g$ having at most $k$ rational components. By the work of Looijenga, one expects that the cohomological excess of $\overline{M}_g^{\leq…
We study ample stable vector bundles on minimal rational surfaces. We give a complete classification of those moduli spaces for which the general stable bundle is both ample and globally generated. We also prove that if $V$ is any stable…
On a general hypersurface of degree $d\leq n$ in $\mathbb P^n$ or $\mathbb P^n$ itself, we prove the existence of curves of any genus and high enough degree depending on the genus passing through the expected number $t$ of general points or…
We study the moduli space $\mathcal{AS}_{g}$ of Artin-Schreier curves of genus $g$ over an algebraically closed field $k$ of positive characteristic $p$. The moduli space is partitioned by irreducible strata, where each stratum…
The stable rationality of components of the moduli space of (unparametrized) rational curves in projective $n$-space with fixed normal bundle is proved, provided these components dominate the moduli space of immersed rational curves in the…
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…
Let $\L_g^G$ denote the locus of hyperelliptic curves of genus $g$ whose automorphism group contains a subgroup isomorphic to $G$. We study spaces $\L_g^G$ for $G \iso \Z_n, \Z_2{\o}\Z_n, \Z_2{\o}A_4$, or $SL_2(3)$. We show that for $G \iso…
In this series of papers, we investigate a new anabelian phenomenon of curves over algebraically closed fields of positive characteristic. Let $\overline M_{g, n}$ be the moduli space of curves of type $(g, n)$ over $\overline…
Let $V$ be a subvariety of codimension $\leq g$ of the moduli space $\cA_g$ of principally polarized abelian varieties of dimension $g$ or of the moduli space $\tM_g$ of curves of compact type of genus $g$. We prove that the set $E_1(V)$ of…