Explicit Approaches to the Birch and Swinnerton-Dyer Conjecture

steinbirch和Swinnerton-Dyer猜想的DMS-0653968是数论中最核心的未解决问题之一。本课题拟从两个角度研究这一猜想。首先，PI打算继续他的计划，使用Iwasawa理论，欧拉系统，l -函数和伽罗瓦上同调的显式计算，在许多特定情况下显式验证全猜想；这项工作同时激发了新算法的发展和现有定理的改进。其次，PI计划对Kolyvagin的Heegner点欧拉系统的性质进行理论和计算研究，希望能够推进Kolyvagin在20世纪90年代初未完成的几个思想。椭圆曲线在现代数论和算术几何中起着中心作用。例如，安德鲁·怀尔斯证明了费马大定理，他证明了格哈德·弗雷附属于费马定理反例的椭圆曲线会附属于模形式，而这种模形式不存在。我们对椭圆曲线世界的理解是广泛的，但许多问题仍未解决。也许最核心的未解决问题是伯奇和斯温纳顿-戴尔猜想，它涉及椭圆曲线的许多算术不变量。该项目的目标是为攻击Birch和Swinnerton-Dyer猜想提供大量的新数据、技术和想法。

ABSTRACT for award DMS-0653968 of SteinThe Birch and Swinnerton-Dyer conjecture is one of the most central unsolved problems in number theory. The proposed project aims to study this conjecture from two perspectives. First, the PI intends to continue his program to explicitly verify the full conjecture in many specific cases using explicit computations with Iwasawa theory, Euler systems, L-functions, and Galois cohomology; this work simultaneously motivates the development of new algorithms and the refinement of existing theorems. Second, the PI plans to carry out a theoretical and computational study of properties of Kolyvagin's Euler system of Heegner points, with the hope of carrying forward several of the ideas Kolyvagin left unfinished in the early 1990s.Elliptic curves play a central role in modern number theory and arithmetic geometry. For example, Andrew Wiles proved Fermat's Last Theorem by showing that the elliptic curve attached by Gerhard Frey to a counterexample to Fermat's claim would be attached to a modular form, and that this modular form cannot exist. Our understanding of the world of elliptic curves is extensive, but many questions remain unresolved. Perhaps the most central unsolved problem is the Birch and Swinnerton-Dyer conjecture, which relates many of the arithmetic invariants of an elliptic curve. The goals of this project are to provide substantial new data, techniques, and ideas relevant to attacks on the Birch and Swinnerton-Dyer conjecture.