Abstract:In this paper, we obtain two effective bounds for the $j$-invariant of integral points on certain modular curves which has positive genus and less than three cusps.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide effective upper bounds for the \(j\)-invariants of integral points on certain modular curves with positive genus and less than three cusps. Specifically, the author aims to improve the application of Siegel's theorem by quantitative methods, so that the \(j\)-invariants of these integral points can be effectively estimated.
### Problem Background
Siegel's theorem states that when the modular curve \(X_{\Gamma}\) has positive genus or at least three cusps, it has only finitely many \(S\)-integral points. However, the existing proof methods do not provide specific and computable upper bounds. Therefore, although we know that the number of these integral points is finite, we cannot know their specific positions or ranges exactly.
### Main Contributions of the Paper
1. **Establishment of Effective Upper Bounds**: By introducing new mathematical tools and methods, especially by combining the quantitative versions of the Chevalley - Weil theorem and the Riemann existence theorem, the paper provides explicit and computable effective upper bounds for the \(j\)-invariants.
2. **Extension of the Scope of Application**: The paper not only deals with the case of having at least three cusps, but also covers certain modular curves with positive genus and less than three cusps. For example, the classical modular curve \(X_0(p)\) (for prime \(p>13\)) has positive genus and two cusps.
### Main Results
The main results of the paper can be summarized as the following theorem:
#### Theorem 1.4
Suppose that \(\Gamma\) has a congruence subgroup \(\Gamma'\), satisfying \(\nu_{\infty}(\Gamma')\geq3\), and \(\Gamma'\) contains all elliptic elements of \(\Gamma\). Then for any \(S\)-integral point \(P\) on \(X_{\Gamma}\), we have:
1. If \(N\) is not a power of any prime:
\[
h(P)\leq\left(Cdsd_N^2N^2\right)^{2sNd_N}\left(\log(d_Nd_N)\right)^{3sNd_N}p^{d_Nd_N}\Delta(N)
\]
2. If \(N\) is a power of some prime:
\[
h(P)\leq\left(Cdsd_M^2M^2\right)^{2sMd_M}\left(\log(d_Md_M)\right)^{3sMd_M}p^{d_Md_M}\Delta(M)
\]
where \(C\) is an absolutely effective constant, \(d = [K:\mathbb{Q}]\), \(s = |S|\), and the specific definitions of parameters such as \(d_N\) and \(\Delta(N)\) are given in formulas (1.1) and (1.2) in the paper.
### Conclusion
Through these results, the paper provides a powerful tool for studying integral points on modular curves, especially in cases where the genus is positive and the number of cusps is small. This not only deepens the understanding of modular curves but also provides a solid foundation for further research.