[论文解读] Cohomologically symplectic solvmanifolds are symplectic

Hisashi Kasuya|arXiv (Cornell University)|May 7, 2010

Geometry and complex manifolds参考文献 5被引用 3

一句话总结

本文证明了具有无 torsion 的虚拟多项式基本群的上同调辛的球面流形是辛的，通过代数包络和不变形式将已知的幂零流形结果推广到更广泛的单连通流形类。关键结果是，对于此类单连通流形，上同调辛性蕴含真正的辛性。

ABSTRACT

We consider aspherical manifolds with torsion-free virtually polycyclic fundamental groups, constructed by Baues. We prove that if those manifolds are cohomologically symplectic then they are symplectic. As a corollary we show that cohomologically symplectic solvmanifolds are symplectic.

研究动机与目标

• 确定上同调辛的单连通流形是否一定是真正的辛流形，将幂零流形中已知的等价性推广至更广范围。
• 通过 Baues 的构造方法，分析具有无 torsion 的虚拟多项式基本群的球面流形的上同调结构。
• 建立上同调辛性与关联李群上存在不变辛形式之间的联系。
• 解决单连通流形一般情形下，上同调辛性是否蕴含辛性的开放问题。

提出的方法

• 利用无 torsion 的虚拟多项式群 Γ 的实代数包络 HΓ，构造标准 Γ-流形 MΓ = α(Γ)\UΓ。
• 利用分解 HΓ = T ⋉ UΓ，其中 T 为极大半单子群，UΓ 为幂零根，且通过指数映射有 UΓ ≅ ℝ^n。
• 应用定理 3.6，证明包含映射 (⋀𝔲*人均)^T ⊂ A*(MΓ) 在上同调上诱导同构。
• 将上同调条件 ω^n ≠ 0 在 H^2(Γ, ℝ) 中转化为 MΓ 上的点态非零条件 (ω^n)Γp ≠ 0。
• 利用 ω 关于 T 作用的不变性以及代数包络的结构，证明 ω 是一个闭的、非退化的 2-形式。
• 确立 ω^n 在流形上非退化的事实，从而推出 ω 是 MΓ 上的辛形式。

实验结果

研究问题

• RQ1 上同调辛的单连通流形是否必然为真正的辛流形？
• RQ2 若上同调中存在一个闭 2-形式的最高次幂非零，是否意味着存在辛结构？
• RQ3 能否通过代数包络的结构，将上同调辛性条件提升为真正的辛形式？
• RQ4 幂零根与半单部分在实现单连通流形上的辛形式中起什么作用？
• RQ5 是否存在反例，即李群上存在不变辛形式，但商流形上不存在？

主要发现

• 具有无 torsion 的虚拟多项式基本群的上同调辛的球面流形是辛的。
• 通过 Baues 方法构造的标准 Γ-流形 MΓ，若 H^2(Γ, ℝ) 中存在类 ω 满足 ω^n ≠ 0，则 MΓ 是辛的。
• H*(MΓ, ℝ) 与 H*((⋀𝔲*)^T) 之间的同构确保了上同调数据可提升至微分形式。
• 在每一点 p ∈ MΓ 上 (ω^n)Γp 的非零性，确认了 ω 是一个辛形式。
• G/D 与 Γ = D/D₀ 的例子表明，存在一个非辛的单连通流形，其 H^2((⋀𝔲*)^{±1}) 平凡，从而确认了上同调条件的必要性。
• 存在辛的单连通流形（例如 H/Δ），其不能被任何具有不变辛形式的可解李群覆盖，表明命题 4.1 的逆命题不成立。