On Greenberg--Benois $\mathcal{L}$-invariants and Fontaine--Mazur $\mathcal{L}$-invariants

Ju-Feng Wu
2024-09-11
Abstract:We prove a comparison theorem between Greenberg--Benois $\mathcal{L}$-invariants and Fontaine--Mazur $\mathcal{L}$-invariants. Such a comparison theorem supplies an affirmative answer to a speculation of Besser--de Shalit.
Number Theory
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to prove the comparison theorem between the Greenberg - Benois \(L\)-invariant and the Fontaine - Mazur \(L\)-invariant. Specifically, the author attempts to verify a conjecture proposed by Besser and de Shalit, that is, whether these two \(L\)-invariants are equal. ### Background and Problem Description The two \(L\)-invariants mentioned in the paper are: 1. **Greenberg - Benois \(L\)-invariant**: This was constructed by R. Greenberg when studying ordinary \(p\)-adic Galois representations and was later generalized to more general Galois representations by D. Benois. 2. **Fontaine - Mazur \(L\)-invariant**: This was defined by J. - M. Fontaine and B. Mazur through the study of semistable modules. These \(L\)-invariants play important roles in the study of \(p\)-adic interpolation of special values and the so - called "trivial zero conjecture". However, for higher - order automorphic forms, whether a similar theory can be established remains an open question. ### Main Contributions of the Paper The main contribution of this paper lies in establishing the relationship between these two \(L\)-invariants and proving that they are equal under specific conditions. Specifically, the author considers a Galois representation \(\rho\) over a number field \(F\) and assumes that it satisfies certain conditions (such as semistability, Frobenius eigenvalues, etc.), and then proves the following main theorem: \[ L_{GB}(\rho(m))=\prod_{\mathfrak{p}\mid p}L_{FM}(\rho_{\mathfrak{p}}) \] where: - \(L_{GB}(\rho(m))\) is the Greenberg - Benois \(L\)-invariant, - \(L_{FM}(\rho_{\mathfrak{p}})\) is the Fontaine - Mazur \(L\)-invariant, - \(\mathfrak{p}\) is all prime ideals in the number field \(F\) lying above \(p\). This result not only answers the conjecture of Besser and de Shalit but also provides a new perspective for understanding the roles of these \(L\)-invariants in \(p\)-adic \(L\)-functions. ### Conclusion By proving the above comparison theorem, this paper provides an important tool for studying \(L\)-invariants of higher - order automorphic forms and lays the foundation for further exploring the applications of these invariants in arithmetic geometry and number theory.