A metric approach to zero-free regions for $L$-functions

技術的要約：L関数に対する計量的なアプローチによる零点なし領域

問題提起
本論文は、標準的な$L$関数$L(s, \pi)$およびランク・セルバーグ$L$関数$L(s, \pi \times \pi')$（ここで$\pi$および$\pi'$は数体$F$上の$GL(m)$および$GL(m')$のカスピダル自己共役表現）に対して、古典的な零点なし領域を確立するという問題に取り組んでいる。具体的には、これらの関数が、特定の自己双対条件の下で唯一の単純な実零点（シゲル零点）を持つ可能性を除いて、$\sigma \geq 1 - c/\log(C(\dots))$という形の領域において零点を持たないことを証明することを目的としている。

オートモルフィックな設定において、古典的な証明（リーマンゼータ関数におけるアダマールやド・ラ・ヴァレ・プーサンのものなど）を拡張する際の主要な課題は、一般化ラマンジャン予想（GRC）への依存である。従来の接近法では、まだ完全には確立されていないディリクレ係数の評価を必要とすることが多い。さらに、従来のランク・セルバーグ畳み込みに関する結果は、明示的な定数を欠いていたり、次数$m$および$m'$に対する依存性が最適でなかったりする場合があった。

手法
著者は、グランヴィルとサウンダラジャンによって発展され、ククロポロスによって定式化された「プレテンシャス（衒い立てる）」な乗法的関数の理論に触発された「計量的」なアプローチを採用している。核心となる戦略は、古典的な非負の三角不等式（例：$3-4-1$の議論）を、オートモルフィック$L$関数上に定義された一族の計量に置き換えることである。

1. 修正された計量： 標準的なディリクレ係数$\lambda_\pi(n)$の代わりに、著者は対数微分$-(L'/L)(s, \pi)$の係数$a_\pi(n)$に基づく計量$D_\sigma$を定義する。この転換は極めて重要である。なぜなら、$a_\pi(p) = \lambda_\pi(p)$は素数に対して成立するが、対数微分の定式化を用いることで、素数冪に関する未解決のGRCへの進展を回避できるからである。
2. 三角不等式： 証明の構造は、三角不等式$D_\sigma(x_1, x_2) \leq D_\sigma(x_1, x_3) + D_\sigma(x_3, x_2)$に依拠している。この不等式を二乗し、特定の要素（表現$\pi, \pi'$、シフト$\gamma$、符号$\delta$）を選択することで、著者は$L$関数の対数微分の非負の線形結合を構成する。この構成は、零点なし領域を抑えるために用いられる古典的な三角不等式のオートモルフィックな類似物として機能する。
3. 分岐素数の扱い：
   • 初期のアプローチ（セクション4）： レベル$Nq_\pi = 1$の場合、計量アプローチは直接的に望ましい不等式を与える。
   • 洗練されたアプローチ（セクション5）： レベル$Nq_\pi > 1$の場合、分岐素数が誤差項を導入する。これらの項の評価に必要なGRCへの依存を排除するために、著者はLichtmanとPascadiによって導入された「正定値的な一族」のフレームワークを利用する。$(-(L'/L)(s, \pi \times \tilde{\pi}'))$の正定値性に基づく修正された量$D^*_\sigma$を定義することにより、著者は分岐素数の寄与を含まずに、必要な非負の線形結合を構成する。

主要な結果
本論文は、明示的な定数と次数$m$および$m'$に対する一様な依存性を持つ以下の定理を確立している：

• 定理 1.1（標準的$L$関数）： $\pi \in \mathcal{F}^*_m$に対し、$L(s, \pi)$は、$\pi$が自己双対であれば唯一の単純な実零点を持つ可能性を除き、領域 $\sigma \geq 1 - \frac{1}{33(2m+3)\log(C(\pi)(3+|t|)^{m[F:\mathbb{Q}]})}$ において零点を持たない。$\pi$が自己双対である場合、$(3+|t|)$の指数は$[F:\mathbb{Q}]$に低減できる。
• 定理 1.2（ランク・セルバーグ、非自己双対な$\pi$）： $\pi \neq \tilde{\pi}$かつ$\pi' = \tilde{\pi}'$であるとき、$L(s, \pi \times \pi') \neq 0$ は領域 $\sigma \geq 1 - \frac{1}{28(m+m')\log(C(\pi)C(\pi')(3+|t|)^{m[F:\mathbb{Q}]})}$ において成立する。
• 定理 1.3（ランク・セルバーグ、自己双対条件）： もし $L(s, \pi \times \pi') = L(s, \tilde{\pi} \times \tilde{\pi}')$ ならば、$L(s, \pi \times \pi')$ は領域 $\sigma \geq 1 - \frac{1}{66(m+m')\log(C(\pi)C(\pi')(3+|t|)^{m[F:\mathbb{Q}]})}$ において高々一つの単純な実零点を持つ。

限界と構造的障壁
本論文は、この計量的アプローチの限界を明示的に分析している。$\pi, \pi',$ および $L(s, \pi \times \pi')$ がすべて非自己双対である場合、計量的フレームワークは古典的な零点なし領域を生成できないことを示している。このような非対称な設定では、三角不等式から導かれる任意の線形結合において $c_P \geq c_Z$（$c_P$は極の寄与、$c_Z$は零点の寄与）となり、矛盾を導くために必要な基準 $0 \leq c_P < c_Z$ を満たさない。

意義と新規性
著者は以下の貢献を主張している：

1. GRCからの独立性： ディレクレ係数を直接用いるのではなく、対数微分の係数を利用することで、証明は一般化ラマンジャン予想への進展を必要としない。
2. 明示的な定数と一様性： 結果は明示的な定数（例：33, 28, 66）を提供し、Brumley, Goldfeld, Li, Humphries, Thornerによる先行研究と比較して、$m$および$m'$に対する一様性を改善または一致させている。
3. 新しい零点なし領域： 定理1.3は、$L(s, \pi \times \pi')$が自己双対であるが、$\pi$および$\pi'$が必ずしも個別に自己双対ではない（既知の特殊なケースを除いて）一般的なケースに対する新しい結果として提示されている。
4. 方法論的一致： このアプローチは、標準的およびランク・セルバーグ$L$関数の研究を古典的なアダマールおよびド・ラ・ヴァレ・プーサンの議論に適合させ、メルテンスの結果を回収し、それをオートモルフィックな設定へと拡張する「計量的」な解釈を提供する。
5. 見落れの修正： 本論文は、先行文献（特に[11, Lemma 5.9]）における、$\gamma \neq 0$における$s=1+i\gamma$での極の寄与に関する潜在的な見落れに対処していることを記しており、セクション4.1.2においてより完全な分析を提供している。

本論文は、計量的アプローチは自己双対性の仮定の下では強力であるが、一般的な非自己双対なランク・セルバーグ$L$関数への拡張は依然として未解決の問題であることを結論づけており、LichtmanとPascadiの正定値的なフレームワークが、現在は不十分ではあるものの、より広範な道筋を提供していることを示唆している。