[論文レビュー] Converse Theorem Meets Gauss Sums (with an appendix by Zhiwei Yun)

Chufeng Nien, Lei Zhang|arXiv (Cornell University)|Jun 13, 2018

History and Theory of Mathematics被引用数 8

ひとこと要約

この論文は、有限体上の非可約・尖端的および一般的表現のn×1 局所逆定理のtwistされたガンマ因子について検証し、n ≤ 5 または n < (q−1)/(2√q) + 1 のとき、ガンマ因子が表現を一意に特定することを確立している。ガンマ因子はガウス和と関連づけられ、ℓ-進コホロロジーとモノドロミー不変量を用いて、一致するガンマ因子が同型な表現を意味することを証明しており、q に対してnの鋭い上限が得られている。

ABSTRACT

This paper verifies $n imes 1$ Local Converse Theorem for twisted gamma factors of irreducible cuspidal representations of ${ m GL}_n({\mathbb F}_p)$, for $n\leq 5,$ and of irreducible generic representations, for $n

研究の動機と目的

• 有限体上の非可約尖端的または一般的表現を一意に特徴付けるために必要な最小のtwistされたガンマ因子の集合を特定すること。
• 局所逆定理におけるn ≤ ⌊n/2⌋という上限が、有限体の設定において鋭いかどうかを調査すること。
• ラングランズ関手性の動機から、GL(n, F_q)のガンマ因子と拡張体上のガウス和との明確な関係を確立すること。
• モノドロミーとコホロロジー的不変量を通じて、ガウス和の代数的性質が表現を特徴付ける役割を明らかにすること。
• クローストゥルマン・シェーブの降下に関する予想を提示し、主結果をより高いランクへ一般化すること。

提案手法

• 有限体におけるガウス和の算術的構造を用いて、表現論的不変量をガンマ因子に符号化する。
• ℓ-進コホロロジーを用いて、拡張体の乗法的群上の特徴χiに関連する層Kiを構成する。
• グロテンディーク＝レフシェッツのトレース公式を適用し、ノルムファイバー上の和とコホロロジー上のフロベニウストレースを関連付ける。
• スワン指数を用いて無限遠でのモノドロミーを解析し、異なるフロベニウス軌道を持つ層を区別する。
• K₁∨ ⊗ K₂とEnd₀(K₁)のコホロロジーを比較し、特徴が同じ軌道にない場合にはトレース恒等式と矛盾を導く。
• 純度と重みの考察を用いてトレースを評価し、不等式q−1 ≤ 2(n−1)√qを導出し、n < (q−1)/(2√q)+1 という条件に至る。

実験結果

リサーチクエスチョン

• RQ1 n と q がどのような値のとき、有限体上でのn×1 局所逆定理が成立するか、すなわち一致するガンマ因子が同型な表現を意味するか？
• RQ2 拡張体上のガウス和は、そのガンマ因子を通じて、尖端的表現の同型類を完全に特定できるか？
• RQ3 有限体設定におけるn×1 局所逆定理において、上限n ≤ ⌊n/2⌋は鋭いか？
• RQ4 F_q^n×上の2つの特徴の集合が、同じクローストゥルマン・シェーブを同型を除いて定義する条件は何か？
• RQ5 G_mのすべてのF_q-点上でフロベニウストレースが一致することは、関連するクローストゥルマン・シェーブが同型であることを意味するか？

主な発見

• 非可約尖端的表現について、GL(n, F_q)に対してn ≤ 5 のときn×1 局所逆定理が成立する。
• 一般的表現については、付録でZhiwei Yunが証明したように、n < (q−1)/(2√q) + 1 のとき定理が成立する。
• F_q^×-特徴によるすべてのtwistに対して、同じガンマ因子を与える2つの特徴χ₁とχ₂が存在するならば、それらは同じフロベニウス軌道上にある。
• K₁∨ ⊗ K₂とEnd₀(K₁)のコホロロジー比較から、n < (q−1)/(2√q) + 1 の条件下で、χ₁とχ₂が同じ軌道上にない場合には矛盾が生じる。
• 証明により、n < (q−1)/(2√q) + 1 のとき、一致するガンマ因子がトレース恒等式とスワン指数解析を通じて同型な層を意味することが示された。
• 結果はエタール代数の次数nへ一般化され、すべてのtwistについてε因子が一致するならば、ラングの同一化写像群Γ上で同じ除数類が得られることとなった。