1 古典的な局所ラングランズ対応F を剰余体の標数 p の p 進体として, 剰余体を k とする. この時, F の絶対ガロア群の 惰性群 IF とし, フロベニウス元 Fr としたときに Weil 群を$$0−→IF −→W_F −→⟨Fr⟩−→0$$が成立するようにとる. (Weil 群の位相としては I…