[论文解读] Aspherical Kähler Manifolds with Solvable Fundamental Group

Oliver Baues, Vicente Cortés|ArXiv.org|Jan 25, 2006

Geometry and complex manifolds参考文献 32被引用 6

一句话总结

该论文证明了具有几乎可解基本群的紧致非双曲凯勒流形微分同构于 $\mathbb{C}^n$ 关于离散复等距群的商。关键结果通过分析阿勒巴内塞映射得出，当流形为同伦环面时，该映射是微分同构，从而通过复环面及其离散商完成了此类流形在凯勒结构下的完整分类。

ABSTRACT

We survey recent developments which led to the proof of the Benson-Gordon conjecture on Kähler quotients of solvable Lie groups. In addition we prove that the Albanese morphism of a Kähler manifold which is a homotopy torus is a biholomorphic map. The latter result then implies the classification of compact aspherical Kähler manifolds with (virtually) solvable fundamental group up to biholomorphic equivalence. They are all biholomorphic to complex manifolds which are obtained as a quotient of $\bbC^n$ by a discrete group of complex isometries.

研究动机与目标

• 解决关于可解李群凯勒商的本森-戈德曼猜想。
• 在微分同构等价意义下，对具有几乎可解基本群的紧致非双曲凯勒流形进行分类。
• 确立与环面同伦的凯勒流形微分同构于复环面。
• 证明此类流形上的阿勒巴内塞映射是微分同构，从而约束复结构与光滑结构。

提出的方法

• 将阿勒巴内塞态射作为连接拓扑与复几何结构的核心工具。
• 应用全纯映射的次数理论，表明次数为1则为微分同构。
• 利用上同调条件：若 $H^1(X,\mathbb{Z})$ 生成 $H^{2n}(X,\mathbb{Z})$，则阿勒巴内塞映射的次数为1。
• 通过形式积分与斯托克斯定理，证明若全纯映射 $f$ 满足 $[\omega] \in f^*H^2(Y,\mathbb{R})$，则其为有限映射。
• 利用黎曼延拓定理，将全纯逆映射延拓至解析奇点集上。
• 结合多项式可解凯勒群、幂零基本群以及纽兰德-尼伦伯格定理的结果，将结构简化为阿贝尔群与复环面情形。

实验结果

研究问题

• RQ1 在何种条件下，与环面同伦的凯勒流形微分同构于复环面？
• RQ2 若紧致非双曲流形具有几乎可解基本群并配备凯勒度量，是否强制其复结构为 $\mathbb{C}^n$ 关于离散复等距群的商？
• RQ3 能否利用复几何技巧解决关于可解李群凯勒商的本森-戈德曼猜想？
• RQ4 阿勒巴内塞映射在检测具有可解基本群的非双曲凯勒流形的微分同构等价性中起何作用？
• RQ5 关于 $H^1$ 与 $H^{2n}$ 的上同调条件如何约束阿勒巴内塞映射的次数与纤维结构？

主要发现

• 作为同伦环面的凯勒流形的阿勒巴内塞态射是微分同构映射。
• 具有几乎可解基本群与凯勒度量的紧致非双曲凯勒流形微分同构于 $\mathbb{C}^n$ 关于离散复等距群的商。
• 当 $H^1(X,\mathbb{Z})$ 生成 $H^{2n}(X,\mathbb{Z})$ 时，阿勒巴内塞映射的次数为1，意味着其为双射。
• 当凯勒类位于 $H^2(Y,\mathbb{R})$ 的拉回中时，阿勒巴内塞映射是有限的，确保纤维有限。
• 通过黎曼延拓定理，阿勒巴内塞映射的逆可全纯延拓至奇点值上，从而确认其为微分同构。
• 此类流形的分类可归约为复环面及其离散商，从而完整解决了本森-戈德曼猜想。