[論文レビュー] Invariant differential operators on nonreductive homogeneous spaces

Tom H. Koornwinder|ArXiv.org|Aug 16, 2000

Differential Equations and Numerical Methods参考文献 5被引用数 10

ひとこと要約

本稿は、再帰的でない同次空間 G/H における G-不変微分作用素の理論を体系的に展開し、ヘルガソンの再帰的ケースの枠組みを一般化する。特に対称空間が再帰的でない場合であっても、等方的擬リーマン幾何的対称空間における不変微分作用素の代数は、ラプラス＝ベルトラミー作用素によって生成され、したがって可換であることが示された。

ABSTRACT

A systematic exposition is given of the theory of invariant differential operators on a not necessarily reductive homogeneous space. This exposition is modelled on Helgason's treatment of the general reductive case and the special non-reductive case of the space of horocycles. As a final application the differential operators on (not a priori reductive) isotropic pseudo-Riemannian spaces are characterized.

研究の動機と目的

• 再帰的同次空間 G/H における G-不変微分作用素の理論を、非再帰的同次空間 G/H に拡張すること。
• 部分群 H が再帰的分解をもたらさない場合に、ヘルガソンの再帰的空間に対する枠組みを一般化すること。
• 再帰的仮定なしに、等方的擬リーマン対称空間における不変微分作用素の代数を特徴づけること。
• 非再帰的 G/H 上の同次線束における不変微分作用素の体系的取り扱いを提供すること。
• 等方的擬リーマン空間において D(G/H) が可換であることを、再帰的仮定に依存しない新しい証明により確立すること。

提案手法

• 対称化写像 λ: S(g) → D(G) を適応し、G 上の左不変微分作用素を定義する。
• G 上の右 H-不変微分作用素の代数 D_H(G) を導入し、D_H(G) = D(G)h ∩ D_H(G) ⊕ λ(I(m)) の分解を用いてその構造を同定する。
• 商写像 π: G → G/H を用い、G から G/H への作用素の持ち上げを定義し、f ∈ C∞(G/H) に対して D_u(f) := (u f̃)∼ を定める。
• 定理 1.1 を適用し、写像 u ↦ D_u が全単射代数準同型であり、核が D(G)h ∩ D_H(G) であることを示し、P ↦ D_λ(P) が I(m) から D(G/H) への線形同型であることを示す。
• 文字χを用いたモジュラリティの概念を導入し、D_H,χ,mod(G) を右 H-不変微分作用素の空間として定義し、ねじれ不変性条件を満たすものとする。
• 補題 4.1 を適用し、I_mod(m) が P₁,…,P_l で生成され、Q_i ∈ S_m で deg(P_i - Q_i) < deg P_i かつ λ(Q_i) ∈ D_H,χ,mod(G) を満たすとき、D_H,χ,mod|C∞_H,χ(G) が BAλ(Q₁),…,BAλ(Q_l) で生成されることを示す。

実験結果

リサーチクエスチョン

• RQ1 再帰的同次空間における G-不変微分作用素の理論を、非再帰的 G/H にどのように一般化できるか？
• RQ2 非再帰的 G/H における G-不変微分作用素の代数 D(G/H) が可換であるための条件は何か？
• RQ3 再帰的仮定なしに、等方的擬リーマン対称空間における D(G/H) の可換性を証明できるか？
• RQ4 非再帰的 G/H 上の同次線束における不変微分作用素はどのように振る舞うか？
• RQ5 代数 D_H,χ,mod(G) の構造は何か？また、写像 BA を通じて D(G/H) とどのように関係するか？

主な発見

• P ↦ D_λ(P) は I(m) から D(G/H) への線形同型であり、再帰的ケースを一般化する。
• 水平超曲面 G/MN の空間において、代数 D(G/N) は S(h^ℝ) に同型であり、したがって可換である。
• 等方的擬リーマン対称空間における代数 D(G/H) は、ラプラス＝ベルトラミー作用素 Δ によって生成され、したがって可換である。
• 定理 4.2 は、dτ(H)-不変な符号 (r₁,r₂) の双線形形式の存在と、そのレベル集合への推移的作用にのみ依存して、等方的空間における D(G/H) の可換性を証明する。再帰的仮定は不要である。
• 定理 4.2 の証明は、G/H が対称的かつ再帰的であることを示すウルフの分類に依存せず、より一般に成立することを示している。
• I_mod(m) の生成子にやや弱い条件を課した場合、D_H,χ,mod(G) の構造が BAλ(Q₁),…,BAλ(Q_l) で生成されることを示し、不変作用素の帰納的構成が可能になる。