Abstract:We continue our study of integral points on moduli schemes by combining the method of Faltings (Arakelov, Parsin, Szpiro) with modularity results and Masser-Wüstholz isogeny estimates. In this work we explicitly bound the height and the number of integral points on coarse Hilbert moduli schemes outside the branch locus. In the first part we define and study coarse Hilbert moduli schemes with their heights and branch loci. In the second part we establish the effective Shafarevich conjecture for abelian varieties $A$ over a number field $K$ such that $A_{\bar{K}}$ has CM or $A_{\bar{K}}$ is of GL2-type and isogenous to all its $G_\mathbb Q$-conjugates. In the third part we continue our explicit study of the Parsin construction given by the forgetful morphism of Hilbert moduli schemes. We now work out our strategy for arbitrary number fields $K$ and we explicitly bound the number of polarizations and module structures on abelian varieties over $K$ with real multiplications. In the last part we illustrate our results by applying them to two classical surfaces first studied by Clebsch (1871) and Klein (1873): We explicitly bound the Weil height and the number of their integral points.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the problem of explicit bounds for integral points on coarse Hilbert moduli schemes. Specifically, the author combines Faltings' methods (including the work of Arakelov, Parshin, and Szpiro) with modular form results and Masser - Wüstholz isogeny estimates, aiming to explicitly give the bounds of the height and number of integral points on the coarse Hilbert moduli schemes except for the ramification points.
### Main problem decomposition
1. **Define and study coarse Hilbert moduli schemes and their heights and ramification points**:
- Through the fundamental work of Rapoport, Katz - Mazur, Deligne - Pappas, etc., and using Faltings height, first develop basic definitions.
- Prove some geometric results, in particular, relate the ramification points to the automorphism groups of the involved modular stacks, allowing the calculation of ramification points in certain relevant cases.
2. **Establish the effective Shafarevich conjecture**:
- For an abelian variety \(A\) over a number field \(K\), if \(\overline{A}_K\) has CM or is of \(GL_2\)-type and is isogenous to all its \(\text{Aut}(\overline{K}/\mathbb{Q})\)-conjugates, then the effective Shafarevich conjecture holds.
- If \(\overline{A}_K\) has no CM, then use isogeny estimates and the results of Ribet and Wu, and reduce to the known case \(K = \mathbb{Q}\) by Weil restriction.
- For the CM case, use isogeny estimates to effectively bound the simple CM type of height \(h(\Phi)\) under the condition of the discriminant. To this end, follow Tsimerman's strategy, combining the average Colmez conjecture with explicit analytic estimates of L - functions.
3. **Continue to study the Paršin construction given by the forgetful morphism of Hilbert moduli schemes**:
- Explicitly bound the number of polarizations and modular structures on abelian varieties for any number field \(K\).
4. **Apply the results to classical surfaces**:
- Apply the results to two classical surfaces first studied by Clebsch and Klein, and explicitly bound their Weil heights and the number of integral points.
- Prove that these surfaces are coarse Hilbert moduli schemes, and through the constructions of Rapoport and Faltings - Chai, as well as the work of Hirzebruch, make the integral minimal compactification explicit.
### Key formulas
- **Height bounds**:
\[
h_{\phi}(P) \leq c (\nu N_S)^{24g}
\]
where \(h_{\phi}\) is the stable Faltings height pulled back by the forgetful morphism \(\phi\).
- **Integral point number bounds**:
\[
|(Y\setminus Z)(\mathbb{Z}_S)| \leq c |P|_C (\nu N_S)^e \Delta^{\log(3\Delta)^{2g - 1}}
\]
Through these methods and formulas, the author successfully makes an explicit bound for the integral points on the coarse Hilbert moduli schemes, thus solving this complex and important mathematical problem.