Related papers: Some non-finitely generated Cox rings

We classify globally generated vector bundles with first Chern class $c_1$ at least 4 on the projective 3-space with the property that $E(-c_1+3)$ has a non-zero global section. This (seemingly) technical result allows one to reduce the…

We define the affine stratification number asn X of a scheme X. For X equidimensional, it is the minimal number k such that there is a stratification of X by locally closed affine subschemes of codimension at most k. We show that the affine…

We prove, for infinitely many values of $g$ and $n$, the existence of non-tautological algebraic cohomology classes on the moduli space $\mathcal{M}_{g,n}$ of smooth, genus-$g$, $n$-pointed curves. In particular, when $n=0$, our results…

Let $X$ be a smooth irreducible projective curve of genus $g \geq 2$ over a finite field $\F_{q}$ of characteristic $p$ with $q$ elements such that the function field $\F_{q}(X)$ is a geometric Galois extension of the rational function…

In this article we define stable supercurves and super stable maps of genus zero via labeled trees. We prove that the moduli space of stable supercurves and super stable maps of fixed tree type are quotient superorbifolds. To this end, we…

A curve on a projective variety is called movable if it belongs to an algebraic family of curves covering the variety. We consider when the cone of movable curves can be characterized without existence statements of covering families by…

Let $X$ be the product of two projective spaces and consider the general CICY threefold $Y$ in $X$ with configuration matrix $A$. We prove the finiteness part of the analogue of the Clemens' conjecture for such a CICY in low bidegrees. More…

We prove finite generation of the algebra of type A conformal blocks over arbitrary stable curves of any genus. As an application we construct a flat family of irreducible normal projective varieties over the moduli stack of stable pointed…

Moduli spaces of points on $n$-spheres carry natural actions of braid groups. For $n=0$, $1$, and $3$, we prove that these symmetries extend to actions of mapping class groups of positive genus surfaces, by establishing exceptional…

We study the iterated blow-up X of projective space along an arbitrary collection of linear subspaces. By replacing the universal torsor with an $\mathbb{A}^1$-homotopy equivalent model, built from $\mathbb{A}^1$-fiber bundles not just…

We prove the existence of a projective good moduli space of principal $\mathcal{G}$-bundles under nonconnected reductive group schemes $\mathcal{G}$ over a smooth projective curve $C$. We also prove that the moduli stack of…

We prove that smooth projective curves admitting a squarefree Groebner degeneration have genus 0.

This paper proves finite generation of the log canonical ring without Mori theory.

We study full rank homogeneous valuations on (multi)-graded domains and ask when they have finite Khovanskii bases. We show that there is a natural reduction from multigraded to simply graded domains. As special cases, we consider…

We show that projective K3 surfaces with odd Picard rank contain infinitely many rational curves. Our proof extends the Bogomolov-Hassett-Tschinkel approach, i.e., uses moduli spaces of stable maps and reduction to positive characteristic.

There are two types of $J$-holomorphic spheres in a symplectic manifold invariant under an anti-symplectic involution: those that have a fixed point locus and those that do not. The former are described by moduli spaces of $J$-holomorphic…

We give restrictions on the existence of families of curves on smooth projective surfaces $S$ of nonnegative Kodaira dimension all having constant geometric genus $g \geq 2$ and hyperelliptic normalizations. In particular, we prove a…

For a simply-connected closed manifold $X$ of $\dim X \neq 4$, the mapping class group $\pi_0(\mathrm{Diff}(X))$ is known to be finitely generated. We prove that analogous finite generation fails in dimension 4. Namely, we show that there…

We prove that a complete family of linearly non-degenerate rational curves of degree $e > 2$ in $\mathbb{P}^n$ has at most $n-1$ moduli. For $e = 2$ we prove that such a family has at most $n$ moduli. It is unknown whether or not this is…

Let M be a closed surface other than the sphere or projective plane. Goldberg defined a natural homomorphism from the n-stranded pure braid group of M to the n-fold product of the fundamental group of M and showed that the kernel of the…