[論文レビュー] Smoothness Conditions in Cohomogeneity manifolds

Luigi Verdiani, Wolfgang Ziller|arXiv (Cornell University)|Apr 12, 2018

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

ひとこと要約

本稿では、特異軌道をもつ多様体上の共余次元1計量の滑らかさ条件を体系的に決定する手法を提示する。この問題はスライス内の有限個の2次元平面の解析に還元され、滑らかさの条件は計量成分に関する多項式条件として特徴づけられる：$\sum_{i,j}a_{ij}^{k}g_{ij}(t) = t^{d_k}\phi_k(t^2)$、ここで$\phi_k$は$t=0$で滑らかで、整数$a_{ij}^k$および$d_k$はリー代数のデータから得られる。

ABSTRACT

In this paper we discuss the smoothness conditions for metrics on a cohomogeneity one manifold, i.e. metrics invariant under a Lie group whose generic orbits are hypersurfaces. Along these hypersurfaces one describes the metrics in terms of a collection of functions defined along a geodesic normal to the hypersurfaces. In a neighborhood of a lower dimensional orbit the functions must satisfy certain smoothness conditions for the metric to extend smoothly. In general these can be quite complicated. We present a method that makes it straightforward to compute them, and illustrate it in several examples. This second version contains some improvements in exposition and a reformulation of Theorem B, with a proof added.

研究の動機と目的

• 多様体の正則部に定義された共余次元1計量が特異軌道に滑らかに拡張可能である明示的かつ計算可能な条件を導出すること。
• 等方表現の既約和成分を活用して、滑らかさ問題をスライス内の有限個の2次元平面条件に簡略化すること。
• アインシュタイン、ソリトン、または曲率制約付き計量を含む幾何的構成において、滑らかさの検証を実用的かつアルゴリズム的に行うフレームワークを提供すること。
• 以前の研究で提示された複雑なテイラー多項式条件を、計量成分におけるより取り扱いやすい多項式方程式系に置き換えること。

提案手法

• 滑らかさ条件は、等方表現の各既約和成分ごとに1つずつ対応する有限個の2次元平面$P_i = \{\dot{c}(0), v_i\}$における不変性の確認に還元される。
• 各2次元平面に対して、対応する1パラメータ部分群$L_i = \exp(\theta v_i)$の作用は、正規空間を$\mathbb{C}$-不変部分空間に分解し、その重み$n_i$から滑らかさ条件における整数$d_k$が定まる。
• 計量成分$g_{ij}(t)$は、$t=0$で定義された滑らかな関数$\phi_k$を用いて、$\sum_{i,j}a_{ij}^k g_{ij}(t) = t^{d_k} \phi_k(t^2)$を満たす必要がある。係数$a_{ij}^k$はリー括弧$[X_i, X_j]$から得られる。
• この手続きは、コンパクトおよび非コンパクトな共余次元1多様体の両方に対して適用可能であり、非コンパクトな場合は$[0,\infty)$上で、コンパクトな場合は2番目の特異軌道の補集合上で方程式が有効である。
• 具体的な例として$G_2/S_2$、$F_4/Spin(8)$、$Spin(9)/Spin(7)$を用い、リー代数構造から$a_{ij}^k$および$d_k$を明示的に計算している。
• このフレームワークは、[EW]で提示された抽象的なテイラー多項式条件を、曲率や存在性問題の解析に適した明示的かつ代数的な方程式系に置き換えている。

実験結果

リサーチクエスチョン

• RQ1 共余次元1計量の成分が特異軌道に滑らかに拡張可能であるために満たすべき明示的条件は何か？
• RQ2 滑らかさ条件は、無限次元的な要請から、スライス内の有限個の2次元平面条件にどのように還元できるか？
• RQ3 計量成分$g_{ij}(t)$とリー代数データの観点から、滑らかさ条件の正確な代数的形は何か？
• RQ4 滑らかさ条件における整数$a_{ij}^k$および$d_k$は、リー括弧構造および等方表現の重みとどのように関係しているか？
• RQ5 この手法を用いて、曲率同型計量の分類やアインシュタイン／ソリトン計量の初期値問題を解くことができるか？

主な発見

• 特異軌道における共余次元1計量の滑らかさは、等方表現の各既約和成分について、計量成分が$\sum_{i,j}a_{ij}^k g_{ij}(t) = t^{d_k}\phi_k(t^2)$の形の多項式方程式を満たすことと同値であり、ここで$\phi_k$は$t=0$で滑らかである。
• 必要な2次元平面条件の数は、$K/H$の等方表現における既約和成分の数に等しく、最大で4つである。
• 整数$a_{ij}^k$は正規空間$\mathfrak{n}$における基底ベクトル$X_i$のリー括弧$[X_i, X_j]$から定まる。一方、指数$d_k$は、正規空間上の$L_i$作用の重み$n_i$から生じる。
• $G_2/S_2$の例では、2次元平面$\{\dot{c}(0), F\}$に対して$a=1$が得られ、$L$-不変部分空間$\ell_1'$に対しては$d_1' = 1$となる。$d_7' = -1$の場合は、$d_k \geq 0$を保証するために基底の順序を逆転させる必要がある。
• $Spin(9)/Spin(7)$の場合、2つの1パラメータ部分群が必要となる：$L_1 = \exp(\theta Z_2)$は$a=2$、$k=1,3,5$に対して$d_k'=1$をもたらし、$d_7'=-1$は基底の再順序によって$+1$に修正される。一方、$L_2 = \exp(\theta S_{19})$は$a=1$、$k=2,\dots,8$に対して$d_k'=1$をもたらす。
• このフレームワークにより、初期値問題に対するアインシュタインおよびソリトン計量の解法に体系的なアプローチが可能となり、著者らの後続研究[VZ4]で示されたように、特異軌道での滑らかさがこれらの代数的制約を通じて保証される。