Adic Modular Forms

点击翻译按钮获取中文摘要

The research projects that I would like to propose are projects in the field of Number Theory. Number Theory is one of the oldest branches of Mathematics, its origins in the Western civilization can be traced back to antiquity. Its main object of study is the set of integer numbers which were seen by the disciples of the Pythagorean school as magical carrying in mysterious ways all the information in existence. After two thousand years if intense study the set of integer numbers is still mysterious and very attractive for human enquiry. During the seventeenth century (AD 1637) Pierre de Fermat started investigating the integer solutions of the family of equations X^N+Y^N=Z^N, for N=3,4,5,.... This study is known as ``Fermat's last theorem" and it states that: there are no non-zero integer solutions to the equations X^N+Y^N=Z^N, for N=3,4,5,... Fermat thought he proved the theorem but did not write the solution. Attempts to recover Fermat's solution (assuming it ever existed) or to otherwise substantiate his claims spawned the birth of new Mathematical theories to which many great mathematicians contributed in profound ways culminating with Andrew Wiles' first published proof of the Theorem in 1995. Wiles' proof of Fermat's last theorem parlays a non-trivial solution of the equation X^p+Y^p=Z^p into the construction of an elliptic curve which can be then shown to posses an unlikely assortment of properties; he was then able to show that such an elliptic curve cannot exist by exploiting a deep, far reaching and still largely unproved connection between the various algebraic structures that arise from ``modular forms". Their role in our subject is fundamental and they, modular forms that is, are also the main characters of my own research. More precisely I am interested in understanding the $p$-adic properties of modular forms. Having fixed a prime integer p, i.e. any integer from the (infinite) list: 2,3,5,7,11,13,17,19,23,... it is interesting to study the divisibility of various integers by powers of p and this can be seen as defining a ``new distance" on the set of integers: namely two integers are ``near" if their difference is divisible by a high power of p. In this funny distance, called p-adic distance, there are many gaps between various integers and if we fill in all these gaps, we obtain a much larger set (ring) called the ring of p-adic integers. The p-adic geometry is the study of p-adic solutions of polynomial equations with p-adic coefficients. The $p$-adic world is entirely different from the world we see outside our window but this does not make it less real or interesting. In one of my research projects I propose to study the p-adic properties of modular forms and the geometry of the p-adic space, called eigencurve, which parameterizes the p-adic modular eigenforms (overconvergent) of finite slope and its natural boundary..