[论文解读] Nonexistence of cusp cross-section of one-cusped complete complex hyperbolic manifolds II

Yoshinobu Kamishima|ArXiv.org|Mar 31, 2006

Geometric and Algebraic Topology参考文献 8被引用 4

一句话总结

本文证明了某些具有非平凡全纯性（holonomy）的三维Heisenberg infranil流形不能作为任何完备有限体积单尖点复双曲2-流形的尖点截面。通过使用Burns-Epstein的CR不变量以及有界域的特征类，作者通过自交形式的非整性导出一个拓扑障碍，从而否定了此类流形在复双曲几何中作为尖点边界存在的可能性。

ABSTRACT

D. D. Long and A. W. Reid have shown that some compact flat 3-manifold cannot be diffeomorphic to a cusp cross-section of any complete finite volume 1-cusped real hyperbolic 4-manifold. This note concerns the complex hyperbolic case. We give a negative answer that there exists a 3-dimensional closed Heisenberg infranilmanifold which cannot be diffeomorphic to a cusp cross-section of any complete finite volume 1-cusped complex hyperbolic 2-manifold.

研究动机与目标

• 确定每个三维Heisenberg infranil流形是否都能实现为完备有限体积单尖点复双曲2-流形的尖点截面。
• 将Long与Reid在平坦3-流形上的结果推广至复双曲情形，聚焦于具有非平凡全纯性的Heisenberg infranil流形。
• 利用CR不变量与特征数（特别是Burns-Epstein不变量与第一陈类的平方）建立一个拓扑障碍。
• 表明Neumann与Reid提出的有理欧拉示性数条件对某些infranil流形不足，暗示存在更强的障碍。

提出的方法

• 作者利用严格强拟凸CR流形上的Burns-Epstein CR不变量，推导出复双曲几何中有界域特征数的公式。
• 他们分析复双曲2-轨道丛边界处的Seifert纤维化结构，识别出几何边界为具有Kähler-双曲度量的轨道丛上的圆丛。
• 该方法涉及将PU(2,1)中的离散群提升至SU(2,1)，并分析边界球面余集上的诱导圆丛结构。
• 关键步骤是在轨道丛的解析化中构造一个2-链y，使得当ℓ ≠ 1时，y·y不是整数，从而与c₁²的整性矛盾。
• 该论证依赖于从ℓ的最小性及(k,ℓ) = 1条件推导出的典范类提升的自交数非整性。
• 当假设此类流形存在时，导致⟨c₁², [W]⟩取非整数值，而根据拓扑不变性，该值必为整数，从而产生矛盾。

实验结果

研究问题

• RQ1 每个具有非平凡全纯性的三维Heisenberg infranil流形是否都能实现为完备有限体积单尖点复双曲2-流形的尖点截面？
• RQ2 哪些拓扑或几何障碍阻止了某些Heisenberg infranil流形作为复双曲2-流形中尖点截面出现？
• RQ3 Burns-Epstein不变量是否提供了强于Neumann与Reid先前识别的有理欧拉示性数条件的障碍？
• RQ4 复双曲2-轨道丛的解析化中典范类的自交数是否恒为整数？这一性质如何限制可能的尖点截面？

主要发现

• 本文确立了：任何具有非平凡全纯性的三维Heisenberg infranil流形都不能微分同胚于任何完备有限体积单尖点复双曲2-流形的尖点截面。
• 障碍源于自交数y·y = ±k²/ℓ² + … 的非整性，当ℓ ≠ 1时该值非整数，与⟨c₁², [W]⟩的整性矛盾。
• ℓ的最小选择与(k,ℓ)互素性确保k²/ℓ²非整数，除非ℓ = 1，因此若此类流形存在将导致矛盾。
• 该结果将Long与Reid在平坦3-流形上的否定结果推广至复双曲情形，表明Heisenberg infranil流形也面临类似障碍。
• Burns-Epstein不变量与特征数公式提供了一个拓扑不变量，可阻碍某些infranil流形作为尖点截面的实现。
• 该论证确认：有理欧拉示性数条件（1/3-整数）不足以排除所有情况，因为存在违反由c₁²导出的更强障碍的infranil流形。