[論文レビュー] Asymptotic dimension of planes and planar graphs

Koji Fujiwara, Panos Papasoglu|arXiv (Cornell University)|Feb 5, 2020

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

ひとこと要約

本稿は、リーマン平面や平面的グラフなどの平面に位相的に同相な任意の測地的空間の漸近次元が、一様に3以下であることを確立する。証明は、粗いカチスに向けたレイヤー分解を用い、測地的円環と制御された被覆議論を組み合わせて多重度を制限し、被覆スケールに対して明示的な線形制御を実現する。平面的グラフへの拡張は、類似の幾何的分解によりなされる。

ABSTRACT

We show that the asymptotic dimension of a geodesic space that is homeomorphic to a subset in the plane is at most three. In particular, the asymptotic dimension of the plane and any planar graph is at most three.

研究の動機と目的

• 平面に位相的に同型な測地的距離空間の漸近次元を特定すること。特にリーマン平面を含む。
• リーマン平面への連続埋め込みを用いて定義される平面的グラフへ結果を拡張すること。
• 特定の幾何構造に依存しない、被覆スケールに関する一様な境界を確立すること。
• 後続の結果を踏まえて、漸近次元が3未満に改善可能かどうかを検討すること。
• 境界の鋭さを検証するため、R³に漸近次元が無限大であるようなリーマン計量を構成すること。

提案手法

• 基準点を中心とする測地的円環に沿って空間を分割し、距離関数を用いて幅がmに比例する層を定義する。
• 各円環に被覆補題（補題4.4）を適用し、D(m)-有界な集合を、m-多重度が2以下になるように保証する。
• 非隣接な円環間の分離（少なくともm離れている）を用いて、半径m/3の球の多重度を各層で制御する。
• すべての円環からの被覆を統合し、D(m) = 3×10⁶m、m-多重度が4以下になるグローバル被覆を構成する。
• 粗いカチスが漸近次元1以下であるという事実を活用し、木に類似した構造への一般化を円環層に適用する。
• 漸近次元の写像に関するヒューレヴィッツ型不等式を用い、後続の精密化（例：平面ではasdim ≤ 2）を支援する。

実験結果

リサーチクエスチョン

• RQ1 リーマン平面の漸近次元は、曲率や計量構造に依存せずに一様に有界にできるか？
• RQ2 埋め込みがグラフ距離に関して連続でない場合でも、平面的グラフの漸近次元は有界に保たれるか？
• RQ3 漸近次元の境界3は鋭いか、それとも2にまで低下可能か？
• RQ4 マイナーを除外するグラフの漸近次元は、除外されるマイナーのサイズに依存せず一様に有界にできるか？
• RQ5 R³に漸近次元が無限大になるようなリーマン計量を構成可能か？

主な発見

• 任意のR²に位相的に同型な測地的空間の漸近次元は、一様に3以下である。
• 任意の平面的グラフの漸近次元は、一様に3以下であり、被覆スケールD(m) = 3×10⁶mである。
• リーマン平面および平面的グラフのアッソウド＝ナガタ次元は、D(m)の線形制御により、3以下である。
• 任意のm > 0に対して、D(m) = 3×10⁶mとなるようなD(m)-有界被覆が存在し、m-多重度は4以下である。
• この結果は鋭いといえる。なぜなら、R³に漸近次元が無限大であるようなリーマン計量が存在するため、次元が3より高い場合に境界が成立しないことを示している。
• 後続の研究（Jørgensen-Lang、Bonamyら）により、平面の漸近次元は実際には2以下であることが確認され、本稿の境界が改善された。