[论文解读] An explicit formula for the Siegel series of a quadratic form over a non-archimedian local field

Tamotsu Ikeda, Hidenori Katsurada|arXiv (Cornell University)|Feb 22, 2016

Advanced Algebra and Geometry参考文献 27被引用 3

一句话总结

本文为特征为零的非阿赋马德非局部域上半整数矩阵的Siegel级数提供了显式公式，以矩阵的扩展Gross-Keating（EGK）数据普遍表示该级数。关键贡献在于，该公式统一适用于所有素数（包括p=2），并确立了Siegel级数完全由EGK不变量决定，从而推广并简化了此前针对p进域的研究结果。

ABSTRACT

Let F be a non-archimedian local field of characteristic 0, and O the ring of integres in F. We give an explicit formula for the Siegel series of a half-integral matrix over O. This formula expresses the Siegel series of a half-integral matrix $B$ explicitly in terms of the Gross-Keating invariant of $B$ and its related invariants.

研究动机与目标

• 为任意特征为零的非阿赋马德非局部域上的半整数矩阵的Siegel级数提供一个普遍的显式公式。
• 解决以往公式中对p=2情况缺乏统一处理的问题，这些公式在p为奇数时与p=2时分别复杂且不一致。
• 通过引入扩展Gross-Keating（EGK）数据作为完全决定性不变量，明确哪些不变量控制Siegel级数。
• 将早期研究成果（特别是Katsuda（2017）对p进域的结果）统一并重构为适用于所有非阿赋马德非局部域的单一、连贯框架。

提出的方法

• 作者为非退化半整数矩阵$B$的Siegel级数$b(B,s)$定义了一个关于$X^{1/2}$和$X^{-1/2}$的洛朗多项式$\widetilde{F}(B,X)$。
• 他们引入了扩展Gross-Keating（EGK）数据$\mathrm{EGK}(B)$，该数据由矩阵的若尔当代数分解及其左上角子矩阵的不变量导出的块大小$n_i$、指数$m_i$和符号$\zeta_i$组成。
• 将一个$\mathrm{EGK}$数据$G$公理化为满足特定整性与奇偶性条件的元组$(n_1,\ldots,n_r; m_1,\ldots,m_r; \zeta_1,\ldots,\zeta_r)$。
• 以$Y = q^{1/2}$和$X$表示，构造了一个普遍的洛朗多项式$\widetilde{\mathcal{F}}(G;Y,X)$，其显式表达式见命题4.1。
• 主要结果表明$\widetilde{F}(B,X) = \widetilde{\mathcal{F}}(\mathrm{EGK}(B); q^{1/2}, X)$，从而证明Siegel级数完全由EGK数据决定。
• 通过在p=2情况下细化不变量的定义，该方法统一处理了2-进与非2-进情形。

实验结果

研究问题

• RQ1 哪些不变量能完全决定特征为零的非阿赋马德非局部域上半整数矩阵的Siegel级数？
• RQ2 能否构造一个统一的显式公式，使其在奇残数与偶残数（特别是p=2）情况下均适用？
• RQ3 如何系统地定义扩展Gross-Keating不变量，以在2-进与非2-进情形下完整捕捉矩阵的算术结构？
• RQ4 半整数矩阵的Siegel级数是否完全由其扩展Gross-Keating数据决定？
• RQ5 该公式能否以统一方式用于计算Siegel模形式的傅里叶系数和L函数的特殊值？

主要发现

• 半整数矩阵$B$的Siegel级数$\widetilde{F}(B,X)$完全由其扩展Gross-Keating（EGK）数据$\mathrm{EGK}(B)$决定，如恒等式$\widetilde{F}(B,X) = \widetilde{\mathcal{F}}(\mathrm{EGK}(B); q^{1/2}, X)$所示。
• 该公式统一了此前对奇数$p$与$p=2$情况分别处理的公式，解决了Katsuda（2017）早期工作中在复杂性与清晰性上的不足。
• 对于判别式$\mathfrak{D}_B = 5$的10个4次矩阵$B_1, \ldots, B_{10}$，计算得到的$\widetilde{F}_i(X)$值与Duke-Imamoglu-Ikeda提升的已知傅里叶系数一致，验证了与Breulmann-Kuss先前计算结果的一致性。
• 推导并验证了$\widetilde{F}_i(X)$关于$S_k = X^k + X^{-k}$与$q^{-1/2}$幂次的显式表达式，其中$\widetilde{F}_1(X) = 1$，$\widetilde{F}_5(X) = S_2 + q^{-1/2}S_1 + 1 + q$等。
• $\mathrm{EGK}_2(B)$准确捕捉了$B$的2-进结构，且该公式对全部10个测试矩阵正确重现了2-进Siegel级数。
• 普遍多项式$\widetilde{\mathcal{F}}(G;Y,X)$被显式构造，并证明其仅依赖于$\mathrm{EGK}$数据$G$，从而实现了在所有非阿赋马德非局部域上系统计算Siegel级数。