Dirichlet Series and Asymptotics for Generalized Legendre Factorials

1. 問題設定 (Problem)

• 背景: 古典的なルジャンドルの公式は、素数 $p$ に対する階乗 $n!$ の $p$ 進付値を $v_p(n!) = \sum_{k \ge 0} \lfloor n/p^k \rfloor$ と記述します。この公式は乗法的数論において中心的な役割を果たしており、分母 $p^k$ を他の算術的数列に置き換えることで「一般化された階乗関数」が定義され、その成長挙動が研究されてきました。
• 既存の課題: 以前の研究（Bhargava など）では、デデキント環上の一般化された階乗関数（Bhargava 階乗など）の漸近挙動がチェビシェフ型関数の構造解析を通じて考察されてきました。しかし、その挙動をより概念的かつ解析的な枠組みで説明する統一的な理論は不足していました。
• 本研究の目的: 数体 $K$ の整数環 $\mathcal{O}_K$ およびその $S$-整数環 $\mathcal{O}_{K,S}$ において、素イデアル上の関数 $f$ を用いて定義される一般化された階乗 $n!_{K,f}$ の漸近挙動を、ディリクレ級数の枠組みを用いて解析的に導出することです。特に、Bhargava が提起した「一般化された階乗に対するスターリングの公式」に関する問いに部分的に答えることを目指しています。

2. 手法 (Methodology)

本研究は、階乗の増分（increment）にディリクレ級数を対応させ、その極構造を解析することで漸近式を導出するアプローチを採用しています。

1. 一般化された階乗の定義:
   数体 $K$ と有限集合 $S$（素イデアルの集合）に対し、関数 $f: \{\text{素イデアル } \mathfrak{p} \notin S\} \to \mathbb{Z}_{\ge 1}$ を用いて、付値を以下のように定義します。
   $$v_{\mathfrak{p}}(n!_{K,f}) = \sum_{k \ge 0} \left\lfloor \frac{n}{f(\mathfrak{p})N\mathfrak{p}^k} \right\rfloor$$
   ここで $N\mathfrak{p}$ は絶対ノルムです。

2. 増分関数とディリクレ級数の構成:
   階乗の増分 $B_{K,f,S}(n) = \log \left( \frac{n!_{K,f}}{(n-1)!_{K,f}} \right)$ を定義し、これに対応するディリクレ級数 $D_{K,f,S}(s)$ を考察します。
   $$D_{K,f,S}(s) = \sum_{n \ge 1} \frac{B_{K,f,S}(n)}{n^s}$$
   級数の絶対収束領域（$\Re(s) > 1$）において、この級数は以下のように分解されることを示します。
   $$D_{K,f,S}(s) = \zeta(s) \cdot H_{K,f,S}(s)$$
   ここで、$\zeta(s)$ はリーマンゼータ関数、$H_{K,f,S}(s)$ は $K$ の $S$-デデキントゼータ関数 $\zeta_{K,S}(s)$ の対数微分と密接に関連する関数です。

3. 関数の分解と極構造の解析:
   関数 $f$ が $f(\mathfrak{p}) = c N\mathfrak{p} + O((N\mathfrak{p})^{1-\delta})$ という漸近条件を満たすと仮定します。このとき、$H_{K,f,S}(s)$ は以下のように分解できます。
   $$H_{K,f,S}(s) = c^{-s} \left( -\frac{\zeta'_{K,S}}{\zeta_{K,S}}(s) \right) + J_{K,f,S}(s)$$
   ここで、$J_{K,f,S}(s)$ は $\Re(s) > 1-\delta$ で正則な関数です。
   これにより、$D_{K,f,S}(s)$ は $\zeta(s)$ の単極点と $-\zeta'_{K,S}/\zeta_{K,S}$ の単極点が重なり合い、**$s=1$ に二重極（double pole）**を持つことが導かれます。

4. ペロン公式と積分路の移動:
   和関数 $S_{K,f,S}(x) = \sum_{n \le x} B_{K,f,S}(n)$ を求めるためにペロン公式を適用し、積分路を $s=1$ の左側（零点自由領域）へ移動させます。これにより、$s=1$ における留数（主項）と、例外実零点 $\beta_K$（存在する場合）からの寄与、および積分路移動による誤差項を評価します。

3. 主要な結果 (Key Results)

定理 1.1 (Main Theorem):
関数 $f$ が $f(\mathfrak{p}) = c N\mathfrak{p} + O((N\mathfrak{p})^{1-\delta})$ を満たすとき、和関数は以下の漸近式を満たします。

$$S_{K,f,S}(x) = \frac{1}{c} x \log x + C_{K,f,S} x + O\left( x e^{-c_1 \sqrt{\log x}} \right)$$

ただし、$C_{K,f,S}$ は定数、$c_1 > 0$ は定数です。

• 例外項: デデキントゼータ関数 $\zeta_K(s)$ が区間 $(0, 1)$ に例外実零点 $\beta_K$ を持つ場合、追加の項 $C^*_K x^{\beta_K}$ が現れます。
• 定数への依存性: 定数 $C_{K,f,S}$ は $K, f, S$ に依存しますが、有限個の素イデアルを除外しても主項は変化せず、定数項のみが変化します。

系 7.2 (Corollary):
この結果を、$\mathbb{Z}$-代数として有限生成されるデデキント環 $D$ に適用することで、Bhargava 階乗を含む広範な一般化階乗に対して、以下のスターリング型漸近式が得られます。
$$\log n!_{D,S} = a_{D,S} n \log n + C_{D,S} n + O\left( n e^{-c_1 \sqrt{\log n}} \right)$$

4. 技術的貢献と新規性 (Key Contributions)

1. 統一的な解析的枠組みの確立:
   従来の組合せ論的または代数的なアプローチとは異なり、階乗の漸近挙動を「ディリクレ級数の極構造」として捉えることで、より概念的な説明を提供しました。
2. 二重極の発見:
   一般化されたルジャンドル型階乗の増分に対応するディリクレ級数が、$s=1$ で二重極を持つことを明確に示しました。これが $x \log x$ という主項を生み出すメカニズムを解析的に説明しています。
3. 誤差項の改善:
   従来の研究と比較して、より精密な誤差項 $O(x e^{-c \sqrt{\log x}})$ を導出しました。これは、デデキントゼータ関数の零点自由領域（zero-free region）を巧みに利用した結果です。
4. Bhargava の問いへの回答:
   Bhargava が一般化された階乗に対するスターリングの公式について提起した問いに対し、特定のクラス（デデキント環上の $S$-整数環など）に対して肯定的な回答を与えました。

5. 意義 (Significance)

• 数論的構造の解明: 一般化された階乗の成長率が、背後にある数体のデデキントゼータ関数の性質（特に極と零点）とどのように結びついているかを明らかにしました。
• 応用範囲の拡大: この手法は、単なる整数の階乗だけでなく、代数体上のイデアルや、より一般的なデデキント環上の構造にも自然に拡張可能です。
• 将来的な展望: 本研究で確立されたディリクレ級数のアプローチは、他の算術的数列に関連する階乗型関数や、より複雑な付値構造を持つ関数の漸近解析に応用できる可能性を秘めています。

要約すると、この論文は、一般化されたルジャンドル階乗の漸近挙動を、ゼータ関数の解析的性質とディリクレ級数の極構造を通じて厳密に記述し、その主項が $x \log x$ となる理由を「二重極」として明確に解明した画期的な研究です。