A lower bound for classical Kloosterman sums and an application

技術要約：古典的なクロネッカー和の下界とその応用

問題提起
本論文は、解析的数論における相互に関連する2つの問題に取り組んでいる。第一に、$(ab, c) = 1$かつ$c$が奇数であるという条件下において、古典的なクロネッカー和$S(a, b; c) = \sum_{x \pmod c, (x,c)=1} e^{2\pi i (ax + bx^{-1})/c}$に対する非自明な下界を確立することを目指している。これらの和の非消滅性は、固有値分布の研究において近年の文献で利用されているが、これまで$|S(a, b; c)|$に関する明示的な下界は文献中で確立されていなかった。第二に、著者らはこの新しい下界を適用し、重さ$k$とレベル$N$を独立に変化させることが許容されるカスプ形式の空間$S_k(N)$ におけるペテルソン・トレース公式の偏差項に対する明示的な下界を導出することを目的としている。

手法
手法は主に以下の2つの段階で進行する：

1. クロネッカー和の下界の導出：
   著者らは、法 $c$ を $c = du$（ここで$u$は平方フリー、$d$は強力数であり、$(d, u)=1$）へと分解する。そして、各成分を個別に扱う：

• 平方フリーの場合： 平方フリー部分 $u$ に対して、円分体におけるクロネッカー和の代数的性質を利用する。ガロア群に関する和のノルムを考慮し、ヴェイユの評価を適用することで、$\tau(u)$ およびオイラーのファイ関数 $\phi(u)$ を含む下界を導出する。
• 奇素数冪の場合： 強力な部分 $d$（素数冪 $p^\beta$ で構成される）に対して、標準的なテキスト（例：Iwaniec and Kowalski）に見られる $S(a, b; p^\beta)$ の明示的な評価公式を用いる。得られる式の実部を分析し、三角不等式を利用することで、$ab$が素数$p$に対して平方剰余である場合に、$1/\sqrt{q}$のオーダーの$2/\sqrt{q}$ の下界を確立する。
• 一般の場合： クロネッカー和の乗法性を用いて、平方フリー成分と強力な成分の境界を組み合わせ、グローバルな $|S(a, b; c)|$ の下界を得る。

2. ペテルソンの公式への適用：
   著者らは、導出されたクロネッカー和の下界を、ペテルソンの公式の誤差項 $\Delta_{k,N}(m, n) - \delta(m, n)$ に適用する。この公式は、クロネッカー和と第1種ベッセル関数 $J_{k-1}$ を含む和としてその差を表現している。

• レベル $c$ に関する総和を、$c=N$ の項と $c > N$ の裾の部分に分割する。
• 裾の部分は、積分テストとベッセル関数の指数減衰の推定を用いて上から抑えられる。
• 主項（$c=N$）は、新たに確立されたクロネッカー和の下界と、引数が関数の次数に近い遷移領域におけるベッセル関数 $J_{k-1}$ の明示的な推定を用いて、下から抑えられる。
• 著者らは、Krausの研究から導かれた $J_\nu(\nu)$ および $J_\nu(\nu + t\nu^{1/3})$ の挙動に関する特定の補題を利用して、ベッセル関数の漸近的挙動を処理する。

主要な貢献と結果

• 定理1： 本論文は、$c$ が奇数かつ $(ab, c)=1$である場合の$|S(a, b; c)|$に対する最初の明示的な下界を確立する。この境界は、$c$の平方フリー部分と強力な部分への分解に依存し、具体的には$\omega(d)$、$\tau(u)$、および$\phi(u)$を含む。この結果はまた、$ab$が$c$ の強力な部分を割る任意の素数に対して平方非剰余である場合に、この和が消滅することを明確にしている。
• 定理2： 著者らは、偶数重さ $k$ および奇数レベル $N$ に対して $|\Delta_{k,N}(m, n) - \delta(m, n)|$ の明示的な下界を導出する。レベル $N$ を固定して $k \to \infty$ とする従来の漸近的な結果（例：[JS20, Theorem 1.7]）とは異なり、この定理は、$k$ と $N$ が定数 $D_0 \in (e^{H_0}, 1)$ を含む不等式を満たす限り、それらを独立に変化させることを可能にする。下界は $J_{k-1}(k-1)e^{H_0(k-1)}$ のオーダーである。
• 定理3： 引数のより短い範囲 $4\pi\sqrt{mn}/N$（具体的には $[(k-1), (k-1) + (k-1)^{1/3}]$）において、著者らは定理2で見られる指数減衰よりも強い、$(k-1)^{-1/3}$ のオーダーの下界を回収する。
• 系： 本論文は、ヘーゲ・作用素の重み付きトレースの境界を定量化する特定の系（系1および系3）を提供し、特定のパラメータ範囲におけるこれらの境界のための明示的な定数を示す。

意義と主張
著者らは、古典的なクロネッカー和に対する最初の明示的な下界を提供することで、自身の研究が文献における空白を埋めるものであると主張している。この結果は、ペテルソンの公式の項の非消滅性をより精密に分析することを可能にするため、重要である。

強調されている主な応用は、[JS20, Theorem 1.7] の「修正版」である。この修正により、以前の結果では $N$ を固定する必要があったのに対し、$k$ と $N$ を独立に変化させることができるようになる。著者らは、自身の $4\pi\sqrt{mn}/N$ の区間が [JS20] の $k^{1/3}$ の区間に比べて大きい（$k$ に比例するサイズ）ものの、これは指数減衰（vs. 多項式減衰）という、より弱い下界という代償を伴うことを述べている。しかし、より短い区間については、多項式オーダーの下界を成功裏に回収している。

本論文は、導出された定数 $H(N)$, $k_0(N)$, $k_1(N)$ の値を特定のレベル $N$ に対して示す表を提供することで締めくくられており、変化する重さとレベルに対するこれらの明示的な境界の実用的な適用可能性を示している。この研究は、クロネッカー和の非消滅性の側面に基づき、ヘーゲ作用素の固有値分布の偏差結果を得るための基礎的なステップとして提示されている。