[論文レビュー] Le problème des diviseurs pour des formes binaires de degré 4

Régis de la Bretèche, T. D. Browning|ArXiv.org|Aug 18, 2008

Analytic Number Theory Research参考文献 5被引用数 4

ひとこと要約

本稿は、ℚ 上の可約な2変数4次形式の値における約数関数の平均順序についての漸近公式を確立する。具体的には、2つの一次形式と1つの既約な二次形式の積として表される形について考察する。p進およびアデール的調和解析を用いて、主項が $ X^2 ("log X)^3 $ に比例し、明確な算術定数を伴う結果を得る。これは、希釣り凸領域内の整数点における乗法的関数の和に関する先行研究を拡張するものである。

ABSTRACT

We study the average order of the divisor function, as it ranges over the values of binary quartic forms that are reducible over the rationals.

研究の動機と目的

• 可約な2変数4次形式 $ F(\mathbf{x}) = L_1(\mathbf{x})L_2(\mathbf{x})Q(\mathbf{x}) $ の値における約数関数 $ \tau(n) $ の平均順序を特定すること。ここで $ L_1, L_2 $ は一次形式、$ Q $ はℚ 上で既約な二次形式である。
• ヘイス・ブラウンの2乗和 $ r(n) $ の和に関する研究を、2次形式の文脈における約数関数 $ \tau(n) $ に拡張すること。
• $ \mathcal{R} $ を有界な凸領域とするとき、和 $ T(X) = \sum_{\mathbf{x} \in \mathbb{Z}^2 \cap X\mathcal{R}} \tau(L_1(\mathbf{x})L_2(\mathbf{x})Q(\mathbf{x})) $ の漸近公式を導出すること。
• 主項に現れる算術定数 $ C $ を、各素数 $ p $ における合同式の解の局所的密度を含むEuler積として計算すること。
• ダニエルの既約4次形式に関する結果ではカバーされない他の可約4次形式に対しても適用可能な一般化された手法を開発すること。

提案手法

• 著者たちは、二重分解を用い、p進およびアデール的調和解析を用いた一般化された円周法のバージョンを適用して、対数的制約を含む除数に関する表現数を数える和 $ S(X;V) $ を研究する。
• 局所的密度 $ \varrho(\mathbf{d}) $ を、$ d_i \mid L_i(\mathbf{x}) $、$ d_3 \mid Q(\mathbf{x}) $ という連立合同式を $ d_1d_2d_3 $ を法として満たす解の個数として定義し、これをEuler積を用いて算術定数 $ C $ を構成する。
• 主な技術的アプローチは、重み関数 $ g $ を導入し、対数空間における体積推定と部分積分を用いて和 $ T_g'(X;V') $ を解析することにある。
• 彼らは関数 $ \overline{\varrho}^\dagger_p(\nu_1,\nu_2,\nu_3) $ を導入し、これは合同式系のp進的密度を捉えるものであり、Möbius逆転を用いて乗法的関数と関連付ける。
• この手法は、$ L_1, L_2, Q, \mathcal{R} $ のパrameterに関する一様性推定に依存しており、$ L_\infty $、$ r_\infty $、$ r' $ の有界性を仮定することで、誤差項が $ O(X^2 (\log X)^{2+\varepsilon}) $ に抑えられることを保証する。
• 証明では、対数スケールにおける変数変換と体積比較を用い、和を領域 $ V' $ の体積に関連付けることで、最終的な漸近式が得られる。

実験結果

リサーチクエスチョン

• RQ1 可約な2変数4次形式がℤ² において希釣り凸領域内で取りうる値における約数の平均の漸近的挙動は何か？
• RQ2 主項に現れる算術定数は、合同式のp進的解の局所的密度を用いたEuler積としてどのように明示的に計算できるか？
• RQ3 可約4次形式に用いられた手法は、ダニエルの結果でカバーされない既約4次形式へどの程度まで拡張可能か？
• RQ4 局所的密度 $ \varrho(\mathbf{d}) $ は、グローバルな漸近定数 $ C $ を決定づける役割を果たすか？
• RQ5 一次形式と二次形式の積における約数関数の構造は、既約4次形式におけるそれとどのように異なるか？

主な発見

• 和 $ T(X) = \sum_{\mathbf{x} \in \mathbb{Z}^2 \cap X\mathcal{R}} \tau(L_1(\mathbf{x})L_2(\mathbf{x})Q(\mathbf{x})) $ は、漸近公式 $ T(X) = 2C \cdot \operatorname{vol}(\mathcal{R}) X^2 (\log X)^3 + O\big(X^2 (\log X)^{2+\varepsilon}\big) $ を満たす。ここで $ C $ は収束するEuler積である。
• 算術定数 $ C $ は $ C = \prod_p \left(1 - \frac{1}{p}\right)^3 \left(1 + \sum_{\nu \in \mathbb{N}} \frac{\varrho(1,p^\nu,1) + \varrho(p^\nu,1,1) + \varrho(1,1,p^\nu)}{p^{2\nu}} \right) $ で与えられ、局所的可解性条件を符号化している。
• 主項は $ X^2 (\log X)^3 $ のように成長し、これは3つの異なる形式の積における約数関数の乗法的構造を反映している。
• 誤差項は $ O(X^2 (\log X)^{2+\varepsilon}) $ であり、定数項は $ \varepsilon $、$ L_1, L_2, Q $、および $ \mathcal{R} $ の直径に依存する。
• この手法は可約4次形式のケースをうまく扱い、他の種類の2変数形式へも同様の結果を拡張するためのフレームワークを提供する。
• 本稿は、このような形式における約数関数の平均順序が、局所的密度の積によって支配され、グローバル定数 $ C $ がp進的およびアーチメデス的寄与の組み合わせから生じることを確認している。