[论文解读] Low dimensional projective groups

Indranil Biswas, Mahan Mj|arXiv (Cornell University)|Mar 20, 2012

Geometric and Algebraic Topology参考文献 15被引用 3

一句话总结

本文引入了全纯凸群——即具有全纯凸万有覆叠的光滑复射影簇的基本群。对于共调维数为二的此类群，作者证明其同构于紧致黎曼曲面的基本群，意味着由射影簇导出的有理共调维数为二的线性群均为（虚拟）曲面群。

ABSTRACT

We initiate the study of holomorphically convex groups: groups that can be realized as fundamental groups of smooth complex projective varieties with holomorphically convex universal covers. If $G$ is a holomorphically convex group of cohomological dimension two, we show that $G$ is isomorphic to the fundamental group of a compact Riemann surface. As a consequence, we show that if a linear group $G$ has (rational) cohomological dimension two and is the fundamental group of a smooth complex projective variety, then $G$ is a (virtual) surface group.

研究动机与目标

• 通过光滑复射影簇的全纯凸万有覆叠定义并研究全纯凸群。
• 研究共调维数为二的全纯凸群的结构。
• 确定作为光滑复射影簇基本群且具有有理共调维数二的线性群的含义。
• 在复射影簇中建立共调维数与几何结构之间的联系。
• 证明此类群为（虚拟）曲面群，从而将代数拓扑与复几何联系起来。

提出的方法

• 通过光滑复射影簇的万有覆叠的全纯凸性来定义全纯凸群。
• 将共调维数二作为关键约束，分析基本群的几何与代数结构。
• 应用复几何与Hodge理论的结果，以限制可能的基本群。
• 利用紧致黎曼曲面的分类，将二维群识别为曲面群。
• 利用群的线性性，通过几何群论中的已知结果推导出虚拟曲面群结构。
• 证明有理共调维数二意味着当群作为射影簇的基本群实现时，其为（虚拟）曲面群。

实验结果

研究问题

• RQ1 哪些基本群来自具有全纯凸万有覆叠的光滑复射影簇？
• RQ2 当此类群的共调维数为二时，会产生哪些几何与代数约束？
• RQ3 有理共调维数二的条件如何限制射影簇线性基本群的结构？
• RQ4 全纯凸群在维数为二时能否被分类为曲面群或虚拟曲面群？
• RQ5 万有覆叠的全纯凸性与基本群的几何类型之间存在何种关系？

主要发现

• 共调维数为二的全纯凸群同构于紧致黎曼曲面的基本群。
• 任何作为光滑复射影簇基本群且具有有理共调维数二的线性群均为（虚拟）曲面群。
• 万有覆叠的全纯凸性对基本群施加了强烈的拓扑与几何限制。
• 共调维数二的条件迫使群具有曲面群的结构，无论其所在簇的复杂性如何。
• 该结果在复几何（全纯凸性）与几何群论（曲面群）之间建立了桥梁。
• 即使群仅为虚拟曲面群，该分类依然成立，表明其具有稳健的结构约束。