Abstract: The aim of this paper is to extend some arithmetic results on elliptic modular forms to the case of Hilbert modular forms. Among these results let's mention : (1) the control of the image of the Galois representation modulo $p$, (2) Hida's congruence criterion outside an explicit set of primes $p$, and (3) the freeness of the integral cohomology of the Hilbert modular variety over certain local components of the Hecke algebra and the Gorenstein property of these local algebras.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to generalize some arithmetic results of elliptic modular forms to the case of Hilbert modular forms. Specifically, the author Mladen Dimitrov aims to study the Galois representations modulo \( p \) of Hilbert modular forms and explore the following aspects of problems by studying the properties of these representations:
1. **Control of Galois Representation Images**:
- Generalize the results of Serre and Ribet on elliptic modular forms to control the images of Galois representations modulo \( p \).
- Determine that under certain conditions, the images of Galois representations contain the special linear group \( \text{SL}_2(\mathbb{F}_q) \), where \( q \) is some power of \( p \).
2. **Congruence Criteria**:
- Generalize Hida's congruence criteria for elliptic modular forms to study the congruence properties of Hilbert modular forms outside a specific set of prime numbers.
3. **Freeness of Integral Cohomology**:
- Study the freeness of the integral cohomology of Hilbert modular varieties on certain local Hecke algebra components and prove the Gorenstein properties of these local algebras.
To achieve these goals, the author mainly uses the action of the inertia group at the prime number \( p \) and calculates the Hodge - Tate weights and Fontaine - Laffaille weights in the \( p \)-adic and modulo \( p \) categories of Hilbert modular varieties. In addition, the author also draws on the geometric construction methods in the cohomology study of Siegel modular varieties by Mokrane, Polo and Tilouine.
### Formula Summary
- **Traces and Determinants of Galois Representations**:
\[
\text{tr}(\rho(\text{Frob}_v))=\iota_p(c(f, v)), \quad \det(\rho(\text{Frob}_v))=\iota_p(\psi(v)) N_{F/\mathbb{Q}}(v)
\]
where \( \text{Frob}_v \) represents the geometric Frobenius element.
- **Hodge - Tate Weights**:
\[
|p(J)|=\sum_{\tau \in J}(k_0 - m_\tau - 1)+\sum_{\tau \in J_F\setminus J}m_\tau
\]
where \( m_\tau=\frac{k_0 - k_\tau}{2} \).
- **Conditions (I) and (II)**:
\[
\text{(I)}: p\nmid\Delta, \quad \text{(II)}: p - 1>\sum_{\tau \in J_F}(k_\tau - 1)
\]
Through these formulas and conditions, the author can analyze in detail the Galois representations modulo \( p \) of Hilbert modular forms and their related cohomology properties, thus generalizing the classical results of elliptic modular forms.