[论文解读] Orbital integrals and Dedekind zeta functions

Zhiwei Yun|arXiv (Cornell University)|Mar 11, 2013

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

一句话总结

本文建立了局部非阿赋米德域 F 上 GL(n,F) 中的轨道积分与全球域中阶的 zeta 函数之间的深刻联系。通过使用组合多项式 Mδ,r 和 Nδ,r，推导出轨道积分的显式估计，并证明了阶 R 的Dedekind zeta 函数具有亚纯延拓并满足函数方程，将经典结果推广至非极大阶。

ABSTRACT

Let F be a local non-archimedean field. We prove a formula relating orbital integrals in GL(n,F) (for the unit Hecke function) and the generating series counting ideals of a certain ring. Using this formula, we give an explicit estimate for such orbital integrals. We also derive an analogous formula for global fields, proving analytic properties of the Dedekind zeta function for orders in global fields.

研究动机与目标

• 建立 GL(n,F) 中轨道积分与全球域中阶的理想的生成系列之间的公式。
• 使用组合多项式显式估计 GL(n,F) 上单位 Hecke 函数的轨道积分。
• 证明全球域 E 中阶 R 的完备 Dedekind zeta 函数 ΛR(s) 具有亚纯延拓并满足函数方程。
• 将 Dedekind zeta 函数的经典解析性质推广至非极大阶，扩展 Solomon 与 Bushnell–Reiner 的结果。

提出的方法

• 引入两个首一多项式 Mδ,r(x) 与 Nδ,r(x)，通过满足 1 的个数与大小约束的分拆求和来定义，用于界定轨道积分。
• 利用仿射 Grassmannian 的几何结构与共特征格的行动，将阶 R 的紧化类群描述为 Grassmannian 的直极限。
• 对整数环 OF[[X]] 上的 Hilbert 算法计数，推导出与轨道积分界相关的组合恒等式。
• 依赖于关键公式，将 R 的紧化类群的基数与基于 R 及其对偶 R∨ 定义的局部 zeta 函数联系起来。
• 采用 Solomon 与 Bushnell–Reiner 发展的阶的 zeta 函数理论，将其结果适配以证明解析延拓与函数方程。
• 利用商空间 Tγ(F)\G(F) 与 Haar 测度的结构来定义轨道积分，通过归一化使极大紧致子群的体积为 1。

实验结果

研究问题

• RQ1 如何利用正则半单元素中心化子的组合不变量来估计 GL(n,F) 中的轨道积分？
• RQ2 阶 R 中理想的生成系列与 GL(n,F) 中轨道积分之间的精确关系是什么？
• RQ3 数域 E 中非极大阶 R 的完备 Dedekind zeta 函数 ΛR(s) 是否具有亚纯延拓与函数方程？
• RQ4 ΛR(s) 在 s=0 与 s=1 处的留数是否可用类群数据与 R 的单位群表示，从而推广经典情形？
• RQ5 局部域中阶 R 的紧化类群的几何结构是什么？它与轨道积分有何关系？

主要发现

• 轨道积分 Oγ 满足不等式 qρ(γ)∏i∈B(γ)Nδi,ri(qdi)≤Oγ≤qρ(γ)∏i∈B(γ)Mδi,ri(qdi)，其中 Mδ,r 与 Nδ,r 是显式定义的首一多项式。
• 全球域 E 中阶 R 的完备 Dedekind zeta 函数 ΛR(s) 在整个复平面上具有亚纯延拓，仅在 s=0 与 s=1 处有单极点。
• 在 s=0 与 s=1 处的留数相等，且由类群 Cl(R)、E 的单位群、单位群的调节子 RegE 以及分式理想同伦类的数量的公式给出。
• 函数 ΛR(s) 满足函数方程 ΛR(s)=ΛR(1−s)，将经典函数方程推广至非极大阶。
• 在函数域情形下，紧化类群 XR 同构于 Grassmannian Gr(kI,m) 的直极限，且共特征格存在几何作用。
• 当 F 为局部函数域时，商 Λ\XR 具有几何实现：其为一个粘合立方体 [0,1]^{n−1}，在超平面 ∑xj=i 之间的截面由 Grassmannian 填充，其 Fq 有理点数为 2q²−q，与 PR(1) 一致。