Related papers: Numerical criteria for divisors on $\M_{g}$ to be …
A meander can be seen as a pair of transversally intersecting simple closed curves on a 2-sphere. We consider pairs of transversally intersecting simple closed curves on a closed oriented surface of arbitrary genus g. The number of such…
Given a quasi-projective scheme M over complex numbers equipped with a perfect obstruction theory and a morphism to a nonsingular quasi-projective variety B, we show it is possible to find an affine bundle M'/ M that admits a perfect…
We introduce a new technique for proving positivity of certain divisor classes on $\bar{M}_{0,n}$ and its weighted variants. Our methods give an unconditional description of the spaces of symmetric weighted pointed rational curves as log…
We present the program Boundary, whose source files are available at http://people.sissa.it/~maggiolo/boundary/. Given two natural numbers g and n satisfying 2g+n-2>0, the program generates all genus g stable graphs with n unordered marked…
Let $X$ be a Hirzebruch surface, and let $H$ be any ample divisor. In this paper, we algorithmically determine when the moduli space of semistable sheaves $M_{X,H}(r,c_1,c_2)$ is nonempty. Our algorithm relies on certain stacks of…
Let $C$ be a smooth projective curve of genus $g\ge2$ and let $N$ be the moduli space of stable rank $2$ vector bundles on $C$ of odd degree. We construct a semi-orthogonal decomposition of the bounded derived category of $N$ conjectured by…
We develop a new method for establishing the extremality in the closed cone of effective curves on the moduli space of curves and determine the extremality of many boundary $1$-strata. As a consequence, by using a general criterion for…
Let $F$ be a genus $g$ curve and $\sigma: F \to F$ a real structure with the maximal possible number of fixed circles. We study the real moduli space $\N' = \Fix (\sigma^{#})$ where $\sigma^{#}: \N \to \N$ is the induced real structure on…
Given a covering f: X \to Y of projective manifolds, we consider the vector bundle E on Y given as the dual of f_*(\O_X) / \O_Y. This vector bundles often has positivity properties, e.g. E is ample when Y is projective space by a theorem of…
We reduce the Abundance Conjecture in dimension 4 to the following numerical statement: if the canonical divisor K is nef and has maximal nef dimension, then K is big. From this point of view, we ``classify'' in dimension 2 nef divisors…
A degree $d$ genus $g$ cover of the complex projective line by a smooth irreducible curve $C$ yields a vector bundle on the projective line by pushforward of the structure sheaf. We classify the bundles that arise this way when $d = 5$.…
We carry out a complete birational classification of the universal theta divisor Th_g over the moduli space of curves of genus g, and show that Th_g enjoys good rationality properties for g<12, and is a variety of general type for g\geq 12.…
A positive integer $n$ is practical if every $m \leq n$ can be written as a sum of distinct divisors of $n$. One can generalize the concept of practical numbers by applying an arithmetic function $f$ to each of the divisors of $n$ and…
We describe the effective and the big cones of a projective symmetric variety. Moreover, we give a necessary and sufficient combinatorial criterion for the bigness of a nef divisor on a projective symmetric variety. When the variety is…
Let $(Z, D)$ be a pair of a smooth surface and a smooth anti-canonical divisor. Denote by $\mathfrak{M}_\beta$ the moduli stack of genus $0$ relative stable morphisms of class $\beta$ with full tangency to the boundary. Let $C_1$ and $C_2$…
In this paper, we completely work out the log minimal model program for the moduli space of stable curves of genus three. We employ a rational multiple $\alpha\delta$ of the divisor $\delta$ of singular curves as the boundary divisor,…
We obtain new information about divisors on the $d-$th symmetric power $C_{d}$ of a general curve $C$ of genus $g \geq 4.$ This includes a complete description of the effective cone of $C_{g-1}$ and a partial computation of the volume…
We consider the moduli space of genus 4 curves endowed with a $g^1_3$ (which maps with degree 2 onto the moduli space of genus 4 curves). We prove that it defines a degree $\frac{1}{2}(3^{10}-1)$ cover of the 9-dimensional Deligne-Mostow…
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…
Classification of curves in a projective space occupies minds of many mathematicians. First step in doing so is classification of curves on a given surface. This brings us to consideration of the nonsingular Del Pezzo Surface in $P^4_k.$ We…