[論文レビュー] Immersions and the space of all translation structures

W. Patrick Hooper|arXiv (Cornell University)|Oct 19, 2013

semigroups and automata theory参考文献 16被引用数 4

ひとこと要約

本稿では、曲面へのディスクの埋め込みを用いて収束を定義することにより、すべての点付き平行移動曲面の空間にインマージョン型位相を導入する。主な貢献は、この位相がハウスドルフであることと、基点における注釈半径が一様に有界な曲面の集合がコンパクトであることを証明することであり、これにより近似された曲面から極限曲面への幾何学的・力学的情報の連続的移行が可能になる。

ABSTRACT

A translation structure on a surface is an atlas of charts to the plane so that the transition functions are translations. We allow our surfaces to be non-compact and infinite genus. We endow the space of all pointed surfaces equipped with a translation structure with a topology, which we call the immersive topology because it is related to the manner in which disks can be immersed into such a surface. We prove that a number of operations typically done to translation surfaces are continuous with respect to the topology. We show that the topology is Hausdorff, and that the collection of surfaces with a fixed lower bound on the injectivity radius at the basepoint is compact.

研究の動機と目的

• すべての点付き平行移動曲面（非コンパクトで、無限種数を含むものも含む）の空間に位相を入れること。
• 有限種数の平行移動曲面の列が無限種数の極限に収束できるような位相を定義すること。
• 近似された曲面から極限曲面への幾何学的・力学的性質の連続的移行を保証すること。
• 有限種数と無限種数の両方の平行移動曲面を統一的に扱うフレームワークを提供すること。
• 注釈半径やディスクの埋め込みといった重要な幾何的不変量を保存するような収束の形式を明確にすること。

提案手法

• インマージョン型位相は、すべての点付き平行移動曲面の空間を考慮し、曲面へのディスクの埋め込みの存在に基づいて収束を定義することで構築される。
• 点付き平行移動曲面の列が収束するとは、その曲面の普遍被覆の任意のコンパクト部分集合に対して、基点の上への持ち上げ（lift）が普遍被覆内で収束することである。
• 再帰的アルゴリズムを用いて、普遍被覆内で収束する基点の持ち上げの部分列と、それに伴う曲面の部分列を選択し、その極限となる持ち上げの集合を構成する。
• 普遍被覆内に埋め込まれたディスクを用いて構成される互いに交わらない近傍を用いることで、位相がハウスドルフであることを示す。
• 基点における注釈半径が一様に有界な曲面の集合のコンパクト性の証明は、普遍被覆内での基点の持ち上げの収束部分列の構成に依存する。
• 特に、普遍被覆内でのディスク埋め込みの挙動に着目した先行研究の結果をフレームワークに統合する。

実験結果

リサーチクエスチョン

• RQ1 すべての点付き平行移動曲面（無限種数や非コンパクトな場合を含む）の空間に、有限種数曲面の自然な極限を捉えることができる位相を定義できるか？
• RQ2 得られた位相がハウスドルフであるか。これにより、極限が一意に定まり、収束が良好に振る舞うことが保証されるか？
• RQ3 基点における注釈半径に下からの有界性がある点付き平行移動曲面の集合が、この位相のもとでコンパクトな部分集合をなすか？
• RQ4 平行移動曲面における標準的な幾何学的・力学的演算が、この位相に関して連続か？
• RQ5 近似された有限種数曲面からその無限種数極限への幾何的情報の連続的移行が可能か？

主な発見

• インマージョン型位相はハウスドルフであるため、収束列の極限が一意に定まり、空間の良い分離性を持つことが保証される。
• 基点における注釈半径が下から有界な点付き平行移動曲面の集合は、インマージョン型位相のもとでコンパクトである。
• インマージョン型位相における収束は、曲面の普遍被覆内での基点の持ち上げが収束することによって特徴づけられる。
• この位相により、ディスク埋め込みや局所構造といった性質を保ちながら、近似された曲面から極限曲面への幾何的データの連続的移行が可能になる。
• 収束部分列の構成は、普遍被覆内で基点の持ち上げが収束するような部分列の選択に依存し、入れ子になった近傍を用いた再帰的アルゴリズムによって行われる。
• アーベル被覆や無理数多角形内のビリヤードの極限を含む、有限種数曲面の極限の研究を、共通の位相的空間に埋め込むことで支援するフレームワークが構築される。