[論文レビュー] Simultaneous nonvanishing of Dirichlet $L$-functions and twists of Hecke-Maass L-functions

Soumya Das, Rizwanur Khan|arXiv (Cornell University)|Nov 17, 2014

Analytic Number Theory Research参考文献 7被引用数 8

ひとこと要約

本稿は、固定されたヘッケ＝マイヤー尖値形式 $ f $ と素数の導子 $ q $ を持つ原始的ディリクレ指標 $ \chi $ に対して、中央 L-値 $ L(1/2, f \otimes \chi) $ と $ L(1/2, \chi) $ の同時非零性を、複素共役を用いた平均値法により、問題となるガウス和を避けることで確立する。主な結果は、十分に大きな素数 $ q $ に対して、このような指標 $ \chi $ が存在し、両方の中央 L-値が非零であることを保証することである。

ABSTRACT

We prove that given a Hecke-Maass form $f$ for $ ext{SL}(2, \mathbb{Z})$ and a sufficiently large prime $q$, there exists a primitive Dirichlet character $χ$ of conductor $q$ such that the $L$-values $L( frac{1}{2}, f \otimes χ)$ and $L( frac{1}{2}, χ)$ do not vanish. We expect the same method to work for any large integer $q$.

研究の動機と目的

• 固定されたヘッケ＝マイヤー尖値形式 $ f $ と素数の導子 $ q $ を持つ原始的ディリクレ指標 $ \chi $ に対して、両方の $ L(1/2, f \otimes \chi) $ と $ L(1/2, \chi) $ が非零であるようなものが存在することを確立すること。
• 導子を明示的に指定した非条件的結果を提供し、先行研究が導子を特定しなかったという制限を克服すること。
• 平均値を法としてモジュラス $ r $ での平均化を避けるのではなく、複素共役を含む平均値を用いることで、ガウス和に関する技術的困難を回避すること。
• 方法を素数に限らず、任意の大きな整数 $ q $ に拡張できることを示すこと。ただし、簡潔さのため素数モジュラスに焦点を当てる。

提案手法

• 著者たちは、大きな素数 $ q $ を法とする原始的偶数ディリクレ指標 $ \chi $ の範囲で、積 $ L(1/2, f \otimes \chi) \overline{L(1/2, \chi)} $ の平均値を計算する。
• バーノイの和公式を用いて $ n $ に関する和を変形し、スペクトル係数 $ \lambda_f(n) $ と指標のねじれを扱えるようにする。
• 劉の研究で見られるようにモジュラス $ r $ での平均化を避けるのではなく、$ q $ を素数として固定することで、導子に対する明示的な制御が可能になる。
• 近似関数方程式を適用し、繰り返し部分積分を用いて振動和を推定することで、誤差項をべき乗の改善で抑え込む。
• 主な革新点は、平均値に複素共役を組み込むことで、従来のアプローチと比較してガウス和の取り扱いが簡素化されることである。
• 最終的な評価は $ \frac{q-2}{2}L(1,f) + O(q^{7/8 + \theta + \epsilon}) $ であり、ここで $ \theta $ はランマヌジャン＝ピーターソン予想への現在の最良の境界である。

実験結果

リサーチクエスチョン

• RQ1 固定されたヘッケ＝マイヤー形式 $ f $ に対して、素数の導子 $ q $ を持つ原始的ディリクレ指標 $ \chi $ が存在し、両方の $ L(1/2, f \otimes \chi) $ と $ L(1/2, \chi) $ が非零であるか？
• RQ2 指定されたモジュラス $ q $ に対して、両方の中央 L-値の非零性を非条件的に確立できるか？
• RQ3 素数モジュラスに用いた手法を、すべての大きな整数 $ q $ に拡張できるか？
• RQ4 平均値に複素共役を用いることで、ガウス和を含む従来の研究と比較して解析がどのように簡素化されるか？

主な発見

• 十分に大きな任意の素数 $ q $ に対して、導子が $ q $ である原始的ディリクレ指標 $ \chi $ が存在し、両方の $ L(1/2, f \otimes \chi) $ と $ L(1/2, \chi) $ が非零である。
• 法 $ q $ の原始的偶数指標に関する $ L(1/2, f \otimes \chi) \overline{L(1/2, \chi)} $ の平均値は $ \frac{q-2}{2}L(1,f) + O(q^{7/8 + \theta + \epsilon}) $ であり、ここで $ \theta = 7/64 $ が現在最良の値である。
• $ L(1,f) \neq 0 $ であるため、主項は非零であり、平均値の和のうち少なくとも一つの項が非零でなければならない。これは、そのような $ \chi $ の存在を示唆する。
• 劉の研究で見られるようにモジュラスでの平均化を避ける方法を採用しており、導子が明示的に特定可能であるのに対し、先行研究とは異なり、導子を指定していない。
• べき乗の改善を得た誤差項 $ O(q^{7/8 + \theta + \epsilon}) $ は、この方法が素数に限らず、すべての大きな整数 $ q $ に拡張可能である可能性を示唆している。
• 結果は非条件的であり、ランマヌジャン＝ピーターソン予想に依存せず、一部の関連する漸近的結果とは異なり、その仮定を必要としない。