[論文レビュー] Homogeneous Lorentz manifolds with simple isometry group

Dave Witte|ArXiv.org|Jul 24, 2000

Geometric Analysis and Curvature Flows参考文献 12被引用数 6

ひとこと要約

この論文は、単純な等長群をもつ同次ローレンツ多様体を分類し、$G = \mathrm{SO}(1,n)^\circ$ ($n \geq 3$) または $G = \mathrm{SO}(2,n)^\circ$ ($n \geq 3$) の場合、任意の閉部分群 $H$ が $G$-不変なローレンツ計量を持つならば、$\mathrm{Ad}_G H$ が非コンパクトな閉包を持つという条件下で、$H^\circ$ がそれぞれ $\mathrm{SO}(1,n-1)^\circ$ または $\mathrm{SO}(1,n)^\circ$ に共役であることを証明する。この結果は、単純なリー群における非リーマン型の場合の、このようなローレンツ構造の分類を完成させるものである。

ABSTRACT

Let H be a closed, noncompact subgroup of a simple Lie group G, such that G/H admits an invariant Lorentz metric. We show that if G = SO(2,n), with n > 2, then the identity component of H is conjugate to the identity component of SO(1,n). Also, if G = SO(1,n), with n > 2, then the identity component of H is conjugate to the identity component of SO(1,n-1).

研究の動機と目的

• 中心が有限な単純リー群 $G$ で、$G$-不変なローレンツ計量を持つ同次ローレンツ多様体 $G/H$ を分類すること。
• N. Kowalsky の分類を、コンパクト性の仮定を外すが、ほとんど単純な $G$ に制限し、非リーマン型のケース $G \simeq \mathrm{SO}(1,n)$ および $G \simeq \mathrm{SO}(2,n)$ に焦点を当てる。
• $G/H$ に $G$-不変なローレンツ計量を持ち、$\mathrm{Ad}_G H$ が非コンパクトな閉包を持つような閉部分群 $H \subset G$ の構造を特定すること。
• これらのケースにおいて、恒等成分 $H^\circ$ が、それぞれ標準的部分群 $\mathrm{SO}(1,n-1)^\circ$ や $\mathrm{SO}(1,n)^\circ$ に共役でなければならないことを証明すること。

提案手法

• リー代数 $\mathfrak{g} = \mathfrak{so}(1,n)$ や $\mathfrak{so}(2,n)$ における表現論的技法を用い、$H$ の $\mathfrak{g}/\mathfrak{h}$ へのアドジョイント作用を分析する。
• Iwasawa 分解 $\mathfrak{g} = \mathfrak{k} + \mathfrak{a} + \mathfrak{n}$ を用いて、ルート空間分解と重み空間を研究する。
• $\mathrm{Ad}_G H$ の $\mathfrak{g}/\mathfrak{h}$ への作用を、重み空間と双曲的要素を介して分析し、特に $u \in \mathfrak{n}$ に対する $\pi(u)^2$ の像に注目する。
• $\mathrm{Ad}_G H$-不変なミンコフスキー形式が $\mathfrak{g}/\mathfrak{h}$ に存在するための必要十分条件が、$\mathrm{Ad}_G H$ の作用で形式が保存されることであることを用い、問題を代数的制約に還元する。
• ルート空間 $\mathfrak{g}_\alpha$, $\mathfrak{g}_{\alpha+\beta}$ などの構造に基づく背理法を用いて、標準的でない部分代数を除外する。
• コンパクト部分群 $M$ は非自明なユニポテンツまたは双曲的要素を含まないという事実を用い、$W = \mathrm{span}\{(\mathrm{ad}_u)^2 v\}$ にこのような要素が現れる場合に背理を導く。

実験結果

リサーチクエスチョン

• RQ1 $G = \mathrm{SO}(1,n)^\circ$ で $n \geq 3$ の場合、$G/H$ に $G$-不変なローレンツ計量が存在し、$\mathrm{Ad}_G H$ が非コンパクトな閉包を持つような閉部分群 $H$ の可能性は何か？
• RQ2 $G = \mathrm{SO}(2,n)^\circ$ で $n \geq 3$ の場合、$G$-不変なローレンツ計量を持つ閉部分群 $H$ で、$\mathrm{Ad}_G H$ が非コンパクトであるものは何か？
• RQ3 このような $H$ の唯一の可能性は、$\mathrm{SO}(1,n-1)^\circ$ の $\mathrm{SO}(1,n)^\circ$ 内の標準的埋め込み、または $\mathrm{SO}(1,n)^\circ$ の $\mathrm{SO}(2,n)^\circ$ 内の標準的埋め込みであるか？
• RQ4 非リーマン型の単純な $G$ に対して、非標準的で（例えば離散的または標準的部分代数に共役でない）部分群 $H$ が出現しうるか？
• RQ5 $\mathfrak{h} \subset \mathfrak{g}$ にどのような代数的条件を課すと、$\mathrm{Ad}_G H$-不変なミンコフスキー形式が $\mathfrak{g}/\mathfrak{h}$ に存在するか？

主な発見

• $G = \mathrm{SO}(1,n)^\circ$ で $n \geq 3$ の場合、$\mathrm{Ad}_G H$ が非コンパクトで、$G/H$ に $G$-不変なローレンツ計量が存在する任意の閉部分群 $H$ に対して、$H^\circ$ は $\mathrm{SO}(1,n-1)^\circ$ に共役でなければならない。
• $G = \mathrm{SO}(2,n)^\circ$ で $n \geq 3$ の場合、同様に $H^\circ$ は $\mathrm{SO}(1,n)^\circ$ に共役でなければならない。
• 例外は $\mathrm{SO}(1,2)^\circ$ の場合で、$n=2$ のとき $H$ が離散的になり得る。
• 分類は、$\mathfrak{g}/\mathfrak{h}$ における $\mathrm{Ad}_G H$ の作用をルート空間分解と重み空間構造を用いて分析することに依存する。
• 証明では、$H^\circ$ が標準的部分群に共役でない場合、$W = \mathrm{span}\{(\mathrm{ad}_u)^2 v\}$ に非自明な双曲的またはユニポテンツ要素が含まれることを示し、$M \subset \mathrm{Ad}_G H$ のコンパクト性に反する。
• この結果により、非リーマン型の単純等長群をもつ同次ローレンツ多様体として、$\mathrm{SO}(1,n)^\circ/\mathrm{SO}(1,n-1)^\circ$ および $\mathrm{SO}(2,n)^\circ/\mathrm{SO}(1,n)^\circ$ の標準的対称空間が唯一のものであることが確認された。