Automorphy and adjoint Selmer groups over CM fields

CM 场上的自同构和伴随 Selmer 群

• 批准号: RGPIN-2020-05915
• 负责人: Allen, Patrick
• 金额: $ 1.89万
• 依托单位: McGill University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2022
• 资助国家: 加拿大
• 起止时间: 2022-01-01 至 2023-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=758896
• 关键词: Automorphy; adjoint; Selmer; groups; over

One of the great advances in modern algebraic number theory was the proof of the Shimura-Taniyama conjecture, the statement of which is that every rational elliptic curve is modular. A rational elliptic curve can be thought of as the set of points satisfying a simple polynomial equation, while a modular form is a certain type of holomorphic function on the complex upper half plane. The Shimura-Taniyama conjecture roughly says that for all but finitely many primes p, the number of solutions modulo p of the equation describing the can be read off from the Fourier coefficients of some modular form. This amazing idea that an arithmetic object, the elliptic curve, should be related to an (at first glance!) analytic object, the modular form, is now viewed as part of a philosophy of Langlands that has strongly influenced number theory and related areas in the past 40 years. It's remarkable that 25 years after Wiles's breakthrough work, we still can't prove the natural generalization over imaginary quadratic fields. However, in joint work with many coauthors, we are just now starting to break serious ground on this problem, and things are moving at an exciting pace. For example, in joint work with Caraiani, Calegari, Gee, Helm, Le Hung, Newton, Scholze, Taylor, and Thorne, we prove potential automorphy of elliptic curves over CM fields, i.e. that an elliptic curve becomes modular over finite extension. We furthermore prove the Sato-Tate conjecture for elliptic curves over CM fields, and new cases of the Ramanujan conjecture. In more recent joint work with Khare and Thorne, we prove actual automorphy for a positive proportion of elliptic curves over imaginary quadratic fields, in particular implying that their L-functions admit analytic continuation. These works contain powerful results and fruitful new ideas. This proposal deals with a number of applications of these new techniques and results. In particular, we aim to improve our knowledge of local-global compatibility in the Langlands program and treat conjectures of Bloch-Kato and Perrin-Riou (in the adjoint case). We also aim to establish the automorphy of semistable elliptic curves over imaginary quadratic fields. Finally, we propose a multifaceted approach to studying derived structure in Langlands program and Venkatesh's program.

现代代数数论的一个重大进展是志村-谷山猜想的证明，其中的陈述是每一条有理椭圆曲线都是模的。有理椭圆曲线可以被认为是满足简单多项式方程的点的集合，而模形式是复上半平面上的某种类型的全纯函数。志村-谷山猜想粗略地说，对于除了100个素数p之外的所有素数，描述的方程模p的解的个数可以从某种模形式的傅里叶系数中读出。这个惊人的想法，一个算术对象，椭圆曲线，应该与一个（乍一看！）分析对象，模形式，现在被视为朗兰兹哲学的一部分，在过去的40年里，朗兰兹哲学对数论和相关领域产生了强烈的影响。值得注意的是，在怀尔斯的突破性工作25年后，我们仍然不能证明虚二次域上的自然推广。然而，在与许多合著者的联合工作中，我们现在才开始在这个问题上取得重大进展，事情正在以令人兴奋的速度发展。例如，在与Caraiani，Calegari，Gee，Helm，Le Hung，Newton，Scholze，Taylor和Thorne的联合工作中，我们证明了CM域上椭圆曲线的潜在自同构，即椭圆曲线在有限扩展上变得模化。我们进一步证明了CM域上椭圆曲线的Sato-Tate猜想，以及Ramanujan猜想的新的情形。在最近的联合工作与哈雷和索恩，我们证明了实际的自同构的正比例的椭圆曲线在虚二次领域，特别是这意味着他们的L-功能承认解析延续。 这些作品包含了强大的成果和富有成效的新思想。本建议涉及这些新技术和结果的一些应用。特别是，我们的目标是提高我们的知识的局部-全局相容性的朗兰兹程序和治疗的Bloch-Kato和Perrin-Riou（在伴随的情况下）的代数。我们的目标也是建立虚二次域上半稳定椭圆曲线的自同构。最后，我们提出了一个多方面的方法来研究衍生结构的Langlands程序和Venkatesh的程序。