[论文解读] Asymptotically geodesic hypersurfaces and the fundamental groups of hyperbolic manifolds

Xiaolong Hans Han, Ruojing Jiang|arXiv (Cornell University)|Mar 25, 2026

Geometric and Algebraic Topology被引用 0

一句话总结

这篇论文证明，包含一系列渐近地测地超曲面（asymptotically geodesic hypersurfaces）的闭合双曲流形具有几乎特殊的基群，因此对Z线性，并且在具强充填和等分布性质的算术型I流形中构造此类超曲面。

ABSTRACT

We consider closed hypersurfaces smoothly immersed in hyperbolic manifolds up to homotopy and commensurability. We prove that if a closed hyperbolic manifold $M$ contains a sequence of asymptotically geodesic hypersurfaces, then $π_1(M)$ is virtually special and hence linear over integers. If $M$ (dimension at least 3) is, in addition, arithmetic of type I, we constructs a sequence of hypersurfaces which are asymptotically geodesic (but not totally geodesic), strongly filling, and equidistributing in the Grassmann bundle over $M$. This partially answers a question of Al Assal--Lowe. As a corollary, for each cocompact arithmetic lattice $Γ$ of $SO(n+1,1)$ of type I, there exist infinitely many arithmetic and infinitely many non-arithmetic cocompact lattices $H$ of $SO(n,1)$ that admit monomorphisms into $Γ$ which do not extend to a Lie group homomorphism from $SO(n,1)$ into $SO(n+1,1)$.

研究动机与目标

• 通过 immersed hypersurfaces 激发与理解双曲流形的基本群何时为几乎特殊。
• 证明渐近地测地超曲面的序列暗示 π1(M) 的虚拟特殊性与 Z-线性。
• 在算术型 I 流形中构造渐近地测地、强充填、等分布的超曲面。
• 给出关于子群在格 lattices 之间的嵌入的推论，特别是是否能推广到李群态射。

提出的方法

• 定义并利用近测地和渐近测地超曲面（II 趋于零）。
• 将相交的全测地超曲面提升到有限覆盖，并进行裁剪/粘贴，以产生折叠的、随后平滑变形的渐近地测地 S。
• 使用立方复形与 Sageev 对偶性研究群作用；利用强充填性在 CAT(0) 立方复形上获得恰当紧共轭作用。
• 应用虚拟可收缩体（virtual retract）结果与 Haglund–Wise 框架下的同伦同构注入以推出虚拟特殊性与 Z-线性。
• 在构造论证与算术性结果中，借助单一单位流发散结果（Ratner/Shah, Mozes–Shah）。
• 建立 Grassmann 丛中的超曲面的等分布性以确保稠密性与充填性质。

实验结果

研究问题

• RQ1 在维度 ≥ 4 的闭合双曲流形中，是否存在渐近地测地超曲面的序列？
• RQ2 这样的超曲面的存在是否强制基本群虚拟特殊并嵌入到 SLd(Z)？
• RQ3 在算术型 I 流形中是否能构造渐近地测地、强充填、等分布的超曲面（非全测地）？
• RQ4 对共紧算术格之间子群的嵌入有何含义，特别是是否能推广到 Lie 群态射？
• RQ5 近测地超曲面与双曲情形中的虚拟可再取性和同伦注入有何关系？

主要发现

• 若 M 为 SO(n+1,1)° 的紧共算术格，类型 I，则存在一组 n 维超曲面，其强充填、渐近地测地、非全测地且在 Grassmann 丛中等分布。
• 若 M 包含一列渐近地测地超曲面，则 π1(M) 在带有一个家族的 HAL 超平面的 CAT(0) 立方复形上恰当且 cocompact 地作用，因此几乎特殊且嵌入到 SLd(Z)。
• 对于 SO(n+1,1)° 的紧共算术格 Γ，类型 I，存在无限多的算术和无限多的非算术紧共格格 H 的 SO(n,1)°，它们存在单射 H→Γ，但不推广为 Lie 群态射 SO(n,1)°→SO(n+1,1)°。
• 近测地超曲面若 II 有界于 1，暗示 π1 的单射性、准凸性与一个次维度的子群，从而在合适的覆盖中实现虚拟可再取性与同伦注入。
• 推论：在较小的主曲率界下，强充填性随之成立，从而对相应基群得到相同的虚拟特殊性结论。
• 该框架提供一种新方法，通过渐近地测地几何在高维双曲流形中证明虚拟特殊性与 Z-线性。