No Arabic abstract
We determine five extremal effective rays of the four-dimensional cone of effective surfaces on the toroidal compactification $overline{mathcal A}_3$ of the moduli space ${mathcal A}_3$ of complex principally polarized abelian threefolds, and we conjecture that the cone of effective surfaces is generated by these surfaces. As the surfaces we define can be defined in any genus $gge 3$, we further conjecture that they generate the cone of effective surfaces on the perfect cone toroidal compactification of ${mathcal A}_g$ for any $gge 3$.
We study smoothing of pencils of curves on surfaces with normal crossings. As a consequence we show that the canonical divisor of $overline{mathcal{M}}_{g,n}$ is not pseudo-effective in some range, implying that $overline{mathcal{M}}_{12,6},overline{mathcal{M}}_{12,7},overline{mathcal{M}}_{13,4}$ and $overline{mathcal{M}}_{14,3}$ are uniruled. We provide upper bounds for the Kodaira dimension of $overline{mathcal{M}}_{12,8}$ and $overline{mathcal{M}}_{16}$. We also show that the moduli of $(4g+5)$-pointed hyperelliptic curves $mathcal{H}_{g,4g+5}$ is uniruled. Together with a recent result of Schwarz, this concludes the Kodaira classification for moduli of pointed hyperelliptic curves.
We prove that the moduli spaces of curves of genus 22 and 23 are of general type. To do this, we calculate certain virtual divisor classes of small slope associated to linear series of rank 6 with quadric relations. We then develop new tropical methods for studying linear series and independence of quadrics and show that these virtual classes are represented by effective divisors.
Let $S$ be a surface isogenous to a product of curves of unmixed type. After presenting several results useful to study the cohomology of $S$ we prove a structure theorem for the cohomology of regular surfaces isogenous to a product of unmixed type with $chi (mathcal{O}_S)=2$. In particular we found two families of surfaces of general type with maximal Picard number.
For a smooth variety $Y$ over a perfect field of positive characteristic, the sheaf $D_Y$ of crystalline differential operators on $Y$ (also called the sheaf of $PD$-differential operators) is known to be an Azumaya algebra over $T^*_{Y},$ the cotangent space of the Frobenius twist $Y$ of $Y.$ Thus to a sheaf of modules $M$ over $D_Y$ one can assign a closed subvariety of $T^*_{Y},$ called the $p$-support, namely the support of $M$ seen as a sheaf on $T^*_{Y}.$ We study here the family of $p$-supports assigned to the reductions modulo primes $p$ of a holonomic $mathcal{D}$-module. We prove that the Azumaya algebra of differential operators splits on the regular locus of the $p$-support and that the $p$-support is a Lagrangian subvariety of the cotangent space, for $p$ large enough. The latter was conjectured by Kontsevich. Our approach also provides a new proof of the involutivity of the singular support of a holonomic $mathcal{D}$-module, by reduction modulo $p.$
Let X be a smooth, connected, closed subvariety of a complex vector space V. The asymptotic cone as(X) is naturally equipped with a nearby cycles sheaf P coming from the specialization of X to as(X). We show that if X is transverse to infinity in a suitable sense, then the Fourier transform of P is an intersection homology sheaf.