[论文解读] Formal Degree of Regular Supercuspidals

David Schwein|arXiv (Cornell University)|Jan 3, 2021

Advanced Algebra and Geometry参考文献 32被引用 4

一句话总结

本文利用布饶特-蒂茨理论与莫伊-普拉萨德滤链，计算了非阿基米德局部域上半单群的余维表示的正式度，通过显式体积计算与伽罗瓦上同调恒等式，验证了卡莱塔的正则L-包满足希拉加–市野–池田的正式度猜想。

ABSTRACT

Supercuspidal representations are usually infinite-dimensional, so the size of such a representation cannot be measured by its dimension; the formal degree is a better alternative. Hiraga, Ichino, and Ikeda conjectured a formula for the formal degree of a supercuspidal in terms of its $L$-parameter only. Our first main result is to compute the formal degrees of the supercuspidal representations constructed by Yu. Our second, using the first, is to verify that Kaletha's regular supercuspidal $L$-packets satisfy the conjecture.

研究动机与目标

• 计算通过余维方法构造的非阿基米德局部域上半单群的余维表示的正式度。
• 验证卡莱塔的正则L-包满足希拉加、市野与池田的正式度猜想。
• 在自动形式侧（通过紧致诱导与体积计算）与伽罗瓦侧（通过L-参数不变量）之间建立正式度公式的精确匹配。
• 通过显式表示论计算与朗兰兹参数化相结合，解决一大类余维表示的正式度猜想。

提出的方法

• 通过从紧致开子群的有限维表示进行紧致诱导来计算正式度，将问题归约为计算诱导子群的体积。
• 应用莫伊-普拉萨德滤链，将体积计算转化为李代数子商的长度计算。
• 利用布饶特-蒂茨理论分析紧致开子群的结构及其与布饶特-蒂茨建筑中某点稳定子的关系。
• 依赖一个关键的技术结果（定理38），计算与滤链相关的特定李代数子商的长度。
• 建立一个类似于内罗-奥格-萨法列维奇判别法的塔，将伽罗瓦不变量与共轭特征格的上同调联系起来。
• 通过伽罗瓦上同调恒等式（包括引理79及其推论）匹配自动形式侧与伽罗瓦侧的指数项与有理因子，比较正式度猜想的两侧。

实验结果

研究问题

• RQ1 余维表示的正式度是否与基于其L-参数的希拉加–市野–池田猜想预测一致？
• RQ2 如何利用莫伊-普拉萨德滤链与布饶特-蒂茨理论显式计算紧致诱导余维表示的正式度？
• RQ3 伽罗瓦侧的正式度猜想不变量（如成分群的阶与弗罗贝尼乌斯作用下的不动点）与自动形式侧在正则L-包中在多大程度上匹配？
• RQ4 在卡莱塔参数化显式构造L-包的前提下，能否验证正则余维表示的正式度公式？
• RQ5 余维表示中紧致开子群的体积与关联L-参数的不变量之间存在何种精确关系？

主要发现

• 与通用极小G-数据Ψ相关的余维表示π的正式度由如下公式给出：deg(π,μ) = [dim ρ / [G⁰(k)_[y] : G⁰(k)_y,₀₊]] × exp_q(½dim G + ½dim G⁰_y,₀:₀₊ + ½∑ᵢ rᵢ(|Rᵢ₊₁| − |Rᵢ|))。
• Yu构造中紧致开子群K的体积通过莫伊-普拉萨德滤链计算，问题被归约为计算李代数子商的长度，这是关键的技术结果（定理38）。
• 通过上同调恒等式匹配指数项与有理因子，自动形式侧与伽罗瓦侧的正式度猜想完全匹配。
• 通过恒等式 |X_*(S^a)^{I_k}_Frob · X_*(S^a)^Frob_I_k| / |X_*(S^a)_{Γ_k}| = 1 证明了自动形式侧与伽罗瓦侧有理因子的比值为1，如 [Kal15, 引理5.18] 所建立。
• 两侧的指数项完全相同，因子 exp_q(½dim G^a + ½dim M + ½∑ᵢ rᵢ(|Rᵢ₊₁| − |Rᵢ|)) 同时出现在两侧。
• 通过显式体积计算、伽罗瓦上同调以及对环的Néron-Ogg-Shafarevich型引理的结合，正则L-包的正式度猜想得到完全验证。