What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the relationship between the splitting behavior of p - ordinary modular forms and the existence of their companion forms. Specifically, the author provides a new proof method to expound the following theorem: **Theorem content**: For a p - ordinary modular form \( f \), whether its p - adic Galois representation \( \rho_f \) at \( p \) splits is equivalent to the following two conditions: 1. The critical refinement of \( f \) has a companion point. 2. The weight map \( \kappa: C \to W \) is ramified at the critical point \( x_{f,\text{crit}} \). **Background and motivation**: - **Modular forms and Galois representations**: Modular forms are important objects in number theory, and their corresponding Galois representations reveal the arithmetic properties of modular forms. - **Companion forms**: A companion form refers to another modular form \( g \), which has a certain congruence relation with the original modular form \( f \) and is related to each other through a specific operator (such as \( \theta^{k - 1} \)). - **Eigencurve**: Eigencurve is a geometric object that parameterizes all over - convergent p - adic modular forms with finite slopes. Studying the properties of these forms helps to understand the behavior of modular form families. **Importance of the problem**: - The study of this problem helps to deeply understand the arithmetic properties of modular forms, especially in the p - adic environment. - The splitting behavior and the existence of companion forms provide a theoretical basis for studying the local - global compatibility of modular forms, which is of great significance in the p - adic Langlands correspondence. **Summary**: The main goal of the paper is to give a new proof by studying the critical refinement of modular forms and their performance on the Eigencurve, showing the equivalence relationship between the splitting behavior of p - adic Galois representations and the existence of companion forms. This result not only deepens the understanding of the arithmetic properties of modular forms but also provides new tools and perspectives for future research.

Ordinary Modular Forms and Companion Points on the Eigencurve

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

Congruences of modular forms and modularity of Tate-Shafarevich classes

An Euler system for the adjoint of a modular form

On modular forms and Domb numbers

On a parity result for the symmetric square of modular forms with congruent residual representations

On the Birch-Swinnerton-Dyer conjecture for modular abelian surfaces

Explicit reciprocity laws and Iwasawa theory for modular forms

Unramifiedness of Galois Representations Arising from Hilbert Modular Surfaces

Modulo $\ell$ distinction problems

Kolyvagin's conjecture for modular forms

A $p$-adic adjoint $L$-function and the ramification locus of the Hilbert modular eigenvariety

Une factorisation de la cohomologie complétée et du système de Beilinson-Kato

Slopes of modular forms and geometry of eigencurves

Ordinary parts and local-global compatibility at $\ell=p$

Congruences for Siegel modular forms of nonquadratic nebentypus mod $p$

Supercongruences using modular forms

Tamagawa number conjecture for CM modular forms and Rankin--Selberg convolutions

Ordinary primes in Hilbert modular varieties

Branch points of split degenerate superelliptic curves II: on a conjecture of Gerritzen and van der Put

p-adic Cohomology and classicality of overconvergent Hilbert modular forms