ラングランズ・プログラム
ラングランズプログラムの出発点は、二次の相互律を一般化したアルティンの相互律であると考えられる。アルティンの相互律は、ガロワ群が可換であるような代数体のガロワ拡大に適用して、L-函数をガロワ群の一次元表現に対応させ、さらにそれら L-函数がある種のディリクレ L-級数やヘッケ指標から構成されるより一般の級数(つまり、リーマンゼータ函数のある種の対応物)と同一視できることを主張するものである。これら種々の異なる L-函数の間の具体的な対応が、アルティンの相互律を構成しているのである。
非可換なガロワ群やその高次元表現に対しても、L-函数は自然な方法で定義することができる(アルティン L-函数)。
ラングランズの考察は、アルティンの主張をより一般の仮定の下で定式化することを許すような、ディリクレ L-函数の真の一般化を求めることであった。
函手性予想の主張するところは、L-群の適当な準同型が(大域体の場合の)保型形式や(局所体の場合の)表現の間の対応を与えることが期待されるということである。簡単にいえば、ラングランズの相互律予想は函手性予想のうちで簡約代数群が自明である特別の場合である。