p-adic aspects of the Langlands program

拟议项目的目标是调查朗兰兹方案的P-ADY方面。朗兰兹程序的核心是一种猜想的互易律，它将某种类型的自同构表示(即那些朗兰兹参数在阿基米德位置为‘’积分‘’或‘’代数‘’的表示)与由数域上代数簇的上同调产生的伽罗瓦表示(即‘Motivic’的伽罗瓦表示)联系起来。伽罗瓦表示理论中的一个基本事实是，这种表示自然地被某些p-进解析空间(伽罗瓦变形空间)参数化，在这些空间中，动机伽罗瓦表示漂浮在更大的非动机表示的海洋中。研究整个伽罗瓦表示的海洋是一个有趣而重要的问题，事实证明，即使一个人最终只对这个空间的理据点感兴趣，这也是非常重要的，因为大多数建立互易性的成功方法都涉及到跨所有伽罗瓦表示的海洋以p-adad方式插补信息。在Q的绝对伽罗华群的二维表示的情况下，通过建立模曲线的p-adad完备上同调与Breuil、Colmez和Paskunas的p-进局部朗兰兹对应之间的局部-整体相容结果，作者证明了在大多数情况下期望的互易性。建议的项目涉及将这些结果推广到其他上下文，例如全实域的/绝对伽罗瓦群的表示。由于在这种情况下不存在p进局部朗兰兹对应的构造，该项目的主要部分将涉及构造这样的对应。数论是数学的一个分支，研究与整数的性质有关的现象。一个典型的数论问题是确定某个感兴趣的方程的整数解的个数。这类问题的答案通常可以编码成称为L函数的某些数学函数。数学家罗伯特·朗兰兹发展了一系列关于L函数的猜想(或数学预测)，这些猜想(或数学预测)预言，任何L函数都应该由另一种称为自同构形的数学函数产生。(数学家将朗兰兹猜想的L函数与自同构形之间的关系称为“互易定律”。)朗兰兹发展了一系列强有力的表征理论方法来研究他的猜想。这些方法利用了自同构形和L函数的许多对称性来分析它们的数学性质；这些方法已经被合并到一个被称为“朗兰兹计划”的数学体系中。研究自同构型和L函数的一种较新的方法是使用p-进方法。这些方法涉及利用关于某个固定素数p的可除性来研究自同构型和L函数的泰勒级数系数。最近，表示理论方法和p-进方法开始被统一为所谓的“p-进朗兰兹方案”。本文的目的是在p-adic朗兰兹程序中发展新的结果和方法，并利用它们建立关于L函数的新结果，特别是建立新的互易定律。

The goal of the proposed project is to investigate the p-adic aspects of the Langlands program. At the heart of the Langlands program is a conjectured reciprocity law relating automorphic representations of a certain type (namely those whose Langlands parameter at the archimedean place is ``integral'', or ``algebraic'') to Galois representations arising from the etale cohomology of algebraic varieties over number fields (i.e. Galois representations that are ``motivic''). A basic fact in the theory of Galois representations is that such representations are naturally parametrized by certain p-adic analytic spaces (Galois deformation spaces), in which the motivic Galois representations float in a much larger sea of non-motivic representations. Studying this entire sea of Galois representations is an interesting and important problem, which turns out to be of fundamental importance even if one is ultimately interested only in the motivic points of this space, since most successful approaches to establishing reciprocity have involved p-adically interpolating information across the sea of all Galois representations. In the case of two-dimensional representations of the absolute Galois group of Q, the proposer has proved the desired reciprocity in most cases, by establishing a local-global compatibility result relating the p-adically completed cohomology of modular curves to the p-adic local Langlands correspondence of Breuil, Colmez, and Paskunas. The proposed project involves generalizing these results to other contexts, such as to representations of the/absolute Galois group of a totally real field. Since there isno construction of a p-adic local Langlands correspondence in this case, a major part of the project will involve constructing such a correspondence.Number theory is the branch of mathematics that studies phenomena related to properties of whole numbers. A typical number theoretic question is to determine the number of whole number solutions of some equation of interest. The answers to such questions can often be encoded in certain mathematical functions known as L-functions. The mathematician Robert Langlands has developed a series of conjectures (or mathematical predictions) regarding L-functions, which predict that any L-function should arise from another kind of mathematical function called an automorphic form. (Number theorists refer to Langlands conjectured relationship between L-functions and automorphic forms as a ``reciprocity law''.) Langlands developed an array of powerful representation theoretic methods to study his conjectures. These are methods that exploit the many symmetries of automorphic forms and L-functions to analyze their mathematical properties; these methods have been incorporated into a body of mathematics known as ``the Langlands program''. A more recent approach to the study of automorphic forms and L-functions is the use of p-adic methods. These are methods that involve using divisibility properties with respect to some fixed prime number p to study the Taylor series coefficients of the automorphic forms and L-functions. Recently,the representation theoretic methods and p-adic methods have begun to be unified into a so-called ``p-adic Langlands program''. The proposer aims to develop new results and methods in the p-adic Langlands program, and to use them to establish new results about L-functions, and, in particular, to establish new reciprocity laws.