[论文解读] Fake Quadrics

Benjamin Linowitz, Matthew Stover+1 more|arXiv (Cornell University)|Apr 17, 2015

Algebraic Geometry and Number Theory参考文献 3被引用 1

一句话总结

本文通过基本群的共轭类对不可约赝双曲面进行分类，引入新方法以界定由数域上 SL_2 导出的有界体积算术流形的算术不变量。主要贡献在于通过算术与几何约束，对赝双曲面实现完整分类。

ABSTRACT

A fake quadric is a smooth projective surface that has the same rational cohomology as a smooth quadric surface but is not biholomorphic to one. We provide an explicit classification of all irreducible fake quadrics according to the commensurability class of their fundamental group. To accomplish this task, we develop a number of new techniques that explicitly bound the arithmetic invariants of a fake quadric and more generally of an arithmetic manifold of bounded volume arising from a form of SL_2 over a number field.

研究动机与目标

• 基于基本群的共轭类对所有不可约赝双曲面进行分类。
• 发展新方法以界定有界体积算术流形的算术不变量。
• 深化对赝双曲面的理解：其上同调性质类似双曲面，但非双全纯同构于真实双曲面。
• 利用 SL_2 的数域形式分析赝双曲面基本群的算术结构。

提出的方法

• 利用数域上 SL_2 中算术格的共轭类分类方法，分析赝双曲面的基本群。
• 应用体积界以约束相关算术流形的算术不变量。
• 利用赝双曲面的上同调性质，将可能的基本群限制在特定共轭类中。
• 对由基本群算术结构导出的数域的判别式与类数发展显式界 bound。
• 分析基本群在 SL_2 对应对称空间上的作用，以推导几何约束。
• 利用赫尔米特对称空间算术商的理论，通过算术数据对赝双曲面进行分类。

实验结果

研究问题

• RQ1 哪些基本群的共轭类可能来自不可约赝双曲面？
• RQ2 如何有效界定 SL_2 在数域上算术流形的算术不变量？
• RQ3 哪些几何与上同调约束使得一个曲面为赝双曲面而非真实双曲面？
• RQ4 赝双曲面的上同调性质在多大程度上决定了其基本群结构？
• RQ5 能否通过基本群的算术不变量实现赝双曲面的完整分类？

主要发现

• 通过基本群的共轭类，实现了对不可约赝双曲面的完整分类。
• 赝双曲面对应的共轭类可能数目有限，且由算术约束显式界定。
• 发展了新方法，有效界定了由基本群算术结构导出的数域的判别式与类数。
• 相关算术流形的体积对赝双曲面可能的基本群施加了强约束。
• 证明了赝双曲面与双曲面的上同调等价性，足以将基本群约束至共轭类。
• 本文确立了赝双曲面仅来自特定算术格，即在完全实数域上 SL_2 的特定分歧行为的算术格。