Abstract:We define a pro-$p$ Abelian sheaf on a modular curve of a fixed level $N \geq 5$ divisible by a prime number $p \neq 2$. Every $p$-adic representation of $\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ associated to an eigenform is obtained as a quotient of its étale cohomology. For any compact $\mathbb{Z}_p[[1 + N \mathbb{Z}_p]]$-algebra $\Lambda_1$ satisfying certain suitable conditions, we construct a representation of $\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ over $\Lambda_1$ associated to a $\Lambda_1$-adic cuspidal eigenform of finite slope as a scalar extension of a quotient of the étale cohomology.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to construct $p$-adic families of $p$-adic Galois representations associated with modular forms of a fixed level $N \geq 5$. Specifically, the author Tomoki Mihara proposed an explicit geometric construction method for generating $p$-adic Galois representations associated with modular forms (especially modular forms of finite slope). ### Analysis of the Main Problem 1. **Background and Motivation**: - The paper focuses on the construction problem of $p$-adic Galois representations associated with modular forms. Modular forms are important objects in number theory, and Galois representations play a crucial role in algebraic number theory. - In particular, the problem that the author attempts to solve is related to an open problem proposed by Coleman and Mazur in [CM98]: whether Galois representations can be obtained through the Pontryagin dual of the direct limit of $p$-adic cohomology. 2. **Specific Problem**: - Construct $p$-adic families of $p$-adic Galois representations associated with modular forms of a fixed level $N \geq 5$. - The author solved this problem by introducing a new explicit geometric construction method. This method is different from existing construction methods (such as Hida and Wiles' methods), and is based on the cohomology quotient of a compact sheaf on a single modular curve. 3. **Technical Means**: - Used $p$-adic cohomology theory, Iwasawa algebras, and the action of Hecke operators. - Constructed the required Galois representations by defining an appropriate pro - $p$ Abelian sheaf and using its étale cohomology. 4. **Innovation Points**: - The author's method is completely different from existing construction methods, especially when dealing with non - ordinary modular forms. - By considering the cohomology quotient of a compact sheaf on a single modular curve, it provides a new perspective for understanding the construction of $p$-adic Galois representations. ### Conclusion The main contribution of the paper is to provide a new geometric construction method for generating $p$-adic families of $p$-adic Galois representations associated with modular forms (especially modular forms of finite slope). This method not only deepens our understanding of $p$-adic Galois representations but also provides new tools and ideas for future research. \[ \text{Main formulas and symbol explanations:} \] - $p$: a prime number, and $p\neq 2$ - $N \geq 5$: the fixed level of the modular curve - $\mathbb{Z}_p$: the ring of $p$-adic integers - $\Lambda_1$: a compact $\mathbb{Z}_p[[1 + N\mathbb{Z}_p]]$-algebra that satisfies specific conditions - $\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$: the absolute Galois group of the field of rational numbers - $\text{H}^*_{\text{ét}}$: étale cohomology Hope this information can help you better understand the main research problem of this paper and its solution. If you have any further questions or need more detailed explanations, please feel free to let us know!

Galois Representations Associated to $p$-adic Families of Modular Forms of Finite Slope

$p$-adic rigidity of eigenforms of infinite slope

Galois Representations and Torsion in the Coherent Cohomology of Hilbert Modular Varieties

Mod-$p$ Galois representations not arising from abelian varieties

On $p$-adic $L$-functions for $GL_{2n}$ in finite slope Shalika families

Modulo $\ell$ distinction problems

Unramifiedness of Galois Representations Arising from Hilbert Modular Surfaces

Moduli stacks of Galois representations and the $p$-adic local Langlands correspondence for $\mathrm{GL}_2(\mathbb{Q}_p)$

Cohomologie de systèmes locaux $p$-adiques sur les revêtements du demi-plan de Drinfeld

Spherical varieties and non-ordinary families of cohomology classes

Geometric realizations of representations for $\text{PSL}(2, \mathbb{F}_p)$ and Galois representations arising from defining ideals of modular curves

On modulo $\ell$ cohomology of $p$-adic Deligne-Lusztig varieties for $GL_n$

Constructing Galois representations with prescribed Iwasawa $λ$-invariant

On modular representations of inner forms of $\mathrm{GL}_n$ over a local non-archimedean field

The cohomology of $p$-adic distribution representations

Decomposition and parity of p-adic representations attached to algebraic automorphic forms on GL(4)

Critical Lambda-adic modular forms and bi-ordinary complexes

$p$-adic $L$-functions for $P$-ordinary Hida families on unitary groups

Twisted Triple Product $p$-adic $L$-function for Finite Slope Families of Hilbert Modular Forms

Explicit reciprocity laws and Iwasawa theory for modular forms

On some mod $p$ representations of quaternion algebra over $\mathbb{Q}_p$