[論文レビュー] Counting ideals in polynomial rings

Lenny Fukshansky, Stefan Kühnlein+1 more|arXiv (Cornell University)|Jan 17, 2017

Coding theory and cryptography参考文献 5被引用数 3

ひとこと要約

この論文は、数体の整数環上の多項式環における理想の数え上げ関数の漸近的成長を、ゼータ関数とデランジュのTauber定理を用いて調査する。$\mathcal{O}_K[X]$ における有界インデックスの理想の数は、$O(N^2)$ のように漸近的に増加することを確立し、デデキンドゼータ関数に関する古典的結果を一般化するとともに、$\mathbb{Z}^d$ における理想格子の密度推定値を提供する。主な貢献は、$\mathcal{O}_K[X]$ のゼータ関数の閉形式積表示を導出し、そのメロモルフィック構造と $s=2$ における極を明らかにすることにある。

ABSTRACT

We investigate properties of zeta functions of polynomial rings and their quotients, generalizing and extending some classical results about Dedekind zeta functions of number fields. By an application of Delange's version of the Ikehara Tauberian Theorem, we are then able to determine the asymptotic order of the ideal counting function in such rings. As a result, we produce counting estimates on ideal lattices of bounded determinant coming from fixed number fields, as well as density estimates for any ideal lattices among all sublattices of $\mathbb Z^d$. We conclude with some more general speculations and open questions.

研究の動機と目的

• 数体の整数環上の多項式環における有界インデックスの理想の数の漸近的挙動を理解すること。
• デデキンドゼータ関数に関する古典的結果を多項式環 $\mathcal{O}_K[X]$ に一般化すること。
• 固定された数体から生じる有界行列式の理想格子の数え上げ推定値を確立すること。
• 単純なモニック多項式 $f$ に対する商環 $\mathbb{Z}[X]/(f)$ に関連するゼータ関数の解析的性質を分析すること。
• すべての $\mathbb{Z}^d$ の部分格子の中で、理想格子の密度を推定すること。
• $\mathcal{O}_K[X]$ のゼータ関数の構造とそのメロモルフィック拡張を調査すること。
• ゼータ関数を介してアーベル群の分類やCohen-Lenstraの予想と関連付けること。

提案手法

• 論文は、環 $R$ におけるインデックス $n$ の理想の数を $a_n(R)$ とし、$\zeta(R,s) = \sum_{n=1}^\infty \frac{a_n(R)}{n^s}$ で定義されるゼータ関数を用いて、理想の数え上げを研究する。
• デランジュのIkehara型Tauber定理を適用し、$\zeta(R,s)$ の解析的性質から、和関数 $A_N(R) = \sum_{n \leq N} a_n(R)$ の漸近的成長を導出する。
• $\mathcal{O}_K[X]$ のゼータ関数が $\prod_{d=1}^\infty \zeta_K(d(s-1))$ と因数分解されることを示し、ここで $\zeta_K$ は数体 $K$ のデデキンドゼータ関数である。
• この積の極を分析することで、収束の abscissa と特異点の位置が特定され、支配的極は $s=2$ に位置する。
• 理想の数え上げ列 $a_n(R)$ の乗法的性質を用いて、Euler積分解 $\zeta(R,s) = \prod_p E_p(R,s)$ を導出し、各素数における局所的解析を可能にする。
• 局所的ゼータ関数は、$\mathbb{Z}_{(p)} \otimes_{\mathbb{Z}} \mathcal{O}_K$ への基本変換を用いて研究され、これは半局所的PIDであるため、PIDに関する既知の結果を適用して、グローバルな積表示を導出可能となる。
• アーベル群の分類との関連は、$\sum a_n(\mathfrak{G})/n^s = \zeta(\mathbb{Z}[X], s+1)$ とすることで示され、理想の数え上げが群論的軌道数に結びつく。

実験結果

リサーチクエスチョン

• RQ1 数体 $K$ の整数環上の多項式環 $\mathcal{O}_K[X]$ における有界インデックスの理想の数の漸近的成長率は何か？
• RQ2 ゼータ関数 $\zeta(\mathcal{O}_K[X], s)$ の解析的性質は何か？そのメロモルフィック構造は？
• RQ3 単純なモニック多項式 $f$ に対して、商環 $\mathbb{Z}[X]/(f)$ から生じる有界行列式の理想格子の数の正確な漸近的順序は何か？
• RQ4 $\mathbb{Z}^d$ における理想格子は、すべての部分格子と比べて密度がどの程度か？
• RQ5 $\mathbb{Z}[X]$ のゼータ関数と、有限アーベル群またはその自己同型作用の下での部分群の数え上げとの関係は何か？
• RQ6 $\mathcal{O}_K[X]$ のゼータ関数は、$\mathcal{O}_K$ 上のアフィン直線の変形のゼータ関数として幾何学的に解釈可能か？
• RQ7 $\zeta(\mathbb{Z}[X], s)$ は、ある性質を満たす自己準同型を持つ有限アーベル群を数えるものとして自然に解釈可能か？

主な発見

• 多項式環 $\mathcal{O}_K[X]$ のゼータ関数は、$\zeta(\mathcal{O}_K[X], s) = \prod_{d=1}^\infty \zeta_K(d(s-1))$ と与えられ、ここで $\zeta_K$ は数体 $K$ のデデキンドゼータ関数である。
• ゼータ関数 $\zeta(\mathcal{O}_K[X], s)$ は収束の abscissa を $\sigma = 2$ に持ち、$s = 2$ に単純極をもち、$s = 1$ に集積する追加の単純極を有する。
• デランジュのTauber定理を適用することで、$\mathcal{O}_K[X]$ におけるインデックスが $N$ 以下の理想の数は、ある定数 $c > 0$ を用いて $c \cdot N^2$ のように漸近的に増加することが示され、$c$ は $s = 2$ における $\zeta(\mathcal{O}_K[X], s)$ の留数に依存する。
• 単純なモニック多項式 $f$ で次数 $d$ のものに対して、商環 $\mathbb{Z}[X]/(f)$ から生じる $\mathbb{Z}^d$ の理想部分格子の数も、Corollary 3.3 で示されるように、$O(N^2)$ のように漸近的に増加する。
• $\zeta(\mathbb{Z}[X], s)$ は $\Re(s) > 2$ で収束し、$s = 2$ に単純極を持つことから、$\mathbb{Z}[X]$ における理想の数え上げが二次的成長を示すことが確認される。
• $\zeta(\mathbb{Z}[X], s)$ は有限アーベル群の列挙と関連しており、$\sum_{n=1}^\infty \frac{a_n(\mathfrak{G})}{n^s} = \zeta(\mathbb{Z}[X], s+1)$ が成り立ち、ここで $a_n(\mathfrak{G})$ は位数 $n$ の同型類のアーベル群の数を表す。
• $\zeta(\mathcal{O}_K[X], s)$ の $s = 2$ における留数は、Cohen-Lenstraの予想に現れる定数 $C_\infty$ と一致し、理想の数え上げとランダムな有限アーベル群との間に深い関係があることを示唆している。