[論文レビュー] Serre Weights for U(n)

Thomas Barnet-Lamb, Toby Gee+1 more|arXiv (Cornell University)|May 13, 2014

Advanced Algebra and Geometry参考文献 23被引用数 13

ひとこと要約

本稿は、ユニタリ群 $ U(n) $ 上の自動形式に関連する特定の mod $ l $ ガロア表現が、一般化されたセール重み予想が予測する複数の重みにおいてモジュラーであることを証明する。自動性上昇定理とフォンタイン＝ラフィール理論を用いて、$ n=3 $ において明示的な重みでモジュラー性を確立する。特に、$ l $ が CM 環において完全に分解する場合、残余表現の分岐および単位根の性質に関する弱い条件のもとで成立する。

ABSTRACT

We study the weight part of (a generalisation of) Serre's conjecture for mod l Galois representations associated to automorphic representations on unitary groups of rank n for odd primes l. Given a modular Galois representation, we use automorphy lifting theorems to prove that it is modular in many other weights. We make no assumptions on the ramification or inertial degrees of l. We give an explicit strengthened result when n = 3 and l splits completely in the underlying CM field.

研究の動機と目的

• ユニタリ群 $ U(n) $ の高ランク版におけるセール予想の重み部を拡張すること。特に、古典的手法が、潜在的に対角化可能な上昇が存在しないこと、および還元写像が全射でないために $ n > 2 $ で失敗する状況を扱う。
• 高ランク $ n > 2 $ において、すべての mod $ l $ 既約表現が、特徴値 0 の代数的表現の還元として得られるとは限らないという課題に対処し、核構造に基づく新しい枠組みを必要とする。
• $ n=3 $ に対して、$ \bar{r} $ の明示的セール重み $ W^{ ext{explicit}}(\bar{r}) $ の具体的かつ計算可能なリストを提供すること。
• 分岐が完全に分解し、像が十分に大きく、重みの境界が満たされているなどの適切な条件下で、$ \bar{r} $ が $ W^{ ext{explicit}}(\bar{r}) $ に属する少なくとも一つの重みにおいてモジュラーであることを証明し、ホッジ＝テイト重みに関する明示的な合同条件を提示すること。
• フォンタイン＝ラフィール理論を用いて、古典的範囲外のクリスタリン表現の還元を分析することで、$ n=3 $ を超える一般化への基盤を築くこと。

提案手法

• 文献 [BLGGT14b] の自動性上昇定理を活用し、$ \bar{r} $ の潜在的に対角化可能な上昇を構成する。これは、一般に成り立つと予想される条件を仮定する。
• フォンタイン＝ラフィール理論を用いて、$ p $-進ガロア表現の mod $ l $ 還元の構造を分析し、特に $ l $ 上の点 $ w $ における $ \bar{r}|_{I_{F_w}} $ の単位根作用と分解型に注目する。
• mod $ l $ 単位根表現の構造と自動形式上昇のホッジ＝テイト重みに基づいて、予想されるセール重みの集合 $ W^{ ext{explicit}}(\bar{r}) $ を定義する。
• 合同式 $ l^2 - 1 $、$ l^3 - 1 $、$ l^2 + l + 1 $ を用いた議論により、$ \bar{r}|_{I_{F_w}} $ の可能性のある同型型のうち、12通りのうち1つを除きすべてを除外し、唯一一貫する可能性は $ F_a \cong F_b $ であることを示し、モジュラー性を証明する。
• 「一般的」セール重み（弱い条件）の概念を用い、自動形式表現の還元が期待される重み構造と一致することを保証する。
• $ l $ 上の点における mod $ l $ 表現のナヴィエル（niveau）を分析し、ナヴィエル 1, 2, 3 に分類し、各ナヴィエルに対しては、仮定された重みと整合する構成が唯一一つであることを示す。

実験結果

リサーチクエスチョン

• RQ1 ユニタリ群 $ U(n) $ に関連する mod $ l $ ガロア表現 $ \bar{r} $ に対して、一般化されたセール重み予想は、どの重み $ a $ がモジュラーであると予測するか？
• RQ2 $ n=3 $ の場合に、特に $ \bar{r} $ が $ W^{ ext{explicit}}(\bar{r}) $ に属する重みにおいてモジュラーであることを証明するための条件は何か？
• RQ3 特徴値 0 の代数的表現から mod $ l $ 既約表現への還元写像が失敗する場合、還元の核に注目することでこれを克服できるか？
• RQ4 ホッジ＝テイト重みと単位根作用に関する合同条件は、$ \bar{r} $ がモジュラーである可能性のあるセール重みをどのように制限するか？
• RQ5 フォンタイン＝ラフィール理論は、古典的範囲外の高ランクケースにおけるクリスタリン表現の還元を分類するために、どの程度まで利用可能か？

主な発見

• 本稿は、$ \bar{r} $ が $ F/F $ 上のモジュラーなガロア表現であり、分岐が完全に分解し、$ l $ が CM 環 $ F $ において完全に分解する場合、潜在的に対角化可能な自動形式上昇が存在すると仮定すれば、$ \bar{r} $ は明示的に定義された集合 $ W^{ ext{explicit}}(\bar{r}) $ に属する少なくとも一つの重みにおいてモジュラーであることを証明する。
• $ n=3 $ の場合、集合 $ W^{ ext{explicit}}(\bar{r}) $ は、ホッジ＝テイト重みと基本的キャラクターの作用に基づいて導かれる特定の形の mod $ l $ 単位根表現 $ \bar{r}|_{I_{F_w}} $ と一致する重み $ a $ からなる。
• 証明では、自動形式上昇から得られる2つの構成（上昇と重み条件）から生じる $ \bar{r}|_{I_{F_w}} $ の12通りの同型型のうち、$ F_a \cong F_b $ でなければすべて矛盾を引き起こすことが示され、結果としてモジュラー性が強制される。
• 主な矛盾はナヴィエル 3 の場合に生じる。12通りの合同式（$ l^3 - 1 $ または $ l^2 + l + 1 $ で）は、$ l > 2 $ のとき $ l^2 - 1 \equiv 0 \pmod{l^3 - 1} $ という不可能な条件に帰着し、これは成立しない。
• 「一般的」であるという弱い条件（多くの重みで満たされる）と、すべての埋め込み $ \tau $ に対して $ \mu_{\tau,1} - \mu_{\tau,3} \leq l - 3 $ を満たすホッジ＝テイト重みの条件のもとで、結果は成立する。
• 著者らは、$ W^{ ext{explicit}}(\bar{r}) $ が [EGHS14] が予測する「自明な」重みのみを含むと予想しており、全モジュラー重みの集合はより大きい可能性があるが、現在のフォンタイン＝ラフィール理論を用いた手法で到達可能なのはこれらの重みであると述べている。