[论文解读] Geometric and algebraic aspects of 1-formality

Ştefan Papadima, Alexander I. Suciu|ArXiv.org|Mar 13, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 45被引用 26

一句话总结

本文研究了几何与代数拓扑中的1-形式性，聚焦于一次上同调类的上积结构如何决定基本群的有理普-幂零完备化。研究证明，某些4-流形$W$使得$M \times W$具有凯勒流形的有理同伦型，却无法赋予凯勒度量，从而在有理同伦型与凯勒结构之间建立了严格区分。

ABSTRACT

Formality is a topological property, defined in terms of Sullivan's model for a space. In the simply-connected setting, a space is formal if its rational homotopy type is determined by the rational cohomology ring. In the general setting, the weaker 1-formality property allows one to reconstruct the rational pro-unipotent completion of the fundamental group, solely from the cup products of degree 1 cohomology classes. In this note, we survey various facets of formality, with emphasis on the geometric and algebraic implications of 1-formality, and its relations to the cohomology jump loci and the Bieri-Neumann-Strebel invariant. We also produce examples of 4-manifolds W such that, for every compact Kähler manifold M, the product M imes W has the rational homotopy type of a Kähler manifold, yet M imes W admits no Kähler metric.

研究动机与目标

• 理解基本群与流形中1-形式性的几何与代数影响。
• 厘清代数结构、1-形式性、上同调跳跃点集与Bieri–Neumann–Strebel不变量之间的关系。
• 构造4-流形$W$的例子，使得$M \times W$具有凯勒流形的有理同伦型但不接受凯勒度量。
• 基于单值化特征值与Arapura关于单位特征的定理，为拟凯勒群提供一个判别准则。

提出的方法

• 使用Sullivan的有理同伦理论，通过德拉姆代数与上同调环之间的拟同构来定义形式性。
• 应用Quillen的Malcev完备化与李代数的正则化，通过上积映射$\mu_G: H^1(G,\mathbb{Q}) \wedge H^1(G,\mathbb{Q}) \to H^2(G,\mathbb{Q})$刻画1-形式性。
• 分析映射环丛的Leray-Serre谱序列，将单值化作用与上同调跳跃点集$\mathcal{V}_1(U_h)$联系起来。
• 利用Arapura的结果：对于拟凯勒流形，$\mathcal{V}_1(X)$中的孤立点必为单位特征。
• 通过具有非单位单值化特征值的曲面自同构的映射环丛构造显式例子。
• 使用Künneth公式计算$\mathcal{V}_1(N \times U_h)$，并证明非单位特征值意味着基本群非拟凯勒。

实验结果

研究问题

• RQ1 空间或群的哪些代数与几何性质由一次上同调类的上积结构决定？
• RQ2 在何种条件下，1-形式群即使其有理同伦型与凯勒流形相同，仍不是拟凯勒群？
• RQ3 单值化算子在$H_1(U,\mathbb{Z})$上的特征值如何限制映射环丛上凯勒度量的存在性？
• RQ4 能否构造无穷多个两两不同胚的4-流形$W$，使得$M \times W$具有凯勒流形的有理同伦型但无凯勒度量？
• RQ5 Bieri–Neumann–Strebel不变量在检测1-形式性与拟凯勒结构中起何作用？

主要发现

• 当$W = S^1 \times U_h$为具有非单位单值化特征值的曲面自同构的映射环丛时，乘积$M \times W$具有凯勒流形的有理同伦型。
• 尽管存在有理同伦等价，$M \times W$仍无法赋予凯勒度量，因为单值化算子的特征值模长不等于1。
• 上同调跳跃点集$\mathcal{V}_1(U_h) \cap \mathbb{T}^0(U_h)$包含1及单值化$h_*$的特征值，这些特征值在构造的例子中为非单位值。
• 对于任意紧致凯勒流形$M$，当$W$由满足$|\operatorname{tr}(A)| \geq 3$的曲面自同构构造时，乘积$M \times W$非拟凯勒，原因在于存在非单位特征值。
• 存在无穷多个两两不同胚的4-流形$W_{g,n}$，满足$H_1(W_{g,n},\mathbb{Z}) = \mathbb{Z}^2 \oplus \bigoplus^g \mathbb{Z}/n\mathbb{Z}$，它们具有相同的有理同伦型条件但无凯勒度量。
• 若单值化$h_*$具有模长$\neq 1的特征值，则$N \times U_h$的基本群非拟凯勒，因为$\mathcal{V}_1(N \times U_h)$中的孤立点将违反Arapura的单位性条件。