Square-root cancellation for sums of coefficients of $\operatorname{GL}(m)$-automorphic forms over values of random polynomials

技術的要約：ランダムな多項式の値における $GL_m$ 自己共役形式の係数の和に対する平方根打ち消し

問題設定
本論文は、多項式列に沿って評価された自己共役形式のフーリエ係数の和を推定する問題に取り組んでいる。具体的には、有理数体 $\mathbb{Q}$ 上の $GL_m$ の自己共役な既約尖点表現 $\pi$（単一中心文字を持つ）と、次数 $d$ の多項式 $P \in \mathbb{Z}[t]$ が与えられたとき、以下の和を調査する：
$$S_P(x) = \sum_{\substack{n \le x \\ P(n) > 0}} \lambda_\pi(P(n))$$
ここで $\lambda_\pi(n)$ は $\pi$ の正規化されたフーリエ係数である。中心的な問いは、これらの和が「平方根打ち消し（square-root cancellation）」、すなわち $S_P(x) = O(x^{1/2})$ を示すかどうかである。

線形多項式（$d=1$）の場合、これはフーリエ係数の平均値の推定（$L$ 関数や和の公式によって扱われる古典的な問題）に帰着するが、一般的な $d \ge 2$ のケースは、特定の多項式に対しては手に負えないものと考えられている。先行研究では、トレース公式や、セルベルグ固有値予想に依存する誤差項を伴う超ノルム（sup-norm）の評価を用いて、特定の二次多項式および $GL_2$ 形式に関する境界が確立されている（例：Blomer, Templier, Templier–Tsimerman）。

手法
著者らは、多項式の高さ $|P|$（係数の絶対値の最大値）によって多項式を順序付け、次数 $d$ かつ高さ $\le H$ の多項式の集合上で平均化するという確率論的アプローチを採用している。その手法は、主に以下の3つの解析的段階で構成される：

1. 二次のモーメント解析： 証明の核心は、多項式の族に対する和の二次のモーメントの推定にある：
   $$\frac{1}{\#\mathcal{P}} \sum_{P \in \mathcal{P}} \left| \sum_{n \le x} \lambda_\pi(P(n)) \right|^2$$
   ここで $\mathcal{P} = \{P \in \mathbb{Z}[t] : \deg(P)=d, |P| \le H\}$ である。

2. 円法と指数和：

   • 小円弧（Minor Arcs）を用いる場合（漸近的結果）： $GL_2$ および $GL_3$ について、著者らは円法を利用する。和の平方を展開し、対角項（$n_1 = n_2$）と非対角項（$n_1 \neq n_2$）を分離する。非対角項は、$\sum \lambda_\pi(n) e^{2\pi i \gamma n}$ の形のねじれた線形和に対する境界を用いて処理される。
     • $GL_2$ の場合、Wilton の境界を用いる。
     • $GL_3$ の場合、加法的ねじれに関する Miller の結果を利用する。
     • $GL_m$ ($m \ge 2$) の場合、Jiang, Lü, Wang による境界を用いる。
   • 小円弧を用いない場合（上界）： 一般の $m$ に対して、著者らは指数和に関する特定の漸近的境界を必要としないよう、仮定を緩和する。彼らは、ランダムな多項式の係数を滑らかにするためにガウス核（ヤコビのテータ関数）を導入する。これにより、指数和に対してより弱い条件（具体的には $\sup_{a/q} |\sum \lambda_\pi(n) e^{2\pi i (a/q) n}| \ll q^\sigma x^\tau$ という一様な境界のみを要求する）の下で円法を適用することが可能になる。

3. ラニン・セルバーグ理論： 二次のモーメントにおける対角項は、係数自体の二次のモーメントの漸近挙動 $\sum_{n \le x} |\lambda_\pi(n)|^2 \sim C_\pi x$ を用いて評価される。これは、ラニン・セルバーグ $L$ 関数 $L(s, \pi \times \tilde{\pi})$ から導かれる。

主な貢献と結果

1. 一般的な平方根打ち消し (Theorem 1.1)：
   著者らは、任意の次数 $d$ のランダムな多項式に対して、任意の $GL_m$ 尖点形式 ($m \ge 2$) について、和が平方根打ち消しを満たすことを無条件に確立した。具体的には、$x \le H^{\alpha - \varepsilon}$ （ここで $\alpha$ は $m$ と $d$ に依存する）のとき、二乗和の平均は $O(x)$ で抑えられる。これは、典型的な多項式に対して、和が $O(x^{1/2})$ であることを意味する。

   • 指数 $\alpha$ は、$\min \left( \frac{2}{2d(2m+3) + 3m + 4}, \frac{2}{d(m^2-1)} \right)$ で与えられる。

2. $GL_2$ および $GL_3$ に対する漸近公式 (Theorem 1.2)：
   $m=2$ および $m=3$ の場合、著者らはより強い結果、すなわち二次のモーメントに対する漸近公式を証明している：
   $$\frac{1}{\#\mathcal{P}} \sum_{P \in \mathcal{P}} \left| \sum_{n \le x} \lambda_\pi(P(n)) \right|^2 = C_\pi x + O\left( \frac{x}{(\log x)^N} \right)$$
   これは $x \le H^{\beta(m) - \varepsilon}$ で成立する。ここで $\beta(2) = \frac{1}{2+3d}$ および $\beta(3) = \frac{1}{7d+4}$ である。これは、ランダムな和が分散が $x$ に比例するランダムウォークのように振る舞うことを裏付けている。

3. 算術関数の一般定理 (Theorem 3.1 & 4.1)：
   本論文は、特定のねじれた和に関する境界と二次のモーメントを満たす任意の算術関数 $g(n)$ の、ランダムな多項式の値における和の二次のモーメントに関する一般的な枠組み（Theorem 3.1）を提供している。これは、ランダムな多項式の値における一般的な算術関数の二次のモーメントについて漸近式を与えた、文献における最初の結果である。

意義と主張
本論文は、任意の次数のランダムな多項式の値における $GL_m$ 自己共役係数の和に対する、平方根打ち消しの最初の無条件の証明を提供したと主張している。特定の多項式から「典型的（ジェネリック）」な設定へと焦点を移すことで、一般の問題の困難さを回避している。

著者らは、特定の $GL_2$ のケースに関する最近の進展（Huang, Dasgupta–Leung–Young によるもの）が固定された多項式に対する誤差項を改善しているものの、それらが彼らのランダム多項数の設定における指数 $\beta(2)$ を直ちに改善するものではないことを強調している。意義は、その結果の無条件性（セルベルグ固有値予想への依存がないこと）と、高ランク群（$m \ge 2$ の $GL_m$）への拡張にある。

本研究は、絶対値の係数（通常、対数的な節約しか許容されない）を扱う関連問題とは異なり、打ち消しが期待される符号付きの和に焦点を当てている点において区別される。結果は、ねじれた線形和の既知の境界（Jiang–Lü–Wang, Miller, Wilton によるもの）を、円法とガウス核を用いた新しい確率論的枠組みに組み込むことに依拠している。