[论文解读] Kirillov models and the Breuil-Schneider conjecture for GL_2(F)

Eran Assaf, David Kazhdan+1 more|arXiv (Cornell University)|Feb 13, 2013

Advanced Algebra and Geometry参考文献 2被引用 7

一句话总结

该论文在两种情况下证明了 GL₂(F) 上的 Breuil-Schneider 猜想：当主系的特征标为未分歧且权较低（n < q）时，以及当它们为 tame 分歧且对称幂表示为平凡时。通过 Kirillov 模型和向量展开中系数的递归估计，作者在局部代数表示中建立了积分结构的存在性，利用 p-进解析技术将先前仅适用于光滑表示的结果扩展到局部代数情形。

ABSTRACT

Let F be a local field of characteristic 0. The Breuil-Schneider conjecture for GL_2(F) predicts which locally algebraic representations of this group admit an integral structure. We extend the methods of [K-dS12], which treated smooth representations only, to prove the conjecture for some locally algebraic representations as well.

研究动机与目标

• 将 [K-dS12] 中仅适用于光滑表示的方法扩展到 GL₂(F) 的局部代数表示设置。
• 在主系表示的特征标为未分歧或 tame 分歧且代数部分为对称幂或平凡行列式时，证明 GL₂(F) 上的 Breuil-Schneider 猜想。
• 通过 Kirillov 模型的显式分析和系数估计，建立不可约局部代数表示中积分结构的存在性。
• 提供一个不依赖 p-进局部 Langlands 对应或全局方法的直接局部证明。

提出的方法

• 为标准表示构造一个 Kirillov 模型，将其实现为取值于代数表示 τ 的 F 上紧支集函数空间。
• 通过环状区域展开 Kirillov 模型中的向量，将系数分解为对应于不同环作用的分量 C_l' 和 C_l''。
• 利用 Borel 子群的作用和环的结构，推导出系数 C_l' 和 C_l'' 的递归关系，借鉴 [K-dS12] 中的技术。
• 应用 p-进估计，以 π^{-m}、λ、μ 和 τ(ε⁻¹) 表示系数 C_l' 和 C_l'' 的增长，利用对权和分歧性的假设。
• 通过 l 的归纳法证明，系数以确保表示中存在积分结构的方式保持有界。
• 在例外情形 χ₁ = ωχ₂ 中，通过修改递归关系并证明在相同条件下仍成立的估计，完成所有考虑情形的证明。

实验结果

研究问题

• RQ1 在何种条件下，对于特征标 χ₁、χ₂ 和代数表示 τ，局部代数表示 ρ = τ ⊗ σ 的 GL₂(F) 会存在积分结构？
• RQ2 是否可以不依赖 p-进局部 Langlands 对应或全局方法，直接证明 GL₂(F) 上的 Breuil-Schneider 猜想？
• RQ3 Kirillov 模型如何促进对 GL₂(F) 局部代数表示中积分结构的分析？
• RQ4 Kirillov 模型中系数增长的何种递归估计能确保表示空间中最小积分结构的存在？
• RQ5 在 χ₁ = ωχ₂ 的情形下，相同方法是否能得出相同的界，从而得出关于积分结构存在性的相同结论？

主要发现

• 当 χ₁ 和 χ₂ 为未分歧，τ = det^m ⊗ Sym^n 且 n < q 时，GL₂(F) 上的 Breuil-Schneider 猜想成立，通过系数估计确立了积分结构的存在性。
• 对于 tame 分歧的 χ₁、χ₂ 和 τ = det^m，证明过程比 [K-dS12] 更为简洁，确认了积分结构的存在性。
• Kirillov 模型展开中系数 C_l' 和 C_l'' 满足 O(q^{-1}π^{-ml}) 阶的递归有界性，确保了表示具有最小积分结构。
• 在例外情形 χ₁ = ωχ₂ 中，通过修改系数递归，相同递归估计仍成立，从而在该情形下也证明了猜想。
• 证明表明，积分结构的存在性等价于这些系数序列的有界性，提供了一个局部 p-进解析判别准则。
• 结果确认，对于 GL₂(F) 的不可约局部代数表示，积分结构的存在性由代数部分的分歧性和权以及中心特征标条件决定。