Related papers: A Lefschetz hyperplane theorem for Mori dream spac…
Let $\mathcal{H}_{a,b}^n$ denote the component of the Hilbert scheme whose general point parameterizes an $a$-plane union a $b$-plane meeting transversely in $\mathbf{P}^n$. We show that $\mathcal{H}_{a,b}^n$ is smooth and isomorphic to…
We study a class of rational surfaces (considered in [Campillo, Piltant and Reguera, 2005]) associated to curves with one place at infinity and explicitly describe generators of the Cox ring and global sections of line bundles on these…
Let $M(n,\xi)$ be the moduli space of stable vector bundles of rank $n\geq 3$ and fixed determinant $\xi$ over a smooth projective algebraic curve $X$ over $\mathbb{C}$ of genus $g\geq 4.$ We use the gonality of the curve and $r$-Hecke…
Kleiman's criterion states that, for $X$ a projective scheme, a divisor $D$ is ample if and only if it pairs positively with every non-zero element of the closure of the cone of curves. In other words, the cone of ample divisors in $N^1(X)$…
Inspired by his vanishing results of tautological classes and by Harer's computation of the virtual cohomological dimension of the mapping class group, Looijenga conjectured that the moduli space of smooth Riemann surfaces admits a…
The philosophy that ``a projective manifold is more special than any of its smooth hyperplane sections" was one of the classical principles of projective geometry. Lefschetz type results and related vanishing theorems were among the…
We show that a smooth Moishezon space $Y$ is non-projective if and only if it contains a rational curve such that $-[C] \in \overline{\mathrm{NE}}(Y)$. More generally, this holds if $Y$ has $\mathbb{Q}$-factorial, log terminal…
We develop a theory for stable maps to curves with divisible ramification. For a fixed integer $r>0$, we show that the condition of every ramification locus being divisible by $r$ is equivalent to the existence of an $r$th root of a…
In this paper we show that a smooth toric variety $X$ of Picard number $r\leq 3$ always admits a nef primitive collection supported on a hyperplane admitting non-trivial intersection with the cone $\Nef(X)$ of numerically effective divisors…
We describe a systematic way of constructing effective divisors on the moduli space of stable curves of genus g having exceptionally small slope. We prove that any divisor on \bar{M}_g consisting of curves failing a certain Green-Lazarsfeld…
Craw and Ishii proved that for a finite abelian group G in SL_3(C) every (projective) relative minimal model of C^3/G is isomorphic to the fine moduli space of \theta-stable G-constellations for some GIT parameter \theta. In this article,…
We prove a decomposition theorem for the nef cone of smooth fiber products over curves, subject to the necessary condition that their N\'eron--Severi space decomposes. We apply it to describe the nef cone of so-called Schoen varieties,…
We study the Cox rings of smooth anticanonical Calabi-Yau hypersurfaces in smooth toric Fano varieties. Using the combinatorics of primitive pairs of the ambient Fano polytope and the description of Cox rings of embedded varieties via…
We prove that the quotient of a klt type singularity by a reductive group is of klt type. In particular, given a klt variety $X$ endowed with the action of a reductive group $G$ and admitting a quasi-projective good quotient $X\rightarrow…
We develop a theory of \emph{reduced} Gromov-Witten and stable pair invariants of surfaces and their canonical bundles. We show that classical Severi degrees are special cases of these invariants. This proves a special case of the MNOP…
Let $X$ be any smooth Deligne-Mumford stack with projective coarse moduli, and $Y$ be a smooth complete intersection in $X$ associated with a direct sum of semi-positive line bundles. We will introduce a useful and broad class known as…
Let $X$ be a compact Riemann surface of genus $g \geq 2$, and let $D \subset X$ be a fixed finite subset. We prove the semiprojectivity of the moduli space of semistable symplectic or orthogonal parabolic Higgs bundles over $X$. We show…
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 given pair of maps f,g:X->M from an arbitrary topological space to an n-manifold, the Lefschetz homomorphism is a certain graded homomorphism L:H(X)->H(M) of degree (-n). We prove a Lefschetz-type coincidence theorem: if the Lefschetz…
We consider some conditions under which a smooth projective variety X is actually the projective space. We also extend to the case of positive characteristic some results in the theory of vector bundle adjunction. We use methods and…