[論文レビュー] Infinite dimensional Riemannian symmetric spaces with fixed-sign curvature operator

Bruno Duchesne|arXiv (Cornell University)|Apr 26, 2012

Advanced Operator Algebra Research参考文献 39被引用数 13

ひとこと要約

本稿では、固定符号の曲率作用素を備えた無限次元リーマン対称空間に対して、新しい L*-代数の構成を導入し、完全な局所同型写像分類を確立する。各空間に対して直交分解 $𝖞{\mathfrak{g}} = \mathfrak{k} \oplus \mathfrak{p}$ を通じて一意な L*-代数を関連付けることで、局所同型写像が分解を保存する L*-代数同型写像と同値であることを証明し、非正または非負曲率条件の下でこれらの空間の完全な分類を可能にする。

ABSTRACT

We associate to any Riemannian symmetric space (of finite or infinite dimension) a L$^*$-algebra, under the assumption that the curvature operator has a fixed sign. L$^*$-algebras are Lie algebras with a pleasant Hilbert space structure. The L$^*$-algebra that we construct is a complete local isomorphism invariant and allows us to classify Riemannian symmetric spaces with fixed-sign curvature operator. The case of nonpositive curvature is emphasized.

研究の動機と目的

• 固定符号の曲率作用素を備えた無限次元リーマン対称空間を分類すること。
• 無限次元リー代数の一般分類が不足しているのを補うために、新しい代数的不変量を導入すること。
• リーマンテンソルから導かれる新しい L*-代数構成を用いて、完全な局所同型写像分類を確立すること。
• 曲率作用素の符号が固定されていることにより、L*-代数による完全な代数的分類が可能であることを示すこと。

提案手法

• リーマンテンソルを用いて曲率作用素 $C: \wedge^2 \mathfrak{p} \to \mathcal{L}(\mathfrak{p})$ を定義する：$\langle C(X \wedge Y), Z \wedge T \rangle = R(Y,X,Z,T)$。
• 接空間 $\mathfrak{p}$ と等長部分代数 $\mathfrak{k}$ からなる Hilbert 空間構造を備えた L*-代数 $\mathfrak{L} = \mathfrak{k} \oplus \mathfrak{p}$ を構成する。
• 生成されるリー代数が $\mathfrak{L}$ において稠密であり、キリング場の部分代数に同型であることを証明する。
• 曲率作用素を $\wedge^2 \mathfrak{p}$ に作用させ、スペクトル定理を用いて、曲率作用素が有界である場合には接空間を可換なリー三重系に分解する。
• 既約対称空間を、ヒルベルト・リー群（例：$U^2(\infty)$, $SO^2(\infty)$, $Sp^2(\infty)$）$G$ と、等長的対合の固定点集合の単位成分 $K$ からなる同次空間 $G/K$ として実現する。
• 単連結な対称空間が局所同型写像であるための必要十分条件として、それらに付随する L*-代数が分解を保存する同型写像であることであることを確立する。

実験結果

リサーチクエスチョン

• RQ1 固定符号の曲率作用素を備えた無限次元リーマン対称空間は、局所同型写像の意味で完全に分類可能か？
• RQ2 このような対称空間に、その局所幾何を符号化する標準的な L*-代数不変量が存在するか？
• RQ3 曲率作用素の有界性は、固定符号の曲率を持つ可換なリー三重系への接空間の分解を意味するか？
• RQ4 固定符号の曲率を備えたすべての既約対称空間は、ヒルベルト・リー群 $G$ とその部分群 $K$ からなる同次空間 $G/K$ として実現可能か？
• RQ5 固定符号の曲率条件は、曲率作用素が $\wedge^2 \mathfrak{p}$ 上で有界であることを意味するか？

主な発見

• 曲率作用素 $C$ が $\wedge^2 \mathfrak{p}$ 上で有界であるための必要十分条件は、リーマンテンソルが $\wedge^2 \mathfrak{p}$ 上で有界な対称双線形形式を定義することであるが、これは一般には成り立たない。たとえ有限ランクの対称空間に対しても同様である。
• 定曲率 $\kappa$ を備えた対称空間に対しては、任意の $U \in \wedge^2 \mathfrak{p}$ に対して $C(U) = \kappa U$ が成り立つため、曲率作用素は有界である。
• 固定符号の曲率作用素を備えた対称空間から構成される L*-代数 $\mathfrak{L}$ は、完全な局所同型写像不変量である。
• 固定符号の曲率作用素を備えた単連結なリーマン対称空間が局所同型写像であるための必要十分条件は、それらに付随する L*-代数が分解を保存する同型写像であることである。
• 固定符号の曲率を備えた既約対称空間の分類は、$U^2(\infty)$, $SO^2(\infty)$, $Sp^2(\infty)$ から生じるコンパクト型または非コンパクト型の既約対称正規直交 L*-代数の分類に帰着される。
• 固定符号の曲率作用素を備えたリーマン対称空間の普遍被覆は、ヒルベルト空間と単連結な、単純な L*-代数に付随する対称空間の直積と局所同型写像である。