[論文レビュー] The Gross-Prasad conjecture and local theta correspondence

Wee Teck Gan, Atsushi Ichino|arXiv (Cornell University)|Sep 24, 2014

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

ひとこと要約

本稿は、局所トータス対応を用いて、以前に解決済みのベッセルの場合へ還元することで、単位的群に対するグロス＝プロサード予想のフーリエ＝ジャコビの場合を確立する。アーチャーの多重度公式を用いて、(ほぼ)同ランク単位的双対対に関するプラサドの2つの予想を証明し、局所ラングランズ対応の文脈で、このグローバルな対応法則の、最初の具体的応用の一つを達成する。

ABSTRACT

We establish the Fourier-Jacobi case of the local Gross-Prasad conjecture for unitary groups, by using local theta correspondence to relate the Fourier-Jacobi case with the Bessel case established by Beuzart-Plessis. To achieve this, we prove two conjectures of D. Prasad on the precise description of the local theta correspondence for (almost) equal rank unitary dual pairs in terms of the local Langlands correspondence.

研究の動機と目的

• 非アーベル局所体上の単位的群に対するグロス＝プロサード予想のフーリエ＝ジャコビの場合を確立すること。
• D. プラサドが提起した、(ほぼ)同ランク単位的双対対における局所トータス対応の正確な記述に関する2つの予想を証明すること。
• アーチャーの多重度公式を適用して、局所ラングランズ対応の文脈におけるグローバルな対応法則の具体的応用を達成すること。
• ベッセルの場合の既知の結果を、トータス対応を通じてフーリエ＝ジャコビの場合へ拡張すること。

提案手法

• 局所トータス対応を用いて、グロス＝プロサード予想のフーリエ＝ジャコビの場合を、以前に確立済みのベッセルの場合へ関連付ける。
• 局所ラングランズ対応を通じて、ヴォーガンのL-パックェットと成分群の構造を分析することで、プラサドの局所トータス対応に関する予想を証明する。
• アーチャーの多重度公式を適用して、自動的L-パックェット内の表現の多重度を制御し、トータス移行の正確な特徴付けを可能にする。
• ヴォーガンの修正を含む強化された局所ラングランズ対応を用いて、L-パrameterとそれに関連する特徴の両方で表現をラベル化する。
• ねじれトレース公式の安定化およびワルドスピュルガーとモーリン＝ワルドスピュルガーの結果を用いて、単位的群におけるラングランズ対応の妥当性を保証する。
• 標準L関数のs=1における正則性を、ジェネリック性およびHom空間の非消滅の基準として用い、表現論的条件とL関数の振る舞いを結びつける。

実験結果

リサーチクエスチョン

• RQ1 非可約な滑らかな表現$\pi$に対する$\operatorname{Hom}_{\Delta H_n}(\pi, \omega_{\psi,\chi,W_n})$のHom空間が、どのような条件下で消えるか、または消えないか？
• RQ2 局所トータス対応は、グロス＝プロサード予想のベッセル場合とフーリエ＝ジャコビ場合における表現の間の関係をどのように正確に記述するか？
• RQ3 局所ラングランズ対応の観点から、(ほぼ)同ランク単位的双対対における局所トータス対応の正確な記述は何か？
• RQ4 アーチャーの多重度公式は、同ランクの場合におけるプラサドのトータス移行に関する予想をどのように検証できるか？

主な発見

• 特徴が0の非アーベル局所体上の単位的群に対して、グロス＝プロサード予想のフーリエ＝ジャコビの場合が確立された。
• 本稿では、局所トータス対応がベッセルの場合とフーリエ＝ジャコビの場合における関連する表現の間で全単射をなすことが証明され、FJの場合が既知のBesselの場合に還元された。
• D. プラサドが提起した、(ほぼ)同ランク単位的双対対における局所トータス対応に関する2つの予想が、局所ラングランズ対応とアーチャーの多重度公式を用いて検証された。
• 証明は、局所ラングランズ対応の文脈におけるアーチャーの多重度公式の具体的応用を示しており、表現論におけるグローバルな対応法則の利用という点で、顕著な一歩を踏み出した。
• Hom空間$\operatorname{Hom}_{\Delta H_n}(\pi, \nu)$の非消滅は、特定の標準L関数がs=1で正則であることと同値であり、表現論的条件とL関数理論を結びつける。
• 結果として、Hom空間の次元は1以下であり、非消滅の条件はL-パrameterとその関連する成分群によって決定される。