Algebraicity of ratios of special $L$-values for $\mathrm{GL}(n)$

技術的要約：GL(n)における特殊L値の比の代数性

問題提起
本論文は、有理数体 $\mathbb{Q}$ 上の一般線形群 $GL(n)$に随伴する自律的L関数の特殊値の代数的性質を調査している。具体的には、$\Pi$を$GL(n, \mathbb{A}_{\mathbb{Q}})$の尖点的な共ホモロジー的ユニタリ表現とし、$\chi, \chi'$を異なる有限次ヘッケ文字としたとき、二つのねじれられたL値の比$L(m, \Pi \times \chi) / L(m, \Pi \times \chi')$の代数性を扱っている。本研究は、$n$が奇数であり、係数系が非正則（具体的には、最高ウェイト$\mu$が特定の対称条件を満たす）であるケースに焦点を当てている。偶数$n$ かつ正則なウェイトの場合については、Mahnkopf [Mah05] によって既に取り扱われているが、本研究は非正則な係数および奇数 $n$ のケースへと手法を拡張し、自律的な設定における特殊値の代数的性質に関するデリーグの予想を部分的に裏付けることを目的としている。

手法
著者らは、Mahnkopf [Mah05] および Raghuram [Rag12, Rag16] の手法を一般化したコホモロジー的手法を用いている。核心となる戦略は、L値を局所対称空間上のコホモロジー類間の位相的ペアリングに関連付けることである。

1. 誘導表現の構成： 著者らは、ルヴィ部分群 $M_{P_{n-1}} \cong GL(2)^{\lfloor (n-3)/2 \rfloor} \times \mathbb{G}_m \times \mathbb{G}_m$ からの放物型誘導による $GL(n-1)$上の表現$\Sigma$を構成する。この誘導表現$\Sigma = \text{Ind}(\pi \otimes \chi)$は、特定の有限次元表現$E_\lambda$に関して共ホモロジー的となるように設計されている。決定的な点として、$\Sigma$ は非ユニタリであり、これはユニタリ表現に依存する既存の多くの結果とは異なる。
2. アイゼンシュタイン級数と有理性： 著者らは、誘導表現 $\Sigma_f$（有限部分）を $GL(n-1)$に随伴する局所対称空間のコホモロジーへと埋め込むために、アイゼンシュタイン級数の構成を利用する。著者らは、臨界点$s = 2\mu_{\lfloor n/2 \rfloor} + 1$ におけるアイゼンシュタイン級数写像の正則性と単射性を証明する。また、この埋め込みのガロア共変性を確立し、ウィットカーモデルから導かれる誘導表現上の有理構造と、ベッチ有理構造上のコホモロジーとの比較を行う。
3. ランキン・セルバーグ積分： 中心的なL値 $L(1/2, \Pi \times \Sigma)$ は、大域的な周期積分（ランキン・セルバーグ積分）として解釈される。著者らは、非分岐および分岐する各局所において、$\Pi$ と $\Sigma$ に対する局所的なウィットカーベクトルを慎重に選択している。
   • 非分岐の局所においては、標準的なニューベクトルが使用される。
   • 分岐する局所においては、分岐する局所におけるウィットカーベクトルの非ゼロ性を回避するため、[GrH16] および [Mah05] の結果を一般化した補題5.1に依拠し、局所ランキン・セルバーグ積分が非ゼロの代数的数となるようなウィットカーベクトルを選択する。これにより、分岐する局所におけるウィットカーベクトルの明示的な計算を避け、抽象的な存在性と有理性の性質に依拠している。
4. コホモロジー的ペアリング： 大域的な積分は、$\mathbb{Q}$ 上で定義された特定のコホモロジー類 $\vartheta_\Pi$ と $\vartheta_\Sigma$ のポアンカレ・ペアリングに等しいことが示される。このペアリングにより、L値は周期 $p(\Pi_f), p(\Sigma_f)$、およびアルキメデス的なペアリングから生じる複素数 $p(\Pi_\infty, \Sigma_\infty)$ を用いて代数性が示される。

主要な貢献と結果

• 定理 1.1（中心L値の代数性）： 誘導データとなる尖点的な成分 $\pi_i$ が非消滅条件（仮定 $(\mu, \chi_{n-2}, \chi_{n-1})$）を満たすという仮定の下で、著者らは以下を証明する：
  $$L(1/2, \Pi \times \Sigma) \sim_{\mathbb{Q}} p(\Pi_f) p(\Sigma_f) p(\Pi_\infty, \Sigma_\infty)$$
  ここで、$\sim_{\mathbb{Q}}$ は、非ゼロの代数的閉包 $\overline{\mathbb{Q}}$ の元による等価性を表す。周期 $p(\Pi_f)$ および $p(\Sigma_f)$ は、有理構造（ベッチ・ウィットカー・ピリオド）の比較から生じる。

• 定理 1.2（比の代数性）： 本論文の主要な結果は、二つのねじれられたL値の比の代数性である。特定の無限型を持つ異なる有限次ヘック文字 $\chi, \chi'$ に対し、$n=5$ または $\mu_{\lfloor n/2 \rfloor} \ge 1$ という条件の下で、以下が成り立つ：
  $$\frac{L(\mu_{\lfloor n/2 \rfloor} + 1, \Pi \times \chi')}{L(\mu_{\lfloor n/2 \rfloor} + 1, \Pi \times \chi)} \in \overline{\mathbb{Q}}^\times$$
  この結果は、誘導表現 $\Sigma$ を含むL関数の比に対して定理 1.1 を適用することで導かれる。ここで、周期 $p(\Sigma_f)$ は相殺されるか、あるいは既知の低ランクL値（具体的には、シムラの研究によって有理性が知られている $GL(2)$および$GL(1)$ のケース）の有理な比へと簡約される。

意義と主張
本論文は、非正則なウェイトに関して共ホモロジー的な、正則代数的尖点表現に対するデリーグの予想の部分的な確認を提供すると主張している。著者らは、自身の研究が非ユニタリな誘導表現 $\Sigma$ を扱っていることを明示しており、これはユニタリ性を仮定する他の多くの研究（例：[Gro18], [GrL17]）とは対照的である。

著者らは、Mahnkopf [Mah05] と比較して、自身の結果の強さについて謙虚な姿勢を見せている。定理 1.1 は、L値の比のガロア共変性を直接証明するのではなく、比自体の代数性を証明しているという点で、Mahnkopf の定理 B よりも弱い主張であることを認めている。この制限は、分岐する局所におけるウィットカーベクトルとの明示的な計算を避けるために採用された「ソフトな手法」に起因する。

また、手法は無限における表現論を単純化するために基礎体 $\mathbb{Q}$ に対して提示されているが、これらのテクニックは任意の数体に拡張可能であることが期待される。得られた結果は、非ユニタリな、高々一つの奇数成分から誘導される放物型を扱う Chen [Che23] の最近の研究とは区別される。現在の論文の設定（型 $(2, \dots, 2, 1)$ の放物型）は、Chen の仮定からは従わないためである。

要約すると、本論文は、奇数 $n$ および非正則な係数の場合における特殊L値のコホモロジー的解釈を成功裏に一般化し、低ランクL値の有理性とランキン・セルバーグ積分の位相的解釈を活用することで、ねじれられたL値の比の代数性を確立した。