[論文レビュー] The large sieve with square norm moduli in Z[i]

Stephan Baier|arXiv (Cornell University)|Nov 8, 2015

Analytic Number Theory Research被引用数 3

ひとこと要約

本稿は、虚二次体への古典的スイープ法の拡張として、ガウス整数 $\mathbb{Z}[i]$ における平方ノルムをノルムとするモジュラスについての大スイープ不等式を確立する。ヘックスレーの数体における一般的大スイープ法を $K = \mathbb{Q}(i)$ に適応し、$\mathbb{Z}[i]$ におけるガウス和推定とポアソン和公式を用いることで、従来の結果を改善する評価を得た。特に、ノルム $\mathcal{N}(q) \leq Q^2$ かつ $\mathcal{N}(q)$ が完全平方であるようなモジュラスについて、その和は、列の $L^2$ ノルムに $(QN)^\varepsilon(Q^3 + Q^2\sqrt{N} + \sqrt{Q}N)$ を乗じたもので抑えられる。

ABSTRACT

We prove a large sieve inequality for square norm moduli in Z[i].

研究の動機と目的

• ガウス整数環 $\mathbb{Z}[i]$ におけるモジュラスをノルムが平方である理想に制限した大スイープ不等式を確立すること。
• 有理数体 $\mathbb{Q}$ における平方モジュラスに関する古典的大スイープを、数体 $\mathbb{Q}(i)$ に一般化することにより、数体におけるスイープ法理論における空白を埋めること。
• ノルムが平方であるようなモジュラスに制限されたガウス整数上での指数和に対して鋭い評価を得ることで、この設定における既存の結果を改善すること。

提案手法

• 数体におけるヘックスレーの一般的大スイープ法を $K = \mathbb{Q}(i)$ の場合に適応し、整基底 $\{1, i\}$ とトレース指標 $\operatorname{Tr}(\xi) = 2\Re(\xi)$ を用いる。
• $\mathbb{Z}[i]$ 内の理想 $(q)$ における加法的特徴に着目し、$r$ が $q$ と互いに素であるとき、特徴 $\sigma(\xi) = e(\operatorname{Tr}(\xi r / 2q))$ を定義する。
• $\mathbb{Z}[i]^2$ におけるポアソン和公式を適用し、指数和をガウス和とシータ関数を含む双対和に変換する。
• ガウス核 $e^{-\pi x^2}$ の急速な減衰性を用いて、無限和を誤差を制御できるように切り詰める。この際、条件 $Q \leq N^{1/2 - \varepsilon}$ を仮定する。
• $\mathbb{Z}[i]$ における除数関数の評価を用いて、特定の算術的条件を満たすノルムが有界な理想 $q'$ の個数を推定し、$\ll \mathcal{N}(q')^\varepsilon$ を得る。
• 幾何平均・算術平均の不等式と dyadic 分解を用いて、すべての推定値を結合し、最終的な評価を得る。対数的要因は $\varepsilon$-損失に吸収される。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{Z}[i]$ における平方ノルムモジュラスについての大スイープ不等式は、$Q$ と $N$ に対して最良の依存関係を達成できるか？
• RQ2 $\mathbb{Z}[i]$ がユークリッド整域としての構造を持つことにより、平方ノルムモジュラスにおける指数和の挙動にどのような影響を与えるか？
• RQ3 本稿で用いられた手法は、他の数体や、多項式によって表されるノルムのようなより一般なモジュラス集合へと一般化可能か？
• RQ4 最終的な評価における $\varepsilon$-損失を除去または低減することは可能か？ すなわち、自明な評価に対してべき乗的改善が達成可能か？

主な発見

• 本稿は、$\mathcal{N}(q) \leq Q^2$ かつ $\mathcal{N}(q)$ が完全平方であるようなモジュラス $q$ に対して、$\mathbb{Z}[i]$ における大スイープ不等式を確立し、列の $L^2$ ノルムに $(QN)^\varepsilon(Q^3 + Q^2\sqrt{N} + \sqrt{Q}N)$ を乗じた形の評価を得た。
• 古典的大スイープと比較して、ノルムが平方であるモジュラスに制限することで、$\mathbb{Z}[i]$ における既存の結果を改善し、$Q$ と $N$ に対する依存関係を標準的な $Q^2 + N$ の評価よりも良くした。
• 本手法は、ヘックスレーの数体における一般的大スイープ法、$\mathbb{Z}[i]^2$ におけるポアソン和公式、およびガウス整数におけるガウス和と除数関数の精密な推定に依拠している。
• $\varepsilon$-損失は現在の技術では避けられないが、dyadic 分解と切り詰めを用いることで、主項に吸収可能であることを示した。
• 評価は、$\mathbb{Q}$ における既知の最良の結果と、$\varepsilon$ 要素を除いて一致する点で鋭いものであり、虚二次体への適用範囲を拡張した。
• 本稿は、特に双対和の取り扱いの改善や $\varepsilon$-損失の除去によって、さらなる評価改善が可能である可能性を示唆している。