Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userThe stable hyperelliptic locus in genus 3: An application of Porteous Formula
108
0
0.0
(
0
)
Authors
Eduardo Esteves
Ask ChatGPT about the research
No Arabic abstract
We compute the class of the closure of the locus of hyperelliptic curves in the moduli space of stable genus-3 curves in terms of the tautological class $lambda$ and the boundary classes $delta_0$ and $delta_1$. The expression of this class is known, but here we compute it directly, by means of Porteous Formula, without resorting to blowups or test curves.
rate research
Read More
Let the bielliptic locus be the closure in the moduli space of stable curves of the locus of smooth curves that are double covers of genus 1 curves. In this paper we compute the class of the bielliptic locus in bar{M}_3 in terms of a standard basis of the rational Chow group of codimension-2 classes in the moduli space. Our method is to test the class on the hyperelliptic locus: this gives the desired result up to two free parameters, which are then determined by intersecting the locus with two surfaces in bar{M}_3.
Equations of dispersionless Hirota type have been thoroughly investigated in the mathematical physics and differential geometry literature. It is known that the parameter space of integrable Hirota type equations in 3D is 21-dimensional and the action of the natural equivalence group Sp(6, R) on the parameter space has an open orbit. However the structure of the `master-equation corresponding to this orbit remained elusive. Here we prove that the master-equation is specified by the vanishing of any genus 3 theta constant with even characteristic. The rich geometry of integrable Hirota type equations sheds new light on local differential geometry of the genus 3 hyperelliptic divisor, in particular, the integrability conditions can be viewed as local differential-geometric constraints that characterise the hyperelliptic divisor uniquely modulo Sp(6, C)-equivalence.
The main goal of this article is to compute the class of the divisor of $overline{mathcal{M}}_3$ obtained by taking the closure of the image of $Omegamathcal{M}_3(6;-2)$ by the forgetful map. This is done using Porteous formula and the theory of test curves. For this purpose, we study the locus of meromorphic differentials of the second kind, computing the dimension of the map of these loci to $mathcal{M}_g$ and solving some enumerative problems involving such differentials in low genus. A key tool of the proof is the compactification of strata recently introduced by Bainbridge-Chen-Gendron-Grushevsky-Moller.
Let $K$ be an algebraically closed field of characteristic different from $2$, $g$ a positive integer, $f(x)in K[x]$ a degree $2g+1$ monic polynomial without repeated roots, $C_f: y^2=f(x)$ the corresponding genus g hyperelliptic curve over $K$, and $J$ the jacobian of $C_f$. We identify $C_f$ with the image of its canonical embedding into $J$ (the infinite point of $C_f$ goes to the zero of group law on $J$). It is known (arXiv:1809.03061 [math.AG]) that if $g>1$ then $C_f(K)$ does not contain torsion points, whose order lies between $3$ and $2g$. In this paper we study torsion points of order $2g+1$ on $C_f(K)$. Despite the striking difference between the cases of $g=1$ and $g> 1$, some of our results may be viewed as a generalization of well-known results about points of order $3$ on elliptic curves. E.g., if $p=2g+1$ is a prime that coincides with $char(K)$, then every odd degree genus $g$ hyperelliptic curve contains, at most, two points of order $p$. If $g$ is odd and $f(x)$ has real coefficients, then there are, at most, two real points of order $2g+1$ on $C_f$. If $f(x)$ has rational coefficients and $g<52$, then there are, at most, two rational points of order $2g+1$ on $C_f$. (However, there are exist genus $52$ hyperelliptic curves over the field of rational numbers that have, at least, four rational points of order 105.)
We prove that the generic point of a Hilbert modular four-fold is not a Jacobian. The proof uses degeneration techniques and is independent of properties of the mapping class group used in preceding papers on locally symmetric subvarieties of the moduli space of abelian varieties contained in the Schottky locus.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
