3 papers
math.GM2026
A Local Proof of Langlands's First Main Lemma for Local Epsilon Factors over Nonarchimedean Local Fields
Fukuhiro Ueda
We give a complete local proof of Langlands's First Main Lemma for local epsilonfactors over nonarchimedean local fields. The proof builds on Dwork's p-adic calculations and Langla…
math.GM2026
Formalization of Langlands's Second Main Lemma for Local Epsilon Factors
Fukuhiro Ueda
We formalize in Lean 4 Langlands's Second Main Lemma for local epsilon factors over nonarchimedean local fields. The lemma compares local constants of characters of distinct interm…
math.NT2026
A Local Proof of Langlands's Second Main Lemma for Local Epsilon Factors over Nonarchimedean Local Fields
Fukuhiro Ueda
We give a local proof of Langlands's Second Main Lemma for local epsilon factors over nonarchimedean local fields. The lemma compares the induction expressions attached to compatib…