Overconvergent modular symbols and -adic -functions
This paper is a constructive investigation of the relationship between classical modular symbols and overconvergent -adic modular symbols. Specifically, we give a constructive proof of a (Theorem 1.1) due to the second author [19] proving existence and uniqueness of overconvergent eigenliftings of classical modular eigensymbols of . As an application we describe a polynomial-time algorithm for explicit computation of associated -adic -functions in this case. In the case of, the control theorem...