Arthurさんの跡公式小史(付録)

English version

跡公式と言えば、Langlandsプログラムの『基本補題』の話題です。英語版のWikipediaにささやかな記事があるので、日本語にしておきます。ついでに蛇足ながら、Springer表現についても日本語化しておきます。リンクも何もしていません。

基本補題、英語版 Wikipediaから

原文は、
Fundamental lemma (Langlands program)