Abstract:We generalize a result of Ribet and Takahashi on the parametrization of elliptic curves by Shimura curves to the Hilbert modular setting. In particular, we study the behaviour of the parametrization of modular abelian varieties by Shimura curves associated to quaternion algebras $D$ over a totally real field $F$, as we vary $D$. As a consequence, we obtain that on these Shimura curves, the cohomological congruence module is equal to the ring theoretic congruence module even in cases where we do not have multiplicity one, thereby extending results of Manning and Böckle-Khare-Manning.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize the results of Ribet and Takahashi on the parametrization of elliptic curves by Shimura curves to the context of Hilbert modular forms. Specifically, the author studies how the parametrization behavior of Shimura curves generated by quaternion algebras \(D\) over a totally real field \(F\) to modular Abelian varieties changes as \(D\) varies.
According to the content of the paper, the main problems can be summarized as follows:
1. **Generalize existing results**: The main purpose of the paper is to generalize the results of Ribet and Takahashi. Their previous research was carried out in the context of classical modular forms (i.e., modular forms over \(\mathbb{Q}\)). This paper generalizes it to the context of Hilbert modular forms of parallel weight 2.
2. **Study congruence modules**: The author studies the congruence modules on Shimura curves. In particular, when there is no multiplicity - one, it is proved that the homology congruence module is equal to the ring - theoretic congruence module. This extends the results of Manning and Böckle - Khare - Manning.
3. **Quantitative level reduction**: The paper explores the phenomenon of quantitative level reduction in the context of Hilbert modular forms. Quantitative level reduction refers to determining the relationships between modular forms at different levels by studying the local properties of Galois representations.
### Formula display
To understand these problems more clearly, we can quote some key formulas. For example, in the results of Ribet and Takahashi, there is the following theorem:
\[ \text{ord}_p(\delta_Q) = \text{ord}_p(\delta_{Q'})+ c_{q_1}+ c_{q_2}, \]
where \(c_{q_i}\) is the largest power such that \(\rho_f|_{G_{q_i}} \mod p^{c_{q_i}}\) is unramified.
In the context of Hilbert modular forms, for a finite set of places \(Q\), we have the quaternion algebra \(D_Q\), and consider the moduli space \(M_Q\) and its Hecke algebra \(T_Q\). In particular, in Theorem A, when the residual Galois representation \(\rho = (\rho_f \mod \varpi)^{\text{ss}}\) satisfies certain conditions, the following equivalences are proved:
- \(T_Q\) is a Gorenstein ring.
- \(M_Q\) is a free module over \(T_Q\).
- \(Q\) does not contain any trivial places.
These results provide important tools for understanding the relationships between modular forms at different levels and lay the foundation for further research on the properties of Hilbert modular forms.