Related papers: On the $S_n$-invariant F-conjecture

Fulton's conjecture for the moduli space of stable pointed rational curves, \bar{M}_{0,n}, claims that a divisor non-negatively intersecting all F-curves is linearly equivalent to an effective sum of boundary divisors. Our main result is a…

Let X be a smooth projective curve of genus g>1 defined over an algebraically closed field k of characteristic p>0. Let M_X(r) be the moduli space of semi-stable rank r vector bundles with fixed trivial determinant. The relative Frobenius…

We construct the moduli spaces of stable maps, \bar M_g,n(P^r,d), via geometric invariant theory (GIT). This construction is only valid over Spec C, but a special case is a GIT presentation of the moduli space of stable curves of genus g…

We show that an equivariant vector bundle on a complete toric variety is nef or ample if and only if its restriction to every invariant curve is nef or ample, respectively. Furthermore, we show that nef toric vector bundles have a…

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$,…

In this paper, we prove the ampleness conjecture and Serrano's conjecture for strictly nef divisors on K-trivial fourfolds. Specifically, we show that any strictly nef divisors on projective fourfolds with trivial canonical bundle and…

We study moduli spaces of (possibly non-nodal) curves (C,p_1,\ldots,p_n) of arithmetic genus g with n smooth marked points, equipped with nonzero tangent vectors, such that ${\mathcal O}_C(p_1+\ldots+p_n)$ is ample and $H^1({\mathcal…

We consider $\mathcal{A}$-finite map germs $f$ from $(\mathbb{C}^n,0)$ to $(\mathbb{C}^{2n},0)$. First, we show that the number of double points that appears in a stabilization of $f$, denoted by $d(f)$, can be calculated as the length of…

For any finite group G we define the moduli space of pointed admissible G-covers and the concept of a G-equivariant cohomological field theory (G-CohFT), which, when G is the trivial group, reduce to the moduli space of stable curves and a…

Let M_g be the moduli space of smooth curves of genus g >= 3, and \bar{M}_g the Deligne-Mumford compactification in terms of stable curves. Let \bar{M}_g^{[1]} be an open set of \bar{M}_g consisting of stable curves of genus g with one node…

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…

We give an asymptotic formula for the number of $\mathbb{F}_{q}$-rational points over a fixed determinant moduli space of stable vector bundles of rank $r$ and degree $d$ over a smooth, projective curve $X$ of genus $g \geq 2$ defined over…

A central question in invariant theory is that of determining the relations among invariants. Geometric invariant theory quotients come with a natural ample line bundle, and hence often a natural projective embedding. This question…

Given a separable nonconstant polynomial $f(x)$ with integer coefficients, we consider the set $S$ consisting of the squarefree parts of all the rational values of $f(x)$, and study its behavior modulo primes. Fixing a prime $p$, we…

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,…

Let C be an algebraic curve of genus g. Let E be a vector bundle of rank n and degree d. Consider among all subbundles F' of E of rank n' those of maximal degree d'. Then s_n'(E)= n'd-nd'\le n'(n-n')g. If E is stable s_n'(E)>0 while if E is…

The nef cone of a projective variety Y is an important and often elusive invariant. In this paper we construct two polyhedral lower bounds and one polyhedral upper bound for the nef cone of Y using an embedding of Y into a toric variety.…

For every $n\geq 3, g\geq 1$ and all large enough $e$ depending on $n,g$, there exist curves of genus $g$, degree $e$ in a general hypersurface of degree $n$ in $\mathbb P^n$, or in $\mathbb P^n$ itself, whose whose normal bundle $N$ is…

Let $E$ be a vector bundle of rank $r$ on a smooth complex projective variety $X$. In this article, we compute the nef and pseudoeffective cones of divisors in the Grassmann bundle $Gr_X(k,E)$ parametrizing $k$-dimensional subspaces of the…

In this paper, we present a new connection between representation theory of noncommutative hypersurfaces and combinatorics. Let $S$ be a graded ($\pm 1$)-skew polynomial algebra in $n$ variables of degree $1$ and $f =x_1^2 + \cdots +x_n^2…