### Current browse context:

math.AG

### Change to browse by:

### References & Citations

# Mathematics > Algebraic Geometry

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

(Submitted on 3 Feb 2020 (this version),

*latest version 6 May 2021*(v5))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.

## 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.