Related papers: $k$-differentials on curves and rigid cycles in mo…
We establish criteria for when Noether--Lefschetz divisors generate an extremal ray in the cone of pseudoeffective divisors of an orthogonal modular variety. In particular, we exhibit many extremal rays of the cone of pseudoeffective…
Zagier's well-known work on traces of singular moduli relates the coefficients of certain weakly holomorphic modular forms of weight $1/2$ to traces of values of the modular $j$-function at imaginary quadratic points. A real quadratic…
In this thesis we study the relationship between the existence of canonical metrics on a complex manifold and stability in the sense of geometric invariant theory. We introduce a modification of K-stability of a polarised variety which we…
The moduli space of canonical divisors (with prescribed zeros and poles) on nonsingular curves is not compact since the curve may degenerate. We define a proper moduli space of twisted canonical divisors in the moduli space of…
Let $\mathcal F(r, d)$ denote the moduli space of algebraic foliations of codimension one and degree $d$ in complex proyective space of dimension $r$. We show that $\mathcal F(r, d)$ may be represented as a certain linear section of a…
In recent work by Arena, Canning, Clader, Haburcak, Li, Mok, and Tamborini it was proven that for infinitely many values of $g$ and $n$, there exist non-tautological algebraic cohomology classes on the moduli space $\mathcal{M}_{g,n}$ of…
We provide methods to construct explicit examples of $K3$ surfaces. This leads to unirational constructions of Noether--Lefschetz divisors inside the moduli space of $K3$ surfaces of genus $g$. We implement Mukai's unirationality…
We show that there is a good notion of irreducible sympelectic varieties of $\mathrm{K3}^{[n]}$-type over an arbitrary field of characteristic zero or $p > n + 1$. Then we construct mixed characteristic moduli spaces for these varieties.…
Let T be an involution of the finite dimensional complex reductive Lie algebra g and g=k+p be the associated Cartan decomposition. Denote by K the adjoint group of k. The K-module p is the union of the subsets p^{(m)}={x | dim K.x =m},…
We give algorithms for computing with divisors on projective curves over finite fields, and with their Jacobians, using the algorithmic representation of projective curves developed by Khuri-Makdisi. We show that many desirable operations…
Let $(V,q)$ be a non-degenerate $n$-dimensional quadratic space over the rationals of real signature $(r,s)$. For every integer $1\leq k \leq \min\{r,n-2\}$ we construct classes in the cohomology of arithmetic subgroups of $\mathrm{O}(V)$…
In this paper we study properties of the Chow ring of rational homogeneous varieties of classical type, more concretely, effective zero divisors of low codimension, and a related invariant called effective good divisibility. This…
Gendron proved that the strata of holomorphic differentials with prescribed orders of zeros do not contain complete algebraic curves by applying the maximum modulus principle to saddle connections. Here we provide an alternative proof for…
Let $(A,\Theta)$ be a complex principally polarized abelian variety of dimension $g\geq 4$. Based on vanishing theorems, differentiation techniques and intersection theory, we show that whenever the theta divisor $\Theta$ is irreducible,…
It is known that the moduli space $\overline{\mathcal{H}}_{g,n}$ of genus $g$ stable hyperelliptic curves with $n$ marked points is uniruled for $n \leq 4g+5$. In this paper we consider the complementary case. We calculate the canonical…
Let C be a smooth complex projective curve of genus at least 2 and let M be the moduli space of rank 2, stable vector bundles on C, with fixed determinant of degree 1. For any k>1, we find two irreducible components of the space of rational…
Given two vector bundles E and F on a variety X and a morphism from Sym^2(E) to F, we compute the cohomology class of the locus in X where the kernel of this morphism contains a quadric of prescribed rank. Our formulas have many…
In this paper for each $n\ge g\ge 0$ we consider the moduli stack $\widetilde{\mathcal U}^{ns}_{g,n}$ of curves $(C,p_1,\ldots,p_n,v_1,\ldots,v_n)$ of arithmetic genus $g$ with $n$ smooth marked points $p_i$ and nonzero tangent vectors…
In a previous joint article with F. Abu Salem, we gave efficient algorithms for Jacobian group arithmetic of "typical" divisor classes on C_{3,4} curves, improving on similar results by other authors. At that time, we could only state that…
In this mostly expository paper we review several known results about the cohomology of moduli spaces of smooth and stable curves, focusing in particular on low degree cohomology. We also give a new proof of Harer's theorem describing the…