[論文レビュー] Classification of Cohomogeneity One Manifolds in Low Dimensions

Corey A. Hoelscher|ArXiv.org|Dec 9, 2007

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

ひとこと要約

本稿は、次元5、6、7におけるコンpactで単連結な共型次元1多様体を、群図表表現を用いて分類する。すべての such 多様体が非負の断面曲率を持つ計量を備えることを示し、2つの族を除いてはその通りである。また、非可約作用はすべて、対称空間、積作用、ブリースコーフェノメノン、または群図表の表に掲載された原始的作用から生じることを確立する。

ABSTRACT

A cohomogeneity one manifold is a manifold with the action of a compact Lie group, whose quotient is one dimensional. Such manifolds are of interest in Riemannian geometry, in the context of nonnegative sectional curvature, as well as in other areas of geometry and in physics. In this paper we classify compact simply connected cohomogeneity one manifolds in dimensions 5, 6 and 7. We also show that all such manifolds admit metrics of nonnegative sectional curvature, with the possible exception of two families of manifolds.

研究の動機と目的

• 次元5、6、7におけるすべてのコンpactで単連結な共型次元1多様体を分類すること。
• このような多様体のうち、非負の断面曲率を持つ計量を備えるものかどうかを特定すること。
• 群図表を用いて非可約共型次元1作用の構造を特徴づけること。
• 明示的な群図表分類を通じて、低次元におけるすべての原始的および非原始的作用を特定すること。

提案手法

• 分類は、$ G \triangleright K^{-}, K^{+} \triangleright H $ の形をした群図表に基づく。ここで $ G $ はコンパクトで連結なリー群である。
• 作用は、対称空間、積作用、和作用、固定点作用、および原始的作用に分解して分析する。
• 非可約作用は正規拡張を用いて研究され、原始的または非原始的タイプに制限される。
• 特定の部分群、特に有限拡張および対角埋め込みを用いて群図表が構成され、指数および互いに素性に関する制約が課される。
• 共通の有限正規部分群を $ G $ と $ H $ から商することで、有効作用を特定する。
• トポロジー的および幾何学的整合性（次元および同型群データを含む）を確認しながら、群図表の表を体系的に生成する。

実験結果

リサーチクエスチョン

• RQ1 次元5、6、7におけるコンパクトで単連結な共型次元1多様体は、どのように存在するか？
• RQ2 すべての such 多様体が非負の断面曲率を持つ計量を備えるか？
• RQ3 低次元における非可約共型次元1作用は、同値関係の下でどのように分類できるか？
• RQ4 これらの次元における原始的および非原始的作用の完全な族は何か？
• RQ5 積、和、固定点作用でない作用に対応する群図表はどれか？

主な発見

• 次元5、6、7におけるすべてのコンパクトで単連結な共型次元1多様体は、群図表を用いて同値関係の下で分類された。
• すべての such 多様体が非負の断面曲率を持つ計量を備えるが、2つの族を除いてはその通りである。
• 分類により、すべての非可約作用は、対称空間作用、積作用、ブリースコーフ・バニティの作用、または表Iに掲載された原始的作用に同値であることが示された。
• 非原始的作用は、$ M_L $ が群図表 $ L \triangleright K^{-}, K^{+} \triangleright H $ を持つ共型次元1多様体であるとき、標準的 $ G $-作用 $ G \times_L M_L $ に同値である。
• 表Iおよび表IIの群図表には、$ H_{\pm} $、$ H_0 $、および有限拡張の明示的記述が含まれており、互いに素性および指数に関する制約が課されている。
• Brieskorn多様体 $ B^{2n-1}_d $ における $ \mathrm{SO}(2)\mathrm{SO}(n) $ の作用、および $ \mathrm{SU}(3) \times S^1 $ を含む作用は、分類に明示的に含まれている。