[論文レビュー] Automorphy lifting for small l

Luís Dieulefait, Toby Gee|arXiv (Cornell University)|Sep 23, 2012

Advanced Algebra and Geometry参考文献 5被引用数 6

ひとこと要約

本稿は、小素数 $ l $ に対する自己同一性上昇定理を確立し、先行研究の $ l \geq 2(n+1) $ という条件を、残留ガロア表現の適切性仮定に緩和することで一般化する。基本拡大、ヒダ理論、[BLGG11] および [BLGGT10] の結果を用いて、正則的で極化された $ n $ 次元のガロア表現 $ r $ が、その残留表現が適切であり、かつ通常的または潜在的に対角化可能に自動的である場合、潜在的に対角化可能に自動的であることを証明する。

ABSTRACT

We prove a slight generalization of Theorem 4.2.1 of [BLGGT10], which weakens the assumption that $l\ge 2(n+1)$ to an adequacy hypothesis.

研究の動機と目的

• 『[BLGGT10] の定理 4.2.1』を、$ l \geq 2(n+1) $ という条件を、残留ガロア表現の適切性仮定に緩和することで一般化すること。
• 従来の要件よりも弱い仮定の下で、$ l $-進ガロア表現の潜在的対角化可能性および自動的性を確立すること。
• 特に $ \operatorname{Symm}^5(\operatorname{GL}(2)) $ および基本拡大の文脈において、自己同一性上昇定理の適用範囲を小素数 $ l $ に拡張すること。
• 『[BLGG11] の定理 A.4.1』および『[BLGGT10] の定理 2.3.1』を用いて、恣意的な修正を避ける形で証明を統一的かつ簡潔にすること。

提案手法

• CM体 $ F $ を、$ \overline{F}^{\ker \overline{r}}(\zeta_l) $ と可換な可解拡大に置き換える基本拡大を用い、$ F^+ $ 上で分裂する素数を保証する。
• ヒダ理論を用いて、通常的自動的である残留表現のケースを、潜在的に対角化可能に自動的であるケースに還元する。
• 『[BLGGT10] の補題 1.4.3(1)』および『[GG12] の補題 3.1.4』を用い、ヒダ族がすべての $ l $-進整数点において、潜在的に対角化可能な $ l $-進ガロア表現を持つ点を含むことを保証する。
• 『[BLGG11] の定理 A.4.1』を用いて、正則的で代数的、カスプ的、極化された自動的表現 $ (\pi, \chi) $ を構成し、すべての $ v|l $ において $ r|_{G_{F_v}} $ と一致する $ l $-進実現をもつ。
• 『[BLGGT10] の定理 2.3.1』を適用して、$ r $ がレベルが $ l $ と素である可能性のある潜在的に対角化可能に自動的であることを結論づける。
• 残留表現の適切性と $ \zeta_l \notin F $ の仮定に基づき、上昇の正当性を保証する。

実験結果

リサーチクエスチョン

• RQ1 自己同一性上昇定理を、$ l \geq 2(n+1) $ を要件としない小素数 $ l $ に拡張することは可能か？
• RQ2 正則的で極化されたガロア表現が、潜在的に対角化可能に自動的であると示される条件は何か？
• RQ3 残留ガロア表現の $ l $ における適切性が、自己同一性上昇において、より強い制約 $ l \geq 2(n+1) $ をどのように代替するか？
• RQ4 ヒダ理論は、自己同一性上昇プロセスにおける潜在的対角化可能性の確保に、どの程度活用可能か？
• RQ5 基本拡大は、自己同一性上昇定理の証明構造を簡素化する上で果たす役割は何か？

主な発見

• 自己同一性上昇定理は、$ l \geq 2(n+1) $ を要件としないで、$ \overline{r}(G_{F(\zeta_l)}) $ が適切であるというより弱い仮定のもとで成立する。
• 残留表現の適切性および自動的性の条件が満たされれば、$ (r, \mu) $ がレベルが $ l $ と素である可能性のある潜在的に対角化可能に自動的であることが確認される。
• 証明は『[BLGG11] の定理 A.4.1』を用いて、すべての $ v|l $ において $ r $ と局所的に一致する適合自動的表現 $ (\pi, \chi) $ を構成する。
• ヒダ理論の使用により、通常的自動的ケースから潜在的に対角化可能に自動的ケースへの還元が可能となり、ヒダ族内に適切な点が存在することを保証する。
• 『[BLGG11] の定理 A.4.1』と『[BLGGT10] の定理 2.3.1』の組み合わせにより、恣意的な修正を避けた洗練された統一的証明が得られる。
• 条件 $ \zeta_l \notin F $ は本質的であり、$ \mu_l $ 上のガロア作用が非自明であることを保証し、適切性仮定を支持する。