[论文解读] Generalized Igusa functions and ideal growth in nilpotent Lie rings

Angela Carnevale, Michael M. Schein+1 more|arXiv (Cornell University)|Mar 7, 2019

Advanced Topics in Algebra被引用 6

一句话总结

本文引入了一类新的多变量有理函数，其推广了Igusa zeta函数，并将其应用于计算一大类幂零类数至多为二的幂零李代数的显式局部理想zeta函数。关键贡献在于证明了这些函数的自对偶性质，并确立了有限统一性——具体而言，证实了Grunewald、Segal与Smith关于有限生成自由2-幂零群的正规zeta函数统一性的猜想。

ABSTRACT

We introduce a new class of combinatorially defined rational functions and apply them to deduce explicit formulae for local ideal zeta functions associated to the members of a large class of nilpotent Lie rings which contains the free class-2-nilpotent Lie rings and is stable under direct products. Our results unify and generalize a substantial number of previous computations. We show that the new rational functions, and thus also the local zeta functions under consideration, enjoy a self-reciprocity property, expressed in terms of a functional equation upon inversion of variables. We establish a conjecture of Grunewald, Segal, and Smith on the uniformity of normal zeta functions of finitely generated free class-2-nilpotent groups.

研究动机与目标

• 开发一类由组合数据定义的新有理函数，其推广了Igusa函数并表现出自对偶性。
• 将这些函数应用于计算一大类幂零类数至多为二的幂零李代数的显式局部理想zeta函数。
• 确立通过数域整数环基扩张得到的李代数的理想zeta函数的有限统一性。
• 证实Grunewald、Segal与Smith关于有限生成自由2-幂零群的正规zeta函数统一性的猜想。
• 统一并推广此前对各类幂零李代数族（包括自由李代数与更高Heisenberg李代数）的理想zeta函数的计算。

提出的方法

• 从与李代数结构相关的组合数据中构造一类新的多变量有理函数。
• 利用投影数据与初等因子类型来参数化李代数模素数幂下的子格与理想。
• 通过变量倒置下的函数方程建立有理函数的自对偶性。
• 利用广义Igusa函数构造局部理想zeta函数的显式公式，尤其针对非分歧素数。
• 通过展示结果zeta函数对数域中分解行为的依赖性，验证其有限统一性。
• 利用直积与基扩张的结构，将自由与更高Heisenberg李代数的结果推广至更广的类。

实验结果

研究问题

• RQ1 本文引入的广义Igusa函数是否在变量倒置下满足函数方程？
• RQ2 能否为一大类幂零类数至多为二的幂零李代数导出局部理想zeta函数的显式公式？
• RQ3 自由2-幂零李代数的理想zeta函数是否能由有限多个有理函数在所有素数上统一参数化？
• RQ4 有限生成自由2-幂零群的正规zeta函数是否表现出有限统一性？
• RQ5 理想zeta函数在基扩张至数域整数环时的行为如何，特别是其统一性如何？

主要发现

• 本文引入的广义Igusa函数满足自对偶性质，其表达为变量倒置下的函数方程。
• 为类 $\mathfrak{L}$ 中的所有李代数导出了局部理想zeta函数的显式公式，该类包括自由2-幂零李代数、自由积 $\mathfrak{g}_{d,d'}$ 以及更高Heisenberg李代数。
• 通过数域整数环基扩张得到的李代数的理想zeta函数具有有限统一性，其变化仅取决于非分歧素数的分解行为。
• 证实了Grunewald、Segal与Smith关于有限生成自由2-幂零群的正规zeta函数统一性的猜想。
• 对于更高Heisenberg李代数 $\mathfrak{h}_d$，其理想zeta函数通过投影数据与初等因子类型显式计算，结果取决于基域扩张的分歧指数与剩余次数。
• 该方法成功统一并推广了此前对多个幂零李代数族（包括Bauer等人研究过的类型）的理想zeta函数的计算。