Abstract:We prove the indecomposability of Galois representation restricted to the p-decomposition group attached to a non CM nearly p-ordinary weight two Hilbert modular form under mild conditions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the local indecomposability of Galois representations of Hilbert modular forms on the p - decomposition group. Specifically, the author aims to prove that under certain mild conditions, the restriction of the Galois representation associated with non - CM (complex multiplication) almost p - ordinary weight 2 Hilbert modular forms on the p - decomposition group is indecomposable.
### Problem Background
In the case of elliptic modular forms, Greenberg proposed a similar problem, and Ghate and Vatsal gave a positive answer under some conditions. They solved the problem by studying the specialization of Λ - adic forms corresponding to weight 1 classical forms and used the density of these specializations to derive results for higher - weight modular forms. However, this method is somewhat limited in the case of Hilbert modular forms.
### Method in This Paper
Different from previous methods, this paper adopts a geometric method and mainly studies Galois representations associated with almost p - ordinary weight 2 Hilbert modular eigenforms. Specifically, let \( F \) be a totally real field and \( f \) be a Hilbert modular form of parallel weight 2. For each integral ideal \( \mathfrak{a} \), let \( T(\mathfrak{a}) \) be the corresponding Hecke operator, and assume that for all \( \mathfrak{a} \), there exists \( c(\mathfrak{a}, f)\in\overline{\mathbb{Q}} \) such that \( T(\mathfrak{a})f = c(\mathfrak{a}, f)f \). Denote \( K_f \) as the number field generated by all \( c(\mathfrak{a}, f) \).
For any prime ideal \( \lambda \) over the rational prime number \( p \) in \( K_f \), denote \( K_{f,\lambda} \) as the completion of \( K_f \) at \( \lambda \). It is known that there exists a Galois representation \( \rho_f:\text{Gal}(\overline{\mathbb{Q}}/F)\to\text{GL}_2(K_{f,\lambda}) \) attached to \( f \). If the eigenform \( f \) is almost p - ordinary (that is, for all prime ideals \( \mathfrak{p} \) covering \( p \), \( c(\mathfrak{p}, f) \) is a unit modulo \( \lambda \)), then the restriction of \( \rho_f \) on the p - decomposition group \( D_p \) has the following form:
\[
\rho_f|_{D_p}\sim\begin{pmatrix}
\epsilon_1 & * \\
0 & \epsilon_2
\end{pmatrix}.
\]
### Main Results
The main results of this paper are as follows:
**Theorem 1.** If \( f \) does not have complex multiplication, then \( \rho_f|_{D_p} \) is indecomposable.
To prove this theorem, the author introduced some technical conditions and utilized Hida's results on the local indecomposability of Tate modules of certain abelian varieties. In addition, the author also discussed how to apply these results to a problem proposed by Coleman.
In conclusion, the main contribution of this paper is to prove the local indecomposability of Galois representations of Hilbert modular forms on the p - decomposition group by geometric methods and generalize previous research results.