[論文レビュー] Shifted convolution sums of $GL_3$ cusp forms with $ heta$-series

Qingfeng Sun|arXiv (Cornell University)|Sep 25, 2015

Analytic Number Theory Research参考文献 21被引用数 3

ひとこと要約

この論文は、$GL_3$ ヒッケ＝マイヤー尖域形式のフーリエ係数と三変数のトーティエ級数 $r_3(n)$ を含むシフトされた畳み込み和に対して、未条件の上限を確立している。高次の指数和推定と指標和解析を用い、$X^{3/2 - 1/8 + \varepsilon}$ のハイブリッド上限が得られ、強力なクローステルマン和の境界が得られない状況下でも非自明なキャンセルが生じることを示している。

ABSTRACT

Let $A_f(1,n)$ be the normalized Fourier coefficients of a Hecke-Maass cusp form $f$ for $SL_3(\\mathbb{Z})$ and $$ r_3(n)=\\#\\left\\{(n_1,n_2,n_3)\\in \\mathbb{Z}^3:n_1^2+n_2^2+n_3^2=n\ ight\\}. $$ Let $1\\leq h\\leq X$ and $\\phi(x)$ be a smooth function compactly supported on $[1/2,1]$. It is shown that $$ \\sum_{n\\geq 1}A_f(1,n+h)r_3(n)\\phi\\left(\\frac{n}{X}\ ight) \\ll_{f,\\varepsilon} X^{\\frac{3}{2}-\\frac{1}{8}+\\varepsilon} $$ uniformly with respect to the shift $h$.

研究の動機と目的

• 整数を三平方の和として表す方法の数を数える $r_3(n)$ を含む、$GL_3$ ヒッケ＝マイヤー尖域形式とシフト畳み込み和に対する非自明で未条件の上界を確立すること。
• この文脈でジュティラの円周法が使用できない原因となっている、$r_3(n)$ によって重み付けられた指数和に対する強い境界の欠如を克服すること。
• より複雑な $GL_3$ の設定に、$GL_2$ 形式に関する既存のシフト畳み込み和の結果を一般化すること、特に $r_3(n)$ が $\theta^3(z)$ のフーリエ係数である点に注目すること。
• ランマヌジャン予想に基づく条件付き推定と既知の $GL_3$ $L$-関数の推定値に基づく条件付き上限に対する定量的改善を提供すること。
• $\ell$ 重のトーティエ級数 $r_\ell(n)$ への方法の一般化を示し、$\ell=3$ を超える場合にも同様に適用可能であることを示すこと。

提案手法

• 証明は $GL_3$ 尖域形式のボロノイ和公式と、$\theta^3(z)$ の理論から導かれる $r_3(n)$ に対する新しいボロノイ型公式に依存している。
• シフト畳み込み和はポincare和公式と指標和分解を用いて変換され、問題はモジュラス $q$ における複雑な指標和 $\mathscr{C}(b_1,b_2,b_3,n_1,n_2,h,v;q)$ の推定に還元される。
• 指標和は二分区間への分割と、$p \mid n_2$ の場合のワイエルのクローステルマン和とサリエ和の推定を用いてさらに分析される。
• 一般の場合には、関連するローレンツ多項式 $f(x,y)$ がそのニュートン多面体 $\Delta(f)$ に対して非退化であることを利用し、有限体上の指数和理論の結果を適用する。
• 鍵となる技術的ステップは、$f$ の非退化性と $\Delta(f)$ の内部に原点が位置することを活用して、重み付きランマヌジャン和の境界をとる $\epsilon$-除去技法の適用である。
• 最終的な境界は $L^2$ 型推定と $\ell^2$-集中の議論を組み合わせることで得られ、自明な境界に対して $X^{-1/8 + \varepsilon}$ のパワー・セービングの利得が得られる。

実験結果

リサーチクエスチョン

• RQ1 形式 $\sum_n A_f(1,n+h) r_3(n) \phi(n/X)$ のシフト畳み込み和に対して、非自明で未条件の上界を確立できるか。ここで $A_f$ は $GL_3$ ヒッケ＝マイヤー尖域形式であり、$r_3(n)$ は三平方の和としての表記数を数える。
• RQ2 標準的手法（例えばジュティラの円周法）がこの $GL_3$-から-$\theta$-級数の文脈でなぜ失敗するのか。代替的手法はその障害を克服できるか。
• RQ3 このような和のハイブリッド境界 $X^{3/2 - \delta + \varepsilon}$ の最適な指数 $\delta$ は何か。また、ランマヌジャン予想に基づく条件付き推定を上回る改善は可能か。
• RQ4 関連する指数和のニュートン多面体 $\Delta(f)$ の構造が、指標和におけるキャンセルにどのように影響するか。
• RQ5 この手法は $\ell \geq 4$ の $r_\ell(n)$ に拡張可能か。また、高次元においても指数 $\delta = 1/8$ が維持されるか。

主な発見

• 論文は、$1 \leq h \leq X$ の範囲で、未条件の境界 $\sum_{n \geq 1} A_f(1,n+h) r_3(n) \phi(n/X) \ll_{f,\varepsilon} X^{3/2 - 1/8 + \varepsilon}$ を確立した。これはランマヌジャン予想の下での条件付き境界 $X^{3/2 + \varepsilon}$ よりも強い。
• 境界は三重指標和 $\mathscr{C}(b_1,b_2,b_3,n_1,n_2,h,v;q)$ の新たな解析によって達成され、鍵となるステップは、$\mathbb{F}_p^\times$ 上での関連するローレンツ多項式の非退化性を用いて $\widetilde{\mathscr{T}}(p) \ll (h,p)^{1/2} p$ を示すことである。
• この手法は、$r_3(n)$ に対するクローステルマン和の境界に依存せず、ジュティラの円周法が使えない状況を回避する。代わりに、ニュートン多面体と指数和推定を用いた $\epsilon$-除去法を用いる。
• 境界はシフト $h$ に関して一様であり、$\ell \geq 4$ の $r\_\ell(n)$ に対しても一般化可能であり、高次元でも指数 $-1/8$ が維持されると予想される。
• 特別な場合として、$A_f(1,n)$ が三重除数関数 $\tau_3(n)$ に置き換えられる場合、$\tau_3(n)$ の $n^\varepsilon$-境界のおかげで指数は $-1/8$ を超えて改善可能であり、より良い保存が得られる。
• この結果は、$GL_2$ 型の指数和推定が強く得られない状況下でも、代数的幾何学と指標和技法を用いることで、$GL_3$-から-$\theta$-級数畳み込み和から深いつながりを抽出できることを示している。