[论文解读] 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$ 的紧致定向殆球面流形（aspherical manifolds）中，基本群为拟幂零的流形，分类为几何形式的充要条件是微分同胚于环面或非幂零的仿射-可解流形（non-nilmanifold infra-solvmanifold）。

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.

研究动机与目标

• 确定由 $\mathbb{R}^n \ltimes_\phi \mathbb{R}^m$ 上半单作用 $\phi$ 导出的可解流形 $G/\Gamma$ 何时具有不变的正式黎曼度量。
• 对维度 $\leq 4$ 的紧致定向殆球面流形中，基本群为拟幂零的流形，分类其几何形式性。
• 刻画仿射-可解流形的几何形式性，并在低维中将其与幂零流形区分开来。
• 在可解李群及其格的背景下，扩展对形式度量的理解，特别是与霍奇理论及调和形式的关系。

提出的方法

• 利用先前工作 [14] 中关于一般可解流形的德拉姆上同调计算，分析调和形式。
• 在紧致黎曼流形上应用霍奇理论，以定义调和形式并确定形式度量的条件。
• 通过作用 $\phi$ 的半单性，构造 $G/\Gamma$ 上的不变度量，确保所有调和形式的楔积仍为调和形式。
• 利用可解李群的幂零包络（unipotent hull）与代数群结构，分析其上同调与几何性质。
• 通过其平稳群与等距群的结构，对仿射-可解流形进行分类，特别是在三维与四维情形。
• 利用第一比伯巴赫定理及李代数的下中心列性质，区分幂零流形与非幂零的仿射-可解流形。

实验结果

研究问题

• RQ1 当 $G = \mathbb{R}^n \ltimes_\phi \mathbb{R}^m$ 且 $\phi$ 为半单时，可解流形 $G/\Gamma$ 在何种条件下具有不变的正式黎曼度量？
• RQ2 哪些具有拟幂零基本群的紧致定向三维与四维殆球面流形是几何形式的？
• RQ3 幂零根（unipotent radical）与代数群结构在决定可解流形上度量形式性中起什么作用？
• RQ4 在形式性方面，非幂零的仿射-可解流形与幂零流形在几何上如何区别？
• RQ5 能否通过其上同调与同伦性质来刻画流形的几何形式性，特别是在低维情形？

主要发现

• 当 $G = \mathbb{R}^n \ltimes_\phi \mathbb{R}^m$ 且作用 $\phi$ 为半单，$\Gamma$ 为共(compact)格时，可解流形 $G/\Gamma$ 具有自然的不变形式度量。
• 在三维情形，非幂零的闭合仿射-幂零流形是几何形式的，通过显式计算调和形式得到验证。
• 对于四维定向仿射-可解流形，当其为环面或非幂零流形时，其度量为形式的，该结论通过对各类等距型态的逐案验证得出。
• 仿射-可解流形的欧拉示性数为零，这意味着 $b_1 \neq 0$，这支持其存在到环面的子mersion，是分类中的关键步骤。
• 若一个四维紧致定向殆球面流形，其基本群为拟幂零且为几何形式的，则其必微分同胚于环面或非幂零的仿射-可解流形。
• 对于所有共(compact)离散子群 $\Gamma$，$Sol^4_1/\Gamma$ 上的度量是形式的，这是由于其底层可解流形 $Sol^4_1/\Delta$（$\Delta$ 为格）上的度量为形式的。