[论文解读] On the formality and the hard Lefschetz property for Donaldson symplectic manifolds

Marisa Fernández, Vicente Muñoz|arXiv (Cornell University)|Nov 1, 2002

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

一句话总结

本文引入s–形式最小模型的概念，以扩展辛拓扑中的形式性，证明了流形是形式的当且仅当它是(n−1)–形式的。该框架被应用于唐纳森辛流形，构造出首个已知的八维、单连通、形式的辛流形例子，该流形不满足强莱夫谢茨性质。

ABSTRACT

We introduce the concept of s–formal minimal model as an extension of formality. We prove that any orientable compact manifold M, of dimension 2n or (2n − 1), is formal if and only if M is (n − 1)–formal. The formality and the hard Lefschetz property are studied for the Donaldson symplectic manifolds constructed in [13]. This study permits us to show an example of a Donaldson symplectic manifold of dimension eight which is formal simply connected and does not satisfy the hard Lefschetz theorem.

研究动机与目标

• 通过s–形式最小模型扩展辛拓扑中形式性的概念。
• 对维数为2n或(2n−1)的定向紧致流形，以(n−1)–形式性表征形式性。
• 研究形式性与唐纳森辛流形中强莱夫谢茨性质之间的相互作用。
• 构造一个辛流形的显式例子，该流形是形式的但不满足强莱夫谢茨定理。

提出的方法

• 引入s–形式最小模型的概念，作为有理同伦论中形式性的推广。
• 建立一个表征：对于维数为2n或(2n−1)的流形，其为形式的当且仅当它是(n−1)–形式的。
• 将该理论应用于通过唐纳森的辛李普莱斯笔方法构造的辛流形。
• 使用有理同伦论技术分析这些流形的最小模型。
• 通过检查上同调环结构和莱夫谢茨映射来验证强莱夫谢茨性质。
• 通过分析最小模型的拓扑约束，构造一个显式的八维例子。

实验结果

研究问题

• RQ1 能否通过广义的s–形式性条件来表征辛流形中的形式性？
• RQ2 在维数为2n或(2n−1)的流形中，(n−1)–形式性条件与标准形式性之间是否存在关系？
• RQ3 如果唐纳森辛流形是形式的，它们是否满足强莱夫谢茨性质？
• RQ4 一个单连通、形式的八维辛流形是否可能不满足强莱夫谢茨定理？
• RQ5 在形式辛流形中，什么拓扑障碍会阻止强莱夫谢茨性质的成立？

主要发现

• 任何维数为2n或(2n−1)的定向紧致流形是形式的当且仅当它是(n−1)–形式的。
• 唐纳森辛流形的构造使得可以对形式性和强莱夫谢茨性质进行显式分析。
• 构造出一个八维、单连通、形式的唐纳森辛流形，其不满足强莱夫谢茨定理。
• 该例子表明，在辛几何中，即使在高维情形下，形式性也不蕴含强莱夫谢茨性质。
• 该例子中强莱夫谢茨性质的失效是由于上同调环的结构以及在度数n处莱夫谢茨映射的不可逆性。
• 该结果表明在辛拓扑中，形式性与强莱夫谢茨性质之间存在严格的分离。