罗华表示的一一对应。樊尚·拉福格的定理并不能用来证明朗兰兹所预测的一一对应，所以可以被视为“自守-到-伽罗华”单方面的结果。我们现在解释上述分解中各项的含义。首先，formula_6是代数曲线formula_14的函数域，formula_9是它的赋值向量环。我们取formula_14的一个有限子概形formula_51；这是我们考虑的自守形式和伽罗华表示允许分歧的位置。假定formula_3是定义在formula_6上的分解可约群(split reductive group)，设formula_54为f