Explicit Approaches to Modular Forms and Modular Abelian Varieties

获得Stein DMS-0400386奖的Birch和Swinnerton-Dyer猜想以及Mazur关于shafarevicch - tate群可见性的概念激发了本研究项目的计算和理论目标。计算目标是开发新的算法、表和软件来研究模块形式和模块阿贝尔变体。PI希望创造新的计算工具，包括一个主要的新软件包，用于在数域上计算模阿贝尔变，并增强模形式数据库，该数据库被许多研究模形式的数学家使用。理论目标是证明有关椭圆曲线的莫德尔-韦尔群和沙法里维奇-泰特群和贝尔变型的新定理。这些对Mazur的可见性概念的调查，以及它是如何将莫德尔-韦尔和沙法里维奇-泰特群体联系起来的，可能会为Birch猜想和Swinnerton-Dyer猜想的不同案例之间的关系提供新的见解。椭圆曲线和模形式在现代数论和算术几何中起着中心作用。例如，安德鲁·怀尔斯证明了费马大定理，他证明了格哈德·弗雷附属于费马定理反例的椭圆曲线会附属于模形式，而这种模形式不可能存在。我们对椭圆曲线和模形式的理解是广泛的，但许多问题仍未解决。该项目的第一个目标是提供理论和计算工具，使模块化形式和附加对象非常明确，以便数学家可以使用它们进行计算，测试他们的猜想，并获得更好的感觉。第二个目标是使用这些工具和其他思想来更深入地理解Bryan Birch和Peter Swinnerton-Dyer关于椭圆曲线算法的猜想。

ABSTRACT for the award DMS-0400386 of Stein The Birch and Swinnerton-Dyer conjecture and Mazur's notion ofvisibility of Shafarevich-Tate groups motivate the computational andtheoretical goals of this research project. The computational goalsare to develop new algorithms, tables, and software for studyingmodular forms and modular abelian varieties. The PI hopes to createnew computational tools, including a major new package for computingwith modular abelian varieties over number fields, and enhance themodular forms database, which is used by many mathematicians who studymodular forms. The theoretical goals are to prove new theorems thatrelate Mordell-Weil and Shafarevich-Tate groups of elliptic curves andabelian varieties. These investigations into Mazur's notion ofvisibility, and how it links Mordell-Weil and Shafarevich-Tate groups,may provide new insight into relationships between different cases ofthe Birch and Swinnerton-Dyer conjecture.Elliptic curves and modular forms play a central role in modern numbertheory and arithmetic geometry. For example, Andrew Wiles provedFermat's Last Theorem by showing that the elliptic curve attached byGerhard Frey to a counterexample to Fermat's claim would be attachedto a modular form, and that this modular form cannot exist. Ourunderstanding of the world of elliptic curves and modular forms isextensive, but many questions remain unresolved. The first goal ofthis project is to provide theoretical and computational tools to makemodular forms and objects attached to them very explicit, so thatmathematicians can compute with them, test their conjectures onthem, and gain a better feeling for them. The second goal is to usethese tools and other ideas to gain a deeper understanding of theconjecture of Bryan Birch and Peter Swinnerton-Dyer about the arithmetic of elliptic curves.