[論文レビュー] The Bessel Period Functional on SO(5): The Nontempered Case

Yannan Qiu|arXiv (Cornell University)|Dec 20, 2013

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

ひとこと要約

本稿は、体 k 上の四元数代数 D から生じる内包形 SO(4,1) を焦点に、非温度的状況における分解型直交群 SO(5) におけるベッセル周期関数の構造を調査する。四元数ユニタリ群 GU₂(D) と SO(V_D) の間の関係を確立し、GU₂(D) が行列式 1 の 5 次元の二次形式空間 V_D に作用することを示し、PGU₂(D) ≅ SO(V_D) の同型を証明する。これは、非温度的状況における Soudry パックェージを研究するための重要な道具を提供する。

ABSTRACT

For automorphic representations in the nontempered cuspidal spectrum of $\mathrm{SO}_5$, we prove the refined Gan-Gross-Prasad conjecture by establishing a precise Bessel period formula, in which the square of the global Bessel period is expressed as an Euler product of regularized local Bessel period integrals of matrix coefficients.

研究の動機と目的

• SO(5) におけるベッセル周期関数の非温度的状況、特に内包形 SO(4,1) における解析を目的とする。
• 体 k 上の四元数代数 D から、行列式 1 かつ D が非分裂のときウィット指数 1 を持つ 5 次元の二次形式空間 V_D を構成することを目的とする。
• 四元数ユニタリ群 GU₂(D) を定義し、その V_D への共役作用を通じた作用を示すこと。
• PGU₂(D) ≅ SO(V_D) の同型を確立し、ユニタリ群と V_D 上の直交群を結びつけること。
• 非温度的状況における Soudry パックェージの構成に役立つ基盤的道具を提供すること。

提案手法

• 体 k 上の四元数代数 D を用いて 5 次元の二次形式空間 V_D を定義する。Y = (x′₁Dx′′₁D̄X) ∈ M₂×₂(D) とし、x′, x′′ ∈ F かつ Tr_D/k(X) = 0 を満たす。
• 二次形式 q_D(Y) = ¼ Tr_D/k[Tr(Y²)] = x′x′′ - Nm_D/k(X) を定義し、これにより V_D の構造が決定される。
• D が分裂している場合、V_D のウィット指数は 2 であり、非分裂の場合には 1 であることを示し、SO(3,2) と SO(4,1) の場合を区別する。
• 四元数ユニタリ群 GU₂(D) を、g ∈ GL₂(D) で tḡ(1_D 1_D; 0 g) = ν(g)(1_D 1_D; 0 1_D) を満たし、ν(g) ∈ k× となるような群として定義する。
• GU₂(D) が V_D に g∘Y = gYg⁻¹ により作用することを示し、この作用が PGU₂(D) ≅ SO(V_D) の群同型を誘導することを確立する。
• ヒルベルトの定理 90 と射影写像 pr(x′) = x′ι/x′ を用いて、k′× の構造を分析し、O₂ の構成に必要な情報を得る。

実験結果

リサーチクエスチョン

• RQ1 非温度的状況において、特に内包形 SO(4,1) に制限されたとき、SO(5) 上のベッセル周期関数はどのように振る舞うか。
• RQ2 体 k 上の四元数代数 D に関連する 5 次元の二次形式空間 V_D の構造は何か。また、そのウィット指数は D が分裂しているか非分裂しているかにどのように依存するか。
• RQ3 四元数ユニタリ群 GU₂(D) と直交群 SO(V_D) の関係は何か。また、PGU₂(D) ≅ SO(V_D) に誘導される同型の性質は何か。
• RQ4 GU₂(D) が V_D に共役作用 g∘Y = gYg⁻¹ により作用する際、非温度的状況における Soudry パックェージの構成に果たす役割は何か。
• RQ5 変化する D に対して得られる SO(V_D) が、すべての型 SO(3,2) および SO(4,1) の群をどのように網羅するか。この分類の意義は何か。

主な発見

• SO(V_D) は PGU₂(D) に同型であり、これは D 上の四元数代数に関する射影ユニタリ群としての SO(V_D) の明示的実現を提供する。
• D が分裂している場合（D = M₂×₂(F)）、GU₂(D) は類似シンプレクティック群 {g ∈ GL₄ : gJ₁tg = ν(g)J₁} と一致し、古典的構成と四元数的構成を結びつける。
• 5 次元空間 V_D は行列式 1 を持ち、D が分裂している場合（SO(3,2) を与える）ウィット指数 2、非分裂の場合（SO(4,1) を与える）ウィット指数 1 を持つ。
• 共役作用 g∘Y = gYg⁻¹ による GU₂(D) の V_D への作用は、well-defined であり、二次形式 q_D を保存するため、自然な群作用である。
• 同型 PGU₂(D) ≅ SO(V_D) は、共役作用によって誘導され、非温度的状況におけるユニタリ群と直交群の間の深い関係を確立する。
• 四元数代数を用いた SO(V_D) の構成により、すべての型 SO(3,2) および SO(4,1) の群が網羅され、これらがまさにこのような代数から生じる SO(5) の内包形であることが示された。