[論文レビュー] Uniform local finiteness of the curve graph via subsurface projections

Yohsuke Watanabe|arXiv (Cornell University)|Dec 18, 2013

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

ひとこと要約

本稿は、マスール＝ミンキーの部分面への射影を用いて、曲線グラフに一様な局所的ファイニットネス性質を確立し、この射影のもとでグラフが一様に局所的ファイニットであるかのように振る舞うことを証明する。主な結果は、タイトおよび弱タイトジオデシックに沿ったスライスのサイズに対する計算可能な境界であり、表面の複雑さにのみ明示的な依存関係を持つ。

ABSTRACT

The curve graphs are not locally finite. In this paper, we show that the curve graphs satisfy a property which is equivalent to graphs being uniformly locally finite via Masur--Minsky's subsurface projections. As a direct application of this study, we show that there exist computable bounds for Bowditch's slices on tight geodesics, which depend only on the surface. As an extension of this application, we define a new class of geodesics, weak tight geodesics, and we also obtain a computable finiteness statement on the cardinalities of the slices on weak tight geodesics.

研究の動機と目的

• 曲線グラフの固有の局所的無限性がアルゴリズム的および幾何的解析を妨えるという問題を克服する。
• 部分面への射影を用いて、曲線グラフに対する一様局所的ファイニットネス性質（ULFP）を定義し、それを確立する。
• ULFPを用いて、タイトジオデシックに沿ったスライスの濃度に対する計算可能で表面依存の境界を導出する。
• タイトジオデシックの一般化である新たなジオデシッククラス「弱タイトジオデシック」を導入・分析し、ファイニットネスの結果をより広いクラスに拡張する。
• 特にタイトおよび弱タイトジオデシックに焦点を当てた、曲線複体幾何におけるアルゴリズム的構成と境界の基礎を提供する。

提案手法

• グラフに対して計算可能な条件である一様局所的ファイニットネス性質（ULFP）を導入し、十分大きな部分集合が互いに距離 > l のk要素部分集合を含むことを保証する。
• マスール＝ミンキーが定義した部分面への射影を活用することで、ULFPを曲線グラフに適用し、曲線系の幾何を制御する。
• グラフにおけるボール成長の境界と帰納法を用いて、一様に局所的ファイニットなグラフがULFPを満たし、逆にULFPを満たすグラフが一様に局所的ファイニットであることを示す。
• 表面Sの部分面にULFPを適用し、再帰的射影境界を介して問題をS₀,₄（四つ穴のある球面）の基本ケースに還元する。
• 弱タイトジオデシックを、任意の部分面Zに対して、各頂点がZ-射影において端点から距離D以内にあるようなジオデシックとして定義する。
• 弱タイトジオデシック上の頂点集合にULFPを適用し、表面の複雑さξ(S)にのみ依存する計算可能な境界を用いてスライス濃度を導出する。

実験結果

リサーチクエスチョン

• RQ1 曲線グラフは局所的に無限であるが、部分面への射影のもとで一様局所的ファイニットネス性質を満たすことが示せるか？
• RQ2 表面の複雑さにのみ依存する、タイトジオデシックのスライスに含まれる頂点数に対する計算可能な境界は存在するか？
• RQ3 タイトジオデシックの概念を、スライス濃度のファイニットネスを保ちつつ、より広いジオデシッククラス（弱タイトジオデシック）に一般化できるか？
• RQ4 genus >1 の表面に対して、D-弱タイトジオデシックがタイトジオデシックを真に含む最小のDは何か？
• RQ5 非タイトな弱タイトジオデシックを構成する標準的な方法は存在するか？ また、それらはタイトジオデシックと射影行動の観点でどのように異なるか？

主な発見

• マスール＝ミンキーの部分面への射影を用いて、曲線グラフは一様局所的ファイニットネス性質（ULFP）を満たす。 つまり、任意のl > 0 およびk > 1 に対して、計算可能な境界N_S(l,k)が存在し、そのサイズがN_S(l,k)を超える任意の部分集合には、互いに距離 > l のk個の点が存在する。
• タイトジオデシックに対しては、任意の頂点cのδ-近傍におけるスライスに含まれる頂点数は、N_S(2M, 3)で抑えられる。ここでMは表面にのみ依存するマスール＝ミンキー定数である。
• パラメータD ≥ M に対する弱タイトジオデシックに対しては、端点から遠く離れた頂点cの2δ-近傍におけるスライスに含まれる頂点数は、N_S(2(D+M), 3)で抑えられ、再び表面にのみ依存する。
• 弱タイトジオデシックに対する境界は一様的かつ計算可能であり、スライスの濃度は表面の複雑さξ(S)とパラメータDによって制御される。
• 弱タイトジオデシックの構成はタイトジオデシックを一般化しており、ξ(S) > 1 である表面では、タイトでない弱タイトジオデシックが存在する。
• D-弱タイトジオデシックがタイトジオデシックを真に含む最小のDは未解決であるが、本稿ではそのようなDが存在することを示し、その特定のための枠組みを提供する。