[論文レビュー] On M. Mueter's Ph.D. Thesis on Cheeger deformations

Wolfgang Ziller|ArXiv.org|Sep 1, 2009

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

ひとこと要約

この論文は、マイケル・ミューテルの非公開の1987年博士論文であるチーバー変形—非負の曲率を保ちながら群の軌道に沿って計量を縮小するリーマン計量変形技術—の要約である。リーマン的準同型写像の構成と、軌道テンソル $ P_t $ および計量テンソル $ C_t $ を含む曲率公式を用いて、曲率の振る舞いは $ C_t^{-1} $ を通じて動く平面で最もよく分析できることを示し、$ \text{SU}(2) $ や $ \text{SO}(3) $ の作用に対しては、非自明な軌道射影を持つ任意の2次元平面が十分大きな $ t $ で正の曲率をとることを証明しており、正曲率幾何学の主要な結果に対する簡潔な証明を提供する。

ABSTRACT

These are notes of a talk I gave in a seminar at the University of Pennsylvania summarizing results in the Ph.D. thesis of Michael Mueter obtained under the direction of Wolfgang Meyer at the University of Muenster. His thesis on "Kruemmungserhoehende Deformationen mittels Gruppenaktionen" examines in detail curvature properties of so called Cheeger deformations. Such deformations have been a crucial ingredient in non-negative and positive curvature constructions. His thesis contains a wealth of interesting properties of such deformations, but since it was never published, is only known to a few experts. I have no intention to publish these notes, but post them as a service to the public. A scanned version of his thesis (written in German) is available on my homepage.

研究の動機と目的

• マイケル・ミューテルの非公開1987年博士論文に含まれるチーバー変形の詳細な曲率解析を、基礎的ではあるが難解な資源であるため、一般に利用可能にする。
• チーバー変形下での部分的曲率の振る舞いを明確にする。特に、固定された平面の曲率が負になるという直感に反する事実—元の計量が非負曲率を持つ場合でも—、および、元の計量が非負曲率を持つとき、元の計量が非負曲率を持つならば、$ C_t^{-1} $ を通じて変換された動く平面 $ \text{span}\{C_t^{-1}X, C_t^{-1}Y\} $ の曲率も非負曲率を保つという事実を明らかにする。
• リーマン幾何学および正曲率計量を研究する研究者を対象に、ミューテルの結果の自己完結的要約を提供する。これには、曲率公式と幾何的洞察が含まれる。
• チーバー変形が、同次空間、双商環、および共型1次元多様体における非負および正曲率計量の構築と解析にどのように有用であるかを強調する。

提案手法

• 作用 $ (p,g) \mapsto g^{-1}p $ を通じて $ M \times G \to M $ へのリーマン的準同型写像 $ \sigma $ を構成し、$ M $ 上の1パラメータ族計量 $ g_t $ を誘導する。
• 軌道テンソル $ P_t $ を $ Q(P_t(X),Y) = g_t(X^*,Y^*)_p $（$ X,Y \in \mathfrak{m}_p $）で定義し、$ P_t = P(I + tP)^{-1} $ を導出する。
• 計量テンソル $ C_t $ を $ g(C_t(X),Y) = g_t(X,Y) $ を満たすように定義し、$ C_t(V) = (I + tP)^{-1}(V^\mathcal{V}) + V^\mathcal{H} $ を得る。
• 非正規化された部分的曲率 $ \kappa_c(t) $ を分析し、内在的曲率、$ \|[P(V_\mathfrak{m}), P(W_\mathfrak{m})]\|_Q^2 $ を含む項、およびO’Neill型補正項 $ z(V,W,t) $ に分解する。
• $ C_t^{-1} $ を用いて動く平面の曲率を追跡し、元の計量が非負曲率を持つならば、そのような平面の像の曲率も非負曲率を保つことを示す。
• 形式的枠組みを適用し、$ \text{SU}(2) $ または $ \text{SO}(3) $ の作用に対しては、すべての非自明な軌道射影を持つ2次元平面が $ t \to \infty $ の極限で正曲率をとることを証明する。

実験結果

リサーチクエスチョン

• RQ1 元の曲率が非負である場合、チーバー変形下での2次元平面の部分的曲率はどのように変化するか？
• RQ2 元の計量が非負曲率を持つ場合でも、固定された平面 $ \text{span}\{X,Y\} $ の曲率が $ t > 0 $ 時に負になるのはなぜか？
• RQ3 なぜ固定された平面ではなく、動く平面 $ \text{span}\{C_t^{-1}X, C_t^{-1}Y\} $ で曲率を分析するのがより適切なのか、幾何的根拠は何か？
• RQ4 チーバー変形が非負曲率を保ちまたは強化する条件は何か、特に $ t \to \infty $ の極限においては？
• RQ5 チーバー変形を用いて、同次空間や双商環空間に正曲率計量を構築したり、その存在を示したりできるか？

主な発見

• $ \text{SU}(2) $ または $ \text{SO}(3) $ の作用に対しては、軌道への非自明な射影を持つ任意の2次元平面は、十分大きな $ t $ で正曲率をとる。これは、初期に負曲率を示していたとしても成り立つ。
• 非正規化された部分的曲率 $ \kappa_c(t) $ は $ g(R(V,W),V,W) + \frac{t^3}{4}\|[P(V_\mathfrak{m}), P(W_\mathfrak{m})]\|_Q^2 + z(V,W,t) $ で与えられ、ここで $ z $ はO’Neill型補正項である。
• 持ち上げたベクトルの外積のノルムは、$ \|C_t^{-1}(V) \wedge C_t^{-1}(W)\|^2_{g_t} = t^2\|[P(V_\mathfrak{m}), P(W_\mathfrak{m})]\|_Q^2 + t(\|P(V_\mathfrak{m})\|^2 + \|P(W_\mathfrak{m})\|^2) + 1 $ を満たす。
• チーバー変形で $ t < 0 $ を用いる場合、アーベル部分代数に沿って左不変計量をスケーリングする際、$ t > -1/4 $ であれば非負曲率を保つことができる。これはミューテルの公式から導かれるが、初期の研究では見過ごされていた事実である。
• 同次空間 $ G/H $ 上の非負曲率計量の空間は、チーバー変形によって接続可能である。なぜなら、$ t \to \infty $ のとき、スケーリングされた計量 $ t g_t $ が左不変計量に収束するからである。
• 逆線形パス $ t \mapsto t g_t $ は、左不変計量におけるテイラー展開を提供し、非負曲率を保つ初期方向は特定のものに限られることを示す。このパスは、曲率の安定性を調べるのにも用いられる。