[論文レビュー] (Non-)completeness of R-buildings and fixed point theorems

Koen Struyve|ArXiv.org|Sep 17, 2009

Topological and Geometric Data Analysis参考文献 7被引用数 7

ひとこと要約

この論文は、R-ビルジングに関する2つの基礎的結果を一般化する。有限生成群が非完全なR-ビルジングに作用する場合の不動点定理を証明し、R-ビルジングの完全性とそのウォールツリーの完全性との間の幾何的基準を確立する—これは、元々ブルハート＝ティツが代数的に示した結果を、すべてのR-ビルジングへと拡張するものである。

ABSTRACT

We prove two generalizations of results proved by Bruhat and Tits involving metrical completeness and R-buildings. Firstly, we give a generalization of the Bruhat-Tits fixed point theorem also valid for non-complete R-buildings, but with the added condition that the group is finitely generated. Secondly, we generalize a criterion which reduces the problem of completeness to the wall trees of the R-building.

研究の動機と目的

• 作用する群が有限生成であるという条件を追加することで、ブルハート＝ティツの不動点定理を非完全なR-ビルジングへと拡張すること。
• ブルハート＝ティツの完全性基準を、整域値付きのルート群データから生じるR-ビルジングに限らない形で一般化し、すべてのR-ビルジングへと拡張すること。
• 従来の代数的アプローチに代わる幾何的証明を用いて、完全性基準を示すことにより、その適用範囲を広げること。
• グローバルなR-ビルジングの完全性と、その1次元的ウォールツリーの完全性との間の関係を確立し、グローバル問題をより単純な場合に還元可能にする。
• 非完全なR-ビルジングの問題を、それらを完全なR-ビルジングへ埋め込み、周囲空間における収束性を分析することで解決すること。

提案手法

• R-ツリーとR-直線の積への等長埋め込みを通じて、ウォールツリーからR-ビルジングへとコーシー列を上げる幾何的議論を用いる。
• 無限遠における球面的ビルジングおよび残留部分に適用する中心予想を用い、群作用のもとでの不動点の存在を保証する。
• 点におけるセクター・フェースのジェルムの概念を活用し、漸近的挙動を分析し、極限点が共通のアパートメントに属するかどうかを特定する。
• 残留部における非ステンティングギャラリーの概念を用い、極限下でも組合せ的構造を保ち、極限点が適切なアパートメントに属することを確認する。
• 補題4.4を適用して、非完全なR-ビルジングを完全なR-ビルジングへ埋め込み、周囲空間における完全性を用いて元の空間の性質を導出可能にする。
• 系4.5を用いて、極限点を基点とするセクターの内部が元のR-ビルジングに含まれることを示し、パネルツリーの完全性を応用して列を延長し、非完全性を仮定した場合の矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 有限生成群の条件のもとで、ブルハート＝ティツの不動点定理は非完全なR-ビルジングへと拡張可能か？
• RQ2 ルート群データに整域値が付与された場合に限らないR-ビルジングについても、R-ビルジングの完全性とそのすべてのウォールツリーの完全性が同値であるか？
• RQ3 R-ビルジングの完全性基準を代数的ではなく幾何的に証明することは可能か？
• RQ4 非完全なR-ビルジングに埋め込まれたコーシー列は、完全なR-ビルジング内での挙動においてどのように振る舞うか？
• RQ5 ウォールツリーおよびジェルムの性質を用いて、R-ビルジング内のコーシー列の極限点が元の空間に属することを示す条件は何か？

主な発見

• 等長変換からなる有限生成群が非完全なR-ビルジングに作用するとき、その群には不動点が存在する。これはブルハート＝ティツの不動点定理の一般化である。
• R-ビルジングが距離的に完全であるための必要十分条件は、すべてのウォールツリーが完全であることである。これは[4]の結果を、幾何的証明を用いてすべてのR-ビルジングへと拡張したものである。
• ウォールツリーの完全性が、R-ビルジング全体の完全性を完全に決定づける。これにより、グローバルな完全性問題が1次元のケースに還元可能となる。
• 非完全なR-ビルジング内のコーシー列の極限が元の空間に属するための必要十分条件は、対応するウォールツリー内の列が収束することである。これはウォールツリーが完全である場合に保証される。
• 非完全なR-ビルジングを完全なR-ビルジングへ埋め込むことで、収束性および完全性をウォールツリーを介して分析するのに必要な構造が保持される。
• 極限点が元のR-ビルジングの外にあると仮定すると、隣接でなければならないはずのジェルムが非隣接となることが生じる。これはビルジングの構造に反するため、矛盾が生じる。