[論文レビュー] The Plancherel Formula for Minimal Parabolic Subgroups

Joseph A. Wolf|arXiv (Cornell University)|Jun 27, 2013

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

ひとこと要約

この論文は、非可換群の最小パラボリック部分群 $P=MAN$ におけるノルム群 $N$ のプラナッシャー公式を拡張し、パフリアン多項式を用いて非ユニモジュラリティを解消し、完全に明示的なプラナッシャー公式を導出する。主な結果は、$AN$-不変関数の特性関数展開が、温度分布を用いて表され、プラナッシャー密度が $|\mathrm{Pf}(\lambda)|$ で与えられることであり、これは段階的平方可積分なノルム群に関する先行研究をパラボリック部分群へ一般化するものである。

ABSTRACT

In a recent paper we found conditions for a nilpotent Lie group to be foliated into subgroups that have square integrable unitary representations that fit together to form a filtration by normal subgroups. That resulted in explicit character formulae, Plancherel formulae and multiplicity formulae. We also showed that nilradicals $N$ of minimal parabolic subgroups $P = MAN$ enjoy that "stepwise square integrable" property. Here we extend those results from $N$ to $P$. The Pfaffian polynomials, which give orthogonality relations and Plancherel density for $N$, also give a semiinvariant differential operator that compensates lack of unimodularity for $P$. The result is a completely explicit Plancherel formula for $P$.

研究の動機と目的

• 最小パラボリック部分群のノルム群 $N$ におけるプラナッシャー公式を、全パラボリック部分群 $P=MAN$ に拡張すること。
• パフリアン多項式から導かれる半不変微分作用素を用いて、$P$ の非ユニモジュラリティ問題を解消すること。
• 段階的平方可積分なノルム群の理論を、最小パラボリック部分群の設定に一般化すること。
• 制限付き根系と強直交基底の構造を用いて、$AN$ における完全で明示的なプラナッシャー分解を提供すること。

提案手法

• ノルム群 $N$ の段階的平方可積分構造を用い、正規部分群 $N_r=L_1\dots L_r$ を通じて $P=MAN$ のフィルトレーションを構築する。
• 各層 $\mathfrak{l}_r/\mathfrak{z}_r$ におけるパフリアンの積として定義されるパフリアン多項式 $\mathrm{Pf}(\lambda)$ を導入し、プラナッシャー密度を符号化する。
• $P$ のユニモジュラリティの欠如を補うために、パフリアン構造から導かれる半不変微分作用素 $D$ を $AN$ 上に定義する。
• $A$-作用の平均化を用いて、$AN$ の既約表現 $\pi_{\lambda,\phi}$ の温度分布特性関数 $\Theta_{\pi_{\lambda,\phi}}$ を構成する。
• $\lambda \in \mathfrak{t}^*$ および $\phi \in \mathfrak{a}^*_{\diamondsuit}$ における積分を用いてプラナッシャー公式を適用し、重み $|\mathrm{Pf}(\lambda)|$ を用いて $f \in \mathcal{C}(AN)$ に対して $f(1)$ を回復する。
• 強直交基底の段階的制限付き根 $\beta_1, \dots, \beta_m$ を用いて、ワイル群作用を解析し、最高重みの双対性を検証する。

実験結果

リサーチクエスチョン

• RQ1 ノルム群におけるプラナッシャー公式を、最小パラボリック部分群 $P=MAN$ 全体に拡張するにはどうすればよいか？
• RQ2 パフリアン多項式 $\mathrm{Pf}(\lambda)$ は、$P$ の非ユニモジュラリティを補正するために果たす役割は何か？
• RQ3 $AN$ の表現 $\pi_{\lambda,\phi}$ はプラナッシャー測度の下でどのように分解され、その特性関数構造は何か？
• RQ4 制限付き根系を用いて、段階的平方可積分なノルム群の理論をパラボリック部分群へ拡張可能か？
• RQ5 $\lambda$ と $\phi$ の観点から、$AN$ におけるプラナッシャー分解の正確な形は何か？また、それは関数の恒等元における値をどのように回復するか？

主な発見

• 関数 $f(x)$ のプラナッシャー公式は、$f(x) = c \sum_{i=1}^{v} \int_{\lambda \in S_i} \int_{\mathfrak{a}^*_{\diamondsuit}} \mathrm{trace}\, \pi_{\lambda,\phi}(D(r(x)f)) |\mathrm{Pf}(\lambda)| \, d\lambda \, d\phi$ として明示的に与えられ、$c = 2^{d_1+\cdots+d_m} d_1! \cdots d_m!$ である。
• $\widehat{AN}$ のユニタリ双対のプラナッシャー密度は $|\mathrm{Pf}(\lambda)|$ で与えられ、ここで $\mathrm{Pf}(\lambda)$ は段階的平方可積分構造の各層におけるパフリアンの積である。
• 特性関数 $\Theta_{\pi_{\lambda,\phi}}$ は温度分布であるため、シュワーツ空間 $\mathcal{C}(AN)$ 上で公式が適切に定義される。
• 合成写像 $s_{\beta_1} \cdots s_{\beta_m}$ は、制限付きワイル群の最長元を表し、$\Delta^+$ を $-\Delta^+$ に写す。これは表現論における双対性の根拠をなす。
• 双対表現の最高重み $\nu^*$ は、$\nu + \nu^* = \sum \frac{2\langle\nu,\beta_i\rangle}{\langle\beta_i,\beta_i\rangle} \beta_i$ を満たし、これは強直交基底の制限付き根の線形結合である。
• 公式により、$f(1) = h(1_{AN})$（$h = r(x)f$）が回復され、プラナッシャー分解が一貫的かつ完全であることが確認される。