[論文レビュー] 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

ひとこと要約

本稿では、イグザ・ゼータ関数を一般化する新しい種類の多変数有理関数を導入し、クラス2以下の冪単的であるが広範なクラスの冪単的リー環の局所的イデアル・ゼータ関数を明示的に計算するためにそれらを応用する。主な貢献は、これらの関数に対して自己双対性の性質を証明し、有限一様性を確立することである。具体的には、グリューネヴァルト、セガール、スミスによる、有限生成自由クラス2冪単的群の正規ゼータ関数の一様性に関する予想を確認する。

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.

研究の動機と目的

• 組合せ論的データに基づいて定義される、イグザ関数を一般化する新しい種類の有理関数を開発すること。
• これらの関数を用いて、クラス2以下の冪単的であるが広範なクラスのリー環の局所的イデアル・ゼータ関数を明示的に計算すること。
• 数体の整数環への基本拡張によって得られるリー環のイデアル・ゼータ関数の有限一様性を確立すること。
• グリューネヴァルト、セガール、スミスによる、有限生成自由クラス2冪単的群の正規ゼータ関数の一様性に関する予想を確認すること。
• 自由および高次ハイゼンベルクリー環を含む、さまざまな冪単的リー環の族における、従来のイデアル・ゼータ関数の計算を統一的かつ一般化すること。

提案手法

• リー環構造に関連する組合せ論的データから導かれる、新しい種類の多変数有理関数を定義する。
• 射影データと基本的因子型を用いて、素数のべきを法とするリー環内の部分格子およびイデアルをパラメータ化する。
• 変数の逆数変換における関数方程式を適用し、有理関数の自己双対性を確立する。
• 特に非分岐素数に対して、一般化されたイグザ関数を用いて局所的イデアル・ゼータ関数の明示的公式を構成する。
• 数体における素数の分解挙動に依存することを示すことで、得られたゼータ関数が有限一様であることを検証する。
• 直積および基本拡張の構造を活用し、自由および高次ハイゼンベルクリー環から得られる結果を、より広いクラスに拡張する。

実験結果

リサーチクエスチョン

• RQ1 本稿で導入された一般化されたイグザ関数は、変数の逆数変換において関数方程式を満たすか？
• RQ2 クラス2以下の冪単的リー環の広範なクラスに対して、局所的イデアル・ゼータ関数の明示的公式を導出できるか？
• RQ3 自由クラス2冪區的リー環のイデアル・ゼータ関数は、すべての素数において有限個の有理関数によって一様にパラメータ化可能か？
• RQ4 有限生成自由クラス2冪単的群の正規ゼータ関数は有限一様性を示すか？
• RQ5 数体の整数環への基本拡張において、イデアル・ゼータ関数は一様性の観点でどのように振る舞うか？

主な発見

• 本稿で導入された一般化されたイグザ関数は、変数の逆数変換における関数方程式として表される自己双対性の性質を満たす。
• クラス $\mathfrak{L}$ に属するすべてのリー環に対して、局所的イデアル・ゼータ関数の明示的公式が導出された。このクラスには、自由クラス2冪単的リー環、自由積 $\mathfrak{g}_{d,d'}$、および高次ハイゼンベルクリー環が含まれる。
• 数体の整数環への基本拡張によって得られるリー環のイデアル・ゼータ関数は、有限一様的であり、その変動は非分岐素数の分解挙動にのみ依存する。
• グリューネヴァルト、セガール、スミスによる、有限生成自由クラス2冪単的群の正規ゼータ関数の一様性に関する予想が確認された。
• 高次ハイゼンベルクリー環 $\mathfrak{h}_d$ に対して、射影データと基本的因子型を用いてイデアル・ゼータ関数が明示的に計算され、その結果はベース体拡張の分岐指数および残差次数に依存する。
• 本手法は、自由および高次ハイゼンベルクリー環を含む、複数の冪単的リー環族における従来のイデアル・ゼータ関数の計算を統一的かつ一般化して成功した。