[論文レビュー] The $(g,K)$-module structures of principal series representations of $Sp(3,R)$

Tadashi Miyazaki|ArXiv.org|Jun 1, 2007

Algebraic structures and combinatorial models参考文献 9被引用数 5

ひとこと要約

この論文は、線形写像 Γτ,i の行列表現を計算することにより、Sp(3, R) の主系列表現の (g, K)-加群構造を明示的に決定する。ここで Γτ,i は、pC が K-型に作用する様子を符号化している。応用として、Whittaker 関数を特徴付ける正則系の微分方程式系が導かれる。これにより、表現論的技法を用いてこれらの関数の明示的公式を完全に計算可能となる。

ABSTRACT

We describe explicitly the whole structures of the $(g,K)$-modules of principal series representations of $Sp(3,R)$. We apply this result to determine the holonomic system characterizing those Whittaker functions.

研究の動機と目的

• Sp(3, R)、ランク3の実シンプレクティック群である主系列表現の完全な (g, K)-加群構造を同定すること。
• Sp(2, R) に関する先行研究を、構造がまだ十分に理解されていない高ランク古典的群へ一般化すること。
• K-型成分における pC の作用を符号化する線形写像 Γτ,i を計算すること。これは加群構造を実現するために不可欠である。
• これらの計算を応用し、Whittaker 関数が満たす正則系の微分方程式系を導出すること。
• 得られた (g, K)-加群データから導かれる系を用いて、Whittaker 関数の明示的計算を可能にすること。

提案手法

• kC ≃ gl(3, C) の有限次元既約表現のモノミアル基底（Gelfand-Zelevinsky 基底）を用い、K による pC へのアドジョイント作用を分析する。
• Vτ ⊗C pC を K-加群として既約分解し、明示的な K-準同型 ιi: Vτi → Vτ ⊗C pC を構成する。
• 写像 Γτ,i: HomK(Vτ, Hπ,K) → HomK(Vτi, Hπ,K) は、ιi との合成および pC の作用を介して定義され、その行列表現が計算される。
• 構成は、Clebsch-Gordan 系数および K-加群の表現論的分解技法に依拠する。
• 得られた Γτ,i 写像は、Casimir 要素と整合するシフト作用素を導き、微分方程式に繋がる。
• これらの微分方程式は、定理 6.12 において正則系をなすことが示され、Whittaker 関数を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 Sp(3, R) の主系列表現の完全な (g, K)-加群構造は何か？
• RQ2 pC が K-型に作用する様子を、写像 Γτ,i を用いてどのように明示的に記述できるか？
• RQ3 Whittaker 関数を特徴付ける正則系の微分方程式は何か？
• RQ4 Γτ,i 写像は、Whittaker 関数の文脈でシフト作用素および Casimir 要素とどのように関係するか？
• RQ5 この設定における多重度自由な K-型に対して、Whittaker 関数の空間の次元は何か？

主な発見

• 定理 5.6 において、写像 Γτ,i の行列表現が明示的に計算され、Sp(3, R) の主系列表現の (g, K)-加群構造が完全に記述された。
• 定理 6.12 の正則系微分方程式は、ランク 48 の K-型 (l,l,l−1) の Whittaker 関数を特徴づけ、Kostant の結果から得られる相互作用空間の次元と一致する。
• K-型 (l,l,l−1) に対して、Whittaker 関数の空間の次元は 48 であり、多重度自由性が確認され、既知の表現論的上限と整合的である。
• Whittaker 関数の系には、3 つの成分 φ(2)T,l;i (i=1,2,3) が含まれ、それぞれ変数係数をもつ連立偏微分方程式系を満たす。
• この系の微分作用素は Γτ,i 写像から導かれ、y1, y2, y3 における一階微分と、パrameter l, ν, σ を含む二階項を含む。
• この系は正則的であり、ランク 48 であり、∂y1, ∂y2, ∂y3 および y1, y2, y3 の有理関数を含む明示的方程式であり、パrameter l と符号 εσ でパラメータ化されている。