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

Download:

Current browse context:

math.AG

Change to browse by:

References & Citations

Bookmark

(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 conjecture on the squarefree odd hyperelliptic curves with a marked Weierstrass point as a consequence of acquiring a family of new sharp asymptotic with the leading term of order $\mathcal{O}\left( \mathcal{B}^{\frac{2g+3}{4g+2}} \right)$ on $\mathcal{Z}_{g, \mathbb{F}_q(t)}(\mathcal{B})$ for counting the quasi-admissible hyperelliptic curves by the bounded height of the hyperelliptic discriminant $\Delta_{g}$ over $\mathbb{F}_q(t)$ with $\mathrm{char}(\mathbb{F}_q) > 2g+1$ . The precise counts are acquired by considering the Hom stack $\mathrm{Hom}_n(\mathbb{P}^1,\mathcal{P}(\vec{\lambda}))$ of degree $n$ rational curves on $\mathcal{P}(\vec{\lambda})$, the $N$-dimensional $\vec{\lambda} = (\lambda_0, \dotsc, \lambda_N)$ weighted projective stack. Considering arithmetic of the moduli of semistable fibered algebraic surfaces over $\mathbb{P}^{1}$, we establish an injective transformation from the moduli $Q_g$ of quasi-stable (which includes the semistable) hyperelliptic fibrations with a marked Weierstrass section to the moduli $\mathcal{L}_{g}$ of quasi-admissible hyperelliptic fibrations over any basefield $K$ with $\mathrm{char}(K) = 0$ or $\mathrm{char}(K) > 2g+1$. Consequently, we acquire the motive of the moduli stack of quasi-admissible hyperelliptic fibrations with $|\Delta_{g}| = 4g(2g+1)n$ as $$\left[\mathcal{L}_{g, |\Delta_g|}\right] = \mathbb{L}^{2g(2g+3)n} \cdot (\mathbb{L}^{2g-1} + \mathbb{L}^{2g-2} + \dotsb + \mathbb{L}^2 + \mathbb{L}^1 -\mathbb{L}^{-1}-\mathbb{L}^{-2}- \dotsb - \mathbb{L}^{-2g+2} - \mathbb{L}^{-2g+1})$$ In the end, we formulate a family of analogous heuristic on $\mathcal{Z}_{g, \mathbb{Q}}(\mathcal{B})$ for counting the odd degree hyperelliptic genus $g$ curves with a marked rational Weierstrass point over $\mathbb{Q}$ by the bounded height of $\Delta_{g}$ through the global fields analogy.
Comments: 28 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.00563v1 [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.