We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Geometry

Title: Moduli of rational curves on weighted projective stack, I : Arithmetic of the moduli of hyperelliptic fibrations

Abstract: We effectively answer the geometric Shafarevich's problem on the squarefree odd hyperelliptic curves of genus $g$ with a marked Weierstrass point over $\mathbb{F}_q(t)$ with $\mathrm{char}(\mathbb{F}_q) > 2g+1$. We show this via counting the quasi-admissible hyperelliptic fibrations (which includes the semistable hyperelliptic fibrations) over $\mathbb{P}^1_{\mathbb{F}_q}$ by the bounded height of the hyperelliptic discriminant $\Delta_{g}$ with a positive real number $\mathcal{B}$ . The precise count $\mathcal{Z}_{g, \mathbb{F}_q(t)}(\mathcal{B})$, that is sharp asymptotic to $\mathcal{O}\left( \mathcal{B}^{\frac{2g+3}{4g+2}} \right)$, is established by first determining the class in the Grothendieck ring of $K$-stacks for the Hom stack $\mathrm{Hom}_n(\mathbb{P}^1,\mathcal{P}(\vec{\lambda}))$ parameterizing the degree $n$ rational curves on a weighted projective stack $\mathcal{P}(\lambda_0, \dotsc, \lambda_N)$ defined over a basefield $K$ with $\mathrm{char}(K) \nmid \lambda_i$ for every $i$ . As a consequence, if $\mathrm{char}(K)=0$ or $> 2g+1$, we acquire the motive $\left[\mathcal{L}_{g, |\Delta_g|}\right]$ of the moduli stack of quasi-admissible hyperelliptic genus $g$ fibrations over $\mathbb{P}^1_{K}$ with a discriminant degree $|\Delta_g|$ as a polynomial in $\mathbb{L}$ which renders the exact cardinality of the set of weighted $\mathbb{F}_q$-points. In the end, we formulate an analogous heuristic on $\mathcal{Z}_{g, \mathbb{Q}}(\mathcal{B})$ for counting the odd degree hyperelliptic curves of genus $g$ with a marked rational Weierstrass point over $\mathbb{Q}$ having $ht(\Delta_{g}) \le \mathcal{B}$ through the global fields analogy.
Comments: 26 pages. Comments welcome!
Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Number Theory (math.NT)
Cite as: arXiv:2002.00563 [math.AG]
  (or arXiv:2002.00563v2 [math.AG] for this version)

Submission history

From: Jun Yong Park [view email]
[v1] Mon, 3 Feb 2020 05:21:00 GMT (36kb)
[v2] Fri, 20 Mar 2020 06:01:14 GMT (34kb)
[v3] Wed, 1 Jul 2020 07:25:36 GMT (42kb)
[v4] Thu, 30 Jul 2020 10:09:17 GMT (48kb)
[v5] Thu, 6 May 2021 02:09:20 GMT (61kb)

Link back to: arXiv, form interface, contact.