A Generalization of Greenberg's $\Cal L$-invariant

Denis Benois
DOI: https://doi.org/10.48550/arXiv.0906.2857
2009-06-16
Abstract:Using the theory of $(\varphi, \Gamma)$-modules we generalizes Greenberg's construction of the $\Cal L$-invariant to semistable representations
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize Greenberg's L - invariant construction so that it is applicable to p - adic representations that are semistable at p. Specifically: 1. **Background problems**: - For a modular form \( f \) and its corresponding complex L - function \( L(f, s) \), the Euler factor can be written as \( E_p(f, p^{-s}) \), where \( E_p(f, X)=\prod_{i = 1}^{d}(1-\alpha_i X) \). - When \( U_p(f)=p^{k - 1}f \), \( E_p(f, X)=1 - p^{k - 1}X \), and the p - adic L - function \( L_p(f, s) \) related to \( \alpha = p^{k - 1} \) is defined. - Mazur, Tate and Teitelbaum conjectured that there exists an invariant \( L(f) \) that only depends on the restriction of the p - adic Galois representation \( V_f \) to the decomposition group at p, such that \( L'_p(f, k)=L(f)L(f, k)/\Omega_f \). 2. **Existing work**: - Greenberg defined an L - invariant for pseudo - geometric representations and proposed a natural generalization of the above conjecture. - Hida et al. have made important progress in this direction. 3. **Objectives of this paper**: - The author proposes a new definition of L - invariant, which is applicable to representations that are semistable at p, thus generalizing the constructions of Fontaine and Greenberg simultaneously. - This new definition is compatible with Perrin - Riou's p - adic L - function theory. By introducing the theory of \((\varphi,\Gamma)\)-modules, especially by using Colmez's observation that the \((\varphi,\Gamma)\)-modules associated with irreducible p - adic representations may be reducible in the category of Robba rings, the author is able to deal with the triangulated properties of semistable representations and use the cohomology of \((\varphi,\Gamma)\)-modules to replace Galois cohomology, thus achieving this generalization. In summary, this paper aims to provide a new definition of L - invariant for p - adic representations that are semistable at p through the theoretical framework of \((\varphi,\Gamma)\)-modules, in order to solve the generalization problem of the Mazur - Tate - Teitelbaum conjecture.