论文证明朗兰兹第二基本引理的局部形式

本文给出非阿基米德局部域上朗兰兹第二基本引理的局部证明，涵盖混合和等特征情况。该引理比较了双循环扩张中两个中间域上字符的局部常数。证明借鉴了德沃克、朗兰兹和拉克基斯的工作，新贡献在于野二进制情况（二次扩张）。作者使用OpenAI ChatGPT加速了长篇局部计算，用于检查计算并发现不一致之处。