[论文解读] On curves intersecting at most once, II

Joshua Evan Greene|arXiv (Cornell University)|Nov 4, 2018

Advanced Topology and Set Theory参考文献 3被引用 4

一句话总结

该论文为闭可定向曲面（亏格为 $g$）上简单且非同伦等价的 $k$-系统（即任意两环的交点数不超过 $k$）的大小建立了上界 $\lesssim_k g^{k+1}\log g$，该上界与目前已知的最佳构造结果仅相差 $\log g$ 因子。证明结合了概率覆盖空间技术与曲面群的 LERF 性质，将问题约化为弧系统问题，通过改进的提升论证控制交点数，从而获得接近最优的上界。

ABSTRACT

We prove that on a closed, orientable surface of genus $g$, a set of simple loops with the property that no two are homotopic or intersect in more than $k$ points has cardinality $\lesssim_k g^{k+1} \log g$. The bound matches the size of the largest known construction to within a factor of $\sim_k \log g$. It generalizes an earlier result of the author, which treated the case $k=1$. The proof blends probabilistic ideas with covering space arguments related to the fact that surface groups are LERF.

研究动机与目标

• 确定闭可定向曲面（亏格为 $g$）上 $k$-系统（即两两简单、非同伦等价且交点数不超过 $k$ 的环的集合）的最大可能大小。
• 弥合 $k$-系统环的最优构造与上界之间的差距，此前该差距达 $g^{2k-2}$ 因子。
• 通过新颖的覆盖空间与概率技术，将作者先前对 $k=1$ 的结果推广至一般 $k \geq 1$。
• 在 $\log g$ 因子内确定 $k$-系统渐近增长速率，逼近猜想中的最优 $\sim_k g^{k+1}$。

提出的方法

• 利用曲面群的 LERF 性质，将环提升至曲面的有限叶覆盖上，确保交点以正概率被提升为恰好一个交点。
• 应用概率平均论证，寻找一个覆盖空间，使得正比例的相交环对被提升为横截相交于恰好一点的对。
• 使用先前结果（Przytycki, 2015）在弧系统上的改进版本，控制提升后与单个环相交的环的数量。
• 将提升结果与先前工作中的已知概率分解（Greene, 2018）结合，推导出 $k$-系统大小的全局上界。
• 利用覆盖空间的结构，将计数环交点的问题约化为在剪开曲面上计数弧交点的问题。
• 应用定理 8（具有统一概率界的一般覆盖空间提升结果），确保大量对被以受控交点数方式提升。

实验结果

研究问题

• RQ1 在闭可定向曲面（亏格为 $g$）上，简单且非同伦等价的 $k$-系统（即任意两环交点数不超过 $k$）的最大大小是多少？
• RQ2 能否将 $k$-系统环的上界改进至与已知构造结果仅相差 $\log g$ 因子？
• RQ3 通过控制交点行为的覆盖空间提升方法，是否能对任意 $k$ 获得一般性上界？
• RQ4 曲面的亏格如何影响 $k$-系统最大大小，特别是在 $k$ 为奇数时？
• RQ5 $k$-系统的构造能否推广至奇数 $k$，而不仅限于偶数 $k$？在此类构造中，会引出何种亏格约束？

主要发现

• 该论文为任意 $k$-系统 $\Gamma$ 在亏格 $g$ 曲面上的大小建立了上界 $|\Gamma| \lesssim_k g^{k+1}\log g$。
• 该上界与目前已知最大构造的大小（即 $\sim_k g^{k+1}$）仅相差 $\log g$ 因子。
• 提出了一种新的覆盖空间技术，结合概率提升，确保正比例的相交对被提升为横截相交于恰好一点的对。
• 该方法证明了任意固定环 $\alpha \in \Gamma$ 与 $\Gamma$ 中其他环的交点数为 $\lesssim_k g^{k+1}$，该界在隐含常数意义下是紧的。
• 作者在适度的亏格约束下，对所有 $k$（包括奇数 $k$）构造出了大小为 $\sim_k g^{k+1}$ 的 $k$-系统，证实了在 $\log g$ 因子内猜想的生长速率。
• 该结果在 $\log g$ 因子内解决了曲面上 $k$-系统渐近增长速率的问题，定理 2 中的上界与构造结果相比是紧的。