[论文解读] Stabilisation de la formule des traces tordue IX : propriétés des intégrales orbitales pondérées $ω$ equivariantessurlecorpsréel

J. L. Waldspurger|arXiv (Cornell University)|Dec 8, 2014

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

一句话总结

本论文在实数上的扭迹公式中建立了加权轨道积分的稳定性，重点研究ω-等变积分及其内播变体。论文构造了一个K-有限、Z(G)-等变映射f ↦ ε_{K̃M}(f)，定义在紧支集光滑函数上，证明了其光滑性、K-有限性及Z(G)-等变性，同时通过引入具有有限极点集的修正加权特征标，解决了Γ函数中无穷极点带来的复杂性问题。

ABSTRACT

In the preceeding article, we have generalized to the twisted case the proposition 3.1 of the third Arthur's article on the stabilization of the trace formula. The base-field was p-adic. Here, we prove the same result over the real base-field. We prove also auxiliary results on the differential equations and the jump's conditions satisfied by the weighted orbital integrals.

研究动机与目标

• 将加权轨道积分的稳定性从非阿基米德局部域推广至实局部域。
• 为K̃M（K-扭群的一个K- Levi 子群）构造一个Z(G)-等变且K-有限的映射ε_{K̃M}(f)。
• 通过引入具有有限极点集的修正特征标，解决阿瑟在ℝ上对加权特征标新定义中Γ函数导致的无穷极点问题。
• 证明ω-等变积分的内播变体满足与标准对应物相同的微分与解析性质。
• 确立所得到的ε_{K̃M}(f)为尖形式，并属于关于ω的绝对收敛尖形式空间。

提出的方法

• 定义K-扭群K̃G与K- Levi 子群K̃M，以将非阿基米德框架适配至实数情形。
• 通过移除导致无穷极点的Γ函数，引入修正加权特征标，确保极点集为有限。
• 通过显式计算证明，与Z(G)中Casimir元相关的微分算子在ω-等变积分与内播变积分上作用相同。
• 利用Z(G)-作用的正式交换性质，将Casimir结果推广至Z(G)中所有元素，确保等变性。
• 建立标准与内播变加权积分的局部控制估计与跳跃关系，借鉴阿瑟与谢尔斯达的方法。
• 通过修正特征标定义加权积分的紧支集变体cI_{K̃M}^{K̃G}，确保γ-支集在M(ℝ)共轭下紧致。

实验结果

研究问题

• RQ1 如何将加权轨道积分的稳定性从非阿基米德域推广至实局部域？
• RQ2 阿瑟对加权特征标的新定义在ℝ上需作何修改，以避免无穷极点？
• RQ3 如何在实群K̃G(ℝ)上构造一个Z(G)-等变且K-有限的映射f ↦ ε_{K̃M}(f)？
• RQ4 ω-等变积分的内播变体是否满足与标准积分相同的微分、控制估计与跳跃关系？
• RQ5 能否利用修正特征标在ℝ上定义加权积分的紧支集版本？

主要发现

• 对K̃G(ℝ)上K-有限函数f，映射f ↦ ε_{K̃M}(f)是良定义的、光滑的、K^{M}-有限的，且Z(G)-等变的。
• 与Z(G)元素相关的微分算子在ω-等变积分与内播变积分上作用相同，该结论通过Casimir计算与形式交换性质得到证明。
• 建立了内播变积分的局部控制估计与跳跃关系，其形式与标准积分一致。
• 通过移除有问题的Γ函数，定义了修正加权特征标，结果仅有有限个极点。
• 紧支集变体cI_{K̃M}^{K̃G}(γ,ω,f)是良定义的，且在M(ℝ)共轭下具有紧致γ-支集。
• 所得ε_{K̃M}(f)属于I_{ac,cusp}(K̃M(ℝ),ω,K)，确认其为尖形式且绝对收敛。