[論文レビュー] On curves intersecting at most once, II

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

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

ひとこと要約

本稿は、閉じた向きつけ可能な曲面の genus $g$ における、単純かつホモトピー的に非同値なループの $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.

研究の動機と目的

• 閉じた向きつけ可能な曲面（genus $g$）における、互いに高々 $k$ 個の点で交差する単純かつホモトピー的に非同値なループの $k$-システムの最大サイズを特定すること。
• 以前は $g^{2k-2}$ の要因の違いがあった、$k$-システムのループに対する最良の構成と上界の間のギャップを埋めること。
• 著者の以前の $k=1$ の結果を、新しい被覆空間および確率的技法を用いて一般の $k \geq 1$ に拡張すること。
• $k$-システムの漸近的成長率を $\log g$ 要因の違いまで特定することにより、予想される最良の $\sim_k g^{k+1}$ に近づけること。

提案手法

• 表面群の LERF 性質を用いて、ループを有限枚の被覆にリフトし、交差が正の確率で正確に1点にマッピングされるように保証する。
• 確率的平均化法を適用し、交差するループペアの正の割合が、正確に1点で交差する横断的ペアにリフトされる被覆を特定する。
• 先行研究（Przytycki, 2015）の弧のシステムに関する結果の洗練版を用いて、被覆内での1つのループと交差するリフトの数を制限する。
• リフト結果と先行研究からの既知の確率的分解（Greene, 2018）を組み合わせ、$k$-システムのサイズに対するグローバルな上界を導出する。
• 被覆空間の構造を活用して、ループの交差数の数え上げ問題を、カットされた表面における弧の交差数の数え上げ問題に還元する。
• 定理8（一様確率境界を有する被覆空間リフト結果）を適用し、多数のペアが制御された交差数でリフトされることを保証する。

実験結果

リサーチクエスチョン

• RQ1 閉じた向きつけ可能な曲面（genus $g$）における、単純かつホモトピー的に非同値なループの $k$-システムの最大サイズは何か？
• RQ2 既知の構成と $\log g$ 要因の違いまで一致するように、$k$-システムのループに対する上界を改善できるか？
• RQ3 交差行動を制御する被覆へのリフトという手法は、任意の $k$ に対して一般の上界をもたらすか？
• RQ4 表面の genus が、特に $k$ が奇数のとき、$k$-システムの最大サイズにどのように影響するか？
• RQ5 $k$-システムの構成は、偶数 $k$ に限らず、奇数 $k$ に一般化可能か？その場合、どのような genus の制約が生じるか？

主な発見

• 本稿は、genus $g$ の曲面上の単純ループの $k$-システム $\Gamma$ のサイズに対して、上界 $|\Gamma| \lesssim_k g^{k+1}\log g$ を確立した。
• この上界は、最大の既知の構成（具体的には $\sim_k g^{k+1}$）と $\log g$ 要因の違いまで一致する。
• 確率的リフトを用いた新しい被覆空間技法により、交差するペアの正の割合が、正確に1点で交差する横断的ペアにリフトされることが保証された。
• この手法により、任意の固定されたループ $\alpha \in \Gamma$ と交差するループの数が $\lesssim_k g^{k+1}$ であることが証明され、定数の意味でタイトである。
• 著者らは、$k$ が奇数であっても、ややきつい genus の制約の下で、すべての $k$ に対してサイズ $\sim_k g^{k+1}$ の $k$-システムを構成した。これは、予想される成長率が $\log g$ 要因の違いまで正当化されることを確認する。
• 結果として、$k$-システムの漸近的成長率が $\log g$ 要因の違いまで特定され、定理2の上界は構成と比較してタイトであることが解決された。