Related papers: Numerical criteria for divisors on $\M_{g}$ to be …
Let $C$ be a smooth irreducible irreducible projective curve of genus $g \ge 2$. Let $\mathcal{M}_C(n, \delta)$ be the moduli space of semi-stable vector bundles on $C$ of rank $n$ and fixed determinant $\delta$ of degree $d$. Then the…
In the moduli space M_g of genus g Riemann surfaces, consider the locus RM_O of Riemann surfaces whose Jacobians have real multiplication by the order O in a totally real number field F of degree g. If g = 2 or 3, we compute the closure of…
Let $L$ be a very ample line bundle on a smooth curve $C$ of genus $g$ with $\frac{3g+3}{2}<\deg L\le 2g-5$. Then $L$ is normally generated if $\deg L>\max\{2g+2-4h^1(C,L), 2g-\frac{g-1}{6}-2h^1(C,L)\}$. Let $C$ be a triple covering of…
Let (C, p_1, p_2, \ldots, p_n) be a general marked curve of genus g, and q_1, q_2, ..., q_n \in P^r be a general collection of points. We determine when there exists a nondegenerate degree d map f : C \to P^r so that f(p_i) = q_i for all i.…
We show that certain quotients of the compactified moduli space of $n-$ pointed genus $g$ curves, $\overline{\mathcal{M}}^G:= \overline{\mathcal{M}}_{g,n} / G$, are of general type, for a fairly broad class of subgroups $G$ of the symmetric…
We construct an algorithm for computing the cycle classes of the spin components of a stratum of differentials in the moduli space of stable curves $\overline{\mathcal{M}}_{g,n}$. In addition, we implement it within the Sage package…
In this article we prove the explicit Mordell Conjecture for large families of curves. In addition, we introduce a method, of easy application, to compute all rational points on curves of quite general shape and increasing genus. The method…
We give a direct proof, valid in arbitrary characteristic, of nefness for two families of F-nef divisors on $\bar{M}_{0,n}$. The divisors we consider include all type A level one conformal block divisors as well as divisors previously not…
In this note we present a fast algorithm that finds for any $r$ the number $N_r$ of $\mathbb{F}_{q^r}$ rational points on a smooth absolutely irreducible curve $C$ defined over $\mathbb{F}_{q}$ assuming that we know $N_1,\cdots,N_g$, where…
Let $\mathcal{I}_{d,g,R}$ be the union of irreducible components of the Hilbert scheme whose general points parametrize smooth, irreducible, curves of degree $d$, genus $g$, which are non--degenerate in the projective space $\mathbb{P}^R$.…
We find 101,052 new extreme divisors on $\bar{M}_{0,7}$ (in 31 $S_7$-orbits) and millions of extreme nef curves over characteristic 0. Over characteristic 2, we identify two more $S_7$-orbits of extreme divisors, and prove…
The purpose of this note is to prove that there is an algebraic stack U parameterizing all curves. The curves that appear in the algebraic stack U are allowed to be arbitrarily singular, non-reduced, disconnected, and reducible. We also…
Using meromorphic differentials with real periods, we prove Arbarello's conjecture: any compact complex cycle of dimension $g-n$ in the moduli space $\M_g$ of smooth genus $g$ algebraic curves must intersect the locus of curves having a…
Consider a dominant rational self-map $f$ on a smooth projective variety $X$ defined over $\overline{\mathbb{Q}}$. We prove that \begin{align} \lim_{n \to \infty} \frac{h_{Y}(f^{n}(x))}{h_{H}(f^{n}(x)) } = 0, \end{align} where $h_{Y}$ is a…
Let $(G, \omega)$ be a hyperelliptic vertex-weighted graph of genus $g \geq 2$. We give a characterization of $(G, \omega)$ for which there exists a smooth projective curve $X$ of genus $g$ over a complete discrete valuation field with…
Let $M\ $be a module over a domain $R$ and $M^{\#}=\{0\neq m\in M:Rm\neq M\}$ be the set of all nonzero nongenerators of $M.\ $Consider following equivalence relation $\sim$ on $M^{\#}$ as follows: for every $m,n\in M^{\#},\ m\sim n$ if and…
We prove that, when genus two curves $C/\mathbb{Q}$ with a marked Weierstass point are ordered by height, the average number of rational points $\#|C(\mathbb{Q})|$ is bounded. The argument follows the same ideas as the sphere-packing proof…
The stable reduction theorem says that a family of curves of genus $g\geq 2$ over a punctured curve can be uniquely completed (after possible base change) by inserting certain stable curves at the punctures. We give a new proof of this…
Let $k$ be a fixed finite geometric extension of the rational function field $\mathbb{F}_q(t)$. Let $F/k$ be a finite abelian extension such that there is an $\Fq$-rational place $\infty$ in $k$ which splits in $F/k$ and let $\mathcal{O}_F$…
We denote by $\mathcal{H}_{d,g,r}$ the Hilbert scheme of smooth curves of degree $d$ and genus $g$ in $\mathbb{P}^r$. Denoting by $\mathcal{M}_g$ the moduli space of smooth curves of genus $g$, let $\mu: \mathcal{H}_{d,g,r}\dasharrow…