[論文レビュー] Einstein solvmanifolds are standard

Jorge Lauret|arXiv (Cornell University)|Mar 15, 2007

Geometric Analysis and Curvature Flows参考文献 8被引用数 7

ひとこと要約

この論文は、すべてのアインシュタイン・ソルブマンフォールドが標準的であることを証明し、同調的アインシュタイン幾何学における重要な予想を解決する。キルワンの幾何的不変量理論の区分化をリー代数の空間に適応することで、任意のアインシュタイン・ソルブマンフォールドが標準的条件（導来代数の交換子代数の消滅）を満たすことを示し、ヘーバーの構造的および一意性に関する結果を、すべてのアインシュタイン・ソルブマンフォールドに拡張する。

ABSTRACT

We study Einstein manifolds admitting a transitive solvable Lie group of isometries (solvmanifolds). It is conjectured that these exhaust the class of noncompact homogeneous Einstein manifolds. J. Heber has showed that under certain simple algebraic condition called standard (i.e. the orthogonal complement of the derived algebra is abelian), Einstein solvmanifolds have many remarkable structural and uniqueness properties. In this paper, we prove that any Einstein solvmanifold is standard, by applying a stratification procedure from geometric invariant theory due to F. Kirwan.

研究の動機と目的

• すべての非コンパクトな同調的アインシュタイン多様体がソルブマンフォールドであるという予想を、すべてのアインシュタイン・ソルブマンフォールドが標準的条件を満たすことを証明することで解決すること。
• 標準的アインシュタイン・ソルブマンフォールドにのみ知られていた構造的および一意性の性質が、標準的仮定がなくても普遍的に成り立つことを確立すること。
• 幾何的不変量理論の技法、特にキルワンの区分化を、リー代数の空間に応用して、アインシュタイン計量の文脈における不安定性を分析すること。
• リー代数の空間における不安定性の方向として可能なのは、唯一標準的条件に対応するものであり、それによってすべてのアインシュタイン・ソルブマンフォールドが標準的であることが強制されることを示すこと。
• アインシュタイン・ソルブマンフォールドの分類を統一し、アインシュタイン・ソルブマンフォールドのモジュライ空間が標準的ものの部分空間と一致することを証明すること。

提案手法

• 実代数的多様体としてのリー代数の空間 $V_n = \Lambda^2(\mathbb{R}^n)^* \otimes \mathbb{R}^n$ に対して、キルワンの区分化手順を幾何的不変量理論から適応する。
• 各ストラトゥム $\mathcal{S}_\beta$ が対角行列 $\beta \in \mathcal{B}$ によってパラメトライズされる、$\mathrm{GL}_n(\mathbb{R})$-不変な $V_n$ の区分化を定義する。
• 任意の非ゼロのリー代数 $\mu$ が一意に特定されたストラトゥム $\mathcal{S}_\beta$ に属することを用い、$\mathrm{O}(n)$-共役を適用して $\mu$ を $\mathcal{S}_\beta$ 内の半安定集合 $Y_\beta^{ss} \subset \mathcal{S}_\beta$ に配置する。
• アインシュタイン条件をトレース恒等式の形で適用する：すべての $E \in \operatorname{End}(\mathfrak{s})$ に対して $\operatorname{tr}\left(\left(cI + \tfrac{1}{2}B + S(\operatorname{ad} H)\right)E\right) = \tfrac{1}{4}\langle \pi(E)\mu, \mu \rangle$。
• ブロック対角形式 $E|_{\mathfrak{a}} = 0$, $E|_{\mathfrak{n}} = \beta + \|\beta\|^2 I$ を持つ特定の自己準同型 $E$ を構成し、アインシュタイン方程式から逆方向のコーシー・シュワルツ不等式を導出する。
• 逆方向のコーシー・シュワルツ不等式の等号成立条件を用いて、$[\mathfrak{a}, \mathfrak{a}] = 0$ を導出し、標準的条件を証明する。

実験結果

リサーチクエスチョン

• RQ1 すべてのアインシュタイン・ソルブマンフォールドは必然的に標準的であるか、すなわち任意のアインシュタイン・ソルブマンフォールドにおいて $[\mathfrak{a}, \mathfrak{a}] = 0$ が成り立つか？
• RQ2 幾何的不変量理論におけるキルワンの区分化法を、実代数的群に適応して、アインシュタイン・ソルブマンフォールドの構造を分析できるか？
• RQ3 アインシュタイン・ソルブマンフォールドのモジュライ空間は、標準的アインシュタイン・ソルブマンフォールドの部分空間と一致するか？
• RQ4 アインシュタイン条件は、リー代数およびその代数的不安定性にどのような影響を及えるか？
• RQ5 標準的アインシュタイン・ソルブマンフォールドにのみ知られていた一意性および構造的性質は、すべてのアインシュタイン・ソルブマンフォールドに拡張可能か？

主な発見

• すべてのアインシュタイン・ソルブマンフォールドは標準的である：任意のアインシュタイン・ソルブマンフォールドにおいて $[\mathfrak{a}, \mathfrak{a}] = 0$ が成り立つ。
• 固定次元およびスカラー曲率 $-1$ のアインシュタイン・ソルブマンフォールドのモジュライ空間 $\mathcal{M}$ は、標準的アインシュタイン・ソルブマンフォールドの部分空間 $\mathcal{M}_{\mathrm{st}}$ と一致する。
• アインシュタイン方程式から導かれた逆方向のコーシー・シュワルツ不等式により、トレース計算におけるすべての中間不等式が等号となることが強制され、それによって $[\mathfrak{a}, \mathfrak{a}] = 0$ が導かれる。
• 証明は、アインシュタイン・ソルブマンフォールドのリー代数の不安定性方向として可能なのは、唯一標準的条件を強制するものであり、$\mathrm{O}(n)$ の作用と半安定性条件を通じて実現されることを示している。
• 自己準同型 $H$ の随伴作用の固有値型は等長変換のもとで保存され、標準的構造の完全不変量であるが、今やすべてのアインシュタイン・ソルブマンフォールドに適用可能である。
• この結果により、標準的アインシュタイン・ソルブマンフォールドにのみ成り立っていた構造的および一意性の結果（たとえば、等長変換およびスケーリングの意味での一意性、固有値型の成分が半代数的集合に同相であること）が、普遍的に成り立つことが確認された。