[論文レビュー] Geometrical formality of solvmanifolds and solvable Lie type geometries

Hisashi Kasuya|arXiv (Cornell University)|Jul 10, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用数 5

ひとこと要約

本稿では、$G = \mathbb{R}^n \ltimes_\phi \mathbb{R}^m$ で、作用 $\phi$ が半単純であるような $G/\Gamma$ の可解多様体が、すべての調和形式の積が調和であるという意味で不変な形式的リーマン計量を持つことを確立する。さらに、基本群がほとんど可解である次元 $\leq 4$ のコンパクトな向き付け可能でアスphericalな多様体が、幾何学的形式的であるための必要十分条件として、トーラスまたは非-nilmanifold型のインフラ可解多様体に微分同相であると分類する。

ABSTRACT

We show that for a Lie group $G=\R^{n}\ltimes_ϕ \R^{m}$ with a semisimple action $ϕ$ which has a cocompact discrete subgroup $Γ$, the solvmanifold $G/Γ$ admits a canonical invariant formal (i.e. all products of harmonic forms are again harmonic) metric. We show that a compact oriented aspherical manifold of dimension less than or equal to 4 with the virtually solvable fundamental group admits a formal metric if and only if it is diffeomorphic to a torus or an infra-solvmanifold which is not a nilmanifold.

研究の動機と目的

• 可解作用 $\phi$ を伴う $\mathbb{R}^n \ltimes_\phi \mathbb{R}^m$ から生じる可解多様体 $G/\Gamma$ が不変な形式的リーマン計量を持つ条件を特定すること。
• 基本群がほとんど可解である次元 $\leq 4$ のコンパクトで向き付け可能なアスpherical多様体のうち、幾何学的形式的であるものを分類すること。
• インフラ可解多様体の幾何学的形式性を特徴づけ、低次元における nilmanifold とは異なる点を明らかにすること。
• 特にホッジ理論と調和形式との関係を踏まえて、可解リー群およびその格子に関する形式的計量の理解を拡張すること。

提案手法

• 先行研究[14]による一般可解多様体のド・ラームコホモロジー計算を用いて調和形式を分析する。
• コンパクトなリーマン多様体におけるホッジ理論を応用し、調和形式と形式的計量の条件を定義する。
• 作用 $\phi$ の半単純性を用いて $G/\Gamma$ 上に不変計量を構成し、すべての調和形式のウェッジ積が調和のまま保たれることを保証する。
• 可解リー群のユニポテンツ核と代数群構造を活用し、コホモロジー的および幾何的性質を分析する。
• 特に次元3および4において、ホロノミー群および等長群の構造を用いてインフラ可解多様体を分類する。
• 最初のビーバーバッハの定理および低次元系列の性質を用いて、nilmanifold と非-nilmanifold型インフラ可解多様体を区別する。

実験結果

リサーチクエスチョン

• RQ1 可解作用 $\phi$ を伴う $G = \mathbb{R}^n \ltimes_\phi \mathbb{R}^m$ から生じる可解多様体 $G/\Gamma$ が不変な形式的リーマン計量を持つ条件は何か？
• RQ2 基本群がほとんど可解であるコンパクトで向き付け可能な3次元および4次元アスpherical多様体の中で、幾何学的形式的であるものはどれか？
• RQ3 ユニポテンツ核と代数群構造は、可解多様体上の計量の形式性を決定づける役割を果たすか？
• RQ4 nilmanifold でないインフラ可解多様体は、幾何学的に nilmanifold とどのように異なるか？
• RQ5 特に低次元において、多様体のコホモロジー的およびホモトピー的性質によって、幾何学的形式性を特徴づけられるか？

主な発見

• 作用 $\phi$ が半単純で、$\Gamma$ がココンパクト格子である $G = \mathbb{R}^n \ltimes_\phi \mathbb{R}^m$ に対して、可解多様体 $G/\Gamma$ は自然な不変形式的計量を持つ。
• 次元3では、nilmanifold でない閉じたインフラ-nil多様体は、調和形式の明示的計算により幾何学的形式的であることが示された。
• 4次元の向き付け可能なインフラ可解多様体では、多様体がトーラスであるか、nilmanifold でない場合に計量が形式的であることが、等長型のすべてのケースについて検証された。
• インフラ可解多様体のオイラー標数は0であるため、$b_1 \neq 0$ であり、これはトーラスへの部分被覆が存在することを示唆し、分類の鍵となるステップである。
• 4次元のコンパクトで向き付け可能なアスpherical多様体で、基本群がほとんど可解であり、幾何学的形式的であるならば、それはトーラスまたは非-nilmanifold型インフラ可解多様体に微分同相でなければならない。
• すべてのココンパクト離散部分群 $\Gamma$ に対して、$Sol^4_1/\Gamma$ の計量は、$Sol^4_1/\Delta$ が格子 $\Delta$ に対して形式的であるため、形式的である。