Abstract:We show that if F is a totally real field in which p splits completely and f is a mod p Hilbert modular form with parallel weight 2<k<p, which is totally ordinary at p and has tamely ramified Galois representation at all primes dividing p, then there is a "companion form" of parallel weight k':=p+1-k. This work generalises results of Gross and Coleman-Voloch for modular forms over Q.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the "adjoint form" problem of Hilbert modular forms over totally real fields. Specifically, the author Toby Gee aims to prove that under certain conditions (for example, when a prime number \(p\) is completely split in a totally real field \(F\), and the Hilbert modular form \(f\) modulo \(p\) satisfies some conditions), there exists a corresponding "adjoint form".
### Specific problem description:
1. **Background and motivation**:
- The adjoint form problem is an important problem in the theory of modular forms. For the field of rational numbers \(\mathbb{Q}\), Gross and Coleman - Voloch have studied this problem and obtained some results.
- The author hopes to generalize these results to more general totally real fields \(F\).
2. **Main problem**:
- Let \(F\) be a totally real field, and \(p\) be an odd prime number, which is completely split in \(F\).
- Let \(f\) be a Hilbert modular form modulo \(p\) with parallel weight \(2 < k < p\), and is trivial at all prime factors of \(p\).
- If the Galois representation of \(f\) is tamely ramified at all prime factors of \(p\), then does there exist an "adjoint form" \(g\) with parallel weight \(k'=p + 1 - k\) such that the Galois representation of \(g\) is associated with the Galois representation of \(f\)?
3. **Mathematical expression**:
- Given \(f\in S_k(\Gamma_1(N);\mathbb{F}_p)\), where \(p\nmid N\), there exists a continuous, odd, semisimple Galois representation:
\[
\rho_f:\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to\text{GL}_2(\mathbb{F}_p)
\]
- The existence of the adjoint form can be stated as: does there exist a Hilbert modular form \(g\) modulo \(p\) with weight \(k' = p+ 1 - k\) such that the Galois representation of \(g\) is associated with the Galois representation of \(f\) in some way.
4. **Main theorem**:
- Main theorem A shows that: if \(F\) is a totally real field, \(p\) is an odd prime number, which is completely split in \(F\), and \(\pi\) is a Hilbert modular form modulo \(p\) with parallel weight \(2 < k < p\), level \(n\), and \(n\) is coprime to \(p\). Suppose that \(\pi\) is trivial at all prime factors of \(p\), and the Galois representation \(\rho_\pi\) modulo \(p\) is irreducible and tamely ramified at all prime factors of \(p\), then there exists an adjoint form \(\pi'\) with parallel weight \(k'=p + 1 - k\), and satisfies:
\[
\rho_{\pi'}\sim\rho_\pi\otimes\chi^{k' - 1}
\]
where \(\chi\) is the \(p\)-adic cyclotomic character.
### Summary:
The main goal of this paper is to generalize the known adjoint form results from the field of rational numbers to totally real fields, and prove this generalization by constructing new tools and techniques. This not only extends the application range of the existing theory, but also provides new methods and ideas for further research.