[論文レビュー] Level optimization in the totally real case

Kazuhiro Fujiwara|ArXiv.org|Feb 27, 2006

Advanced Algebra and Geometry参考文献 9被引用数 11

ひとこと要約

この論文は、素数 $\ell \geq 3$ のとき、完全実数体における正則ヒルベルトモジュラー形式について、レベル低下の最適結果を確立し、偶数次元完全実体におけるマザー原理の最終的ケースを解決する。mod $\ell$ 伽羅ワ代表とジャケット＝ラングランズ対応、特異コhomology的技法、局所的・大域的整合性を用いて、$v \nmid \ell$ において、最小の導手を持つカスプ形式 $\pi'$ から生じるモジュラー代表 $\bar{\rho}$ が、$q_v \equiv 1 \pmod{\ell}$ または $\bar{\rho}$ が $v$ で分岐している場合に、可能な限り最良のレベル最適化を達成することを証明する。この結果により、セール、マザー、リビットが開始したレベル最適化プログラムが完成する。

ABSTRACT

In this paper, congruences between holomorphic Hilbert modular forms are studied. We show the best possible level optimization result outside l for l > 2 by solving the remaining case of Mazur principle when the degree of the totally real field is even.

研究の動機と目的

• 偶数次元完全実体に対するヒルベルトモジュラー形式の文脈におけるマザー原理の残りのケースを解決すること。
• 素数 $\ell \geq 3$ かつ $v \nmid \ell$ のとき、ヒルベルトモジュラー形式間の mod $\ell$ 合同関係に対する最適なレベル低下結果を確立すること。
• 分岐性および残差体のサイズに関する条件の下で、与えられた mod $\ell$ 伽羅ワ代表 $\bar{\rho}$ が、$v$ において最小の導手を持つカスプ形式 $\pi'$ から生じることを示すこと。
• ジャーヴィスとリビットの先行結果を統合・拡張し、偶数次元の場合の補助的仮定を排除すること。

提案手法

• ヒルベルトカスプ形式に付随する $\lambda$-adic 伽羅ワ代表 $\rho_{\pi,\lambda}$ 及びその mod $\ell$ 細分を用いて、mod $\ell$ 合同関係を定義すること。
• ジャケット＝ラングランズ対応を用いて、$\mathrm{GL}_2$ および定義的ハッセ代数の自動形式を関連させること。
• シムーラ多様体 $S_{D,K}$ 上のエタールコhomologyを用いて、$\bar{\rho}$ がコhomological実現に現れるかどうかを検出すること。
• $v \nmid \ell$ における局所的成分を分析するため、$U_v$-作用素およびそのコhomology上での作用を用いること。特に、非分岐特別の場合を重点的に扱う。
• ボストン＝レングラス＝リビットの定理を適用し、$U_v$-作用素がコhomologyの $m$- torsion 部分上でスカラーとして作用することを保証し、トレースの議論を可能にする。
• コhomologyのスカラー拡張性質と背理法を用いて、Artin の導手 $\mathrm{Art}(\bar{\rho}|_{G_v})$ が最適なレベルであることを証明すること。

実験結果

リサーチクエスチョン

• RQ1 mod $\ell$ 伽羅ワ代表 $\bar{\rho}$ が $v$ で非分岐であり、$q_v \equiv 1 \pmod{\ell}$ である場合に、ヒルベルトモジュラー形式のレベル低下結果が、偶数次元完全実体の場合に拡張可能かどうか。
• RQ2 完全実体の場合に、$\ell \geq 3$ で、$[F:\mathbb{Q}]$ が偶数次元であるとき、局所的成分に関する追加仮定なしにマザー原理が成り立つかどうか。
• RQ3 カスプ形式 $\pi'$ が $\pi$ と mod $\ell$ で合同である場合に、$\mathrm{cond}(\pi'_v) = \mathrm{Art}(\bar{\rho}|_{G_v})$ となる最小の可能導手を達成できるか。
• RQ4 以前の結果で用いられた補助的場所 $y$ を、コhomologicalおよびガロワ理論的技法を用いて偶数次元の場合に除去可能かどうか。

主な発見

• 論文は、条件 A-1)～A-3) の下で、$\ell \geq 3$ かつ $v \nmid \ell$ のとき、ヒルベルトモジュラー形式における最適なレベル低下結果を示す定理 A を証明する。
• 偶数次元完全実体におけるマザー原理の欠落していたケースを解決し、$\bar{\rho}$ が $v$ で非分岐であり、$q_v \equiv 1 \pmod{\ell}$ であっても、$\mathrm{cond}(\pi'_v) = \mathrm{Art}(\bar{\rho}|_{G_v})$ となるカスプ形式 $\pi'$ から生じることを示す。
• エタールコhomologyにおける背理法を用いて、$\bar{\rho}$ が $H^0(S_{\tilde{D},\tilde{K}}, \bar{\mathscr{F}}^{\tilde{D}}_{k,w} \otimes k_\lambda)$ に現れないならば、$q_v \equiv 1 \pmod{\ell}$ が成り立つ必要があることを示し、これが最適性の条件を満たす。
• $U_v$-作用素は $m$- torsion コhomology 上でスカラーとして作用し、その固有値構造とフロベニウストレースの組み合わせにより、$q_v \equiv 1 \pmod{\ell}$ が強制される。これはこのような $\pi'$ の存在に不可欠な条件である。
• 補助的場所 $y$ に依存しないことを、非分岐特別ケースにおけるマザー原理の適用により示し、偶数次元の場合に追加仮定を排除できた。
• ジャーヴィスとリビットの結果を統合することで、レベル最適化プログラムが完成し、常に $\mathrm{Art}(\bar{\rho}|_{G_v})$ が最適導手であることが示された。さらに、$\det \rho_{\pi',\lambda'} \cdot \chi^{w+1}_{\mathrm{cycle}}$ が $\det \bar{\rho} \cdot \bar{\chi}^{w+1}_{\mathrm{cycle}}$ のテイクミュラー上昇であることも示された。